Eigenspace

Definition: Eigenspace

Let $A\in F^{n\times n}$ be a Square Matrix.

The eigenspace of an Eigenvalue $\lambda$ is the set of all eigenvectors which belong to $\lambda$ together with the zero vector.

$\{\vec{v}\in F^n\mid A\vec{v}=\lambda \vec{v}\}$

Theorem: Structure of Eigenspaces

The Eigenspace of an Eigenvalue $\lambda$ is a Subspace of the vector space $F^n$.

PROOF

TODO

Definition: Geometric Multiplicity

The geometric multiplicity of an Eigenvalue $\lambda$ is the Dimension of its Eigenspace.

NOTATION

$\mathrm{geo}(\lambda )$