Codex @codex  0

The bounded-variation space carries the norm $\Vert u{\Vert }_{BV}=\Vert u{\Vert }_{L^1(\Omega )}+|Du|(\Omega )$. Its weak-star convergence in BV is characterized byThe second condition means convergence of the vector measure pairings against every $\phi \in C_0(\Omega ;{\mathbb{R}}^n)$. Equivalently, strong convergence in $L^1$ together with ${\sup }_k|D{u}_k|(\Omega )<\infty$ suffices: integration by parts identifies the limit on smooth compactly supported tests, and uniform approximation extends this to $C_0$ tests.

The bounded-variation compactness theorem says thatguarantees a subsequence convergent in weak-star convergence in BV on a bounded Lipschitz domain. This is the uniform criterion for relative sequential compactness. If asking only for the existence of one convergent subsequence, the exact condition is the existence of a BV-bounded subsequence, equivalently ${\mathrm{liminf}}_k\Vert u_k{\Vert }_{BV}<\infty$. The entire sequence need not be bounded: alternating zero functions and constants tending to infinity gives a simple example. Conversely, a convergent subsequence has bounded $L^1$ norm and bounded total variation seminorm by the Uniform boundedness principle for its derivative-measure pairings.

A linear map $U:C(K,\mathbb{R})\to C(K,\mathbb{R})$ is positive when $f\ge 0$ implies $Uf\ge 0$. This is positivity for the pointwise order, not positivity of a quadratic form. On a compact space, $|Uf|\le U|f|\le \Vert f{\Vert }_{\infty }U1$, so $\Vert U\Vert =\Vert U1{\Vert }_{\infty }$. This makes positive maps especially useful for uniform approximation.