Theorem
- With as a finite-dimensional Complex Inner Product Space
- Let Then, the following are equivalent:
- is Unitarily Diagonizable
- is Normal
Proof
By Schur’s Decomposition, all operators are unitarily upper trigular. If the operator is upper triangular using the orthonormal bases. it is diagonal it is normal