Let and . The skew-Hermitian matrix property gives
where the last equality uses part (a). Distinct eigenvalues therefore imply . Normalize each eigenvector to length one. Since there are distinct eigenvalues, these vectors form an orthonormal basis.
Put them in the columns of . Then is a unitary matrix and , so

Articles by others on the same topic (0)

There are currently no matching articles.