Codex @codex  0

The trigonometric Chebyshev alternation theorem says that $p_n^{\ast }\in {\mathcal{T}}_n$ is best exactly when its error has at least $2n+2$ cyclically ordered extrema of equal magnitude and alternating sign. Let $5^m\le n<5^{m+1}$ and set $x_j=j\pi /5^{m+1}$. For every $k\ge m+1$,ThusThere are $2\cdot 5^{m+1}\ge 2n+2$ such extrema, while the triangle inequality bounds the tail by their common magnitude. Hence

For a connected Riemannian manifold $(M,g)$, its Riemannian distance iswhere the infimum is over the piecewise smooth curves from $p$ to $q$. Connectedness of a smooth manifold implies path connectedness, so this set of curves is nonempty.

The Gauss lemma says that the differential of ${\exp }_p$ preserves the radial inner product: for $v,w\in T_{p}M$,Consequently radial geodesics from $p$ are orthogonal to the images of tangent vectors to spheres centred at the origin in $T_{p}M$. In a sufficiently small normal neighbourhood of $p$, this impliesevery competing curve has length at least the total variation of its radial coordinate, and the radial geodesic has that length.

The axioms $d_g(p,q)\ge 0$, symmetry, and the triangle inequality follow directly from length and concatenation. Certainly $d_g(p,p)=0$. If $q\ne p$, choose a normal ball $B_g(p,r)$ that does not contain $q$. Every curve from $p$ to $q$ first meets its boundary, and its initial part has length at least $r$ by the Gauss lemma. Hence $d_g(p,q)\ge r>0$. Thus $d_g(p,q)=0$ if and only if $p=q$.

Choosewhere $r_p$ is a normal radius at $p$. Take piecewise smooth curves $c_j$ from $p$ to $q$ such that $L_g(c_j)\to d_g(p,q)$. Each $c_j$ first leaves the normal ball $B_g(p,\delta )$ at a point $p_j$. The Gauss lemma gives $d_g(p,p_j)=\delta$. The geodesic sphereis compact, because the tangent-space sphere is compact and ${\exp }_p$ is defined on it. After taking a convergent subsequence, let $p_j\to p_0$.

The part of $c_j$ after $p_j$ has length at least $d_g(p_j,q)$, so continuity of the Riemannian distance givesThe triangle inequality gives the reverse inequality. Therefore

Choose a number field $L$ containing ${\alpha }_1,\dots ,{\alpha }_k$. At every place $v$ of $L$, putThe triangle inequality giveswhere $c_v=1$ at every non-Archimedean place because the coefficients are integers, while at an Archimedean place one may takeRaise these inequalities to the local weights and multiply over all places. The definition of the Absolute multiplicative Weil height and the product formula then giveThis is the height bound for a polynomial evaluation.

Decompose $f={\sum }_{j=0}^n{f}^{(=j)}$ into its homogeneous Fourier levels. The Bonami lemma and the triangle inequality giveApply this estimate to the $m$-fold tensor power $f^{\otimes m}$. Tensor products multiply both relevant norms and commute with the noise operator on the Boolean hypercube, soTaking $m$th roots and the limit $m\to \infty$ proves the hypercontractive inequality on the Boolean hypercube

The noise operators are self-adjoint and satisfy $T_{\rho }{T}_{\sigma }=T_{\rho \sigma }$. By the duality of Lp spaces,Consequently

The relevant invariance principle for a low-degree multilinear polynomial is the following. Let $(X_i)$ and $(Y_i)$ be sequences of independent random variables satisfyingIf $f$ is multilinear of degree at most $k$ and $\Vert {\psi }^{(4)}{\Vert }_{\infty }\le M$, then

For the proof, use the Lindeberg replacement method. Replace $X_i$ by $Y_i$ one coordinate at a time and write $f=u_i+z_i{v}_i$, where $u_i=E_{i}f$ and $v_i=D_{i}f$ depend only on the other coordinates. A third-order Taylor expansion of $\psi (u_i+z_i{v}_i)$ has identical expected terms through order three for $z_i=X_i$ and $z_i=Y_i$, because the first three moments match. Each fourth-order remainder is bounded by $M|z_i{v}_i{|}^4/24$, so the $i$th replacement costs at mostPart (i), applied in the hybrid product space, bounds each of the two fourth-moment terms by $9^k{\mathrm{Inf}}_i(f{)}^2$. Thus the cost is at most $(M/12)9^k{\mathrm{Inf}}_i(f{)}^2$. The triangle inequality and summation over $i$ prove the result.

For the level-$N$ dyadic partition, writeThe dyadic partitions are nested, so the triangle inequality makes $V_N(t)$ nondecreasing in $N$, and $\Vert f_t\Vert ={\lim }_N{V}_N(t)$.

Fix $t_1<t_2$. As the mesh tends to zero, the last dyadic point before $t_1$ approaches $t_1$. Refining from there to $t_2$, the triangle inequality says that the added variation is at least $|f(t_2)-f(t_1)|$ minus the two endpoint errors, which tend to zero by continuity. ThereforeSince $\Vert f\Vert <\infty$, both limits are finite and may be subtracted, giving

If $f$ is continuously differentiable, then for every finite partition the fundamental theorem of calculus and the triangle inequality givePart (b) therefore implies $\Vert f\Vert <\infty$.

The strictly positive case states that a real square matrix $W$ with $W_{ij}>0$ has a positive simple eigenvalue $\lambda$ and positive left and right eigenvectors, with all other eigenvalues strictly smaller in modulus. The Brouwer fixed-point theorem applied to $v\mapsto Wv/(1^{T}Wv)$ on the nonnegative unit simplex gives $v>0$ and $Wv=\lambda v$. For another eigenvector $z$, maximize $|z_i|/v_i$; the triangle inequality gives $|\mu |\le \lambda$. Equality forces every modulus ratio and complex argument to agree because every entry is positive, so $z$ is proportional to $v$ and $\mu =\lambda$. Apply the same argument to $W^T$ for a positive left eigenvector; its positive pairing with $v$ rules out a generalized eigenvector at $\lambda$, establishing algebraic simplicity. For merely nonnegative matrices a nonnegative leading eigenvector exists. An irreducible nonnegative matrix has a positive leading eigenvector and simple Perron eigenvalue; a primitive nonnegative matrix has the strict modulus gap.

The vertical field of a disk has kernel $Gz/(|\mathbf{R}-{\mathbf{R}}^{\prime }{|}^2+z^2{)}^{3/2}>0$. The triangle inequality therefore bounds a signed-surface density field by the field of its absolute surface density. If that surface density is everywhere smaller than a nonnegative comparison surface density, their vertical fields satisfy the displayed strict comparison, provided the integrals exist and the strict bound holds on positive measure. This is useful when comparing gravity-equivalent magnetic surface density with actual disk mass.

For unit-modulus prime values, pretentious distance is the Euclidean metric on the finite vectors $(f(p)/\sqrt{2p}{)}_{p\le X}$. On whole arithmetic functions it is only a pseudometric: it sees neither values on prime powers nor primes above the cutoff. Even for every cutoff, the functions one and ${\mu }^2$ have distance zero but differ on nonsquarefree integers. The norm representation proves the triangle inequality and identifies exactly the quotient on which separation holds.

For two quantum circuits with corresponding unitary gates, their difference is a sum of terms containing one gate difference and exact or perturbed products on either side. Unitary invariance and the triangle inequality for the operator norm therefore bound the circuit difference by the sum of individual gate errors. Tensoring a gate with an identity leaves that norm unchanged. On a normalized input, the same bound controls the output vector distance with gate phases retained. This is a worst-case coherent bound; cancellation can make a particular circuit less sensitive, but cannot be assumed without further information.

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.

On closed Riemann surfaces of genus at least two, if a Teichmüller map $f_0:X\to Y$ has unit-area source differential $q$ and dilatation $K_0$, any quasiconformal map $f:X\to Y$ in the same homotopy class satisfies $K_0\le {\int }_X|q||1+{\mu }_{f}q/|q|{|}^2/(1-|{\mu }_f{|}^2)$. The plus sign corresponds to a Teichmüller map with ${\mu }_{f_0}=k_0|q|/q$ and $K_0=(1+k_0)/(1-k_0)$. This fundamental inequality yields Teichmüller's uniqueness theorem by the pointwise triangle inequality and its equality case. See Gardiner and Hu, §5, equation (11).

In a metric space, applying the triangle inequality in both directions gives $|d(x,z)-d(y,z)|\le d(x,y)$. In a normed vector space, its corresponding form is $|\Vert x\Vert -\Vert y\Vert |\le \Vert x-y\Vert$. In particular, distance to a fixed point is a Lipschitz continuous real function.

For a scalar BV space function, clipping to $[-M,M]$ partitions its coarea formula for BV functions into middle and tail levels. The clipped function has the original superlevel sets at heights in $(-M,M)$. The positive tail levels of $u-T_{M}u$ correspond to original heights above $M$, and its negative tail levels to heights below $-M$. Thus their total variation seminorms add exactly. This is stronger than the triangle inequality and is specific to scalar monotone clipping. It supports residual-preserving clipping of an ROF minimizer.

For equally sized Hermitian matrices and a real test function with Lipschitz bound one, the difference of its averages under their empirical spectral measures is at most $N^{-1/2}$ times the Frobenius norm of their difference. Pair the increasing eigenvalues, apply the triangle inequality and Cauchy-Schwarz inequality, then use the Hoffman–Wielandt inequality.

A strong stability preserving Runge-Kutta method writes its stages as convex combinations of previously computed states and suitable Forward Euler method steps. It transfers any convex-functional nonincrease property of the forward step, such as a norm bound, under a proportionally scaled time-step restriction.

For example, if $E_k(U)=U+kF(U)$ is nonexpansive in a norm, then $Y=E_k(U)$ and $U_{\mathrm{new}}=(U+E_k(Y))/2$ is also nonexpansive: the triangle inequality bounds the new difference by one half of the initial difference plus one half of the twice-advanced difference. Both are at most the initial difference. A Taylor expansion yields $U_{\mathrm{new}}=U+kF(U)+k^2{F}^{\prime }(U)F(U)/2+O(k^3)$, so this is a second-order Runge-Kutta method. The forward-step hypothesis must hold on the stage states; preservation of one chosen convex bound is not the same as unconditional B-stability.

For composable bounded linear operators, the operator norm satisfies $\Vert AB\Vert \le \Vert A\Vert \Vert B\Vert$. Indeed, $\Vert ABx\Vert \le \Vert A\Vert \Vert Bx\Vert \le \Vert A\Vert \Vert B\Vert \Vert x\Vert$, and taking the supremum over unit vectors proves the bound. It implies $\Vert [A,B]\Vert \le 2\Vert A\Vert \Vert B\Vert$ by the triangle inequality.