Uniform approximation of continuous mappings by smooth mappings with no critical points on Hilbert manifolds

DOI10.1215/S0012-7094-04-12412-1MaRDI QIDQ1880378zbMATH OpenFDO

Authors Daniel Azagra, Manuel Cepedello Boiso

Publication date 27 September 2004

Published in Duke Mathematical Journal (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/math/0203237

zbMATH Keywords

Morse-Sard theoremHilbert manifold

Mathematics Subject Classification ID

Singularities of differentiable mappings in differential topology (57R45) Differentiability questions for infinite-dimensional manifolds (58B10) Smooth approximations in differential topology (57R12)

Abstract: We prove that every continuous mapping from a separable infinite-dimensional Hilbert space $X$ into $mathbb{R}^m$ can be uniformly approximated by $C^{i}nfty$ smooth mappings {em with no critical points}. This kind of result can be regarded as a sort of very strong approximate version of the Morse-Sard theorem. Some consequences of the main theorem are as follows. Every two disjoint closed subsets of $X$ can be separated by a one-codimensional smooth manifold which is a level set of a smooth function with no critical points; this fact may be viewed as a nonlinear analogue of the geometrical version of the Hahn-Banach theorem. In particular, every closed set in $X$ can be uniformly approximated by open sets whose boundaries are $C^{i}nfty$ smooth one-codimensional submanifolds of $X$. Finally, since every Hilbert manifold is diffeomorphic to an open subset of the Hilbert space, all of these results still hold if one replaces the Hilbert space $X$ with any smooth manifold $M$ modelled on $X$.

Recommendations

• Smooth approximations without critical points of continuous mappings between Banach spaces, and diffeomorphic extractions of sets
• Approximation by smooth functions with no critical points on separable Banach spaces
• scientific article; zbMATH DE number 3981817
• Extraction of critical points of smooth functions on Banach spaces
• Smoothing of Hilbert-valued uniformly continuous maps

Cites work

• scientific article; zbMATH DE number 410746 (Why is no real title available?)
• scientific article; zbMATH DE number 3476334 (Why is no real title available?)
• scientific article; zbMATH DE number 3242691 (Why is no real title available?)
• scientific article; zbMATH DE number 3251767 (Why is no real title available?)
• scientific article; zbMATH DE number 3256334 (Why is no real title available?)
• scientific article; zbMATH DE number 3268770 (Why is no real title available?)
• scientific article; zbMATH DE number 3289164 (Why is no real title available?)
• A function not constant on a connected set of critical points
• An Infinite Dimensional Version of Sard's Theorem
• Counterexample to the Morse-Sard Theorem in the Case of Infinite-Dimensional Manifolds
• Hausdorff Measure of Critical Images on Banach Manifolds
• Hausdorff measures and the Morse-Sard theorem
• Images of critical sets
• On smooth \(\text{rank}\)-1 mappings of Banach spaces onto the plane
• On smooth, nonlinear surjections of Banach spaces
• On the Image Size of Singular Maps. I
• On the image size of singular maps. II
• Open embeddings of certain Banach manifolds
• Smooth and R-analytic negligibility of subsets and extension of homeomorphisms in Banach spaces
• Smooth negligibility of compact sets in infinite-dimensional Banach spaces, with applications
• Some new perspectives on Sard's theorem
• The behavior of a function on its critical set
• The failure of Rolle's theorem in infinite-dimensional Banach spaces
• The measure of the critical values of differentiable maps
• Toward a Precise Smoothness Hypothesis in Sard's Theorem

Cited in

(7)

• Smooth approximations without critical points
• Approximate Morse-Sard type results for non-separable Banach spaces
• Extending maps in Hilbert manifolds
• Smooth approximations without critical points of continuous mappings between Banach spaces, and diffeomorphic extractions of sets
• Extraction of critical points of smooth functions on Banach spaces
• Approximation by smooth functions with no critical points on separable Banach spaces
• Nonsmooth analysis and Hamilton--Jacobi equations on Riemannian manifolds

This page was built for publication: Uniform approximation of continuous mappings by smooth mappings with no critical points on Hilbert manifolds

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1880378)