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

定义
--

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

{\displaystyle \|A\|\_{1}={\rm {Tr}}|A|:=\sum \_{k}\langle (A^{\*}A)^{1/2}\,e\_{k},e\_{k}\rangle }
有限。此时

{\displaystyle {\rm {Tr}}A:=\sum \_{k}\langle Ae\_{k},e\_{k}\rangle }
绝对收敛且不依赖于标准正交基的选择。这个值被称为*A*的**迹**。当*H*是有限维空间时，每个线性算子都是迹类的，并且A的迹的定义与矩阵的迹的定义一致。

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

{\displaystyle \sum \_{k}\langle Ae\_{k},e\_{k}\rangle .}

性质
--

|  |  |
| --- | --- |
| **1.** | 如果A是非负自伴算子，当且仅当Tr(*A*)<∞时，A是迹类的。 因此，自伴算子A是迹类的，当且仅当其正部*A*+和负部*A*−都是迹类的。 （自伴算子的正负部通过连续泛函演算得到。） |
| **2.** | 迹是迹类算子空间上的线性泛函，即 
{\displaystyle \operatorname {Tr} (aA+bB)=a\,\operatorname {Tr} (A)+b\,\operatorname {Tr} (B)}。
双射
{\displaystyle \langle A,B\rangle =\operatorname {Tr} (A^{\*}B)}
是迹类算子空间上的內积; 相应的范数被称为希尔伯特-施密特范数。 迹类算子在希尔伯特-施密特范数意义下的完备化被称为希尔伯特-施密特算子。 |
| **3.** | 如果A有界且B是迹类的，则AB和BA也是迹类的，且有
{\displaystyle \|AB\|\_{1}=\operatorname {Tr} (|AB|)\leq \|A\|\|B\|\_{1},\qquad \|BA\|\_{1}=\operatorname {Tr} (|BA|)\leq \|A\|\|B\|\_{1}}
此外，在同样的假设下，
{\displaystyle \operatorname {Tr} (AB)=\operatorname {Tr} (BA)}
最后的断言在A和B都是希尔伯特-施密特算子这样较弱的假设下也成立。 |
| **4.** | 如果A是迹类的，则可以定义{\displaystyle 1+A}的弗雷德霍姆行列式
{\displaystyle {\rm {det}}(I+A):=\prod \_{n\geq 1}[1+\lambda \_{n}(A)]}
其中{\displaystyle \{\lambda \_{n}(A)\}\_{n}}是A的谱。A的迹类条件保证这一无限乘积是有限的：实际上
{\displaystyle {\rm {det}}(I+A)\leq e^{\|A\|\_{1}}}。
这还意味着{\displaystyle {\rm {det}}(I+A)\neq 0}当且仅当{\displaystyle (I+A)}是可逆的。 |

### Lidskii定理

令A是可分希尔伯特空间H中的迹类算子，并且令{\displaystyle \{\lambda \_{n}(A)\}\_{n=1}^{N},} {\displaystyle N\leq \infty }为A的特征值。 假设{\displaystyle \lambda \_{n}(A)}在计数时考虑了代数重数（即如果\lambda 的代数重数为k，则\lambda 在计数时被重复k次如{\displaystyle \lambda \_{1}(A),\lambda \_{2}(A),\dots }）。Lidskii定理（以Victor Borisovich Lidskii命名）指出

{\displaystyle \sum \_{n=1}^{N}\lambda \_{n}(A)=\operatorname {Tr} (A)}。
注意到由于外尔不等式，左侧的数列绝对收敛 

{\displaystyle \sum \_{n=1}^{N}|\lambda \_{n}(A)|\leq \sum \_{m=1}^{M}s\_{m}(A)}
在特征值{\displaystyle \{\lambda \_{n}(A)\}\_{n=1}^{N}}和紧算子A的奇异值{\displaystyle \{s\_{m}(A)\}\_{m=1}^{M}}之间。参见例如

### 几类算子间的关系

  

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

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

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

{\displaystyle \forall h\in H,\;Th=\sum \_{i=1}\alpha \_{i}\langle h,v\_{i}\rangle u\_{i}\quad {\mbox{其中}}\quad \alpha \_{i}\geq 0\quad {\mbox{且}}\quad \alpha \_{i}\rightarrow 0}
对于某组标准正交基{*ui*}和{*vi*}。为了使上述启发式评论更精确，如果序列∑*i**αi*收敛，则有*T*是迹类的；如果∑*i**αi*2收敛，*T*是希尔伯特-施密特算子；如果序列{*αi*}只有有限多非零项，*T*是有限秩的。

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

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

{\displaystyle \|T\|\leq \|T\|\_{2}\leq \|T\|\_{1},}
对于适当的*T*。

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

### 迹类作为紧算子的对偶

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

{\displaystyle \langle T\_{f}x,y\rangle =f(S\_{x,y}),}
其中*S**x,y*是秩为1的算子，如下给定

{\displaystyle S\_{x,y}(h)=\langle h,y\rangle x.}
这一等式成立因为有限秩算子在*K*(*H*)中的范数意义下稠密。在*Tf*是正算子的情况下，对于任意标准正交基*ui*，有

{\displaystyle \sum \_{i}\langle T\_{f}u\_{i},u\_{i}\rangle =f(I)\leq \|f\|,}
其中*I*是恒等算子

{\displaystyle I=\sum \_{i}\langle \cdot ,u\_{i}\rangle u\_{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*，可以通过φ*T*(*A*)=Tr(*AT*)定义C\_{1}上连续线性泛函φ*T*。有界线性算子和C\_{1}的对偶空间中的元素φ*T*的对应关系是一个等距同构。因此，B(*H*)是C\_{1}的对偶空间。这可以用于定义B(*H*)上的弱-\*拓扑。

参考文献
----

1. ↑  M. Reed and B. Simon Functional Analysis, Exercises 27, 28 page 218
2. ↑  Simon, B. (2005) *Trace ideals and their applications*, Second Edition, Amer.

* Dixmier, J, Gauthier-Villars, 1969


|  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |
| --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- |
| 

| * 
* 论
* 编
泛函分析 |
| --- |
|  |
| 集合 / 子集 | 
* 绝对凸集
* 吸收集
* 平衡集
* 有界集 (拓扑向量空间)（英语：）
* 凸集
* 径向集
* 星形域
* 对称集
* 凸锥（英语：）

 |
|  |
| 拓撲向量空間 | 
* 巴拿赫空间
* 欧几里得空间
* 希尔伯特空间
* 索伯列夫空間
* 局部凸（英语：）
* 賦範向量空間 (范数)
* 拟赋范空间
* 自反空间
* 拓扑张量积（英语：） (希尔伯特空间中)
* 速降函数空间

 |
|  |
| 映射拓扑 | 
* 对偶空间
* 算子拓扑（英语：）
* 弱拓扑（英语：）
* 强拓扑（英语：）
* 拓扑的一致收敛（英语：）

 |
|  |
| 线性算子 | 
* 伴随
* 双线性
	+ 形式
* 有界 / 无界
* 连续线性
* 紧
* Fredholm（英语：）
* 希尔伯特-施密特
* 泛函
* 正规
* 核型（英语：）
* 自伴
* 严格奇异算子（英语：）
* 迹类
* 有限秩
* 转置（英语：）
* 酉 / 幺正

 |
|  |
| 集合运算 | 
* 代数内部
* 内部
* 閔可夫斯基和
* 极性集

 |
|  |
| 算子理论（英语：） | 
* 巴拿赫代数（英语：）
* C\*-代数
* 谱 (泛函分析) (谱半径)
* 谱理论（英语：）(谱定理)
* 极分解
* 奇异值分解

 |
|  |
| 定理 | 
* 阿尔泽拉-阿斯科利定理
* 巴拿赫-阿勞格魯定理
* 巴拿赫-马祖尔定理（英语：）
* 贝尔纲定理
* 贝塞尔不等式
* 柯西-施瓦茨不等式
* 闭值域定理
* 閉圖像定理
* 哈恩-巴拿赫定理
* 角谷不动点定理
* 不变子空间问题
* Riesz延拓定理（英语：）
* 开映射定理
* 拉克斯-米尔格拉姆定理
* 帕塞瓦尔恒等式
* 肖德尔不动点定理（英语：）

 |
|  |
| 分析 | 
* 导数 (加托导数
* 泛函导数)
* 积分 (博赫纳积分
* 佩蒂斯积分（英语：）)
* 泛函演算（英语：） (波莱尔泛函演算（英语：）
* 连续泛函演算（英语：）)
* 反函数定理
* 向量测度
* 弱可测函数

 |

 |