紧算子序列

sequence of compact operators