ノルム線型空間

出典: フリー百科事典『ウィキペディア（Wikipedia）』

ノルム線型空間（ノルムせんけいくうかん）あるいはノルム付き線型空間（ノルムつきせんけいくうかん、normed vector space）とは、ノルムの定義されたベクトル空間のことである。線型ノルム空間または単にノルム空間ともいう。

ノルムは、ベクトルの "長さ" の概念の一般化であり、ノルム空間はそのノルムによる距離が定義されて距離空間の構造を持つ。ただし、一般のノルム空間は角度の概念は持たない（角度の概念を得るには内積が必要である）。ノルムの定める距離に関して完備なベクトル空間はバナッハ空間と呼ばれる。任意のノルム空間は、その完備化と呼ばれるバナッハ空間に稠密な部分空間として含まれる。

[編集] 定義

ベクトル空間 V とそのノルム ||·||: V → R の組 (V, ||·||) をノルム空間と呼ぶ。考えているノルムが明らかであるときは、省略して単に V でノルム空間を表すことも多い。

[編集] 例

実平面ベクトルの全体 R² にベクトルの大きさ |·| を考えるとき、組 (R², |·|) はノルム空間であり、バナッハ空間である。
内積を持つベクトル空間（計量ベクトル空間）は内積からノルムが定まり、ノルム空間である。ヒルベルト空間は内積の定めるノルム（が導く距離）に関して完備な距離空間であるから、バナッハ空間である。