シャッテンノルム

テンプレート:出典の明記 数学の、特に関数解析学の分野におけるシャッテンノルム（テンプレート:Lang-en-short）あるいはシャッテン＝フォン・ノイマンノルムとは、トレースクラスノルムやヒルベルト＝シュミットノルムと同様に、p-可積分性の一般化として考え出されたノルムである。テンプレート:仮リンクの名にちなむ。

定義

$H_1$ と $H_2$ を可分なヒルベルト空間とし、$T$ を $H_1$ から $H_2$ への（線型）コンパクト作用素とする。$p\in [1,\mathrm{\infty })$ に対して、作用素 $T$ のシャッテン p-ノルムは次のように定義される：

$\Vert T{\Vert }_p:=(\sum _{n\ge 1}{s}_n^p(T){)}^{1/p}.$

ここで、$s_1(T)\ge s_2(T)\ge \cdots \ge s_n(T)\ge \cdots \ge 0$ は $T$ の特異値、すなわち、コンパクトエルミート作用素 $|T|:=\sqrt{(T^{*}T)}$ の固有値であるとする。正作用素 T*T に関する汎函数計算により、次式が従う：

$\Vert T{\Vert }_p^p=\mathrm{tr}(|T{|}^p)$

シャッテンノルムが有限であるような作用素はシャッテンクラス作用素と呼ばれ、そのような作用素からなる空間は $S_p(H_1,H_2)$ と表される。シャッテンノルムについて、空間 $S_p(H_1,H_2)$ はバナッハ空間であり、p=2 の場合はヒルベルト＝シュミット作用素からなるヒルベルト空間である。

性質

シャッテンノルムはユニタリ不変である。すなわち、ユニタリ作用素 $U$ と $V$ に対して、

$\Vert UTV{\Vert }_p=\Vert T{\Vert }_p$

が成り立つ。

テンプレート:仮リンクにより、p-次シャッテンクラス作用素の空間は B(H) 内のイデアルであることが証明される。$\Vert {\Vert }_2$ はヒルベルト＝シュミットノルム（ヒルベルト＝シュミット作用素を参照）であり，また $\Vert {\Vert }_1$ はトレースクラスノルム（トレースクラスを参照）であることに注意されたい。

双対性

p, q を共役指数 (1/p + 1/q = 1) の対，S ∈ S_p，T ∈ S_qとするとき，対応するシャッテンノルムは次の形式のヘルダーの不等式を満たす：

$\Vert ST{\Vert }_{S_1}\le \Vert S{\Vert }_{S_p}\Vert T{\Vert }_{S_q}.$

H 上のコンパクト作用素からなる、作用素ノルムについてのバナッハ空間を $S_{\mathrm{\infty }}$ とすれば、上の形式のヘルダーの不等式は $p\in [1,\mathrm{\infty }]$ に対しても成立することが分かる。このことから、$\varphi :S_p\to {S_q}^{\prime }$, $T\mapsto \mathrm{t}\mathrm{r}(T\cdot )$ は well-defined な縮小写像であることが従う（ここで、プライム記号 ' は（位相空間論的な）双対を表す）。

関連項目

• 行列ノルム