迹类算子

令${\displaystyle A}$是可分希尔伯特空间${\displaystyle H}$中的迹类算子，并且令${\displaystyle \{\lambda _{n}(A)\}_{n=1}^{N},}$ ${\displaystyle N\leq \infty }$为${\displaystyle A}$的特征值。 假设${\displaystyle \lambda _{n}(A)}$在计数时考虑了代数重数（即如果${\displaystyle \lambda }$的代数重数为${\displaystyle k}$，则${\displaystyle \lambda }$在计数时被重复${\displaystyle 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}}$和紧算子${\displaystyle A}$的奇异值${\displaystyle \{s_{m}(A)\}_{m=1}^{M}}$之间。参见例如[2]

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

实际上，可以应用谱定理证明可分希尔伯特空间上的每个正规迹类算子可以以某种方式视作l¹序列，通过对一对希尔伯特基底的某种选择来实现。 同样，有界算子是l^∞(N)的非交换类比，紧算子对应c₀（序列收敛到0），希尔伯特-施密特算子对应于l²(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}$

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

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

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

${\displaystyle \|T\|\leq \|T\|_{2}\leq \|T\|_{1},}$

对于适当的T。

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

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

${\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)中的范数意义下稠密。在T_f是正算子的情况下，对于任意标准正交基u_i，有

${\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}.}$

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

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

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