Not signed in

Want to take part in these discussions? Sign in if you have an account, or apply for one below

• Username
• Password
• Remember me

• Sign in using OpenID
  
  
• Remember me

• Forgot your password?
• Apply for membership

2-category 2-category-theory abelian-categories adjoint algebra algebraic algebraic-geometry algebraic-topology analysis analytic-geometry arithmetic arithmetic-geometry book bundles calculus categorical categories category category-theory chern-weil-theory cohesion cohesive-homotopy-type-theory cohomology colimits combinatorics complex complex-geometry computable-mathematics computer-science constructive cosmology definitions deformation-theory descent diagrams differential differential-cohomology differential-equations differential-geometry digraphs duality elliptic-cohomology enriched fibration foundation foundations functional-analysis functor gauge-theory gebra geometric-quantization geometry graph graphs gravity grothendieck group group-theory harmonic-analysis higher higher-algebra higher-category-theory higher-differential-geometry higher-geometry higher-lie-theory higher-topos-theory homological homological-algebra homotopy homotopy-theory homotopy-type-theory index-theory integration integration-theory k-theory lie-theory limits linear linear-algebra locale localization logic mathematics measure-theory modal modal-logic model model-category-theory monad monads monoidal monoidal-category-theory morphism motives motivic-cohomology nforum nlab noncommutative noncommutative-geometry number-theory of operads operator operator-algebra order-theory pages pasting philosophy physics pro-object probability probability-theory quantization quantum quantum-field quantum-field-theory quantum-mechanics quantum-physics quantum-theory question representation representation-theory riemannian-geometry scheme schemes set set-theory sheaf simplicial space spin-geometry stable-homotopy-theory stack string string-theory superalgebra supergeometry svg symplectic-geometry synthetic-differential-geometry terminology theory topology topos topos-theory tqft type type-theory universal variational-calculus

1. • CommentRowNumber1.
   • CommentAuthorDmitri Pavlov
   • CommentTimeJul 17th 2022
   • PermaLink
   Author: Dmitri Pavlov
   Format: MarkdownItexAdded: Named after [[Anthony P. Morse]] and [[Arthur Sard]]. ## Statement Recall the following definitions from [[diferential topology]]. The set of [[critical points]] of a smooth map $f$ is the set of points in the domain of $f$ where the tangent map is not surjective. The set of [[critical values]] of $f$ is the $f$-image of the set of [[critical points]] of $f$. The set of [[regular values]] of $f$ is the complement of the set of [[critical values]] of $f$. Suppose $M$ and $N$ are [[smooth manifolds]] of dimension $m$ and $n$ respectively and $f\colon M\to N$ is a $\mathrm{C}^r$-[[smooth map]], where $r\ge1$ and $r\gt m-n$. Then the set of critical values in $N$ is a [[meager subset]] (alias first category subset) and a [[negligible subset]] (alias measure zero subset) of $N$. In particular, the set of [[regular values]] is [[dense]] in $N$. Furthermore, the $f$-image of points of $M$ where $f$ has rank at most $r$ ($0\lt r\lt m$) has [[Hausdorff dimension]] at most $r$. If $N$ is a [[Banach manifold]] and $q\ge1$, $f$ is a Fredholm map, and $q$ is strictly greater than the index of $f$, then the critical values of $f$ form a [[meager subset]] of $N$. ## Related concepts * [[Thom's transversality theorem]] ## References The case $n=1$: * [[Anthony P. Morse]], _The Behavior of a Function on Its Critical Set_, Annals of Mathematics 40:1 (1939), 62–70. [doi](http://dx.doi.org/10.2307/1968544). The case $n\gt1$: * [[Arthur Sard]], _The measure of the critical values of differentiable maps_, Bulletin of the American Mathematical Society, 48:12 (1942), 883–890, [doi](https://doi.org/10.1090/S0002-9904-1942-07811-6). The case when $N$ is a [[Banach manifold]]: * [[Stephen Smale]], _An Infinite Dimensional Version of Sard's Theorem_, American Journal of Mathematics 87:4 (1965), 861–866. [doi](http://dx.doi.org/10.2307/2373250). The part concerning [[Hausdorff measures]]: * [[Arthur Sard]], _Hausdorff Measure of Critical Images on Banach Manifolds_, American Journal of Mathematics 87:1 (1965), 158–174. [doi](http://dx.doi.org/10.2307/2373229). <a href="https://ncatlab.org/nlab/revision/diff/Sard%27s+theorem/3">diff</a>, <a href="https://ncatlab.org/nlab/revision/Sard%27s+theorem/3">v3</a>, <a href="https://ncatlab.org/nlab/show/Sard%27s+theorem">current</a>

   Added:

   Named after Anthony P. Morse and Arthur Sard.

   Statement

   Recall the following definitions from diferential topology. The set of critical points of a smooth map is the set of points in the domain of where the tangent map is not surjective. The set of critical values of is the -image of the set of critical points of . The set of regular values of is the complement of the set of critical values of .

   Suppose and are smooth manifolds of dimension and respectively and is a -smooth map, where and . Then the set of critical values in is a meager subset (alias first category subset) and a negligible subset (alias measure zero subset) of . In particular, the set of regular values is dense in . Furthermore, the -image of points of where has rank at most () has Hausdorff dimension at most .

   If is a Banach manifold and , is a Fredholm map, and is strictly greater than the index of , then the critical values of form a meager subset of .

   Related concepts

   • Thom’s transversality theorem

   References

   The case :

   • Anthony P. Morse, The Behavior of a Function on Its Critical Set, Annals of Mathematics 40:1 (1939), 62–70. doi.

   The case :

   • Arthur Sard, The measure of the critical values of differentiable maps, Bulletin of the American Mathematical Society, 48:12 (1942), 883–890, doi.

   The case when is a Banach manifold:

   • Stephen Smale, An Infinite Dimensional Version of Sard’s Theorem, American Journal of Mathematics 87:4 (1965), 861–866. doi.

   The part concerning Hausdorff measures:

   • Arthur Sard, Hausdorff Measure of Critical Images on Banach Manifolds, American Journal of Mathematics 87:1 (1965), 158–174. doi.

   diff, v3, current