Theorem
- With as a finite dimensional inner product space
- With
- With as an Orthogonal Basis for
- Suppose that matrix is Upper Triangular
- Then, is normal is a Diagonal Matrix
Proof
- Since is an Orthonormal Basis,
- If is diagonal, then , then this implies: which implies
- Conversely, suppose is Normal, and is Upper Triangular
- Then, if
- By our previous theorem, we can say that as is an Eigenvector with eigenvalue.
- This implies that
- We continue with Induction, to show that
- Thus, is Diagonal