Lemma 4.2 . [00A7]
Original official author HTML, exact retained edition. Historical TeX conversion verdicts remain unchanged. Cited-edition alignment and mathematical self-containment are not assessed.
Complete original source context · Original author HTML
Lemma 4.2.
(Regularisation) Let be suffiently small dependent on , and construct as in Lemma 4.1, for sufficiently small dependent on and . There is a Lipschitz continuous function on with , such that
- •
The function is smooth away from a closed subset with -measure zero.
- •
The (1,1)-current is positive on .
- •
The metric estimate holds on the smooth locus of inside .
- •
The total variation