满足如下条件的紧算子，可以为其定义迹，使得迹有限且与基底的选择无关。迹类算子本质上与核型算子相同，但是许多作者将希尔伯特空间上的核型算子这一特殊情况称为“迹类算子”，而将“核型算子”用于更一般的巴拿赫空间。
定义.有限。此时绝对收敛且不依赖于标准正交基的选择。这个值被称为"A"的迹。当"H"是有限维空间时，每个线性算子都是迹类的，并且A的迹的定义与矩阵的迹的定义一致。如果A是非负自伴算子，我们也可以通过可能发散的求和将A的迹定义为扩展实数
性质.Se