迹类算子

在数学中，迹类算子（）是一个满足如下条件的紧算子，可以为其定义迹，使得迹有限且与基底的选择无关。迹类算子本质上与核型算子相同，但是许多作者将希尔伯特空间上的核型算子这一特殊情况称为“迹类算子”，而将“核型算子”用于更一般的巴拿赫空间。

 定义 
模拟矩阵的定义，在可分希尔伯特空间H上的有界线性算子A被称为属于迹类，如果对于H的所有标准正交基{ek}k

有限。此时

绝对收敛且不依赖于标准正交基的选择。这个值被称为A的迹。当H是有限维空间时，每个线性算子都是迹类的，并且A的迹的定义与矩阵的迹的定义一致。

如果A是非负自伴算子，我们也可以通过可能发散的求和将A的迹定义为扩展实数


 性质 
 1.  如果A是非负自伴算子，当且仅当Tr(A)<∞时，A是迹类的。 因此，自伴算子A是迹类的，当且仅当其正部A+和负部A−都是迹类的。 （自伴算子的正负部通过连续泛函演算得到。） 2.  迹是迹类算子空间上的线性泛函，即 
 。

双射

是迹类算子空间上的內积; 相应的范数被称为希尔伯特-施密特范数。 迹类算子在希尔伯特-施密特范数意义下的完备化被称为希尔伯特-施密特算子。 3.如果有界且是迹类的，则和也是迹类的，且有M. Reed and B. Simon Functional Analysis, Exercises 27, 28 page 218



此外，在同样的假设下，

最后的断言在和都是希尔伯特-施密特算子这样较弱的假设下也成立。 4. 如果是迹类的，则可以定义的弗雷德霍姆行列式


其中是的谱。的迹类条件保证这一无限乘积是有限的：实际上

 。

这还意味着当且仅当是可逆的。

 Lidskii定理 
令是可分希尔伯特空间中的迹类算子，并且令 为的特征值。 假设在计数时考虑了代数重数（即如果的代数重数为，则在计数时被重复次如）。Lidskii定理（以Victor Borisovich Lidskii命名）指出
 。
注意到由于外尔不等式，左侧的数列绝对收敛 

在特征值和紧算子的奇异值之间。参见例如Simon, B. (2005) Trace ideals and their applications, Second Edition, Amer. 

 几类算子间的关系 

通过将迹类算子作为序列空间l1(N)的非交换类比，可以将某些类的有界算子视为经典序列空间的非交换类比。 

实际上，可以应用谱定理证明可分希尔伯特空间上的每个正规迹类算子可以以某种方式视作l1序列，通过对一对希尔伯特基底的某种选择来实现。 同样，有界算子是l∞(N)的非交换类比，紧算子对应c0（序列收敛到0），希尔伯特-施密特算子对应于l2(N)，有限秩算子对应只有有限多非零项的序列。 在某种程度上，这些类的算子之间的关系类似于它们的可交换类比之间的关系。

希尔伯特空间上的每个紧算子T都有如下标准型

对于某组标准正交基{ui}和{vi}。为了使上述启发式评论更精确，如果序列∑iαi收敛，则有T是迹类的；如果∑iαi2收敛，T是希尔伯特-施密特算子；如果序列{αi}只有有限多非零项，T是有限秩的。

上述描述可以得到一些事实，将这些类算子联系起来。例如下述包含关系成立（包括H是无限维空间的情形）：{有限秩算子}⊂{迹类算子}⊂{希尔伯特-施密特算子}⊂{紧算子}。

迹类算子赋有迹范数||T||1=Tr[(T*T)½]=∑iαi。范数对应的希尔伯特-施密特内积是||T||2=(TrT*T)½=(∑iαi2)½。一般的算子范数是||T|| = supi(αi)。利用序列的经典不等式，

对于适当的T。

清楚的是，有限秩算子在迹类算子空间和希尔伯特-施密特算子空间中在它们各自范数意义下稠密。

 迹类作为紧算子的对偶 
c0的对偶空间是l1(N)。类似的，紧算子的对偶空间记作K(H)*，是迹类算子，记作C1。下面的陈述与序列空间相对应。令f∈K(H)*，给出f的等价形式算子Tf定义如下

其中Sx,y是秩为1的算子，如下给定

这一等式成立因为有限秩算子在K(H)中的范数意义下稠密。在Tf是正算子的情况下，对于任意标准正交基ui，有

其中I是恒等算子

这意味着Tf是迹类的。利用极分解可以将上述讨论拓展到一般情形，Tf不需要是正算子。

通过对有限秩算子取极限可以证明||Tf||1=||f||。因此K(H)*等距同构到C1。

 有界算子的预对偶 
l1(N)的对偶是l∞(N)。迹类算子C1的对偶是有界算子B(H)。更准确地说，集合C1是B(H)中的双边理想。因此，给定B(H)中任意算子T，可以通过φT(A)=Tr(AT)定义上连续线性泛函φT。有界线性算子和的对偶空间中的元素φT的对应关系是一个等距同构。因此，B(H)是的对偶空间。这可以用于定义B(H)上的弱-*拓扑。

 参考文献 

Category:算子理论

分类:数学概念