Sard's theorem

Last updated

In mathematics, Sard's theorem, also known as Sard's lemma or the MorseSard theorem, is a result in mathematical analysis that asserts that the set of critical values (that is, the image of the set of critical points) of a smooth function f from one Euclidean space or manifold to another is a null set, i.e., it has Lebesgue measure 0. This makes the set of critical values "small" in the sense of a generic property. The theorem is named for Anthony Morse and Arthur Sard.

Contents

Statement

More explicitly, [1] let

be , (that is, times continuously differentiable), where . Let denote the critical set of which is the set of points at which the Jacobian matrix of has rank . Then the image has Lebesgue measure 0 in .

Intuitively speaking, this means that although may be large, its image must be small in the sense of Lebesgue measure: while may have many critical points in the domain , it must have few critical values in the image .

More generally, the result also holds for mappings between differentiable manifolds and of dimensions and , respectively. The critical set of a function

consists of those points at which the differential

has rank less than as a linear transformation. If , then Sard's theorem asserts that the image of has measure zero as a subset of . This formulation of the result follows from the version for Euclidean spaces by taking a countable set of coordinate patches. The conclusion of the theorem is a local statement, since a countable union of sets of measure zero is a set of measure zero, and the property of a subset of a coordinate patch having zero measure is invariant under diffeomorphism.

Variants

There are many variants of this lemma, which plays a basic role in singularity theory among other fields. The case was proven by Anthony P. Morse in 1939, [2] and the general case by Arthur Sard in 1942. [1]

A version for infinite-dimensional Banach manifolds was proven by Stephen Smale. [3]

The statement is quite powerful, and the proof involves analysis. In topology it is often quoted — as in the Brouwer fixed-point theorem and some applications in Morse theory — in order to prove the weaker corollary that “a non-constant smooth map has at least one regular value”.

In 1965 Sard further generalized his theorem to state that if is for and if is the set of points such that has rank strictly less than , then the r-dimensional Hausdorff measure of is zero. [4] In particular the Hausdorff dimension of is at most r. Caveat: The Hausdorff dimension of can be arbitrarily close to r. [5]

See also

Related Research Articles

In mathematics, specifically in measure theory, a Borel measure on a topological space is a measure that is defined on all open sets. Some authors require additional restrictions on the measure, as described below.

Hausdorff dimension Invariant

In mathematics, Hausdorff dimension is a measure of roughness, or more specifically, fractal dimension, that was first introduced in 1918 by mathematician Felix Hausdorff. For instance, the Hausdorff dimension of a single point is zero, of a line segment is 1, of a square is 2, and of a cube is 3. That is, for sets of points that define a smooth shape or a shape that has a small number of corners—the shapes of traditional geometry and science—the Hausdorff dimension is an integer agreeing with the usual sense of dimension, also known as the topological dimension. However, formulas have also been developed that allow calculation of the dimension of other less simple objects, where, solely on the basis of their properties of scaling and self-similarity, one is led to the conclusion that particular objects—including fractals—have non-integer Hausdorff dimensions. Because of the significant technical advances made by Abram Samoilovitch Besicovitch allowing computation of dimensions for highly irregular or "rough" sets, this dimension is also commonly referred to as the Hausdorff–Besicovitch dimension.

In mathematical analysis, a null set is a set that can be covered by a countable union of intervals of arbitrarily small total length. The notion of null set in set theory anticipates the development of Lebesgue measure since a null set necessarily has measure zero. More generally, on a given measure space a null set is a set such that .

In mathematics, a topological space is called separable if it contains a countable, dense subset; that is, there exists a sequence of elements of the space such that every nonempty open subset of the space contains at least one element of the sequence.

In the mathematical field of topology, the Alexandroff extension is a way to extend a noncompact topological space by adjoining a single point in such a way that the resulting space is compact. It is named for the Russian mathematician Pavel Alexandroff. More precisely, let X be a topological space. Then the Alexandroff extension of X is a certain compact space X* together with an open embedding c : X → X* such that the complement of X in X* consists of a single point, typically denoted ∞. The map c is a Hausdorff compactification if and only if X is a locally compact, noncompact Hausdorff space. For such spaces the Alexandroff extension is called the one-point compactification or Alexandroff compactification. The advantages of the Alexandroff compactification lie in its simple, often geometrically meaningful structure and the fact that it is in a precise sense minimal among all compactifications; the disadvantage lies in the fact that it only gives a Hausdorff compactification on the class of locally compact, noncompact Hausdorff spaces, unlike the Stone–Čech compactification which exists for any topological space, a much larger class of spaces.

Complex geometry Study of complex manifolds and several complex variables

In mathematics, complex geometry is the study of complex manifolds, complex algebraic varieties, and functions of several complex variables. Application of transcendental methods to algebraic geometry falls in this category, together with more geometric aspects of complex analysis.

In differential geometry, the Atiyah–Singer index theorem, proved by Michael Atiyah and Isadore Singer (1963), states that for an elliptic differential operator on a compact manifold, the analytical index is equal to the topological index. It includes many other theorems, such as the Chern–Gauss–Bonnet theorem and Riemann–Roch theorem, as special cases, and has applications to theoretical physics.

In mathematics, specifically in differential topology, Morse theory enables one to analyze the topology of a manifold by studying differentiable functions on that manifold. According to the basic insights of Marston Morse, a typical differentiable function on a manifold will reflect the topology quite directly. Morse theory allows one to find CW structures and handle decompositions on manifolds and to obtain substantial information about their homology.

In mathematics, the support of a real-valued function f is the subset of the domain containing those elements which are not mapped to zero. If the domain of f is a topological space, the support of f is instead defined as the smallest closed set containing all points not mapped to zero. This concept is used very widely in mathematical analysis.

In mathematics, Hausdorff measure is a generalization of the traditional notions of area and volume to non-integer dimensions, specifically fractals and their Hausdorff dimensions. It is a type of outer measure, named for Felix Hausdorff, that assigns a number in [0,∞] to each set in or, more generally, in any metric space.

In mathematics, a Sobolev space is a vector space of functions equipped with a norm that is a combination of Lp-norms of the function together with its derivatives up to a given order. The derivatives are understood in a suitable weak sense to make the space complete, i.e. a Banach space. Intuitively, a Sobolev space is a space of functions possessing sufficiently many derivatives for some application domain, such as partial differential equations, and equipped with a norm that measures both the size and regularity of a function.

In topology, a branch of mathematics, a topological manifold is a topological space which locally resembles real n-dimensional Euclidean space. Topological manifolds are an important class of topological spaces, with applications throughout mathematics. All manifolds are topological manifolds by definition. Other types of manifolds are formed by adding structure to a topological manifold. Every manifold has an "underlying" topological manifold, obtained by simply "forgetting" the added structure.

In mathematics, a rectifiable set is a set that is smooth in a certain measure-theoretic sense. It is an extension of the idea of a rectifiable curve to higher dimensions; loosely speaking, a rectifiable set is a rigorous formulation of a piece-wise smooth set. As such, it has many of the desirable properties of smooth manifolds, including tangent spaces that are defined almost everywhere. Rectifiable sets are the underlying object of study in geometric measure theory.

In abstract algebra, cohomological dimension is an invariant of a group which measures the homological complexity of its representations. It has important applications in geometric group theory, topology, and algebraic number theory.

In mathematics, at the junction of singularity theory and differential topology, Cerf theory is the study of families of smooth real-valued functions

In mathematics, the notions of prevalence and shyness are notions of "almost everywhere" and "measure zero" that are well-suited to the study of infinite-dimensional spaces and make use of the translation-invariant Lebesgue measure on finite-dimensional real spaces. The term "shy" was suggested by the American mathematician John Milnor.

In the mathematical field of geometric measure theory, the coarea formula expresses the integral of a function over an open set in Euclidean space in terms of integrals over the level sets of another function. A special case is Fubini's theorem, which says under suitable hypotheses that the integral of a function over the region enclosed by a rectangular box can be written as the iterated integral over the level sets of the coordinate functions. Another special case is integration in spherical coordinates, in which the integral of a function on Rn is related to the integral of the function over spherical shells: level sets of the radial function. The formula plays a decisive role in the modern study of isoperimetric problems.

Lebesgue integration

In mathematics, the integral of a non-negative function of a single variable can be regarded, in the simplest case, as the area between the graph of that function and the x-axis. The Lebesgue integral extends the integral to a larger class of functions. It also extends the domains on which these functions can be defined.

Arthur Sard was an American mathematician, famous for his work in differential topology and in spline interpolation. His fame stems primarily from Sard's theorem, which says that the set of critical values of a differential function which has sufficiently many derivatives has measure zero.

In the mathematical discipline of ergodic theory, a Sinai–Ruelle–Bowen (SRB) measure is an invariant measure that behaves similarly to, but is not an ergodic measure. In order to be ergodic, the time average would need to be equal the space average for almost all initial states , with being the phase space. For an SRB measure , it suffices that the ergodicity condition be valid for initial states in a set of positive Lebesgue measure.

References

  1. 1 2 Sard, Arthur (1942), "The measure of the critical values of differentiable maps", Bulletin of the American Mathematical Society , 48 (12): 883–890, doi: 10.1090/S0002-9904-1942-07811-6 , MR   0007523, Zbl   0063.06720.
  2. Morse, Anthony P. (January 1939), "The behaviour of a function on its critical set", Annals of Mathematics , 40 (1): 62–70, doi:10.2307/1968544, JSTOR   1968544, MR   1503449.
  3. Smale, Stephen (1965), "An Infinite Dimensional Version of Sard's Theorem", American Journal of Mathematics , 87 (4): 861–866, doi:10.2307/2373250, JSTOR   2373250, MR   0185604, Zbl   0143.35301.
  4. Sard, Arthur (1965), "Hausdorff Measure of Critical Images on Banach Manifolds", American Journal of Mathematics , 87 (1): 158–174, doi:10.2307/2373229, JSTOR   2373229, MR   0173748, Zbl   0137.42501 and also Sard, Arthur (1965), "Errata to Hausdorff measures of critical images on Banach manifolds", American Journal of Mathematics , 87 (3): 158–174, doi:10.2307/2373229, JSTOR   2373074, MR   0180649, Zbl   0137.42501.
  5. "Show that f(C) has Hausdorff dimension at most zero", Stack Exchange , July 18, 2013

Further reading