「ノルム」の版間の差分
削除された内容 追加された内容
5行目:
== 定義 ==
{{mvar|K}} を実数体 {{mathbf|R}} または複素数体 {{mathbf|C}}(あるいは絶対値を備えた任意の[[位相体]])とし、{{mvar|K}} 上のベクトル空間 {{mvar|V}} を考える。このとき任意の {{math2|''a'' ∈ ''K''}} と任意の {{math2|'''''u''''', '''''v''''' ∈ ''V''}} に対して、
# 独立性:{{math2|1={{norm|'''''v'''''}} = 0 ⇔ '''''v''' = '''
# 斉次性:{{math2|1={{norm|
# 劣加法性:{{math2|1={{norm|'''''u''''' + '''''v'''''}} ≤ {{norm|'''''u'''''}} + {{norm|'''''v'''''}}}}
を満たす[[関数 (数学)|関数]] {{math2|{{norm|•}}: ''V'' → '''R'''; '''''x''''' ↦ {{norm|'''''x'''''}}}} を {{mvar|V}} の'''ノルム'''と呼ぶ。ベクトル空間 {{mvar|V}} と {{mvar|V}} 上のノルム {{math|{{norm|•}}}} との組 {{math2|(''V'', {{norm|•}})}} を、ノルム {{math|{{norm|•}}}} を備えたベクトル空間あるいは簡単にノルム付きの線型空間、'''[[ノルム線型空間|ノルム空間]]'''などと呼び、紛れのおそれの無い場合はノルムを省略して単に
<blockquote>
<math>{}^{\forall} v \in V, 0 = \lVert
</blockquote>
: ノルムのとる値の集合としては {{mathbf|R}} を、同様の条件を議論しうるもう少し一般の[[順序体]]や[[順序群]]に取り替えることもある。離散賦値などは有理整数環 {{mathbf|Z}} の加法群(に同型なアーベル群)を値群とするようなノルムである。
|