Differentiating $R^{T}R=I$ gives $\mathfrak{so}(3)=\{A\in M_3(\mathbb{R}):A^T=-A\}$. The generators $L_{a}v=e_a\times v$ satisfy $[L_a,L_b]={ϵ}_{abc}{L}_c$ by the cross product identity. This identifies it with the SU(2) Lie algebra by matching a skew-Hermitian Pauli basis.

Over a field of characteristic different from two, any Lie algebra ideal in ${\mathfrak{sl}}_n$ containing a nonscalar matrix is the whole special linear Lie algebra. Indeed, if $A_{ji}\ne 0$ for $i\ne j$, then $[E_{ij},[E_{ij},A]]=-2A_{ji}{E}_{ij}$ extracts a matrix unit. For a nonscalar diagonal matrix, $[E_{ij},A]=(A_{jj}-A_{ii})E_{ij}$ extracts one instead. Its bracket with $E_{ji}$ produces $H=E_{ii}-E_{jj}$, and $[H,E_{ji}]=-2E_{ji}$ extracts the reverse unit. Brackets $[E_{ij},E_{jk}]=E_{ik}$ and $[E_{ki},E_{ij}]=E_{kj}$ spread these units to every row and column; opposite pairs span all trace-zero diagonal matrices. Thus only ideals consisting of scalar matrices can be proper. This proof works even when restrictions of distinct roots of a root system to a Cartan subalgebra coincide in positive characteristic.

A dual support vector has ${\alpha }_i>0$. Every such point has signed margin at most one, but a point exactly on the margin can have ${\alpha }_i=0$ in a degenerate solution. If ${\alpha }_i=0$, complementary slackness forces ${\xi }_i=0$, so the point is correctly classified with margin at least one.

For a fixed $C$ in the unnormalized sum-of-slacks objective and unique training optimizers, deleting an observation with ${\alpha }_i=0$ preserves the Karush-Kuhn-Tucker conditions and the fitted decision function. It is correctly classified when held out. Consequently Leave-one-out cross-validation makes at most $s$ errors, where $s$ counts positive dual coefficients. With geometric support vectors, counting all points of signed margin at most one also gives the bound, without a nondegeneracy assumption.

For the kernel support vector machine objective $n^{-1}{\sum }_i(1-Y_i(\mu +K_i^T\alpha ){)}_{+}+\lambda {\alpha }^{T}K\alpha$, assume $Y_i\in \{-1,1\}$, $\lambda >0$, and that the kernel matrix $K$ is invertible. The subdifferential optimality equation givesThus strict margins greater than one force zero coefficients, while misclassified observations have nonzero coefficients. Invertibility matters: a singular kernel matrix allows coefficient changes in its null space without changing the fitted function or objective.

A Skolem expansion adjoins a Skolem function for every existential first-order formula. Iterating through the successively enlarged languages, and taking their union, gives a language with witness functions even for first-order formulas involving previously added functions. Starting from a language of size $\kappa$, the resulting language has size at most $\kappa +{\aleph }_0$. A hull closed under its functions is a Skolem hull and is elementary in the expanded structure by the Tarski-Vaught test.

On an oriented even-dimensional Riemannian manifold of strictly positive sectional curvature, a nonconstant closed geodesic has a length-decreasing smooth variation. Its parallel transport fixes the tangent and acts on the odd-dimensional normal space by a special orthogonal group element. An odd-dimensional special orthogonal transformation has a fixed vector, so there is a nonzero periodic parallel normal field $V$. The second variation of geodesic energy is then strictly negative. The Cauchy-Schwarz inequality converts lower energy into strictly lower length because the original geodesic has constant speed. For an embedded geodesic the small variation is a smooth isotopy; otherwise it is a deformation through immersed loops.

For an orthonormal triple and distinct $i,j,k$, tracing sectional curvature gives ${\mathrm{Ric}}_{ii}=K_{ij}+K_{ik}$. Solving the three equations gives the displayed formula. Equivalently $K_{ij}={\mathrm{Ric}}_{ii}+{\mathrm{Ric}}_{jj}-\mathrm{Scal}/2$. This pointwise assertion does not require the triple to diagonalize the Ricci curvature.

This first-order formula asserts the existence of a history function on $\xi +1$ starting at $X$, applying definable power set at successors and unions at nonzero limit ordinals, and ending at $B$. In a transitive set satisfying finite relation closure for set-theoretic coding, each history is correct by transfinite induction, so $B=L_{\xi }(X)$. Relation operations produce restrictions to shorter histories. Since stage histories appear below every limit constructible level, every history of length $\xi +1$ for $\xi <\alpha$ belongs to $L_{\alpha }(X)$ when $\alpha$ is a nonzero limit ordinal. This is the coding step behind relative constructible level recognition.

For transitive sets $M,X$ with $X\in M$, a single first-order formula $\Phi (X)$ recognises the nonzero limit levels $L_{\alpha }(X)$. Require finite relation closure for set-theoretic coding, transitivity of $X$, that every element belongs to a coded relative constructible stage, and that every represented stage index has a larger represented index. Correct history codes have downward-closed indices with no maximum, hence form a nonzero limit ordinal $\alpha$. The exhaustion assertion and transitivity then give $M={\bigcup }_{\xi <\alpha }{L}_{\xi }(X)$. Conversely every limit level has the required closure, correct histories cofinal in its index, and exhaustion. This formulation does not assume ZF for an arbitrary input $M$ and does not replace finite coding closure with an unjustified internal constructibility assertion.

If $\alpha$ is a nonzero limit ordinal and $Y\prec L_{\alpha }(X)$ with $X\cup \{X\}\subseteq Y$, the Mostowski collapse theorem sends $Y$ to $L_{\beta }(X)$ for some nonzero limit $\beta \le \alpha$ and fixes $X$ pointwise. The base is fixed by transitivity and inclusion of all its members. Transfer the relative constructible level recognition formula first by elementarity and then through the collapse isomorphism to identify its image. If $\rho =X\cap \mathrm{Ord}$, ordinal heights are $\rho +\alpha$ and $\rho +\beta$, giving the bound. Having only $X\in Y$ does not guarantee this base-fixing version.

A global regular function is a global section of the structure sheaf of a scheme, defined on the entire scheme. These functions form its ring $H^0(X,{\mathcal{O}}_X)$. On an affine scheme this recovers the defining ring; on a positive-dimensional projective complete intersection it consists only of constants over the base field.

For the cored power-law density profile that is constant inside $r_c$ and falls as $r^{-\beta }$ outside, with $\beta >3/2$, the maximum integrated Case B recombination rate isA hydrogen-ionizing photon production rate greater than this has no finite radius at photoionization equilibrium. Equality requires an infinite ionized radius. Other core shapes change the coefficient but retain the convergence condition $\beta >3/2$.

For a nonconstant rational map between round unit Riemann spheres, $R^{\ast }d\Omega =J_{R}d\Omega$. Counting inverse images with multiplicity gives $\int J_{R}d\Omega =4\pi \mathrm{deg}R$. The Jacobian determinant vanishes at ramification points of a holomorphic map, but the integral still records the global degree of a holomorphic map.

For a reduced rational map $R=p/q$, its derivative is $W/q^2$ with $W=p^{\prime }q-p{q}^{\prime }$. Away from target-coordinate poles, the zeros of this Wronskian identify its ramification points of a holomorphic map; at a pole use the reciprocal coordinate $q/p$. A pole of order $m$ contributes ramification order $m-1$, and infinity must also be checked in local coordinates. For degree $N$ the Riemann-Hurwitz formula gives total ramification $2N-2$. The affine polynomial $W$ can have fewer finite zeros because some ramification lies at infinity. In the rational map approximation for Skyrmions, these directions have zero angular baryon density.

Rotations of the domain and target Riemann spheres act as Möbius transformations represented by SU(2) matrices. A combined symmetry requires the equivariance identity $R(gz)=hR(z)$ for the corresponding transformations. Symmetry of the Wronskian of a rational map alone is insufficient: it tests the ramification directions, not the entire map. Target rotations preserve the angular Jacobian of a rational map, so an equivariant map has a domain-invariant angular density.

A practical range specifies a distance at which a chosen fraction of the structured sill is reached. For the Gaussian semivariogram ${\sigma }^2(1-e^{-(h/a{)}^2})$, the 95-percent practical range is $a\sqrt{\log 20}$, obtained by solving $e^{-(h/a{)}^2}=0.05$.

For a distant coplanar circular orbit about a binary star, the averaged quadrupole potential of a circular binary givesAt fixed outer radius $x$, the quadrupole shortens the period relative to the monopole result. If the inner binary evolves slowly, the outer specific angular momentum stays constant in the axisymmetric averaged potential, but the outer energy can change. The outer radius must then be allowed to adjust when computing a period derivative.

A resonant interaction requires matching both wavenumber and angular frequency: $k_3=k_1+k_2$ and ${\omega }_3={\omega }_1+{\omega }_2$ for a sum interaction, with corresponding sign changes for differences. A common phase velocity alone does not guarantee that a generated harmonic lies on the dispersion relation.

Detuning measures the small mismatch from a resonance condition. When the mismatch and nonlinear forcing are both $O(ϵ)$, they enter the same slow time equation. A small shift of the wavenumber can therefore balance a quadratic interaction and permit a locked periodic travelling wave.