Could anyone tell me how to prove the following proposition?
Let $\lambda$ be an eigenvalue of a symmetric matrix. Then, its geometric multiplicity equals its algebraic multiplicity.
Could anyone tell me how to prove the following proposition?
Let $\lambda$ be an eigenvalue of a symmetric matrix. Then, its geometric multiplicity equals its algebraic multiplicity.
Every symmetric matrix is diagonalizable (this can be proved by small perturbation argument), that is: it has a full set of orthogonal eigenvectors and is conjugate to a diagonal matrix. So, you only need to prove the statement for diagonal matrix. Symmetric matrices have no Jordan block in their spectral decomposition, that cause discrepancy in the geometric and algebraic multiplicities of eigenvalues.
I saw this question in Anton's Elementary Linear Algebra (Exercise 7.2.31). At there, this question was used to prove the spectral theorem. So I was supposed to unable to use the theorem.
Anton had given an outline of the proof. I just give the detail.
Let $B_0=\{\mathbf{u}_1, \mathbf{u}_2, ..., \mathbf{u}_k\}$ be a basis for the eigenspace $E_{\lambda}$. Extend this basis to an orthonormal basis $B=\{\mathbf{u}_1, \mathbf{u}_2, ..., \mathbf{u}_k, \mathbf{u}_{k+1}, ..., \mathbf{u}_n\}$ for $\mathbb{R}^n$.
Let $P=[\mathbf{u}_1|\mathbf{u}_2|\cdots |\mathbf{u}_k |\mathbf{u}_{k+1} |\cdots |\mathbf{u}_n]$. Then $AP=P\begin{bmatrix}\lambda I_k & X \\ O & Y \end{bmatrix}$ and $P^{-1}=P^T$ and $P^T AP=\begin{bmatrix}\lambda I_k & X \\ O & Y \end{bmatrix}$.
Since $A$ is symmetric, we have $$ \begin{bmatrix}\lambda I_k & X \\ O & Y \end{bmatrix} =P^T AP=P^T A^T P=(P^T AP)^T =\begin{bmatrix}\lambda I_k & X \\ O & Y \end{bmatrix}^T =\begin{bmatrix}\lambda I_k & O \\ X^T & Y^T \end{bmatrix}. $$ This follows that $X=O$. Hence, $AP=P\begin{bmatrix}\lambda I_k & O \\ O & Y \end{bmatrix}$ and $P^T AP=\begin{bmatrix}\lambda I_k & O \\ O & Y \end{bmatrix}$.
Note that $A$ is similar to $\begin{bmatrix}\lambda I_k & O \\ O & Y \end{bmatrix}$. So they have the same characteristic polynomial. The characteristic polynomial of $\begin{bmatrix}\lambda I_k & O \\ O & Y \end{bmatrix}$ is $\det{(\lambda I_k-xI_k)}\det{(Y-xI_{n-k})}$. We will show that $\lambda$ cannot be a root of $\det{(Y-xI_{n-k})}$. Then the algebraic multiplicity of $\lambda$ is $k$, equals to geometric multiplicity of $\lambda$.
Suppose that $\lambda$ is a root of $\det{(Y-xI_{n-k})}$. Let $\mathbf{y}$ be an eigenvector of $Y$ with eigenvalue $\lambda$. Then $$ A\left(P\begin{bmatrix}0\\0\\\vdots\\0\\\mathbf{y}\end{bmatrix}\right) =\left(P\begin{bmatrix}\lambda I_k & O \\ O & Y \end{bmatrix}P^T\right)\left(P\begin{bmatrix}0\\0\\\vdots\\0\\\mathbf{y}\end{bmatrix}\right) =\lambda\left(P\begin{bmatrix}0\\0\\\vdots\\0\\\mathbf{y}\end{bmatrix}\right). $$ That is, $P\begin{bmatrix}0\\0\\\vdots\\0\\\mathbf{y}\end{bmatrix}$ is an eigenvector of $A$ with eigenvalue $\lambda$. Which implies that $P\begin{bmatrix}0\\0\\\vdots\\0\\\mathbf{y}\end{bmatrix}\in E_{\lambda}=\text{span}(\mathbf{u}_1, \mathbf{u}_2, ..., \mathbf{u}_k)$.
On the other hand, note that $$ P\begin{bmatrix}0\\0\\\vdots\\0\\\mathbf{y}\end{bmatrix} =[\mathbf{u}_1, \mathbf{u}_2, ..., \mathbf{u}_k, \mathbf{u}_{k+1}, ..., \mathbf{u}_n]\begin{bmatrix}0\\0\\\vdots\\0\\\mathbf{y}\end{bmatrix} \in \text{span}(\mathbf{u}_{k+1}, \mathbf{u}_{k+2}, ..., \mathbf{u}_{n}). $$ This is impossible because $\text{span}(\mathbf{u}_1, \mathbf{u}_2, ..., \mathbf{u}_k) \cap \text{span}(\mathbf{u}_{k+1}, \mathbf{u}_{k+2}, ..., \mathbf{u}_{n})=\{0\}$.
This is not a proof but something like paraphrase to help understand the question. For a detailed proof, I vote for @bfhaha's.
For a specific eigenvalue $\lambda$, if Geometric Multiplicity $\gamma(\lambda)$ is equal to Algebraic Multiplicity $\mu(\lambda)$, this means the size of the largest Jordan Block should be 1 and there are $\mu=\gamma$ blocks for $\lambda$.
If $A$ is real symmetric then it is diagonalizable. That is, there is some orthogonal $P$ such that $AP=PD$, where $D$ is diagonal. The columns of $P$ are each eigenvectors, and form a basis. Hence all geometric multiplicities equal algebraic multiplicities.