ヒルベルト＝シュミット作用素

数学の分野におけるヒルベルト＝シュミット作用素（ヒルベルト＝シュミットさようそ、テンプレート:Lang-en-short）とは、ダフィット・ヒルベルトとエルハルト・シュミットの名にちなむ、ヒルベルト空間上の有界線型作用素で、次のような有限のヒルベルト＝シュミットノルムを備えるもののことを言う：

$\Vert A{\Vert }_{\mathrm{H}\mathrm{S}}^2=\mathrm{Tr}|(A^{*}A)|:=\sum _i\Vert A{e}_i{\Vert }^2.$

ここで $\Vert \Vert$ は H のノルムを表し、$\{e_i:i\in I\}$ は添字集合 $I$ についての H の正規直交基底を表す。この添字集合は必ずしも可算でなくても良いことに注意されたい。この定義は、基底の選び方に依存しないため、

$\Vert A{\Vert }_{\mathrm{H}\mathrm{S}}^2=\sum _{i,j}|A_{i,j}{|}^2=\Vert A{\Vert }_2^2$

が成り立つ。ここで $A_{i,j}=⟨e_i,A{e}_j⟩$ であり、$\Vert A{\Vert }_2$ は $A$ のシャッテンノルムを表す。ユークリッド空間においては、$\Vert {\Vert }_{\mathrm{H}\mathrm{S}}$ はフロベニウスノルムとも呼ばれる。

二つのヒルベルト＝シュミット作用素の積のトレースクラスノルムは、有限である。したがって、A と B を二つのヒルベルト＝シュミット作用素としたとき、ヒルベルト＝シュミット内積（Hilbert-Schmidt inner product）は次のように定義される：

$⟨A,B{⟩}_{\mathrm{H}\mathrm{S}}=\mathrm{tr}(A^{*}B)=\sum _i⟨A{e}_i,B{e}_i⟩.$

ヒルベルト＝シュミット作用素は、H 上の有界作用素のバナッハ環における両側*-イデアルを形成する。それらはまた、テンプレート:仮リンク

$H^{*}\otimes H,$

と自然に等長同型であると見なされるようなヒルベルト空間を形成する。ここで、H* は H の双対空間である。

ヒルベルト＝シュミット作用素の集合がノルム位相において閉であるための必要十分条件は、H が有限次元であることである。

ある重要な応用例の類は、ヒルベルト＝シュミット積分作用素に見られる。

ヒルベルト＝シュミット作用素は次数 2 の核作用素であり、したがってコンパクトである。