Assume $w\in BV\cap L^{\infty }$ minimizes scalar total variation denoising for $g\in BV\cap L^2$. The data $g$ may be unbounded. For the local flow of $\phi e_j$, use $(1-\theta )w+\theta w\circ {\Phi }_{\pm t}$ as two competitors. The total variation under opposite smooth flows and convexity of the total variation seminorm bound the sum of regularizer changes by $O(t^2)$. Minimality and the opposite-flow fidelity identity for quadratic data, evaluated using the BV jump-product limit with one bounded factor, implyLet $\theta \downarrow 0$. The integrands define finite signed Radon measures, since $w$ is bounded and the jump variation of $g$ is finite. Arbitrary nonnegative smooth $\phi$ make their densities nonnegative. Testing every coordinate direction removes the factor $|{\nu }_w\cdot e_j|$ and proves the stated inequality.

For scalar total variation denoising with $f\in BV(\Omega )\cap L^2(\Omega )$ on a bounded Lipschitz domain in arbitrary dimension, the reconstructed jump set of a bounded-variation function lies in the data jump set of a bounded-variation function up to a surface-null set. The jump-amplitude inequality for total variation denoising proves this: outside $J_f$, the two BV traces on a hypersurface of $f$ agree, so $[u]([f]-[u])\ge 0$ forces $[u]=0$. Surviving jumps cannot be stronger than the corresponding data jumps and must have the same orientation. Existing jumps may disappear.

The proof uses scalar total variation splitting under clipping, residual-preserving clipping of an ROF minimizer, total variation under opposite smooth flows and the BV jump-product limit with one bounded factor. It requires neither bounded data nor bounded output. The bounded-forcing geometric proof through noncontact of ROF level boundaries remains an alternative for bounded images; it is not used to infer regularity under unbounded forcing.

For a finite abelian extension of $\mathbb{Q}$, the unramified Iwasawa module of its cyclotomic Zp-extension has $\mu =0$. This removes $p$-power elementary factors from its characteristic ideal. The theorem does not assert $\mu =0$ for arbitrary noncyclotomic Zp-extensions.

For a finitely generated module over the integral domain $\Lambda$, its Iwasawa-module rank counts free summands up to pseudo-isomorphism. Rank zero is equivalent to being a torsion module. A positive rank $r$ forces the ${\mathbb{Z}}_p$-ranks of finite-layer coinvariant modules to grow like $r{p}^n+O(1)$.

A homomorphism between finitely generated one-variable Iwasawa modules is a pseudo-isomorphism if its kernel and cokernel are finite. Finite errors do not change the Iwasawa-module rank or the characteristic ideal of a torsion module. They can still change its integral structure, so a pseudo-isomorphism is weaker than an isomorphism.

On an integral scheme $X$, every nonempty open $U$ contains its generic point $\eta$. Taking a germ gives an injective ring homomorphism from its regular functions to the function field ${\mathcal{O}}_{X,\eta }$. Injectivity follows on each nonempty affine open subscheme from the injection of an integral domain into its field of fractions, and then from the sheaf gluing axiom. This lets regular functions on different open subsets be compared inside one field.

A homotopy sphere is a closed manifold with the homotopy type of a sphere of the same dimension. In dimensions at least two, a closed simply connected integral homology sphere is a homotopy sphere: successive applications of the Hurewicz theorem produce a map from the sphere inducing an isomorphism on integral homology, and the homological Whitehead theorem makes it a homotopy equivalence. The topological generalized Poincare theorem identifies its topological type, while prescribed smooth structures require a separate question.

In multiplicative resource-price dynamics, a zero price remains zero even if demand exceeds supply there. For one route using two resources, unit weight and supplies $q_j(u)=u$, both $(0,1)$ and $(1,0)$ are equilibria, while the unique positive equilibrium is $(1/\sqrt{2},1/\sqrt{2})$. Thus uniqueness on the positive price domain cannot be extended to every nonnegative price trajectory without an extra boundary rule.

For finite nonempty routes and positive weights, the potential of increasing-supply resource-price dynamics has a unique maximum. Increasing supplies give a linear penalty at large prices, so its superlevel sets are compact, and logarithmic route terms exclude zero route totals. Used resources have uniformly positive demand on a trapped set; a sufficiently small positive price therefore increases, giving a positive lower bound. The potential derivative is ${\sum }_j{\kappa }_j{\mu }_j({\partial }_{j}V{)}^2$. It has finite integral and is uniformly continuous, so it tends to zero by uniformly continuous integrable functions vanish at infinity. Every limit point then satisfies the unique stationary equations. Unused resource prices decay to zero. Only continuity and strict increase of the supply functions are needed.

In an abelian category, the coimage of a morphism is its domain modulo its kernel in a category, expressed as a cokernel in a category. The canonical arrow from the coimage to the image is an isomorphism, giving the image factorization in an abelian category.

An ultrafilter on the positive integers selects exactly one residue class modulo a fixed positive integer $q$. Under addition on the Stone-Čech compactification of the natural numbers, selected residues add. An idempotent ultrafilter must therefore select a residue $r$ with $2r=r$ in the finite cyclic group, hence $r=0$. In particular, the multiples of every fixed positive integer belong to every additive idempotent ultrafilter.

For a sequence of positive integers, the nested closures of its tail finite-sums sets have nonempty compact intersection in the Stone-Čech compactification of the natural numbers. This intersection is a subsemigroup. For a sum $s$ from one tail, all sums supported beyond a chosen finite representation of $s$ lie in that tail translated by $-s$. The ultrafilter addition formula then establishes closure under addition. The Ellis–Numakura lemma supplies an idempotent ultrafilter containing every tail finite-sums set and hence any set containing the full finite-sums set.

Combine the full quasi-steady Stefan condition above with $\delta T=T_m{p}_T/(\rho L)$, $a=(A/(6\pi p_T){)}^{1/3}$ and the Darcy flow law to obtain an implicit pressure-growth system. Even when latent heat is negligible, a conductivity ratio $K_s/K_l=r$ changes the leading molecular driving pressure by $r^{3/4}$. Thus a reduced equal-conductivity formula requires an explicit material and rate approximation.

For ${\eta }^{\prime }={\eta }^{-3/4}-\eta$, set $u={\eta }^{7/4}$ to get $u^{\prime }=(7/4)(1-u)$. The displayed solution approaches the stable equilibrium $\eta =1$. From the formal zero start it behaves as $(7\tau /4{)}^{4/7}$ at early times and $1-(4/7)e^{-7\tau /4}$ at late times. The zero-start asymptote is an intermediate reduced-model regime, since the physical thin-film approximation fails at vanishing ice thickness.

The hook graph is the Young diagram with the hook length written in each box. It displays the hook product and thus the hook-length formula for the corresponding Specht module. This use of the name is recorded in Frame, Robinson and Thrall's original hook-graph paper; it refers to a labeled array, not a directed hook-walk graph.

For the Riemannian metric $d{r}^2+f(r{)}^{2}d{\varphi }^2$, where $f>0$ and $\varphi$ has period $2\pi$, parallel transport around $r=r_0$ acts on the orthonormal basis components of a tangent vector by a rotation through $-2\pi f^{\prime }(r_0)$. Indeed, those components obey $u^{\prime }=f^{\prime }(r_0)v$ and $v^{\prime }=-f^{\prime }(r_0)u$ as functions of $\varphi$. Thus all tangent vectors return to themselves exactly when $f^{\prime }(r_0)\in \mathbb{Z}$. The integer criterion concerns holonomy and is stronger than local flatness.

If the Holm step-down procedure makes a false rejection, it must reject the first true null in the ordered list. All $m_0$ true nulls remain at that step, so its cutoff is at most $\alpha /m_0$. The union bound on their marginally valid p-values gives familywise error rate at most $\alpha$. This proves strong control under arbitrary dependence, and super-uniformity suffices.

The symbol is one exactly when $b$ is a norm from $K_v(\sqrt{a})$, and is always one if $a$ is square. Equivalently the conic $z^2=a{x}^2+b{y}^2$ is isotropic. This proves symmetry. The cyclic local norm index makes the norm subgroup have index two for nonsquare $a$, proving bilinearity and nondegeneracy on local square classes. Also $(a,-a{)}_v=1$ and $(a,a{)}_v=(a,-1{)}_v$.

Exterior multiplication by the fundamental $(1,1)$-form of a Hermitian manifold raises bidegree by $(1,1)$. Its pointwise formal adjoint lowers bidegree by $(1,1)$. On a Kähler manifold this is the Lefschetz operator of a Kähler manifold, but its pointwise algebraic properties do not require the form to be closed.

A small abundance displacement from the helium-3 equilibrium abundance obeys $\dot{x}=-x/\tau$ to linear order. Rapid relaxation relative to background evolution allows the abundance to track its equilibrium. If the equilibrium drifts, the displacement equation also contains $-{\dot{n}}_{3e}$. In the pp-I limit the rate is $n_1\sqrt{2{\lambda }_{11}{\lambda }_{33}}$, so both production and destruction temperature dependences matter.