作用素ノルム

数学の分野における作用素ノルム（さようそノルム、テンプレート:Lang-en）とは、線形作用素の大きさを測る際に用いられるある種の指標のことを言う。より正式には、与えられた二つのノルム線形空間の間の有界線形作用素からなる空間上に定義されるノルムのことを言う。

導入と定義

与えられた二つのノルム線形空間 テンプレート:Mvar および テンプレート:Mvar （実数体 テンプレート:Mathbf あるいは複素数体 テンプレート:Mathbf のいずれかを共通のものとする）に対して、線形作用素 テンプレート:Math が連続であるための必要十分条件は

$\Vert Av\Vert \le c\Vert v\Vert (\mathrm{\forall }v\in V)$

を満たすような実数 テンプレート:Mvar が存在することである（左辺のノルムは空間 テンプレート:Mvar におけるもので、右辺のノルムは空間 テンプレート:Mvar におけるもの）。直観的に言えば、連続作用素 テンプレート:Mvar はどのようなベクトル テンプレート:Math に対してもそれを テンプレート:Mvar 倍よりも「引き延ばす」ようなことはしない。このことから、連続作用素による有界集合の像はふたたび有界集合となることが分かる。この性質より、連続線形作用素は有界作用素としても知られている。

上の不等式を満たすような実数 テンプレート:Mvar のうち最小のものを、作用素 テンプレート:Mvar の「大きさ」として定義することは自然であるように思われる。したがって作用素 テンプレート:Mvar の作用素ノルムは

$\Vert A{\Vert }_{\text{op}}:=\min \{c\ge 0:\Vert Av\Vert \le c\Vert v\Vert \text{ for all }v\in V\}$

により定義される（そのような テンプレート:Mvar からなる集合は閉かつ下に有界であり、空でないため、上式の右辺は必ず存在する）テンプレート:Sfn。

例

すべての実 テンプレート:Math 行列は、空間 テンプレート:Math から空間 テンプレート:Math への線形作用素である。記事「ノルム」に記載されているように、それらの空間上ではさまざまなノルムの定め方が存在する。それらの定め方に応じて、作用素ノルムは定義され、したがってすべての実 テンプレート:Math 行列からなる空間上にノルムが入る。例については行列ノルムの項を参照。

特に テンプレート:Math および テンプレート:Math のノルムとしてともにユークリッドノルムを採用した場合の作用素ノルムとして、行列 テンプレート:Mvar（テンプレート:Mvar は行列 テンプレート:Mvar の共役転置行列を表す）の最大固有値の平方根を割り当てる（あるいは同じことだが、行列 テンプレート:Mvar の最大特異値を割り当てる）行列ノルムが得られる。

続いて、典型的な無限次元の例として、自乗総和可能数列空間

${\ell }^2=\{(a_n{)}_{n\ge 1}:a_n\in ℂ,\sum |a_n{|}^2<\mathrm{\infty }\}$

について考える。この空間は、ユークリッド空間 テンプレート:Math の無限次元版とみなすことができる。有界数列 テンプレート:Math をとれば、テンプレート:Mvar は テンプレート:Mvar の元であり

$\Vert s{\Vert }_{\mathrm{\infty }}:=\underset{n}{\sup }|s_n|$

で定められるノルムを持つ。作用素 テンプレート:Mvar を成分ごとの掛け算

$(a_n)\stackrel{T_s}{\mapsto }(s_n\cdot a_n)$

で定めたとき、そのような作用素 テンプレート:Mvar は、作用素ノルムが

$\Vert T_s{\Vert }_{\text{op}}=\Vert s{\Vert }_{\mathrm{\infty }}$

で与えられるような有界作用素である。この議論は空間 テンプレート:Math をより一般の テンプレート:Mvar-空間 (テンプレート:Math) に、空間 テンプレート:Mvar を空間 テンプレート:Mvar にそれぞれ置き換えたものに直接的に拡張できる。

同値な定義

作用素ノルムの定義として、次のようないくつかの同値な定義が存在する:

$\begin{array}{cc}\Vert A{\Vert }_{\text{op}}& =\inf \{c:\Vert Av\Vert \le c\Vert v\Vert ,\mathrm{\forall }v\in V\}\\ & =\underset{\Vert v\Vert \le 1}{\sup }\Vert Av\Vert \\ & =\underset{\Vert v\Vert =1}{\sup }\Vert Av\Vert \\ & =\underset{v\ne 0}{\sup }\frac{\Vert Av\Vert }{\Vert v\Vert }.\end{array}$

性質

作用素ノルムは実際に、テンプレート:Mvar から テンプレート:Mvar への有界作用素全体の成す空間上のノルムとなる。すなわち、テンプレート:Mvar は有界、テンプレート:Mvar は任意のスカラーとして

$\Vert A{\Vert }_{\text{op}}\ge 0,[\Vert A{\Vert }_{\text{op}}=0⟺A=0],$

$\Vert aA{\Vert }_{\text{op}}=|a|\Vert A{\Vert }_{\text{op}},$

$\Vert A+B{\Vert }_{\text{op}}\le \Vert A{\Vert }_{\text{op}}+\Vert B{\Vert }_{\text{op}}$

が成立する。

作用素ノルムの定義より、次の不等式がただちに得られる:

$\Vert Av\Vert \le \Vert A{\Vert }_{\text{op}}\Vert v\Vert (\mathrm{\forall }v\in V).$

作用素の合成あるいは積について、テンプレート:Mvar を、同じ係数体上の三つのノルム線形空間とし、テンプレート:Math を二つの有界作用素としたとき

$\Vert BA{\Vert }_{\text{op}}\le \Vert B{\Vert }_{\text{op}}\Vert A{\Vert }_{\text{op}}$

が成り立つ。これにより、空間 テンプレート:Mvar 上の有界作用素に対して、作用素の積を取る演算が二変数の連続写像 (jointly continuous) であることが導かれる。

定義より、作用素の列が作用素ノルムに関して収束することは、それらが有界集合上で一様収束することを意味する。

ヒルベルト空間上の作用素

空間 テンプレート:Mvar を実あるいは複素ヒルベルト空間であるとする。もし作用素 テンプレート:Math が有界線形作用素であるなら

$\Vert A{\Vert }_{\text{op}}=\Vert A^{*}{\Vert }_{\text{op}}$

および

$\Vert A^{*}A{\Vert }_{\text{op}}=\Vert A{\Vert }_{\text{op}}^2$

が成立する。ここで テンプレート:Mvar は作用素 テンプレート:Mvar の共役作用素を表す（それは標準内積を持つユークリッドヒルベルト空間における、行列 テンプレート:Mvar の共役転置行列に対応する）。

一般に、作用素 テンプレート:Mvar のスペクトル半径 テンプレート:Math は、作用素ノルム テンプレート:Math により上から抑えられる。すなわち

$\rho (A)\le \Vert A{\Vert }_{\text{op}}$

が成り立つ。ここで常に等号が成立するわけではないことを見るには、有限次元の場合で行列のジョルダン標準形について考えればよい。優対角線（主対角線の一つ上）に非零な成分を持つものが存在するから、等号は成立しない可能性がある。また、等号が成立しない例からなるクラスとして準冪零作用素が挙げられる。ゼロでない準冪零作用素 テンプレート:Mvar のスペクトルは テンプレート:Math であるため、スペクトル半径は テンプレート:Math となるが、このとき作用素ノルムに対しては テンプレート:Math が成立する。

しかし、行列 テンプレート:Mvar が正規のとき、そのジョルダン標準形は（ユニタリ同値の違いを除いて）対角行列である（スペクトル定理）。このとき

$\rho (A)=\Vert A{\Vert }_{\text{op}}$

が成立することを見るのは容易。

そのようなスペクトル定理は、より一般の正規作用素の場合へと拡張され、上の等式は任意の有界正規作用素テンプレート:Mvar に対しても同様に成立する。以上の議論および関係式は、有界作用素 テンプレート:Mvar が与えられたときにその作用素ノルムを計算する際に、しばしば利用される。すなわち、エルミート作用素 テンプレート:Math を定義し、そのスペクトル半径を計算し、その平方根を計算することで、そのような作用素ノルムを得る、という方法が利用可能となる場合がある。

空間 テンプレート:Mvar 上の有界作用素全体の成す空間に作用素ノルムの誘導する位相を入れたものは、可分でない。例えば、ヒルベルト空間 テンプレート:Math を考え、テンプレート:Math に対して テンプレート:Math を閉区間 テンプレート:Closed-closed の特性関数とし、テンプレート:Mvar を テンプレート:Math により与えられる乗算作用素、すなわち

$P_t(f):=f\cdot {\mathrm{\Omega }}_t$

とする。このとき、各 テンプレート:Mvarは有界で、その作用素ノルムは テンプレート:Math であり

$\Vert P_t-P_s{\Vert }_{\text{op}}=1(t\ne s)$

が成立する。しかし集合 テンプレート:Math は非可算であるため、空間 テンプレート:Math 上の有界作用素からなる空間は作用素ノルムに対して可分でないことが分かる。この結果は同様に数列空間 テンプレート:Mvar が可分でないという事実にも対応される。

ヒルベルト空間上の有界作用素全体の成す集合は、作用素ノルムおよび共役演算を伴い、C*-代数をなす。

参考文献

• テンプレート:Citation.
• テンプレート:Citation

関連項目

• ノルム - 行列ノルム
• 作用素環論