A Borel set of Lebesgue measure zero. Every Lebesgue-null set is contained in a Borel null set, by outer regularity; consequently testing all Borel null sets suffices in the definition of a Sierpiński set.

Past null infinity is the ideal boundary from which incoming null geodesics arrive in an asymptotically flat spacetime. In the Minkowski conformal compactification it is $T-R=-\pi$, with the retarded coordinate tending to $-\infty$ and the advanced coordinate finite.

Let $X$ be a Banach space, and let $Y\subseteq X^{\ast }$ be a norm-closed linear subspace with finite codimension, dense for the weak-star topology. Then $Y$ is a norming subspace: some $c>0$ satisfiesPut $F=Y^{\perp }\subseteq X^{\ast \ast }$. Finite codimension makes $F$ finite-dimensional, while density for the weak-star topology gives $F\cap JX=\{0\}$. The canonical embedding into the bidual has closed image $JX$, whose unit sphere has positive distance from $F$: otherwise bounded approximants in $F$ have a convergent subsequence with a nonzero limit in both spaces. The Hahn-Banach theorem identifies the norm of evaluation restricted to $Y$ with $\mathrm{dist}(Jx,F)$, proving the bound. Completeness of $X$ is needed for this closedness argument.

Finite truncations of the sign or phase sequence of $x\in {\ell }^1$ belong to $c_0$ and attain increasing partial sums of ${\sum }_n|x_n|$. Thus the space of sequences converging to zero is 1-norming for the absolutely summable sequence space. Its codimension in ${\ell }^{\infty }$ is infinite: indicators of pairwise disjoint infinite subsets have linearly independent classes modulo $c_0$. Norming does not require finite codimension.

For a nonnegative normalized velocity density $M$, $Pg(x,v)=M(v)\int g(x,w)dw$ is a positive norm-one projection on phase-space $L^1$. Normalization gives $P^2=P$. Its range consists of fields $a(x)M(v)$. This Banach-space projection need not be an orthogonal projection in unweighted $L^2$; no such assertion is needed for the $L^1$ collision estimates.

For $E=L_{x,v}^1$, let $(\tau f)(t)={\int }_0^t{U}_{t-s}(P-I)f(s)ds$. The factorial bound for a Volterra iterate is $\Vert {\tau }^{n}f(t){\Vert }_1\le (2t{)}^n{\sup }_{s\le t}\Vert f(s){\Vert }_1/n!$. Thus the Neumann series converges in $C([0,T];E)$ for every finite $T$ and solves $f=U_{\cdot }{f}_0+\tau f$. The same estimate applied to a difference proves uniqueness among locally time-bounded integral solutions. The whole collision term remains inside this undamped integral, rather than absorbing loss into the free propagator.

A normal-ordered product of free-field oscillator operators places all creation operators to the left of all annihilation operators, including the fermionic sign required to reorder fermions. Its vacuum expectation vanishes if any nontrivial oscillator factors remain. The Wick theorem expresses a free-field time-ordered product through these products and all Wick contractions.

For the quantum harmonic oscillator $H=\hslash \omega (a^{†}a+1/2)$, its normal symbol is $H_N=\hslash \omega (\bar{\psi }\psi +1/2)$. The Weyl ordering symbol of $a^{†}a$ is $\bar{\psi }\psi -1/2$, so $H_W=\hslash \omega \bar{\psi }\psi =p^2/(2m)+m{\omega }^2{q}^2/2$. Switching from adjacent-label coherent-state time slicing to a midpoint phase-space path integral must retain this ordering correction. Both correctly normalized constructions give the thermal partition function of a quantum harmonic oscillator $Z=[2\sinh (\beta \hslash \omega /2){]}^{-1}$; retaining the normal-symbol constant after switching prescriptions would count the zero-point shift twice.

An eigenfrequency is the natural frequency associated with a free normal mode. Always specify whether it means the angular frequency $\omega$ or the frequency $f=\omega /(2\pi )$ in hertz. For a uniform fixed-end wave equation on a string, ${\omega }_n=n\pi \sqrt{\tau /\mu }/L$ and $f_n=n\sqrt{\tau /\mu }/(2L)$; the amplitude does not change either within the linear model. In a generalized eigenvalue problem for small oscillations, the eigenvalue is ${\omega }^2$, rather than $\omega$ itself.

For a first-order system $\dot{z}=iAz$, a real eigenvalue $\lambda$ of $A$ instead gives a signed eigenfrequency in $e^{i\lambda t}$. A positive imaginary part of $\lambda$ gives exponential decay with this sign convention. Thus a complex damped eigenfrequency encodes both oscillation and decay; it is not just the number of cycles per second.

If a normal matrix satisfies $Ax=\lambda x$, then $A^{†}x=\overline{\lambda }x$. Indeed, $M=A-\lambda I$ is normal and $\Vert Mx{\Vert }^2=x^{†}{M}^{†}Mx=x^{†}M{M}^{†}x=\Vert M^{†}x{\Vert }^2$. Since $Mx=0$, also $M^{†}x=0$. This identity proves orthogonality of distinct eigenspaces and gives spectral restrictions for Hermitian matrices, skew-Hermitian matrices and unitary matrices.

A two-factor normal linear model describes independent responses with factor-specific means and common normal error variance. The additive mean $\mu +{\alpha }_a+{\gamma }_j$ assumes no interaction term; the full mean $\mu +{\alpha }_a+{\gamma }_j+{\delta }_{aj}$ permits the first factor effect to vary with the second. Constraints or treatment coding identify the parameters. In a balanced two-by-five design the full model has ten free cell means.

For a centered normal random variable $Z\sim N(0,v)$, $\mathbb{E}{Z}^4=3v^2$ and $\mathrm{Var}(Z^2)=2v^2$. This converts squared normal increments into exact variance calculations, including the degenerate case $v=0$.

For independent standard normal random variables $Z_1,\dots ,Z_N$, the maximum of $|Z_j|$ has scale $\sqrt{\log N}$. A union bound and the Gaussian tail bound give the upper scale. Integrating the normal density over $[r,r+1/r]$ gives a lower tail bound $c{r}^{-1}{e}^{-r^2/2}$, implying $\mathbb{P}({\max }_j|Z_j|\le \sqrt{\log N})\to 0$.

The standard normal distribution has probability density function $\varphi (z)=(2\pi {)}^{-1/2}{e}^{-z^2/2}$. Its rapid decay explains both concentration at one location and the $\sqrt{\log N}$ growth scale of a Gaussian maximum over many locations.

The block mixed norm sums the ${\ell }^q$ norm of each block, for $q\ge 1$. Its dual norm is $\Vert p{\Vert }_{q^{\prime },\infty }={\max }_i\Vert p_i{\Vert }_{q^{\prime }}$, where $q^{\prime }=q/(q-1)$ for $q>1$ and $q^{\prime }=\infty$ for $q=1$. Apply Holder inequality blockwise and choose a norming block to attain equality. Absolute values are essential for signed components.

A dual norm measures how strongly a bounded linear functional can respond to a unit-sized input. If $p$ is a bounded linear functional on a normed vector space $X$, write $⟨p,x⟩=p(x)$ and defineIt is the operator norm of $p$ when its scalar output is measured by absolute value. On ${\mathbb{R}}^n$, represent $p(x)=a^{T}x$ using a coefficient vector $a$. The unit ball is symmetric, so maximizing $|a^{T}x|$ gives the same value as maximizing $a^{T}x$: negate an input whenever its output is negative.^[ref]

For an original two-coordinate example, fix $a=(2,-1{)}^T$, so $p(x)=2x_1-x_2$. The input norm changes the allowable unit ball and hence the dual norm:Under the L1 norm, $|2x_1-x_2|\le 2(|x_1|+|x_2|)\le 2$, and $(1,0{)}^T$ attains the bound. Under the Euclidean norm, the Cauchy-Schwarz inequality gives $|a^{T}x|\le \Vert a{\Vert }_2\Vert x{\Vert }_2\le \sqrt{5}$, with equality at the displayed normalized vector. Under the maximum norm, each coordinate can reach unit absolute value, so $|2x_1-x_2|\le 2+1=3$; $(1,-1{)}^T$ attains it. Thus the dual norms of these three vector norms are respectively the maximum norm, the Euclidean norm, and the L1 norm. For $1\le p\le \infty$, Lp norms on a finite coordinate space pair with their Holder conjugate exponents.^[ref]

This geometry explains the usefulness of a dual norm: it translates a bound on inputs into the sharp bound on a linear output. The support function of the unit ball gives its value in the coefficient direction $a$. Changing the input budget changes the set of possible inputs; the three different answers do not conflict. In finite dimensions a closed unit ball is compact, so a continuous linear functional achieves its maximum absolute value. In an infinite-dimensional normed vector space, the supremum remains the definition and need not be achieved.

A quasi-norm on a vector space is nonnegative, vanishes only at zero, is absolutely homogeneous, and satisfies a triangle inequality with one constant factor $C\ge 1$. For $0<p<1$, $(\int |f{|}^p{)}^{1/p}$ on an Lp space is a quasi-norm: $\Vert f+g{\Vert }_p^p\le \Vert f{\Vert }_p^p+\Vert g{\Vert }_p^p$ gives a quasi-triangle inequality. Measure-preserving composition preserves this quantity even though the Minkowski inequality is unavailable below exponent one.

An extension's vertexwise split arrow matrices are $\left(\begin{array}{cc}{f}_X& \xi \\ 0& f_Z\end{array}\right)$. Scaling the subobject by $t$ multiplies $\xi$ by $t$. Nonzero $t$ preserves the middle isomorphism class; $t=0$ gives $X\oplus Z$. For a nonsplit extension, the split orbit is distinct and lies in the smaller-dimensional boundary of the middle orbit closure.

A smoothing parameter controls the amount of averaging or regularization in a fitted function. Increasing the penalty multiplier $\lambda$ in a cubic smoothing spline discourages curvature and generally reduces effective degrees of freedom. Increasing a smoothing bandwidth enlarges local averaging neighbourhoods. Software may use a monotone transformed parameter such as spar, so its numerical value should not be confused with the raw penalty multiplier.

In $x\prime \prime +ϵf(x)x\prime +x=0$, the damping coefficient depends on the displacement. The oscillator energy $E=(x{\prime }^2+x^2)/2$ satisfies $E\prime =-ϵf(x)x{\prime }^2$. Positive $f$ dissipates energy and negative $f$ supplies it; a changing sign can select a stable amplitude. The averaged amplitude for position-dependent damping measures the net effect over an oscillation.