设{en}是希尔伯特空间 中的规范正交系，{λ)→0(n→∞)，
且每个λn是实数。令
Tx=∑n=1∞λn(x，en)en，
则T是紧自伴算子。