# Eigenvectors of a hermitian matrix to the same eigenvalue

If a matrix $$A$$ is hermitian and an eigenvalue $$\lambda$$ has multiplicity $$k$$, are there always $$k$$ pairwise orthogonal vectors $$x_1,...,x_k$$ with $$Ax_i=\lambda x_i$$ for all $$i=1,...,k$$ ? If yes, how can this be proven ?
The answer to this depends on whether you choose an orthogonal basis for the eigenspaces or not. But if you do, you can do some actually scaling on the vectors to diagonalize $A$ with an orthonormal basis of $\mathbb{C}^n$. This is called unitary diagonalization, and this is a notable property: the unitarily diagonalizable matrices are a proper subset of all diagonalizable matrices.
• Note that the spectral theorem guarantees that $A$ is always diagonalizable period. This shows that $A$ is always unitarily diagonalizable. – user137769 Jun 22 '14 at 12:07
The answer is yes (in the finite dimensional case). By definition, the eigenvectors of $A$ with eigenvalue $\lambda$ must be linearly independent. So use the Gram-Schmidt algorithm on them.