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 gives
Thus is Hermitian. The assumption that the vectors form a basis additionally makes positive definite, though only Hermiticity is needed here.
Let and , with both vectors nonzero and . If , apply to get . Hence , and then .
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 (0)

There are currently no matching articles.