Normal Matrix
Defintion 1. Let . We say that is normal if .
선형 연산자 가 normal일 조건과 동일하게 normal인 행렬을 정의할 수 있다. 또한 Theorem 2의 행렬 버전을 말할 수 있다.
Theorem 1
Theorem 1. Let . Then is normal is unitarily equivalent to a diagonal matrix.
Proof. ()
By Theorem 2, there exists an orthonormal basis for consisting of eigenvectors of . Then by Theorem 2, where for the standard ordered basis for . Note that is the matrix whose columns are the vectors in . Since is orthonormal, by remark, . Thus is unitary, so is unitarily equivalent to .
Suppose that for some unitary matrix . Note that . Then .