en:discussion:en:泛函分析:自伴算子的谱分解