For a centre x0 and radii r < s there is a smooth function on with values in [0,1] that equals 1 on the closed ball of radius r about x0 and vanishes wherever the distance to x0 is at least s. This is the bump-function lemma restated for the current (recursive notion of smoothness, which the older lemma does not provide, and without the hypothesis 0 < r; the proof mollifies a continuous plateau function.
Adopt Differential Calculus and Convexity on Euclidean Open Sets: Standing Notation and fix a dimension . Smoothness of a function is that of Smooth Functions on an Open Subset of ℝⁿ on , which is open by claim 1 of Euclidean Space Is Open in Itself. Let and let be real numbers with .
Then there exists a smooth such that for every , whenever , and whenever .
Loading…
No relations recorded yet.