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

出典: フリー百科事典『ウィキペディア(Wikipedia)』
移動: 案内検索

数学の分野におけるヒルベルト=シュミット作用素(ヒルベルト=シュミットさようそ、: Hilbert-Schmidt operator)とは、ダフィット・ヒルベルトエルハルト・シュミットの名にちなむ、ヒルベルト空間上の有界線型作用素で、次のような有限のヒルベルト=シュミットノルムを備えるもののことを言う:

\|A\|^2_{HS}={\rm Tr} |(A^{{}^*}A)|:= \sum_{i} \|Ae_i\|^2.

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

\|A\|^2_{HS}=\sum_{i,j} |A_{i,j}|^2 = \|A\|^2_2

が成り立つ。ここで A_{i,j}=\langle e_i, Ae_j \rangle であり、\|A\|_2Aシャッテンノルムを表す。ユークリッド空間においては、\|\ \|_{HS}フロベニウスノルムとも呼ばれる。

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

\langle A,B \rangle_\mathrm{HS} = \operatorname{tr} (A^*B)
= \sum_{i} \langle Ae_i, Be_i \rangle.

ヒルベルト=シュミット作用素は、H 上の有界作用素のバナッハ環における両側*-イデアルを形成する。それらはまた、ヒルベルト空間のテンソル積英語版

H^* \otimes H, \,

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

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

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

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

参考文献[編集]