让成为希尔伯特空间,一套有界的线性运算符从对自己而言，一个操作人员在、和这个算子谱属于.那么如果和是正常的，存在唯一的身份解析上Borel子集属于这满足了
此外，每个投影 通勤每个那个通勤具有.
更多需要尝试的事情：
埃里克·魏斯坦（Eric W.Weisstein）。“谱定理。”发件人数学世界--Wolfram Web资源。https://mathworld.wolfram.com/SpectralTheorem.html
