Let $K\subset \mathbb{R}^n$ be a closed set, then is there existing a smooth function $f\in C^{\infty}(\mathbb{R}^n,\mathbb{R})$, such that $ (1)\quad f\ge 0, $ $ (2) \quad f^{-1}(0)=K. $
Existence of a smooth function with a given kernel
1
$\begingroup$
real-analysis
differential-topology
-
0@HaraldHanche-Olsen Yes (now I can't edit the commnet anymore). – 2012-10-12