Weyl's Theorem for Bounded Self-Adjoint Operators
In the authors' words
Let be a bounded self-adjoint operator on a separable infinite-dimensional right quaternionic Hilbert space, and let be the set of right eigenvalues of finite type. We prove that Weyl's theorem holds for : which completes the inclusion obtained in the general case. The proof proceeds through a single three-way criterion: a point of lies outside , and equally lies in , exactly when it is isolated with a spectral atom of finite rank. The natural route through Riesz projections is not available as it stands, because a Riesz projection need not be orthogonal; we show that for a self-adjoint operator it in fact is, the Riesz projection of an isolated spectral part coinciding with the corresponding spectral projection, so that the algebraic and geometric multiplicities agree. A quaternionic matrix shows that this last identity fails without self-adjointness, and a normal operator with genuinely spherical -spectrum shows what has to change in the normal case.
Appeared: Tuesday, September 22. arXiv. Preprint, not yet peer-reviewed.