ノルム

ウィキペディア

ノルム

出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2023/12/25 08:08 UTC 版)

解析学において、ノルム (英: norm, 独: Norm) は、平面あるいは空間における幾何学的ベクトルの "長さ" の概念の一般化であり、ベクトル空間に対して「距離」を与えるための数学の道具である。ノルムの定義されたベクトル空間を線型ノルム空間または単にノルム空間という。

ものによっては絶対値や賦値（附値、付値）と呼ばれることもある。また、体の拡大におけるノルムや、多元環に対する被約ノルムと本質的に同じものである。

定義

K を実数体 R または複素数体 C（あるいは絶対値を備えた任意の位相体）とし、K 上のベクトル空間 V を考える。このとき任意の a ∈ K と任意の u, v ∈ V に対して、

1. 独立性：‖ v ‖ = 0 ⇔ v = o
2. 斉次性：‖ av ‖ = |a|‖ v ‖
3. 劣加法性：‖ u + v ‖ ≤ ‖ u ‖ + ‖ v ‖（三角不等式）

を満たす関数 ‖ • ‖: V → R; x ↦ ‖ x ‖ を V のノルムと呼ぶ。ベクトル空間 V と V 上のノルム ‖ • ‖ との組 (V, ‖ • ‖) を、ノルム ‖ • ‖ を備えたベクトル空間あるいは簡単にノルム付きの線型空間、ノルム空間などと呼び、紛れのおそれの無い場合はノルムを省略して単に V で表す。なお、‖ v ‖ ≥ 0（正定値性）を定義の内に含めることが多いが、この性質は以下のように定理として導くことができる。左から順に、独立性、劣加法性、斉次性を用いている。

$\forall v\in V,0=\lVert o\rVert =\left\Vert \left({\frac {1}{2}}-{\frac {1}{2}}\right)v\right\Vert \leq \left\Vert {\frac {1}{2}}v\right\Vert +\left\Vert -{\frac {1}{2}}v\right\Vert =\left\vert {\frac {1}{2}}\right\vert \lVert v\rVert +\left\vert -{\frac {1}{2}}\right\vert \lVert v\rVert =\lVert v\rVert .$

平面 R² 上の異なるノルムに関する単位円の様子

幾何学的性質

ノルム空間 V のノルム p = ‖•‖ に対し、2変数の実数値関数 d_p : V × V → R を

$d_{p}(x,y)=\lVert x-y\rVert$ カテゴリ