核作用素
上で定義されたようなコンパクト作用素は
∑ n = 1 ∞ ρ n < ∞ {\displaystyle \sum _{n=1}^{\infty }\rho _{n}<\infty }
が成立するとき、核(nuclear)あるいはトレースクラス(trace-class)であると言われる。