en:泛函分析:紧算子的谱理论