[Math] Why aren’t all real self-adjoint operators diagonal

linear algebra

I'm experiencing some confusion regarding self-adjoint operators. As background for my question, I give the following 3 results (all from Linear Algebra, 3rd ed. by Friedberg, Insel, and Spence):

Theorem 6.17: "Let $T$ be a linear operator on a finite-dimensional real inner product space $V$. Then $T$ is self-adjoint if and only if there exists an orthonormal basis $\beta$ consisting of eigenvectors of $T$."

Theorem 6.14 (Schur's Theorem): "Let $T$ be a linear operator on a finite-dimensional inner product space $V$. Suppose that the characteristic polynomial of $T$ splits. Then there exists an orthonormal basis $\beta$ for $V$ such that the matrix $[T]_\beta$ is upper triangular."

Lemma: "Let $T$ be a self-adjoint operator on a finite-dimensional inner product space $V$. Then (a) Every eigenvalue of $T$ is real. (b) Suppose that $V$ is a real inner product space. Then the characteristic polynomial of $T$ splits."

From these results I want to say this: Let $T$ be a self-adjoint linear operator on a finite-dimensional real vector space $V$. Then by the lemma, the characteristic polynomial splits, and by Schur's theorem there exists an orthonormal basis $\beta$ for $V$ so that $[T]_\beta$ is upper triangular. Let $A=[T]_\beta$. Then since $T$ is self-adjoint we have $A^*=[T]_\beta^*=[T^*]_\beta=[T]_\beta=A$ (this comes from the proof of Theorem 6.17) so that $A$ must be a diagonal matrix. So this seems to imply that every self-adjoint linear operator on a finite-dimensional real vector space is diagonal, but this is not the case since the self-adjoint matrices clearly include any real symmetric matrix. What am I not seeing?

Best Answer

Being diagonal is not a property of an operator but of a matrix. That there exists an orthonormal basis $\beta$ in which $T$ is represented by a diagonal matrix doesn't imply that it is represented by a diagonal matrix in all orthonormal bases, so there's no contradiction here.

With respect to any orthonormal basis a self-adjoint operator is represented by a Hermitian (or self-adjoint) matrix, and the fact that there exists a basis $\beta$ in which it is represented by a diagonal matrix corresponds to the fact that every Hermitian matrix is diagonalizable by a unitary matrix.

Related Question