Adjoint criterion for an invariant orthogonal complement Created 2026-09-24 Updated 2026-09-24
For a subspace of a finite-dimensional inner-product space,
This follows directly by moving across the inner product and using .
Hermitian operator Created 2026-09-24 Updated 2026-10-14
A bounded operator on a real or complex Hilbert space is Hermitian, or self-adjoint, when . Equivalently,
Its directional values are real, since this identity makes equal its complex conjugate. Reality allows either sign; a positive operator additionally requires nonnegative values in every direction.
Figure 1.
Self-adjoint directional values may change sign, touch zero, or stay strictly positive
. Details.
The diagram compares Hermitian quadratic forms along paths of unit vectors. The Hermitian matrix takes the values and on the standard basis vectors; takes the values and ; and
satisfies and . These eigenvectors form an orthonormal basis, and every has . Thus is a positive operator, with eigenvalues and operator norm .
Three conditions describe different geometry. A Hermitian operator satisfies ; a normal operator satisfies ; a unitary operator satisfies , where is the identity operator. Every Hermitian operator and every unitary operator is a normal operator. Concrete matrices separate the conditions:
The spectrum of a bounded Hermitian operator is real. In finite dimension, the spectral theorem supplies an orthonormal basis of eigenvectors, turning its action into independent real scalings. This makes the geometry easy to interpret: each eigenvalue records a signed response along an orthogonal direction. An arbitrary bounded Hermitian operator in infinite dimension need not have any eigenvectors; the general spectral theorem uses a projection-valued measure. MIT's lecture 21 develops the real spectrum and the orthogonality of eigenspaces.[ref]
A historical connection is the study of forms with conjugate variables. In his 1901 account of Charles Hermite's work, Camille Jordan describes these forms and emphasizes their role in reducing forms with real or complex coefficients. In today's notation, is the diagonal value of a Hermitian form; the conjugate variables make a real-valued expression possible even with complex coefficients.[ref]
For a densely defined operator outside this bounded setting, the displayed pairing identity alone defines a symmetric operator. A self-adjoint operator must also have the same operator domain as its adjoint operator.
Action of the one-dimensional Kepler collision orbit Created 2026-09-24 Updated 2026-09-28
For , collision continuation between the two turning points gives .
Adiabatic invariance of the action Created 2026-09-24 Updated 2026-10-14
When a Hamiltonian parameter varies slowly compared with the orbital period and no separatrix is crossed, the action changes only at higher adiabatic order.
The action is an adiabatic invariant under these assumptions; other slowly varying systems can have different adiabatic invariants.
Equal displacement-amplitude condition at an acoustic interface Created 2026-09-24 Updated 2026-10-06
Equating the absolute reflected and transmitted displacement amplitudes, then using acoustic Snell's law, gives an algebraic condition on incidence angle and the two moduli-over-speed impedances.
For a P-wave incident at angle from a liquid onto , with transmitted angle obeying Snell law for elastic and acoustic waves,
No reflection is equivalent to .
Theorem of the square Created 2026-09-24 Updated 2026-10-07
For a line bundle on an abelian variety and points ,
Invariant differential on a group scheme Created 2026-09-24 Updated 2026-09-24
Translation identifies the cotangent sheaf of a group scheme with the constant bundle determined by its cotangent space at the identity:
Mumford rigidity lemma Created 2026-09-24 Updated 2026-10-14
One form of Mumford's rigidity lemma says that if is complete, is connected, and a morphism maps one fiber to a point, then factors through the projection to under the usual pointed hypotheses.
Root condition for a multistep method Created 2026-09-24 Updated 2026-09-24
The root condition is the polynomial criterion equivalent to zero-stability for a linear multistep method.
Minimal linear-feedback shift register for the prefix 100000001 Created 2026-09-24 Updated 2026-09-24
The seven consecutive zeros followed by one force degree at least eight. Degree eight is attained by , with initial state and feedback polynomial .
Shell crossing Created 2026-09-24 Updated 2026-09-29
Shell crossing occurs when the Lagrangian-to-Eulerian map ceases to be one-to-one. Its Jacobian determinant vanishes, the pressureless single-stream density formally diverges, and several streams subsequently occupy the same position.
Deformation tensor in the Zel'dovich approximation Created 2026-09-24 Updated 2026-09-29
For an irrotational displacement , the deformation tensor is the symmetric Hessian . Its real eigenvalues determine the principal collapse directions.
Yang-Mills theta term Created 2026-09-24 Updated 2026-10-14
In four dimensions the Yang-Mills theta term is proportional to . Its density is a total derivative, but nontrivial gauge-field topology can make its spacetime integral physically relevant in the quantum theory.
The term weights topological sectors and supplies the angle labeling a theta vacuum.
Worldsheet ghost action Created 2026-09-24 Updated 2026-10-03
For the traceless diffeomorphism operator
the ghost action is
Static gauge Created 2026-09-24 Updated 2026-10-06
Static gauge identifies selected target-space coordinates with worldvolume coordinates, such as for a string.
Periodic Wirtinger inequality Created 2026-09-24 Updated 2026-09-24
If a continuously differentiable -periodic function has mean zero, then
Equality holds exactly for .
Ocean gyre Created 2026-09-24 Updated 2026-09-28
An ocean gyre is a basin-scale rotating circulation driven principally by wind stress and shaped by planetary rotation and boundaries.
Connectivity realization construction Created 2026-09-24 Updated 2026-09-24
Two large cliques joined by a bipartite cross graph with edge count and vertex-cover number realize edge connectivity and vertex connectivity while preserving a chosen minimum degree.
Choice-function well-ordering construction Created 2026-09-24 Updated 2026-09-24
Given a choice function on all nonempty subsets of , recursively choose the next point from the complement of all earlier choices. Hartogs theorem forces the recursion to exhaust before it defines an injection from into , producing a bijection from an ordinal to .

There are unlisted articles, also show them or only show them.