A layer with a pronounced vertical change in salinity is a halocline. When relatively fresh surface water lies over saltier water, its contribution to density stratification inhibits vertical exchange. A cold Arctic halocline can separate sea ice from warmer Atlantic water; increased heat at depth does not imply an equally increased ocean heat flux at the ice unless the intervening exchange also changes.

The density gradient is the gradient of a spatial mass density field. With an upward vertical coordinate in the Boussinesq approximation, the squared buoyancy frequency is $N^2=-(g/{\rho }_{\ast }){\partial }_z{\rho }_0$. A negative vertical density gradient therefore gives stable density stratification.

A Haar density estimator estimates the Haar scaling function coefficients by sample averages. It is exactly the histogram with cells of width $2^{-j}$. Its expectation is the Haar projection of the density. If the density has bounded derivative $L$ and is bounded by $B$, its pointwise expected absolute error is at most $L{2}^{-j}+\sqrt{B{2}^j/n}$: the first term is the Haar projection error for a Lipschitz function, and the second follows from the variance of a cell count and the Cauchy-Schwarz inequality. Choosing $2^j\asymp n^{1/3}$ gives error $O(n^{-1/3})$ while preserving nonnegativity and integral one.

Add constants $c_0<c_1<\cdots$ to the theory of dense linear orders without endpoints. The three countable models have respectively a least upper bound for the named sequence, no upper bound, or upper bounds with no least one. The unbounded model is an atomic model; the bounded model with no least upper bound is an omega-saturated model. The remaining model omits the type $c_i<x<d$ over its least-upper-bound parameter $d$.

A sunflower is a delta-system: its pairwise intersections all equal one core, and its petals outside the core are pairwise disjoint. For an $s$-uniform set family, prove the displayed bound by induction on $s$. If a maximal disjoint subfamily has $r$ members, their core is empty. Otherwise its union has at most $s(r-1)$ points and meets every member. Some point belongs to more than $(s-1)!(r-1{)}^{s-1}$ members. Remove it and apply the induction hypothesis; putting it back enlarges the common core. The case $s=0$ is immediate.

If a response has mean $\mu$ and variance $V(\mu )$, the delta method gives $\mathrm{Var}(g(Y))\approx g^{\prime }(\mu {)}^{2}V(\mu )$. Choosing $g^{\prime }(\mu )$ proportional to $V(\mu {)}^{-1/2}$ makes this first-order variance independent of $\mu$. For $V(\mu )=k{\mu }^2$ on positive means, the resulting transformation is the natural logarithm. This is a local approximation and requires the transformation to be defined on the observations; it does not make arbitrary normal responses positive or preserve an exact normal distribution.

Every closed connected orientable three-manifold is obtained by integer Dehn surgery on a finite framed link in the three-sphere. Compare a Heegaard splitting with a standard splitting of the sphere, factor their gluing difference using the Lickorish-Dehn theorem, and realize each twist by unit surgery on a distinct level of a collar of the splitting surface.

Two projective plane curves of degrees $m$ and $n$ with no common irreducible component have total intersection multiplicity $mn$. In particular, two nonempty projective plane curves always intersect.

A smooth compact Riemann surface embedded in Complex projective space ${\mathbb{CP}}^2$ determines an integral homology class $d[{\mathbb{CP}}^1]$. Since a projective line has self-intersection one, $d$ is the intersection number with a transverse projective line. Every transverse intersection of complex curves has positive sign, because a complex-linear change of tangent basis has positive real determinant. For the Fermat curve $x^d+y^d=z^d$, the line $y=0$ meets it transversely in the $d$ points $[\zeta :0:1]$, ${\zeta }^d=1$, directly verifying its homological degree.

Suppose a map $S^m\to M$ of closed connected oriented manifolds has nonzero mapping degree. A product decomposition with $0<k<m$ would have oriented closed factors: an orientation-reversing loop in either factor, with the other coordinate fixed, would reverse the product orientation. Pull back their top orientation classes to obtain $\alpha \in H^k(M;\mathbb{Z})$ and $\beta \in H^{m-k}(M;\mathbb{Z})$ with $\alpha ⌣\beta$ a generator of $H^m(M;\mathbb{Z})$. Both pullbacks to the sphere vanish in their intermediate degrees, contradicting the nonzero-degree pullback of their product.

For a map $f:M\to N$ between closed connected $n$-manifolds, the mod-two degree is defined by $f_{\ast }[M{]}_2={\mathrm{deg}}_2(f)[N{]}_2$. Every manifold has a mod-two orientation class, so no orientability assumption is needed. It is invariant under homotopy. A nonsurjective map has mod-two degree zero: mapping the fundamental classes into the local relative homology at a missed target point makes the source contribution zero but leaves the target local generator nonzero.

An equation $a(x)y^{\prime \prime }+b(x)y^{\prime }+c(x)y=0$ can remain meaningful at a zero of $a$ even though its normalized second-order linear differential equation has singular coefficients. A global continuation problem must specify its solution regularity. Across a point where a homogeneous solution vanishes to second order, its coefficient may change in a piecewise $C^1$ continuation; requiring continuity of the second derivative can eliminate that freedom. The usual continuous-coefficient uniqueness theorem for ordinary differential equations cannot simply be applied across such a point.

The left Cauchy-Green tensor measures stretch on the current configuration. It is a positive-definite symmetric matrix for an invertible deformation gradient, with eigenvalues equal to the squares of the principal stretches.

The right Cauchy-Green tensor measures stretch on the reference configuration. Its eigenvalues are the same squared principal stretches as those of the left Cauchy-Green deformation tensor, but its eigenvectors are reference directions.

For an orientation-preserving invertible deformation gradient, the polar decomposition of an invertible real matrix separates a rotation $R$ from the right stretch tensor $U$ or the left stretch tensor $V$. The rotation is shared by the two factorizations, with $V=RU{R}^T$.

The factor $A$ can encode an internal relaxed configuration, while $F_{\ast }=F{A}^{-1}$ determines the instantaneous elastic energy. Differentiating $F_{\ast }$ at fixed $F$ or fixed $A$ produces the corresponding nominal stress tensor and thermodynamic force conjugate to an internal variable. This is a kinematic decomposition, not an assertion that each factor separately derives from a global deformation map.

For an orientation-preserving deformation gradient $F$, oriented area transforms by its cofactor matrix: $(Fa)\times (Fb)=(\det F)F^{-T}(a\times b)$. Taking the dot product with $Fc$ proves this from the determinant identity for the scalar triple product. Applying it to tangent vectors of a surface proves Nanson's formula. Equating current and reference tractions then gives the material-first nominal stress tensor $P=J{F}^{-1}\sigma$ for symmetric Cauchy stress tensor $\sigma$.

In a deterministic-intensity model, $\lambda (t)$ is the instantaneous conditional default rate given survival and $G(t)$ is the survival probability. Risk-neutral intensity is calibrated for pricing and can differ from the physical intensity used for forecasting losses. More general stochastic-intensity models condition on the underlying filtration and require joint expectations with discounting and recovery.

A number field $K$ is monogenic when its ring of integers has a power integral basis, meaning ${\mathcal{O}}_K=\mathbb{Z}[\theta ]$ for some algebraic integer $\theta$.

A decipherable code is suffix-free when no codeword is a proper suffix of another. Reversing all its words gives a prefix code. Consequently it is uniquely decipherable: read a concatenation from the right, where the last codeword is determined uniquely, and continue by induction.