Eigenvalues of Hermitian Operator have Orthogonal Eigenspaces

Theorem

The eigenvectors of a Hermitian operator have eigenspaces which are orthogonal.

Proof

Directly follows from Hermitian Operator is Normal and Eigenvalues of Normal Operator have Orthogonal Eigenspaces.

$\blacksquare$