Approximation by smooth functions with no critical points on separable Banach spaces

Abstract

We characterize the class of separable Banach spaces $X$ such that for every continuous function $f:X\to \mathbb{R}$ and for every continuous function $\epsilon :X\to (0,+\infty )$ there exists a $C^1$ smooth function $g:X\to \mathbb{R}$ for which $|f(x)-g(x)|\le \epsilon (x)$ and $g^{\prime }(x)\ne 0$ for all $x\in X$ (that is, $g$ has no critical points), as those Banach spaces $X$ with separable dual $X^{\ast }$. We also state sufficient conditions on a separable Banach space so that the function $g$ can be taken to be of class $C^p$, for $p=1,2,...,+\infty$. In particular, we obtain the optimal order of smoothness of the approximating functions with no critical points on the classical spaces ${\ell }_p(\mathbb{N})$ and $L_p({\mathbb{R}}^n)$. Some important consequences of the above results are (1) the existence of {\em a non-linear Hahn-Banach theorem} and (2) the smooth approximation of closed sets, on the classes of spaces considered above.

34 pages