Existence of a Smooth Plateau Function on Euclidean Space
lemmaAnalysisMultivariable Calculuslem:smooth-plateau-euclidean-2026aFor 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 Map on a Euclidean Open Set on , which is open by claim 1 of Euclidean Space is Open in Itself, and Maps are Continuous. Let and let be real numbers with .
Then there exists a smooth such that for every , whenever , and whenever .
Loading…
Prerequisites
No prerequisites tracked.
Dependents
No dependents yet.
Dependent proofs
No dependent proofs yet.
No relations recorded yet.