バナッハスペース（空間）の定義
話題
About: ベクトルたちスペース（空間）
この記事の目次
開始コンテキスト
- 読者は、ノルム付きベクトルたちスペース（空間）の定義を知っている。
- 読者は、ノルムによってインデュースト（誘導された）メトリック（計量）の定義を知っている。
- 読者は、コンプリート（完備）メトリックスペース（計量付き空間）の定義を知っている。
ターゲットコンテキスト
- 読者は、バナッハスペース（空間）の定義を得る。
オリエンテーション
本サイトにてこれまで議論された定義の一覧があります。
本サイトにてこれまで議論された命題の一覧があります。
本体
1: 定義
任意のノルム付きベクトルたちスペース（空間）で当該ノルムによってインデュースト（誘導された）メトリック（計量）を持ってコンプリート（完備）メトリックスペース（計量付き空間）であるもの
2: 注
コンプリート（完備）であるというのはメトリック（計量）スペース（空間）についての話であり、したがって、ベクトルたちスペース（空間）はこのメトリックを与えられなければならない。
