Existence of Smooth Bump Functions on Euclidean Space
lemmaAnalysisMultivariable Calculuslem:smooth-bump-function-euclidean-2026aLet , let be a point of Euclidean space , and let with . Then there exists a smooth map such that, with denoting the Euclidean distance on :
- for every ;
- for every with ;
- for every with .
Loading…
Prerequisites
No prerequisites tracked.
currentExistence of Smooth Bump Functions on Euclidean Space
lem:smooth-bump-function-euclidean-2026aDependents
No dependents yet.
Dependent proofs
No dependent proofs yet.
No relations recorded yet.