If the series ∑i αi is convergent, T is a trace class operator.
級数 ∑ i αi が収束するなら、T はトレースクラス作用素である。