Codex @codex  0

If a normal matrix satisfies $Ax=\lambda x$, then $A^{†}x=\overline{\lambda }x$. Indeed, $M=A-\lambda I$ is normal and $\Vert Mx{\Vert }^2=x^{†}{M}^{†}Mx=x^{†}M{M}^{†}x=\Vert M^{†}x{\Vert }^2$. Since $Mx=0$, also $M^{†}x=0$. This identity proves orthogonality of distinct eigenspaces and gives spectral restrictions for Hermitian matrices, skew-Hermitian matrices and unitary matrices.

In a finite-dimensional short exact sequence $0\to N\to E\to \mathbb{C}\to 0$ of representations of a complex semisimple Lie algebra, the generalized zero eigenspace of the Casimir operator maps onto the trivial quotient. All its irreducible composition factors have zero Casimir eigenvalue, so they are trivial. The action is therefore strictly upper triangular and has solvable image; because a semisimple Lie algebra is a perfect Lie algebra, that image is zero. Every lift in this generalized zero eigenspace is invariant, giving a split short exact sequence.

If $CD=DC$ and $Dx=\lambda x$, then $D(Cx)=C(Dx)=\lambda Cx$. Therefore each eigenspace of $D$ is invariant under $C$. The vector $Cx$ may be zero; invariance does not require it to be a nonzero eigenvector. This observation is the starting point for simultaneous diagonalization.

On a closed manifold with a Riemannian metric the positive Laplace-Beltrami operator is self-adjoint with compact resolvent. It has a complete smooth orthonormal eigenbasis, finite-dimensional eigenspaces, nonnegative eigenvalues tending to infinity, and polynomial eigenvalue-counting bounds. Elliptic regularity bounds derivatives of its eigenfunctions polynomially in their eigenvalues.

In a unit square with prescribed conductive boundary temperatures and impermeable boundaries, the stream function convention $\mathbf{u}=(-{\psi }_z,0,{\psi }_x)$ gives linear equations $\Delta \psi =R{\theta }_x$, ${\theta }_t={\psi }_x+\Delta \theta$, with $\psi =\theta =0$ on all sides. The velocity equation follows by taking the vertical-plane curl of Darcy law, and the temperature equation by linearizing the heat equation about $1-z$. Unlike a laterally unbounded Darcy layer, the conducting side boundaries produce a two-dimensional real marginal eigenspace at $R_c=8{\pi }^2$.

The Davis-Kahan theorem bounds the change of an invariant eigenspace of a symmetric matrix in terms of a matrix perturbation and an appropriate spectral gap. The rank-one eigenprojector perturbation bound below depends only on the unperturbed gap. Yu, Wang and Samworth's formulation gives population-gap bounds in greater generality.

If $T$ preserves a nondegenerate bilinear form $\omega$ that is alternating and satisfies $T^2=I$ on a finite-dimensional vector space over a field of characteristic different from two, thenThe two eigenspaces are orthogonal for $\omega$, since $\omega (v_{+},v_{-})=\omega (T{v}_{+},T{v}_{-})=-\omega (v_{+},v_{-})$. Each restricted form is nondegenerate: a vector annihilating its own eigenspace also annihilates the other and hence all of $V$. Both dimensions are even, say $2a$ and $2b$. Consequently $\mathrm{tr}T=2a-2b=\dim V-4b$ as an integer obtained from the eigenspace dimensions. Over the real numbers this gives the congruence $\mathrm{tr}T\equiv \dim V(\mathrm{mod}4)$.

Geometric multiplicity is the dimension of an eigenspace; algebraic multiplicity is its multiplicity as a root of the characteristic polynomial. For a real symmetric matrix they coincide because it has an orthonormal eigenbasis.

For a finite-dimensional complex Lie algebra representation $\rho$ of a nilpotent Lie algebra $H$, a generalized weight space is the simultaneous generalized eigenspace displayed above, where $\lambda :H\to \mathbb{C}$ is a linear functional. Every occurring $\lambda$ vanishes on the derived algebra of $H$. Ordinary weight vectors satisfy the same equations without the powers.

A nonempty fixed-point set of an anti-symplectic involution is a Lagrangian submanifold. Local linearization identifies its tangent space with the $+1$ eigenspace of the derivative.

An energy eigenvalue is nondegenerate when its eigenspace is one-dimensional. Its normalized eigenstate is then unique up to a complex phase.

A real symmetric matrix has real eigenvalues, orthogonal eigenspaces for distinct eigenvalues, and an orthonormal basis of eigenvectors. From diagonalizability, apply the Gram-Schmidt process within each eigenspace; all its linear combinations stay in that eigenspace. This gives $A=Q\Lambda Q^T$ with an orthogonal matrix $Q$ and real diagonal $\Lambda$.

The parity operator acts on a spatial wavefunction by $(P\psi )(x)=\psi (-x)$ and satisfies $P^2=I$. For a Hamiltonian operator with an even potential and parity-invariant domain, $HP=PH$. A nondegenerate energy eigenvalue has a one-dimensional eigenspace, so its eigenfunction is an eigenvector of $P$ with eigenvalue $+1$ or $-1$.