If a -dimensional invariant subspace is mapped to the span of the first coordinate vectors by a similarity transformation, the transformed matrix has block form
Its characteristic polynomial factors as , so its eigenvalues are the eigenvalues of the two diagonal blocks, counted with algebraic multiplicity.
Expansion along the first column gives the characteristic polynomial
Thus the eigenvalue has algebraic multiplicity two. Solving gives and then , leaving arbitrary. Its eigenspace is and has geometric multiplicity one. A diagonalisable matrix needs an eigenvector basis, so is not diagonalisable.
If with invertible, then . Multiplicativity of the determinant gives
The roots of the characteristic polynomial, counted with their multiplicities, are the eigenvalues with their algebraic multiplicities. Thus similar matrices have the same eigenvalues with the same algebraic multiplicities.
The converse is false. The matrices
both have characteristic polynomial , but every matrix similar to is , whereas . Alternatively, their geometric multiplicities for differ.
An eigenvalue can be complex even though is real, so use the complex Hermitian inner product. For a nonzero complex eigenvector , the real orthogonal matrix also satisfies . Hence
and . Taking complex conjugates in gives because is real. The conjugate vector is nonzero, so .
For the unheaded geometrical conclusion, the third eigenvalue of must be real: nonreal eigenvalues of a real matrix occur in conjugate pairs. Its modulus is one, so it is or . Exact algebraic multiplicity two for excludes a third , leaving . By the supplied diagonalisability fact, the -eigenspace is a two-dimensional plane and the -eigenspace is a line. They are orthogonal: preservation of the inner product between a fixed vector and a negated vector gives . Therefore is the orthogonal reflection in its fixed plane. It fixes the two tangential directions and reverses the normal direction; with unit normal , .
Since and ,
Thus the first column of is , and is a block upper triangular matrix:
where is its bottom-right submatrix. Therefore
A similarity transformation preserves the characteristic polynomial, so
with algebraic multiplicities included.
To construct , use a Householder transformation. With , choose the sign of to avoid cancellation and set
Then is an orthogonal matrix and maps to up to the chosen sign. If already lies on the first coordinate axis, take a suitable diagonal sign matrix. This is the one-vector case of orthogonal coordinate reduction of a subspace.
Let . Since the two columns are linearly independent, the leading block in
is invertible. Hence . The hypothesis that is an invariant subspace of implies that this coordinate plane is invariant under . Consequently the first two columns of have no entries below row two, and
where is the top-left block and is the bottom-right block. Eigenvalue deflation by an invariant subspace now gives
so
again counting algebraic multiplicities.
For the required orthogonal reduction, take a thin QR decomposition , extend the two orthonormal columns of to an orthogonal matrix , and set . Then
Equivalently, apply one Householder transformation to annihilate entries of , followed by a second Householder transformation acting only on coordinates to annihilate entries of the transformed .
Under an orthogonal change of coordinates represented by , the component matrix changes by
Thus is similar to , so its characteristic polynomial, eigenvalues, and their algebraic multiplicities are unchanged.
If is symmetric, the spectral theorem for real symmetric matrices makes it diagonalizable, so algebraic and geometric multiplicities agree. Consequently the dimensions of its eigenspaces are also independent of the coordinate frame.
For the stated tensor, choose a unit eigenvector belonging to the simple eigenvalue . Its perpendicular plane is the eigenspace of , so
Hence
The Jordan normal form theorem says that every complex square matrix is similar to a direct sum of Jordan blocks, uniquely up to their order. For an eigenvalue , if its blocks have sizes , then its algebraic multiplicity and geometric multiplicity are
and its contribution to the minimal polynomial is . Thus
where is the largest -block size.
For the given matrix,
Moreover,
Hence
The eigenvalue therefore has one Jordan block of size two, so
Simple eigenvalue Created 2026-09-24 Updated 2026-10-03
An eigenvalue is simple when it has algebraic multiplicity one.