Work in , the domain of the matrix ; the printed in the introduction is a dimension typo. For a fixed nonempty support of a vector , write for the coordinates of in . Then
The Gram matrix is a Hermitian matrix, so its difference from the identity matrix is also a Hermitian matrix. By the finite-dimensional spectral theorem, its matrix 2-norm is the largest absolute eigenvalue, equivalently
Indeed, an expansion in an orthonormal eigenbasis bounds every Rayleigh quotient by the largest absolute eigenvalue, and an appropriate eigenvector attains that bound. The restricted isometry constant must bound this quantity for every of size at most , and the maximum of these quantities suffices for all sparse vectors of order . There are finitely many sets, so the maximum exists. The empty set contributes zero. Therefore
If , then commutes with its adjoint because it commutes with every polynomial in itself. Hence is a normal operator.
Conversely let be the distinct eigenvalues of a normal . The orthonormal eigenbasis from part (ii) reduces the desired identity to . Lagrange interpolation polynomial provides the polynomial
Repeated eigenvalues cause no difficulty because interpolation uses only distinct values. If , use . This proves both directions of the third equivalence.
We prove the finite-dimensional spectral theorem for normal operators by induction on dimension. A complex linear operator has an eigenvector with eigenvalue , by the fundamental theorem of algebra. For a normal operator , the operator is also normal, and
for every . Applying this to shows .
Normalize . Its orthogonal complement is invariant under both and : the adjoint operator identities pair with through , and with through . The restricted operator on remains normal, and its adjoint is the restriction of . Induction supplies an orthonormal eigenbasis of , which together with gives one for .
Conversely, in an orthonormal basis of eigenvectors, is diagonal and is the diagonal matrix of the conjugate eigenvalues. The two diagonal operators commute. Thus normality is equivalent to an orthonormal eigenbasis. The zero-dimensional case is immediate.
Use an orthonormal eigenbasis of the Hermitian operator and set . Since is a positive contraction,
For , the missing weight among the first entries equals the weight in the remaining entries:
The ordered eigenvalues satisfy for and for . Therefore
This argument does not require the eigenvalues of to be positive. For , positivity and zero trace give ; for , the same argument applied to gives . Thus in every case
The orthogonal projection onto the leading eigenvectors attains equality. This is the Hermitian effect variational principle, extending the Ky Fan maximum principle to all positive contractions with the prescribed trace.
The absolute value of an operator, trace norm, and operator norm are respectively
The positive square root of an operator makes well defined. Its eigenvalues are the singular values of , so and .
Use the polar decomposition of a bounded operator , with the given unitary operator . In an orthonormal eigenbasis for ,
The operator norm assumption and unitarity imply . The triangle inequality therefore yields the required trace estimate:
Choosing attains equality, which also gives the finite-dimensional trace duality formula . A singular causes no difficulty: in a finite-dimensional square space the polar factor can be extended to a unitary operator on the complementary subspaces.
Take the real inner product
The stationary distribution is strictly positive for an irreducible Markov chain. Detailed balance gives , so is a self-adjoint operator. Choose a real orthonormal eigenbasis , where , , , , and for .
For fixed , apply the spectral decomposition to . Its coefficient against is , whereas . Thus the spectral kernel expansion of a reversible chain is
This holds for all integers ; at each multiplier is one, including when . Negative eigenvalues are allowed, and retain their signs for odd .
Use . The Dirichlet form of a Markov chain is
The equality follows by expanding the square and using row sums one and the stationary distribution identity. For the reversible Markov chain, detailed balance makes a self-adjoint operator, with real orthonormal eigenbasis and ordered eigenvalues .
Adding a constant changes neither the variance nor the Dirichlet form of a Markov chain. Expand the centered function as . Then
For every nonconstant the quotient is at least , and equality is attained at . This proves
Equivalently minimize the Dirichlet form of a Markov chain over centered unit-norm functions. This is the variational characterization underlying the Poincare inequality for a reversible Markov chain, and does not require the transition matrix to have nonnegative eigenvalues. For a one-state chain there is no nonconstant test function; the displayed minimization concerns .
Use the unscaled penalty convention consistent with the displayed bound:
For an objective with averaged squared loss, the corresponding penalty parameter would be . We retain the unscaled throughout.
By the representer theorem, the kernel ridge regression minimizer lies in the span of . A valid coefficient vector is , giving
The kernel matrix is a positive semidefinite matrix, so the inverse exists even if is singular. In the coefficient objective , this choice satisfies ; there is no need to cancel . The function itself is unique because of the strictly convex squared Hilbert norm. The matrix is the kernel-ridge hat matrix in the present normalization.
Let . Since , the zero mean and covariance assumption give the exact bias-variance decomposition for linear prediction
No normality of the noise is required for this identity.
Choose an orthonormal eigenbasis of , with eigenvalues . Its shrinkage factors are , so
The first bound follows from and from each shrinkage factor being at most one.
To control the bias by the Reproducing kernel Hilbert space norm, for define
The reproducing property gives and
If , the corresponding unscaled kernel combination has Hilbert norm squared , so . There is therefore no bias component in a zero-eigenvalue direction. For the remaining directions,
The scalar bound is again , and the final step is Bessel inequality. Combining the variance and bias bounds proves the prediction-risk bound for kernel ridge regression:
Replace coordinate inequalities by the Loewner order and coordinate sums by matrix trace. The maximizing semidefinite program is
Its feasible set is the fantope. In an orthonormal eigenbasis of , its objective is , and the diagonal entries of belong to the capped simplex. Choosing as the orthogonal projection matrix onto the largest eigenvectors attains the sum of the largest eigenvalues, as in the Ky Fan maximum principle.
The minimizing semidefinite program is
For example, its Lagrangian arises by assigning to , keeping in the domain, and using free for . Finiteness of the supremum over requires .
Equality follows directly by choosing to have eigenvalues in the same orthonormal eigenbasis, with between the th and st eigenvalues, or below the smallest one for . This is the threshold semidefinite program for the largest eigenvalues, and it also verifies the endpoint case .
The dot product is . Each planar vector is perpendicular to because its third component vanishes. Each has norm one, so the three vectors form an orthonormal eigenbasis. This also follows from the spectral theorem for the real symmetric coefficient matrix.
Expand an arbitrary vector in the orthonormal eigenbasis:
Its image has no component along , so
Alternatively, symmetry gives . This is image-kernel orthogonality for an adjoint, with .
First divide each of the first two equations by two. Then
The equal-component and opposite-component directions diagonalize the upper block, while the third coordinate is independent. Direct multiplication gives the eigenvalues and unit eigenvectors
They form an orthonormal eigenbasis because is a real symmetric matrix.
A real orthogonal matrix satisfies ; a complex unitary matrix satisfies . Their columns are orthonormal in the corresponding real or complex inner product.
Adopt the convention that a complex inner product is linear in its second argument, conjugate symmetric, and positive definite: , with equality exactly when . Conjugate symmetry and second-argument linearity then imply antilinearity in the first:
For the specified real symmetric matrix use . Its upper block is the outer product , so it has one zero eigenvalue and one eigenvalue . A complete orthonormal eigenbasis is
If , the last two eigenvalues coincide and their eigenspace is the span of ; every nonzero vector in that span is an eigenvector. Since , the zero eigenspace remains one-dimensional.
By the spectral theorem, the Hermitian matrix has a complete orthonormal eigenbasis. If , idempotence gives , so every eigenvalue is zero or one. Since , at least one is zero. Therefore
The trace of an idempotent equals its rank; here Hermiticity further identifies as an orthogonal projection matrix.
A complex inner product is conjugate-linear in its first argument, linear in its second, conjugate symmetric and positive definite: and for nonzero . An orthonormal basis is a spanning linearly independent family with . The associated norm is .
For two distinct basis elements , their orthogonality and unit norms give . Hence their distance is ; if the same element is selected twice, it is zero.
Finally, for , the scalar quadratic form obeys , proving is real.
A unitary matrix satisfies over the complex numbers; a real orthogonal matrix satisfies . Their inverses are their conjugate transposes and transposes, respectively.
With , the coordinate has eigenvalue . In the plane, the traceless symmetric two-by-two matrix has eigenvalues , where . If , choose with and . Then an orthonormal eigenbasis is
If equals or , the corresponding eigenspace is the span of the two listed vectors with that eigenvalue. If , then , the plane is the zero eigenspace, and retains eigenvalue ; if also , every vector belongs to the zero eigenspace. This includes the degenerate cases that a division by would miss.
For the Cauchy-Schwarz inequality, take and remove the orthogonal projection of along . Positivity of the squared norm gives
Multiplication by and square roots prove ; the case is immediate. Equality means linear dependence. Therefore
Taking the nonnegative square root proves the triangle inequality.
Introduce a Lagrange multiplier for the normalization and vary . With variation satisfying , integration by parts gives
The upper endpoint term vanishes, and the lower term vanishes because with the stipulated regular differentiable behavior. More generally the natural endpoint condition is there. The fundamental lemma of the calculus of variations gives , the stated Sturm-Liouville problem.
The Rayleigh-Ritz variational principle estimates the lowest eigenvalue by minimizing over an admissible finite-dimensional trial family. Restricting the family can only raise the minimum.
For the specific radial problem, and . The trial has . Normalization gives , with the negative sign an equivalent choice. The numerator is , so
This is the quadratic case of the power-law variational bound for a circular membrane. The exact first eigenvalue is smaller because the polynomial trial is not the exact Bessel function of the first kind eigenfunction. Expanding a trial in the exact orthonormal eigenbasis expresses its Rayleigh quotient as a weighted average of eigenvalues, so no admissible trial can lie below the lowest one.
A complex matrix is diagonalizable exactly when it has a basis of three linearly independent eigenvectors. If all its eigenvalues are one, a diagonalization would have and hence . Therefore the specified matrix, which is not a scalar identity matrix, is not diagonalizable.
For the displayed real symmetric matrix, choose the orthogonal matrix
Its columns form an orthonormal eigenbasis, and
In the orthogonal coordinates , , the quadric surface has equation . It is a prolate spheroid, with long semiaxis one in direction and two equal short semiaxes . The figure gives its principal-axis sketch.
Figure 1.
The diagonalized quadric is a prolate spheroid with semiaxes one and one over the square root of three
. Details.
A diagonalizable matrix can certainly have exactly two distinct eigenvalues: is already diagonal and has an eigenbasis despite its repeated eigenvalue.
An eigenvalue and associated eigenvector satisfy . The characteristic polynomial has degree equal to the positive matrix size. The fundamental theorem of algebra gives a complex root, at which is singular and therefore has a nontrivial kernel. Hence every nonempty square complex matrix has an eigenvector.
A nondiagonalizable example is the Jordan block : its only eigenvalue is zero, and its eigenspace is one-dimensional. A Hermitian matrix satisfies and has an orthonormal eigenbasis by the spectral theorem. One proof finds an eigenvector, notes that its orthogonal complement is invariant, and repeats. Its eigenvalues are real because
where .
With all eigenvalues negative, is invertible. Its same complete eigenbasis gives
Some powered eigenvalues can coincide, but the original eigenvectors remain a complete basis. Writing , the convergent matrix exponential series gives
Thus the matrix inverse from a decaying matrix exponential is
The identity printed in the original PDF is missing a minus sign. Already for the one-by-one matrix its integral is , whereas its inverse is . Equivalently, integrating gives , confirming the correction without diagonalization.
For a regular self-adjoint problem with a lowest eigenvalue and a complete orthonormal eigenbasis in the weighted inner product, expand an admissible trial function as . Then
The Rayleigh-Ritz variational principle therefore provides the upper bound
Choose a family satisfying the essential boundary conditions and finite energy, evaluate the quotient, and minimize over its parameters. Enlarging the trial family can only improve or preserve the bound; equality is attained if it includes an exact ground eigenfunction. For a finite linear trial space, this becomes a generalized matrix eigenvalue problem.