Assume that we have a self-adjoint operator $T: H \rightarrow H$ with a representation $T(x) = \sum_{n=0}^{\infty} \lambda_n \langle x , x_n \rangle x_n,$ so we have pure point spectrum.
Now, I was wondering whether this classical Linear Algebra result still holds:
Let $V \subset H$ be a finite-dimensional subspace such that $T(V) \subset V$, then $T|_V$ is a diagonizable matrix?
Somehow, this sounds very natural, since $V$ is closed, so we can decompose the operator in $T: V \oplus V^{\perp} \rightarrow H$, but I have difficulties to characterize the invariant spaces.