A finite-dimensional vector measure is a countably additive map $\mu :\mathcal{F}\to {\mathbb{R}}^d$ on a sigma-algebra. Equivalently, each component is a finite signed measure. For pairwise disjoint measurable sets $A_n$, countable additivity means $\mu ({\bigcup }_n{A}_n)={\sum }_n\mu (A_n)$ with convergence in the vector norm.

Its variation measure records size without cancellation:The supremum ranges over finite measurable partitions of $A$. For $\mu (A)=(\lambda (A),2\lambda (A))$ on $[0,1]$, the Euclidean norm gives $|\mu |(A)=\sqrt{5}\lambda (A)$, rather than the sum $3\lambda (A)$ of component variations. The chosen vector norm matters.

The polar decomposition of a vector measure writes $\mu =\sigma |\mu |$ with unit direction $\sigma$ almost everywhere for $|\mu |$. It separates local direction from variation magnitude. Distributional derivatives in the bounded-variation space are important examples, and finite variation controls integration against bounded vector test functions.

Geometric measure theory uses measures and analysis to study geometric objects that need not be smooth. Its measuring rules can distinguish a curve from its surrounding plane or capture the fine structure of a fractal. Hausdorff measure supplies size adapted to an exponent, while Hausdorff dimension identifies the exponent at which that size changes character.

The Cantor set is an elementary starting point: it has zero Lebesgue measure but positive Hausdorff dimension. In Hausdorff dimension of the Cantor set, explicit small covers give an upper bound and a distributed probability measure supplies the matching lower bound. This combination of geometric coverings and analytic control is useful even before more advanced tools for irregular surfaces are introduced.

A finite collection of Euclidean open balls has a disjoint subcollection whose concentric triples cover the original union. Greedily retain a largest remaining ball and discard all intersecting ones. Each discarded ball has radius no greater than the retained one and lies in its triple. Lebesgue measure consequently bounds the original union by $3^d$ times the sum of the retained volumes. This covering lemma is distinct from inverse-closedness results for the Wiener algebra.

Write incoming relative velocity as $r\omega$ and outgoing relative velocity as $r\sigma$. For isotropic scattering, the product measure $dC{r}^{2}drd\omega d\sigma$ is invariant under exchanging the two angular variables. This gives the pre/post-collision weak identities. Keeping $\sigma$ fixed and sending only the velocities to the outgoing pair is not invertible: that map discards the incoming angular direction.

For the Maxwell molecule collision operator and the Fourier transform with exponent $-i\xi \cdot v$, put ${\xi }^{\pm }=(\xi \pm |\xi |\sigma )/2$. The angular exchange for elastic collisions, rotation invariance of spherical surface area and factorization of the two velocity integrals give the displayed formula. This identity converts the collision integral into a spherical average of products at two related frequencies.

A collision invariant has an unchanged pairwise sum in every allowed elastic collision. The functions $1$, each velocity coordinate, and $|v{|}^2$ encode mass, momentum and energy. Symmetrized weak collision identities then give zero moments of the collision operator against these functions. Under standard regularity assumptions, the invariants form their five-dimensional linear span in three velocity dimensions.

A maximum-modulus extension for unbounded domains with suitable growth restrictions. In its polynomial-growth vertical-strip form, bounds $|F(a+it)|\ll (1+|t|{)}^u$ and $|F(b+it)|\ll (1+|t|{)}^v$ for a holomorphic function imply the interpolated exponent $((b-\sigma )u+(\sigma -a)v)/(b-a)$. It is the strip-convexity tool used to move subpower zeta bounds to the right of the critical line back onto that line.

Let $P$ be a rank-$k$ projector with $0<k<N$. No unitary operator can map every pure state whose $P$ probability equals $k/N$ to a state with the same fixed smaller probability. Average $\sqrt{k/N}|g⟩\pm \sqrt{1-k/N}|b⟩$ over good and bad basis vectors and both signs. The average density operator is the maximally mixed state, so every unitary preserves its average $P$ probability. This contradicts a strictly smaller probability for all states in the ensemble. A preparation tailored to one known starting state is a different resource and is used in exact amplitude amplification.

Let $U\subseteq W\subseteq {\mathrm{End}}_{\mathbb{C}}(V)$ be vector subspaces and $M=\{T:[T,W]\subseteq U\}$. If $\alpha \in M$ and $\mathrm{tr}(\alpha \beta )=0$ for all $\beta \in M$, then $\alpha$ is a nilpotent endomorphism.

To prove it, let $\beta$ act by $\overline{\lambda }$ on the generalized eigenspace of $\alpha$ of eigenvalue $\lambda$. Polynomial interpolation on eigenvalue differences, together with adjoint compatibility of additive Jordan decomposition, expresses $\mathrm{ad}\beta$ as a polynomial in $\mathrm{ad}\alpha$ with zero constant term. Since $\mathrm{ad}\alpha$ maps $W$ into $U$ and preserves $U$, this gives $\beta \in M$. Taking the matrix trace on each generalized eigenspace yields $0={\sum }_{\lambda }\dim (V_{\lambda })|\lambda {|}^2$, so every eigenvalue is zero. This is the linear-algebra step behind the Cartan solvability criterion; $U,W$ need not be Lie subalgebras.

Expose independent coordinates successively and take the conditional mean of a function after each exposure. These conditional means form a martingale from $\mathbb{E}f$ to $f$. A coordinate oscillation bound $c_i$ gives a conditional interval of length $c_i$ for the corresponding increment, by coupling the unexposed coordinates. Applying the Hoeffding lemma to these conditional ranges proves the McDiarmid inequality.

A nonnegative martingale takes nonnegative values almost surely at each time. In discrete time its expectations are constant, so it is bounded in $L^1$ and the martingale convergence theorem gives a finite integrable almost sure limit. Its expectations need not converge to the expectation of that limit; uniform integrability is needed for convergence in L1.

The radial Mach number is the source velocity projected toward the observer, divided by the sound speed. It enters the moving-surface retarded Jacobian through $d|x-y(\tau )|/d\tau =-\hat{r}\cdot v$. The sign is directional: a source moving toward the observer has positive $M_r$ and compressed arrival times.

Two noncollinear Lorentz boosts produce a Lorentz transformation with both a boost and a rotation. In the SL(2,C) lift, the product of two positive Hermitian boost matrices generally ceases to be Hermitian. Its polar decomposition of an invertible complex matrix separates a positive Hermitian boost factor and a unitary rotation factor. The rotation depends on both boosts and their order, and is called the Wigner rotation.

With negligible shear, a minimally coupled scalar field serving as a clock, and $\Pi \ne 0$, the Hamiltonian constraint and momentum constraint imply $\dot{H}=-4\pi GN{\Pi }^2$ and ${\partial }_{i}H=-4\pi G\Pi {\partial }_i\varphi$. Differentiating the local Friedmann relation yields $\dot{\Pi }=-N(3H\Pi +V_{,\varphi })$ and ${\partial }_i\Pi =-(3H+V_{,\varphi }/\Pi ){\partial }_i\varphi$. Inserting these identities into ${\dot{\zeta }}_i$ cancels all terms, including gradients of the lapse function. The conserved covector becomes the gradient of a uniform-density curvature perturbation at linear adiabatic order. Dropping the shear constraint is essential; this is not a proof of conservation in an arbitrary non-attractor phase.

The location score is the score function for translating a probability density function $f$. The minus sign comes from differentiating $f(y-\theta )$ in $\theta$. Under regular tail conditions, integration by parts gives $E_f\rho =0$ and $E_f(\epsilon \rho )=1$. These identities determine projections of the score function onto the span of the centered error.

This spatially nonconstant local Maxwellian is constant along free characteristic curves. Its collision term vanishes by the collision invariants, so it solves the full Boltzmann equation. It is positive, rapidly decaying and integrable in phase space. Completing its velocity square gives local mean $\alpha tx/(\beta +\alpha t^2)$ and local variance proportional to $(\beta +\alpha t^2{)}^{-1}$, while its spatial profile broadens with time.

The degree of the residue field extension induced by a finite extension of complete discretely valued fields. Along with the ramification index, it satisfies $[L:K]=ef$. An unramified extension additionally has separable residue extension; a totally ramified extension has residue degree one.

A p-adic field is a finite extension of the P-adic number field ${\mathbb{Q}}_p$, equipped with its extended p-adic absolute value. Conversely every characteristic-zero, nontrivially valued, non-Archimedean locally compact field is such an extension. A finite quotient $\mathcal{O}/p\mathcal{O}$ supplies finitely many generators of $\mathcal{O}$ over ${\mathbb{Z}}_p$ by repeated reduction and completeness.

The retarded source solution of the Linearized Einstein equations is selected by excluding added incoming or freely specified homogeneous gravitational waves. A homogeneous wave can satisfy Lorenz gauge in linearized gravity while having no source mass quadrupole moment. Thus a formula for the retarded source field is not an identity for every solution of the sourced wave equation.

Minimizing ${\max }_i(a_i^{T}x+b_i)$ over unrestricted $x$ is a linear program after introducing an epigraph variable $t$ and inequalities $a_i^{T}x+b_i\le t$. Its optimization Lagrangian has finite infimum over $x,t$ exactly when the nonnegative multipliers sum to one and their weighted slopes sum to zero. The displayed Lagrangian dual problem maximizes the resulting constant lower bound. It identifies the role of a zero-slope convex combination of the affine functions.