The Lebesgue decomposition theorem separates the absolutely continuous part from the singular part. BV fine structure then splits the latter into the jump part of a BV derivative and the Cantor part of a BV derivative. The density of the absolutely continuous part is the almost-everywhere approximate gradient. These three mutually singular components distinguish smooth variation, surface discontinuities and diffuse singular variation.

A continuous capacity-parameterized Loewner trace with finite, strictly ordered positive swallowing times visits every positive real point. An unvisited swallowed point has an interval disjoint from the compact trace up to its swallowing time; that interval is swallowed simultaneously, contradicting strict order. Reflection yields the negative-axis conclusion for chordal SLE at $\kappa \ge 8$.

By an orthonormal eigenbasis, the imaginary part of the Stieltjes matrix resolvent has eigenvalues $\eta /|\lambda -z{|}^2>0$. Thus its normalized trace has positive imaginary part, and its quadratic form at any vector has nonnegative imaginary part. This yields $|z+g|\ge \eta$ and $|z+q|\ge \eta$ for the normalized trace $g$ and a quadratic form $q$ used in Schur-complement estimates.

The eigenvalue interlacing of a Hermitian matrix and a principal minor bounds the difference of their resolvent traces by a constant times $|\mathrm{Im}z{|}^{-1}$. When both traces are normalized by the original dimension $N$, the bound acquires $N^{-1}$. One proof writes the difference using the interlacing counting functions, whose difference is at most one, and bounds the integral of $|t-z{|}^{-2}$ by $\pi /|\mathrm{Im}z|$. This gives the admissible absolute constant $c=\pi$.

For a zero-diagonal real symmetric matrix, put $q_i=x_i^T(X^{(i)}-zI{)}^{-1}{x}_i$ and $g_N=N^{-1}\mathrm{Tr}(X-zI{)}^{-1}$. The Schur complement formula for a diagonal resolvent entry gives $g_N=-N^{-1}{\sum }_i(z+q_i{)}^{-1}$. Subtracting the comparison value $-(z+g_N{)}^{-1}$ gives ${\epsilon }_N=N^{-1}{\sum }_i(q_i-g_N)/[(z+g_N)(z+q_i)]$. Upper-half-plane positivity and the principal minor resolvent trace bound control this defect by the average of $|q_i-g_N^{(i)}|$ plus a trace correction.

Summing the stationary law of a linear flow network over its through-flow count gives independent local geometric distributions with ratios $q_i={\rho }_i/(1-{\rho }_0)$. This gives the displayed means. The local counts are independent of one another in this marginal distribution; the through count is generally dependent on them. The independence is a stationary distributional fact, not an assertion that their dynamics evolve independently.

A sequence $D_{\alpha }\subseteq \alpha$, indexed by a stationary subset $S$ of a regular uncountable cardinal $\lambda$, guesses every $X\subseteq \lambda$ stationarily often: $\{\alpha \in S:D_{\alpha }=X\cap \alpha \}$ is stationary. This extends the usual stationary diamond principle at ${\omega }_1$.

The expected exit time from $(\ell ,r)$ for a one-dimensional diffusion is ${\int }_{\ell }^{r}K(x,v)m(v)dv$ when finite. Differentiating this expression on each side of $v=x$ gives the equation $\mathcal{L}u=-1$ with zero endpoint values. For the SLE two-boundary-point ratio diffusion, $s(v)-s(1)$ behaves as $(v-1{)}^{1-4/\kappa }$ and the speed density behaves as $(v-1{)}^{4/\kappa }$, so the product is integrable at $1$ for $\kappa >4$.

The real dispersion above is temporally stable for every real $k$, but its analytic continuation has stationary points at $k=\pm i$ with $\omega =i/2$. Writing $\omega =i\Omega$ gives $k^2=-1\pm \sqrt{1/2-\Omega }$; as $\Omega$ decreases to $1/2$, both branches at $+i$ approach from the upper half-plane and both at $-i$ from the lower. These are not spatial pinch points. This provides a concrete counterexample to treating growing algebraic double roots as sufficient for absolute wave-packet instability.

A sieve is J-closed when membership is local with respect to the Grothendieck topology $J$. Pullback preserves J-closedness. Their presheaf is the subobject classifier of the sheaf topos: a section of a sheaf is sent to the sieve of arrows on which it belongs to the chosen subsheaf.

For the shifted-exponential Poisson mixture, the displayed relation holds for $n\ge 2$, initialized by $p_0=e^{-\alpha }\beta /(\beta +1)$ and $p_1=(\alpha +1/(\beta +1))p_0$. It follows by differentiating the probability generating function and comparing coefficients. Nonnegativity follows from the independent Poisson-geometric convolution of independent random variables representation.

The BV lattice inequality $|D\min (v,w)|+|D\max (v,w)|\le |Dv|+|Dw|$ applied to two indicator functions gives the perimeter inequality. For smooth approximations, minima and maxima partition the two gradients; sequential lower semicontinuity passes the estimate to BV. It prevents a crossing of minimizers with strictly ordered set forcing.

The total variation seminorm of the indicator function within an open set counts only its interior interface. The perimeter of a zero extension may add a boundary contribution.

Here the sets of finite perimeter $E,F$ differ only compactly inside $U$. A minimizing set with bounded volume forcing satisfies this inequality. Interior regularity theorems give graph patches outside a singular set negligible for surface Hausdorff measure; bounded forcing allows the graph estimates used in the noncontact of ROF level boundaries.

The perimeter of a measurable set relative to an open domain is the total variation seminorm of its indicator function there. For a smooth region it equals the Hausdorff measure of the boundary lying inside the domain. Global perimeter uses the entire space as the domain; an internal interface shared by two regions appears in both relative perimeters and must be counted only once in a segmentation energy.

If $A(t)$ and $B(t)$ are perpendicular four-dimensional spatial vectors of equal fixed magnitude, every constant-time slice is a planar circle. Opposite rotations in two orthogonal coordinate planes can produce a Nambu–Goto action solution with constant radius and a rotating plane. The induced worldsheet metric can be constant even though the embedding moves. Rotating Cartesian axes clarify its shape without removing its kinetic target-space energy.

Choosing a positive system of a root system for a complex semisimple Lie algebra divides its root spaces into negative and positive ones. Their respective sums ${\mathfrak{n}}^{-}$ and ${\mathfrak{n}}^{+}$, together with the Cartan subalgebra $\mathfrak{h}$, give this direct sum of vector spaces. Both ${\mathfrak{n}}^{\pm }$ are nilpotent Lie algebras, and $\mathfrak{h}\oplus {\mathfrak{n}}^{+}$ is a Borel subalgebra. The Poincaré-Birkhoff-Witt theorem turns this into an ordered vector-space decomposition of the universal enveloping algebra, useful for building Verma modules.

For bounded BV space data and $s<t$, nested ROF level-set formulation minimizing sets cannot share an interface of positive surface measure away from data jumps. On regular graph patches, upward and downward first variations use the BV traces on a hypersurface. At contacts outside $J_f$ the forcing BV trace on a hypersurface agrees, whereas the two levels differ by $t-s$. Graph regularity and contact differentiation give the contradiction. Bounded forcing is a hypothesis of this argument; arbitrary unbounded $L^2\cap BV$ data are not covered by this statement.

An Einstein manifold has Ricci curvature equal to a constant multiple of its metric. In the Riemannian setting, the round unit sphere has $\Lambda =n-1$. This condition is weaker than constant sectional curvature in higher dimensions. The definition can also be applied to pseudo-Riemannian metrics, but positivity is assumed in the completeness theorems discussed here.

Two representations of a functor have unique mutually inverse morphisms carrying their specified universal elements to one another. Composing those morphisms preserves each universal element, so injectivity of the representing bijection makes the composites identities. Arbitrary isomorphisms of the underlying objects need not preserve the specified elements.