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

  • Azagra D
  • Jiménez-Sevilla M
  • 5


    Mendeley users who have this article in their library.
  • 2


    Citations of this article.


We characterize the class of separable Banach spaces X such that for every continuous function f : X → R and for every continuous function ε : X → (0, + ∞) there exists a C1smooth function g : X → R for which | f (x) - g (x) | ≤ ε (x) and g′(x) ≠ 0 for all x ∈ X (that is, g has no critical points), as those infinite-dimensional Banach spaces X with separable dual X*. We also state sufficient conditions on a separable Banach space so that the function g can be taken to be of class Cp, for p = 1, 2, ..., + ∞. In particular, we obtain the optimal order of smoothness of the approximating functions with no critical points on the classical spaces ℓp(N) and Lp(Rn). Some important consequences of the above results are (1) the existence of a non-linear Hahn-Banach theorem and the smooth approximation of closed sets, on the classes of spaces considered above; and (2) versions of all these results for a wide class of infinite-dimensional Banach manifolds. © 2006 Elsevier Inc. All rights reserved.

Author-supplied keywords

  • Approximation by smooth functions
  • Critical points
  • Morse-Sard theorem
  • Sard functions
  • Smooth bump functions

Get free article suggestions today

Mendeley saves you time finding and organizing research

Sign up here
Already have an account ?Sign in

Find this document


Cite this document

Choose a citation style from the tabs below

Save time finding and organizing research with Mendeley

Sign up for free