Abstract
IfF is a Fredholm mapping of indexΝ ∃ ℤ and classC max(Ν,0)+1 between separable Banach spaces, the Sard—Smale theorem yields the existence of arbitrarily small perturbations ofF having 0 as a regular value. The smoothness requirement cannot be weakened in the Sard—Smale theorem itself, at least whenΝ ≥ 0, but we prove that the approximation result remains valid irrespective of the indexΝ whenF is only of classC 1 and satisfies appropriate properness-like conditions. The separability of the spaces is not needed either. Everything carries over to the setting of Banach manifolds modeled on spaces with a norm of classC 1 away from the origin. We also show that in Banach spaces, theC 1 norm assumption can be dropped without major prejudice. The application to degree theory forC 1 Fredholm mappings of index 0 is developed in a separate paper.
Similar content being viewed by others
References
R. Bonic and J. Frampton,Smooth functions on Banach manifolds, J. Math. Mech.15 (1966), 877–898.
G. E. Bredon,Topology and Geometry, Springer-Verlag, New York, 1993.
R. Caccioppoli,Sulle corrispondenze funzionali inverse diramate, teoria generale e applicazioni ad alcune equazioni funzionali nonlineari e al problema di Plateau, I, II, Rend. Acad. Naz. Lincei (6)24 (1936), 258–263, 416–421.
K. Deimling,Nonlinear Functional Analysis, Springer-Verlag, New York, 1985.
K. D. Elworthy and A. J. Tromba,Differential structures and Fredholm maps on Banach manifolds, inGlobal Analysis (S. S. Chem and S. Smale, eds.), Proc. Symp. Pure Math.15 (1970), 45–94.
K. D. Elworthy and A. J. Tromba,Degree theory on Banach manifolds, inNonlinear Functional Analysis (F. E. Browder, ed.), Proc. Symp. Pure Math., Part I18 (1970), 86–94.
P. M. Fitzpatrick, J. Pejsachowicz and P. J. Rabier,The degree of proper C2 Fredholm mappings I, J. Reine Angew. Math.427 (1992), 1–33.
P. M. Fitzpatrick, J. Pejsachowicz and P. J. Rabier,Orientability of Fredholm families and topological degree for orientable Fredholm mappings, J. Funct. Anal.124 (1994), 1–39.
P. M. Fitzpatrick, J. Pejsachowicz and P. J. Rabier,The degree of proper C 2 Fredholm mappings II: covariant theory, Topol. Methods Nonlinear Anal.3 (1994), 325–367.
M. W. Hirsch,Differential Topology, Springer-Verlag, New York, 1976.
J. L. Kelley,General Topology, Springer-Verlag, New York, 1955.
N. Moulis,Approximation de fonctions differentiates sur certains espaces de Banach, Ann. Inst. Fourier (Grenoble)21 (1971), 293–345.
R. S. Palais,Lusternik—Schnirelman theory on Banach manifolds, Topology5 (1966), 115–132.
J. Pejsachowicz and P. J. Rabier,Degree theory for C1 Fredholm mappings, J. Analyse Math., in this volume.
F. Quinn and A. Sard,Hausdorff conullity of critical images of Fredholm maps, Amer. J. Math.94(1972), 1101–1110.
P. J. Rabier,Global surjectivity of submersions via contractibility of the fibers, Trans. Amer. Math. Soc.347 (1995), 3405–3422.
P. J. Rabier,Ehresmann fibrations and Palais—Smale conditions for morphisms of Finsler manifolds, Ann. of Math. (2)146 (1997), 647–691.
P. J. Rabier, in preparation.
G. Restrepo,Differentiable norms in Banach spaces, Bull. Amer. Math. Soc.70 (1964), 413–414.
S. Smale,An infinite dimensional generalization of Sard’s theorem, Amer. J. Math.87 (1965), 861–866.
Author information
Authors and Affiliations
Corresponding author
Rights and permissions
About this article
Cite this article
Pejsachowicz, J., Rabier, P.J. A substitute for the Sard-Smale theorem in theC 1 case. J. Anal. Math. 76, 265–288 (1998). https://doi.org/10.1007/BF02786938
Received:
Revised:
Issue Date:
DOI: https://doi.org/10.1007/BF02786938