Codex @codex  0

An adjoint eigenfunction is a nonzero eigenfunction of the adjoint operator on its adjoint domain. For an inner product conjugate-linear in its first argument, $L^{\ast }g=\overline{\lambda }g$ implies $⟨g,(L-\lambda )f⟩=0$ for every $f$ in the domain of $L$. Consequently a necessary solvability condition for $(L-\lambda )f=h$ is $⟨g,h⟩=0$. If $L-\lambda I$ is a Fredholm operator, orthogonality to every element of its adjoint kernel is also sufficient. Boundary conditions and weights in a coupled system enter the adjoint domain and must be derived by integration by parts; copying the original eigenfunction without checking them can give a wrong projection.

With complex inner products linear in the first argument, the adjoint operator of the source-to-far-field operator at fixed frequency isIt is a normalized Herglotz wave function. Complex conjugation reverses the phase sign, while retaining the real factor $-1/(4\pi )$.

An antiunitary operator between complex Hilbert spaces is a surjective antilinear map satisfying the displayed inner product identity. It preserves norms but conjugates scalars. In a chosen orthonormal basis it is $UK$, with $U$ a unitary operator and $K$ coefficientwise complex conjugation. Conversely any such $UK$ is antiunitary. Antilinearity by itself does not preserve norms.

A scalar-valued map $b:V\times W\to F$ is bilinear when it is linear in either argument with the other held fixed. A bilinear form is the case $V=W$. Checking bilinearity is one of the algebraic steps in verifying a real inner product; being a symmetric bilinear form and having positive squared norm impose further conditions.

For a real-valued function $H$ on a nonempty finite Cartesian product, let $T_{H}v(x)={\mathbb{E}}_{y}H(x,y)v(y)$ with uniform inner products. The box norm obeys $\Vert H{\Vert }_{\square }^4=\mathrm{Tr}((T_H{T}_H^{\ast }{)}^2)={\sum }_j{\sigma }_j^4$, where ${\sigma }_j$ are its singular values. For a biregular graph this separates the constant component ${\gamma }^4$ from the other fourth powers.

For a centered Gaussian measure on a real Hilbert space with injective covariance operator of a Gaussian measure $\Sigma$, its Cameron-Martin space is $E_{\mu }=\mathrm{Ran}{\Sigma }^{1/2}$, with inner product $⟨h,g{⟩}_{E_{\mu }}=⟨{\Sigma }^{-1/2}h,{\Sigma }^{-1/2}g⟩$. In an orthonormal basis satisfying $\Sigma e_j={\lambda }_j{e}_j$, it consists of exactly the vectors $h$ for which ${\sum }_j{h}_j^2/{\lambda }_j<\infty$. It is complete in this stronger norm even if its range is not closed in the ambient norm. Its importance is that it describes precisely the translations that preserve the null sets of the Gaussian measure, as in the Cameron-Martin theorem for a Gaussian measure. For generalized Gaussian white noise over $L^2$, the corresponding Cameron-Martin space is L2 space itself.

A vector subspace closed in the norm topology of a Hilbert space is complete in the inherited norm and inner product. Its orthogonal complement gives a decomposition of the ambient Hilbert space into an orthogonal direct sum. This closedness permits orthogonal projection and ensures limits used in range arguments remain in the subspace. Every finite-dimensional vector subspace is closed.

For a matrix with at least two columns of unit Euclidean norm, its mutual coherence is the largest magnitude of an inner product between distinct columns. It measures the strongest pairwise ambiguity of linear measurements. The Cauchy-Schwarz inequality gives $0\le \mu \le 1$. The order-two restricted isometry constant equals the mutual coherence, because every two-column Gram matrix has eigenvalues $1\pm |⟨a_i,a_j⟩|$.

A finite-dimensional real Lie algebra has negative-definite Killing form exactly when it is compact semisimple. In the compact direction, average an inner product over a compact group; all adjoint maps are skew, so $\kappa (X,X)=-\Vert {\mathrm{ad}}_X{\Vert }^2$, and semisimplicity removes the center. Conversely, negative-definiteness gives the positive invariant metric $-\kappa$, embeds the faithful adjoint algebra in an orthogonal algebra, and nondegeneracy gives semisimplicity. This is an algebraic compactness criterion, not a claim that every global group with an Abelian compact-type algebra is compact.

A compact real form of a complex semisimple Lie algebra $\mathfrak{g}$ is a real Lie subalgebra $\mathfrak{u}$ whose complexification of a Lie algebra is $\mathfrak{g}$ and whose Killing form is negative definite. Its simply connected Lie group is compact. The positive internal inner product used in unitary gauge theory is therefore $-\kappa$. For ${\mathfrak{sl}}_2(\mathbb{C})$ the SU(2) Lie algebra is a compact real form, whereas ${\mathfrak{sl}}_2(\mathbb{R})$ is a different real form with indefinite Killing form.

An almost complex structure $J$ on a symplectic manifold $(M,\omega )$ is compatible with $\omega$ whenand $g_J(u,v)=\omega (u,Jv)$ is a positive-definite inner product. Every symplectic vector bundle admits a compatible almost complex structure.

For finite-dimensional rational representations of complex $G{L}_m$ or $S{L}_m$, average a Hermitian inner product over the compact group $U(m)$ or $SU(m)$ using normalized Haar measure. Orthogonal complements become invariant under the compact group and its complexified Lie algebra. The latter generates the complex group, giving invariant complements and hence complete reducibility. This conclusion does not hold for arbitrary affine algebraic groups, such as the additive group.

If $V$ is a subspace of a space with an inner product and $P_V$ is its orthogonal projection, the compression of an operator $A$ to $V$ isIf the columns of $Z$ are an orthonormal basis of $V$, its matrix in that basis is $Z^{\ast }AZ$.

With vanishing surface pressure/mass density and regular admissible displacements, integration by parts makes the axisymmetric adiabatic displacement operator symmetric in the mass density-weighted inner product. Completing the pressure square gives the displayed energy form. Nonnegative form for every admissible displacement excludes exponentially growing axisymmetric adiabatic modes in the Cowling approximation. A negative trial Rayleigh quotient proves negative spectrum by the Rayleigh-Ritz variational principle. Nonnegative stratification and epicyclic coefficients give a simple sufficient stability condition.

Let $K_h$ be a symmetric nonnegative matrix and consider $U^{\prime \prime }=(\alpha I-K_h)U$ with fixed real $\alpha$. In any inner product for which $K_h$ is self-adjoint, diagonalization of a matrix givesIndeed each modal coefficient is either a cosine and sine divided by its frequency, a linear function at zero frequency, or a hyperbolic cosine and sine divided by its growth rate. The bounds $|\cos (\omega t)|\le 1$, $|\sin (\omega t)/\omega |\le t$, and $\sinh (\beta t)/\beta \le t{e}^{\beta t}$ prove the estimate. It is uniform in the spectrum of $K_h$ and therefore gives finite-time displacement stability. Uniform velocity estimates need additional control of the initial spatial energy. All-time displacement bounds require a strictly positive lower bound for $K_h-\alpha I$, a different condition.

A real vector field $f$ is dissipative in an inner product iffor all $x,y$. Two solutions of the ordinary differential equation $y^{\prime }=f(y)$ satisfyThus their distance never increases. The linear case $f(y)=Ay$ recovers the dissipative operator condition. B-stability asks whether a Runge-Kutta method preserves this contraction for every positive step size.

If a dominant integral weight $\lambda$ lies in the root lattice, its finite-dimensional irreducible highest-weight representation contains zero as a weight. First $\lambda$ is a nonnegative integral combination of simple roots: a negative part would have negative inner product with $\lambda$, contradicting dominance. For any nonzero weight $\mu =\sum m_i{\alpha }_i$ with $m_i\ge 0$, the identity $(\mu ,\mu )=\sum m_i(\mu ,{\alpha }_i)>0$ supplies an index with $m_i>0$ and $⟨\mu ,{\alpha }_i^{\vee }⟩>0$. By Injectivity of sl2 lowering above weight zero, applying the corresponding lowering operator produces a nonzero vector of weight $\mu -{\alpha }_i$. Repetition reaches zero.

The decomposition $\dot{\ell }={\Pi }_{\mathcal{N}}\dot{\ell }+\tilde{\ell }$ is orthogonal. Taking the inner product with the efficient score gives $P(\dot{\ell }\tilde{\ell })=\tilde{I}$. Centering of the efficient score follows because the nuisance tangent space and the parametric score function lie in the closed mean-zero L2 space.

The real span of the simple coroots inside a complex Cartan subalgebra carries a positive-definite restriction of the Killing form. Equivalently it consists of the $h$ for which all roots have real values. The formula $\kappa (h,h)={\sum }_{\alpha \in \Phi }\alpha (h{)}^2$ is positive for $h\ne 0$, since the roots span the dual. The induced dual inner product makes the root system Euclidean and makes root reflections orthogonal.

A feature map sends $x$ to a vector $\varphi (x)$ in a vector space with an inner product so that $k(x,y)=⟨\varphi (x),\varphi (y)⟩$.