Every self-adjoint operator on a finite-dimensional real or complex inner product space has an orthonormal eigenbasis, and all its eigenvalues are real. In orthonormal coordinates, a real symmetric matrix has the form , with an orthogonal matrix and a real diagonal matrix. A complex Hermitian matrix instead has , with a unitary matrix and its conjugate transpose. These are the self-adjoint cases of the spectral theorem; Axler gives the real and complex finite-dimensional statements in Section 7B.[ref]
An orthonormal eigenbasis turns a seemingly coupled linear map into independent scalar multiplications while preserving lengths and angles. If and , then
The last identity removes every cross term from the quadratic form. The eigenvalues tell us whether it is positive, negative, or mixed in sign, and the eigenvectors identify the corresponding directions. This connects positive-definite matrices, quadratic forms, and the Hermitian Rayleigh quotient range.
For a fully computed example, take
Direct multiplication gives and . Their dot product is zero and each has norm one. Thus
Writing changes into . Its level set is therefore an ellipse with semiaxis lengths and , along and . The coordinates change, but the ellipse does not: orthogonal diagonalization reveals its existing geometry.
Figure 1.
An orthonormal eigenbasis removes the cross term from a quadratic form and reveals the axes of its ellipse
. Details.
For distinct eigenvalues, orthogonality follows at once from self-adjointness: . Within a repeated eigenspace, choose an orthonormal basis; arbitrarily chosen eigenvectors of the same eigenvalue need not be orthogonal. One outline of the full argument finds an eigenvector, observes that its orthogonal complement is invariant, and repeats in that smaller space. Merely having real eigenvalues is weaker: has two real eigenvalues, but its eigenvectors and are not orthogonal.
A Hermitian operator on a -dimensional Hilbert space, with distinct eigenvalues all belonging to , must occupy this entire grid. This follows from the pigeonhole principle: the set of possible values and the set of distinct eigenvalues have the same cardinality. Its minimum eigenvalue is zero, so the operator is necessarily singular. Distinctness therefore does not imply invertibility; it forces a one-dimensional kernel in this specific complete-grid setting.
An orthonormal eigenbasis of a linear operator is an orthonormal basis consisting of eigenvectors. Each vector can be reconstructed from its scalar components along those mutually perpendicular unit directions. With the convention that the inner product is linear in its first argument,
The finite-dimensional spectral theorem supplies such a basis for a self-adjoint operator. In its two-dimensional example, the coordinates of are along and along . The operator multiplies those coordinates by and , and reconstruction gives .
Repeated eigenvalues permit different orthonormal choices within one eigenspace, so the basis need not be unique. The spectral projection of a self-adjoint matrix onto that entire eigenspace is unique: it keeps the geometrically meaningful component without choosing individual axes inside it.
For a finite-dimensional Hermitian matrix , its spectral projection is the orthogonal projection onto the eigenspace for . In an orthonormal eigenbasis, the displayed sum is over every basis vector with that eigenvalue. The projection is independent of the choice of basis within a repeated eigenspace. For distinct eigenvalues ,
This is the spectral decomposition grouped by distinct eigenvalues: decompose a vector into orthogonal pieces, then scale each piece. For the matrix ,
Thus and : the two pieces add back to . Squaring the matrix simply squares each scalar, , and similarly the matrix exponential is . Spectral projections of a self-adjoint matrix turn repeated matrix calculations into scalar calculations on fixed vector subspaces.

Ancestors (7)

  1. Self-adjoint operator
  2. Operator theory
  3. Linear algebra
  4. Algebra
  5. Area of mathematics
  6. Mathematics
  7. Home

Discussion (0) New discussion

There are no discussions about this article yet.

Articles by others on the same topic (0)

There are currently no matching articles.