In a rank-two Euclidean lattice, a shortest nonzero vector $v$ and a shortest vector $w\notin \mathbb{Z}v$ form a basis. The shortest vector is primitive. If the vertical coordinate of $w$ has index $m\ge 2$ in the projection lattice, a vector with smaller positive vertical coordinate can be reduced horizontally to length squared at most $(|v{|}^2+|w{|}^2)/4<|w{|}^2$, a contradiction. This lemma need not hold in higher rank.

The covolume of a full Euclidean lattice is the Lebesgue measure of a fundamental parallelepiped in its ambient inner product space. In orthonormal coordinates it is $|\det B|$ for a lattice basis matrix $B$. Scaling the lattice by $t>0$ multiplies the covolume by $t^n$; the dual lattice has reciprocal covolume.

The probability of a market event under an equivalent martingale measure for a specified numéraire. It can differ from the physical probability. For a random numéraire, impose the martingale condition on asset-price ratios rather than treating the numéraire return as deterministic.

The Joule-Thomson coefficient is the local temperature response to changing pressure at fixed enthalpy and fixed amount and composition:It describes the equilibrium endpoints of a Joule-Thomson effect experiment meeting the steady-flow energy balance assumptions. With $\Delta p=p_2-p_1<0$, a sufficiently small drop gives $\Delta T\simeq {\mu }_{\mathrm{JT}}\Delta p$. Thus ${\mu }_{\mathrm{JT}}>0$ means cooling, ${\mu }_{\mathrm{JT}}<0$ warming, and ${\mu }_{\mathrm{JT}}=0$ no first-order change. At zero coefficient, a finite drop can still change temperature. For a chosen illustrative local value ${\mu }_{\mathrm{JT}}=0.20\mathrm{K}\mathrm{ba}{\mathrm{r}}^{-1}$ and $\Delta p=-0.50\mathrm{bar}$, the linear prediction is $\Delta T=-0.10\mathrm{K}$; these are stipulated numbers, not measured gas properties.

For a fixed-composition simple compressible system, the measurable form isHere $C_p$ is the whole sample's heat capacity at constant pressure and $\alpha$ its volumetric coefficient of thermal expansion; alternatively use molar volume and molar heat capacity consistently. An ideal gas has $\alpha =1/T$, so ${\mu }_{\mathrm{JT}}=0$. Its enthalpy depends only on temperature; positive heat capacity at constant pressure then makes any such finite throttle preserve temperature. A real gas can have either sign. For $C_p>0$, compare $T\alpha$ with one: the thermal expansion response decides the sign, not insulation alone.^[ref]

A short derivation uses $dH=TdS+Vdp$ and the Maxwell relation $(\partial S/\partial p{)}_T=-(\partial V/\partial T{)}_p$:Setting $dH=0$ gives the coefficient. These are equilibrium state function identities, not a claim of a reversible thermodynamic process inside the throttle. For a finite drop, solve the endpoint enthalpy equality or integratealong the constant-enthalpy equilibrium curve. The coefficient can change sign during that integration, as the Van der Waals throttling model illustrates.

For a zero-boundary centered semidiscretization $U^{\prime }=D_{h}U+V_{h}U$, where $D_h$ is the scaled Dirichlet discrete Laplacian and $V_h=\mathrm{diag}(a_j)$ with $a_j\le a_{+}$, summation by parts gives $(U,D_{h}U{)}_h\le 0$. Hence $\frac{1}{2}(d/dt)\Vert U{\Vert }_h^2\le a_{+}\Vert U{\Vert }_h^2$. The Gronwall inequality yields $\Vert U(t){\Vert }_h\le e^{a_{+}t}\Vert U(0){\Vert }_h$, a mesh-independent stability bound on every fixed finite interval. Positive reaction coefficients can permit physical growth without violating this form of stability.

For the centered second difference and centered first difference on a finite interval with zero Dirichlet boundary conditions, the diffusion matrix is symmetric negative definite and the drift matrix is skew-symmetric. Discrete summation by parts gives the displayed mesh-weighted identity. It proves contraction in the discrete L2 norm without needing periodic modes, positive stencil coefficients or simultaneous diagonalization.

For a smooth Dirichlet Laplacian eigenfunction, testing $-\Delta u=\lambda u$ with $|u{|}^{\gamma -2}u$ for $\gamma \ge 2$ gives the displayed energy estimate. The Sobolev chain rule for $v=|u{|}^{\gamma /2}$ then yields $\int |Dv{|}^2=\lambda {\gamma }^2/[4(\gamma -1)]\int |u{|}^{\gamma }$. The absolute value and the sign in the test function permit nodal changes. At $\gamma =2$, use the Lipschitz absolute-value chain rule and the fact that a gradient of a Sobolev function vanishes on a level set.

An estimate $E(R)\le C(E(2R)-E(R))$ bounds the energy in a ball by the energy in the surrounding annulus. Moving the smaller-ball energy to the left gives the strict contraction $E(R)\le \theta E(2R)$ with $\theta =C/(1+C)<1$. Iteration turns this contraction into decay at small scales.

If $\square u=F$ with d'Alembert operator $\square =-{\partial }_t^2+\Delta$, then $\Vert \partial u(t){\Vert }_2\le \Vert \partial u(0){\Vert }_2+{\int }_0^t\Vert F(s){\Vert }_{2}ds$, where $\partial u=(u_t,\nabla u)$. Test the wave equation against $u_t$, use integration by parts, and apply the Cauchy-Schwarz inequality. The same energy estimate applies to a finite system of wave equations.

A bootstrap argument assumes an a priori bound on an initial time interval and derives a strict improvement using an energy estimate or another inequality. Continuity extends the improved bound to the entire interval under consideration. For example $A(t)\le C\epsilon +C{\int }_0^t(1+s{)}^{-1}A(s{)}^{2}ds$ closes $A\le 2C\epsilon$ when $\epsilon \log (1+t)$ is sufficiently small. The strict improvement is what prevents a first failure time.

For a nonzero elliptic function, the weighted sum of its zero positions minus its pole positions belongs to the period lattice. Integrating $z{f}^{\prime }/f$ around a fundamental parallelogram proves this: translating opposite edges gives a lattice-linear combination of integrals of $f^{\prime }/f$, each an integer multiple of $2\pi i$. The unweighted integral proves that the zero and pole multiplicities have equal total.

If $D=\mathrm{diag}(a_1,\dots ,a_{n+1})$ is invertible, $x\mapsto Dx$ sends the ellipsoid ${\sum }_i{a}_i^2{x}_i^2=1$ to the unit sphere. On $u=(v,s)\in S^n$, the two stereographic projections $v/(1-s)$ and $v/(1+s)$ omit opposite poles and have inverses $(2w/(1+|w{|}^2),\pm (|w{|}^2-1)/(1+|w{|}^2))$, with the sign chosen for the appropriate pole. Their overlap transition is $w\mapsto w/|w{|}^2$, smooth and involutive on ${\mathbb{R}}^n\setminus \{0\}$. Composing their inverses with $D^{-1}$ gives a two-chart smooth atlas of the ellipsoid. Its subspace topology is Hausdorff and has a second-countable space topology, so it is a smooth manifold. For $n=0$ the overlap is empty and each chart is a point.

A prolate spheroid is an ellipsoid with two equal shorter semiaxes and a longer symmetry-axis semiaxis. Its meridional section is an ellipse rotated about its major axis. In the coordinates $R^2/(\lambda +\alpha )+z^2/(\lambda +\beta )=1$ with $\beta >\alpha$, a fixed regular $\lambda$ has equatorial radius $\sqrt{\lambda +\alpha }$ and polar radius $\sqrt{\lambda +\beta }$; its focal separation is independent of $\lambda$, giving a confocal family.

For nonzero real $a_i$, scale the ambient coordinates by $q_i=a_i{r}_i$. On the half where $\epsilon q_i>0$, omitting $q_i$ is a manifold chart onto the open unit ball; its inverse restores $q_i=\epsilon \sqrt{1-{\sum }_{j\ne i}{q}_j^2}$. These $2(n+1)$ charts form a smooth atlas of the ellipsoid, including for negative $a_i$.

The subobject classifier supplies intuitionistic truth values. Subobjects interpret predicates, finite limits interpret finite conjunctions and equality, and suitable image and adjoint constructions interpret quantifiers. One must distinguish internal intuitionistic arguments from classical reasoning in the external category of sets.

An object is decidable when its diagonal is a complemented subobject of its square. Equivalently its internal equality is decidable. Pullback gives closure under subobjects; coordinatewise equality gives closure under finite products. For an existing coproduct, unequal summands together with the complements of the diagonal in each equal summand form the diagonal complement.

A Grothendieck topos is a category equivalent to the sheaves on a site for a small Grothendieck topology. It is an elementary topos with all small colimits and a small generating family. Small disjoint coproducts, effective quotients and the set of subobjects of any fixed object allow many constructions by unions.

A geometric morphism $f:\mathcal{E}\to \mathcal{F}$ is an adjunction $f^{\ast }⊣f_{\ast }$ with finite-limit-preserving inverse image $f^{\ast }:\mathcal{F}\to \mathcal{E}$. Inverse image also preserves colimits as a left adjoint. An extra left adjoint $f_{!}⊣f^{\ast }$ makes it essential.

Global sections are the maps from the terminal object: $\Gamma (X)=\mathrm{Hom}(1,X)$. For a Grothendieck topos, this is the direct image of its geometric morphism to sets. In a presheaf category, it is right adjoint to the constant-presheaf functor.

An atom is a noninitial object with only the empty and whole subobject. In the atomic finite-surjection site, the sheaf component generated by one primitive class is an atom: membership of one descendant in a subobject descends to its primitive ancestor and then propagates to all descendants. A decomposition into atoms makes subobjects selections of components.