摘要： 这里A与J都是定义在某Hilbert空间H中的自伴线性算子J与A不对易。问题在于决定问题(1)的谱,以及证明(1)的本征元的完整性——即判定诸本征元是否构成H的基。