四元数ヒルベルト空間の自己共役作用素でWeylの定理

Let $T$ be a bounded self-adjoint operator on a separable infinite-dimensional right quaternionic Hilbert space, and let $\sigdS(T)$ be the set of right eigenvalues of finite type. We prove that Weyl's theorem holds for $T$: $$\sigeS(T)=\sigS(T)\setminus\sigdS(T),$$ which completes the inclusion obtained in the general case. The proof proceeds through a single three-way criterion: a point of $\sigS(T)$ lies outside $\sigeS(T)$, and equally lies in $\sigdS(T)$, 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 $2\times2$ quaternionic matrix shows that this last identity fails without self-adjointness, and a normal operator with genuinely spherical $S$-spectrum shows what has to change in the normal case.