A Hermitian matrix obeys , where the dagger is conjugate transpose. If with , then . This scalar is real because its complex conjugate equals . Since , the eigenvalue is real.
For the Gram matrix, conjugate symmetry of the inner product givesThus is Hermitian. The assumption that the vectors form a basis additionally makes positive definite, though only Hermiticity is needed here.
For the general independence of eigenvectors for distinct eigenvalues, use induction. In a relation , applying gives . Independence of the first vectors makes each coefficient vanish. Distinctness of the eigenvalues then gives , and the original relation gives . No Hermitian assumption is required.
Articles by others on the same topic
There are currently no matching articles.