Definition
For a linear operator or matrix and a given eigenvalue λ, the geometric multiplicity is the dimension of the eigenspace ker(A−λI), i.e., the number of linearly independent eigenvectors associated with λ.
Principle
Principle
Geometric multiplicity counts independent eigenvectors and is bounded above by the algebraic multiplicity; its value controls diagonalizability and the size of Jordan blocks in canonical forms.
Demonstration
Demonstration
For the 2×2 Jordan block matrix [[λ,1],[0,λ]] the eigenspace has dimension one so the geometric multiplicity of λ is 1 while its algebraic multiplicity is 2, preventing diagonalization.
Misapplication
Misapplication
Assuming algebraic and geometric multiplicities always agree: doing so leads to incorrect claims of diagonalizability; many matrices have fewer independent eigenvectors than the algebraic count suggests.
Consequence
Consequence
Correct use determines whether an operator is diagonalizable (geometric multiplicities summing to the space dimension) and informs the structure of generalized eigenspaces and solutions of linear systems.
Reversal
Reversal
Algebraic multiplicity (the multiplicity of λ as a root of the characteristic polynomial) measures polynomial order rather than independent eigenvectors and may exceed the geometric multiplicity.
Boundary
Boundary
Definition is straightforward for finite-dimensional operators; in infinite-dimensional settings eigenspace dimension is still definable but algebraic multiplicity and Jordan structure require generalized notions (e.g., ascent, descent, root spaces).
Semantic Tension
Semantic Tension
Geometric multiplicity versus rank/defect: geometric multiplicity equals nullity of A−λI and interacts with the rank-nullity theorem, but differs conceptually from algebraic multiplicity which is spectral polynomial data.
Synthesis
Synthesis
Geometric multiplicity is the count of independent eigenvectors for an eigenvalue: the nullspace dimension of A−λI that determines diagonalizability and the minimal block structure needed to represent the operator.