Manifold, exist smooth nonnegative function with regular value at 0?

149 Views Asked by At

If $X$ is any manifold with boundary, then does there exist a smooth nonnegative function $f$ on $X$, with a regular value at $0$, such that $\partial X = f^{-1}(0)$?