a_2"的特征值。"formula_46"的列向量是"formula_2"的特征向量，而且他们是单位正交的。和埃尔米特的情况不同，"formula_2"的对角项未必为实数。
紧自伴算子的谱定理.一般来讲，希尔伯特空间中的关于紧自伴算子的谱定理和有限维的基本一样。定理：设"formula_2"为希尔伯特空间formula_1上的紧自伴算子。存在"formula_1"的标准正交基，由"formula_2"的特征向量构成。每个特征值都是实数。对于埃尔米特矩阵，关键在于存在至少一个