トレースクラス

数学の分野におけるトレースクラス（）作用素とは、有限かつ基底の選び方に依らないトレースを定義できるようなあるコンパクト作用素を指す。
トレースクラス作用素は、本質的には核作用素と等しいものであるが、多くの研究者は「トレースクラス作用素」の語はヒルベルト空間上の特別な核作用素の場合に対して用い、より一般的なバナッハ空間に対して「核作用素」の語を用いる。
定義.
行列に対する定義と似ているが、可分なヒルベルト空間 "H" 上の有界線型作用素 "A" がトレースクラスに属するとは、"H" のいくつかの（実際には全ての）正規直交基底 {"e""k"}"k" に対して、正の項の和
が有限であることを言う。この場合、和
は絶対収束し、その正規直交基底の選び方に依らない。この値は、"A" のトレースと呼ばれる。"H" が有限次元であるなら、すべての作用素はトレースクラスであり、この "A" のトレースの定義は、行列に対するトレースの定義と一致する。
"A" が非負の自己共役作用素であるなら、発散することもあり得る和
によって、"A" のトレースを拡大実数として定義することも出来る。
性質.
リッドスキーの定理.
formula_4 を、可分なヒルベルト空間 formula_5 内のトレースクラス作用素とし、formula_6 formula_7 を formula_4 の固有値とする。formula_9 は、代数的重複度も考慮して数え上げられる（すなわち、formula_10 の代数的重複度が formula_11 であるなら、リスト formula_12 において formula_10 は formula_11 回繰り返される）ものとする。リッドスキーの定理（ヴィクター・リッドスキーの名にちなむ）によると、次式が成立する：
ここで、左辺の級数は、コンパクト作用素 formula_4 の固有値 formula_17 と特異値 formula_18 の間に成立するワイルの不等式
によって、絶対収束することに注意されたい。例えば、を参照。
いくつかの作用素のクラスの間の関係.
いくつかの有界作用素のクラスは、古典的な数列空間の非可換な類似と見なされ、トレースクラス作用素は数列空間 "l"1(N) の非可換な類似と見なされる。実際、スペクトル定理を適用することで、可分なヒルベルト空間上のすべての通常のトレースクラス作用素は、"l"1 数列であると見なすことが出来る。同様に、有界な作用素は "l"∞(N) の非可換版であり、コンパクト作用素は "c"0（0 に収束する列）の、ヒルベルト＝シュミット作用素は "l"2(N) の、有限ランク作用素は高々有限個の非ゼロ項を含む列の、それぞれ非可換版である。作用素のトレースクラスの間の関係は、ある程度は、それらの可換な対の間の関係と同様なものである。
ヒルベルト空間上のすべてのコンパクト作用素 "T" は、ある正規直交基底 {"ui"} および {"vi"} に対して、次の正準形式を取ることを思い出されたい：
上述の発見的なコメントをより正確に言えば、"T" がトレースクラスであるための十分条件は数列 ∑"i" "αi" が収束すること、"T" がヒルベルト＝シュミット作用素であるための十分条件は ∑"i" "αi"2 が収束すること、および "T" が有限ランクであるための十分条件は数列 {"αi"} が高々有限個の非ゼロの項を含むこと、となる。
上述の表記により、それらの作用素のクラスを関連付けるいくつかの事実を得ることが容易になる。例えば、以下の包含関係が成り立つ：{有限ランク} ⊂ {トレースクラス} ⊂ {ヒルベルト＝シュミット} ⊂ {コンパクト}。特に "H" が無限次元であるときは、これらの包含関係はすべて proper （片方がもう片方の真部分集合）となる。
トレースクラス作用素には、トレースノルム ||"T"||1 = Tr [ ("T*T")½ ] = ∑"i" "αi" が与えられる。ヒルベルト＝シュミット内積に対応するノルムは ||"T"||2 = (Tr "T*T")½ = (∑"i""αi"2)½ である。また、通常の作用素ノルムは ||"T"|| = sup"i"("αi") である。適切な "T" に対して、数列に関する古典的な不等式により、
が成立する。
有限ランク作用素の集合が、トレースクラスおよびヒルベルト＝シュミットの両ノルムに関して、それらの集合において稠密であることは明らかである。
コンパクト作用素の双対としてのトレースクラス.
"c"0 の双対空間は "l"1(N) である。同様に、コンパクト作用素の双対 "K"("H")* は、トレースクラス作用素 "C"1 であることが分かる。以下で記載する内容は、対応する数列空間に対する覚書である。"f" ∈ "K"("H")* とし、
として定義される作用素 "Tf" によって "f" を識別する。ここで、"S""x,y" は
で与えられるランク 1 の作用素である。
この識別が意味をなすことは、有限ランク作用素が "K"("H") においてノルム稠密であることに起因する。"Tf" が正作用素であるような場合には、任意の正規直交基底 "ui" に対して、
が成立する。ここで "I" は恒等作用素
である。しかしこのことは、"Tf" がトレースクラスであることを意味する。により、これはより一般的な、"Tf" が必ずしも正ではない場合に拡張される。
有限ランク作用素を介した極限の議論により、||"Tf" ||1 = || "f" || が得られる。したがって、"K"("H")* は "C"1 と等長同型である。
有界作用素の前双対として.
"l"1(N) の双対は "l"∞(N) であることを思い出されたい。したがって、トレースクラス "C"1 の双対は、有界作用素 B("H") である。より正確には、集合 "C"1 は B("H") における両側イデアルである。したがって、B("H") 内の与えられた任意の作用素 "T" に対して、formula_26 上の連続線型汎函数 φ"T" を φ"T"("A")=Tr("AT") によって定義することが出来る。formula_26 の双対空間の元 φ"T" と、有界作用素の間の対応は、等長同型である。B("H") は formula_26 の双対空間であることが従う。このことは、B("H") 上のを定義する際に利用できる。