”，而将“核型算子”用于更一般的巴拿赫空间。
定义.有限。此时绝对收敛且不依赖于标准正交基的选择。这个值被称为"A"的迹。当"H"是有限维空间时，每个线性算子都是迹类的，并且A的迹的定义与矩阵的迹的定义一致。如果A是非负自伴算子，我们也可以通过可能发散的求和将A的迹定义为扩展实数
性质.
Lidskii定理.令formula_4是可分希尔伯特空间formula_5中的迹类算子，并且令formula_6 formula_7为for