en:泛函分析:谱理论基础