導入と定義
出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2018/06/23 06:00 UTC 版)
与えられた二つのノルム線形空間 V および W （実数体 R あるいは複素数体 C のいずれかを共通のものとする）に対して、線形作用素 A: V → W が連続であるための必要十分条件は ∃ c ≥ 0 s.t. ‖ A v ‖ W ≤ c ‖ v ‖ V ∀ v ∈ V {\displaystyle \exists \ c\geq 0{\text{ s.t. }}\|Av\|_{W}\leq c\,\|v\|_{V}\quad \forall \ v\in V} が成り立つことである（ここで ‖ ⋅ ‖ V {\displaystyle \|\cdot \|_{V}} は空間 V におけるノルム, ‖ ⋅ ‖ W {\displaystyle \|\cdot \|_{W}} は空間 W におけるノルムを表すが, 以下ではどの空間のノルムかが文脈から明らかな場合は空間の表示を省略する）。直観的に言えば、連続作用素 A はどのようなベクトル v ∈ V に対してもそれを c 倍よりも「引き延ばす」ようなことはしない。このことから、連続作用素による有界集合の像はふたたび有界集合となることが分かる。この性質より、連続線形作用素は有界作用素としても知られている。 上の不等式を満たすような実数 c のうち最小のものを、作用素 A の「大きさ」として定義することは自然であるように思われる。したがって作用素 A の作用素ノルムは ‖ A ‖ op := min { c ≥ 0 ; ‖ A v ‖ ≤ c ‖ v ‖ ∀ v ∈ V } {\displaystyle \|A\|_{\text{op}}:=\min\{\ c\geq 0;\ \|Av\|\leq c\,\|v\|\quad \forall \ v\in V\ \}} により定義される（そのような c からなる集合は閉かつ下に有界であり、空でないため、上式の右辺は必ず存在する）。
※この「導入と定義」の解説は、「作用素ノルム」の解説の一部です。
「導入と定義」を含む「作用素ノルム」の記事については、「作用素ノルム」の概要を参照ください。
- 導入と定義のページへのリンク
