In
mathematics, or specifically, in
differential topology
In mathematics, differential topology is the field dealing with the topological properties and smooth properties of smooth manifolds. In this sense differential topology is distinct from the closely related field of differential geometry, which ...
, Ehresmann's lemma or Ehresmann's fibration theorem states that if a
smooth mapping
In mathematical analysis, the smoothness of a function is a property measured by the number of continuous derivatives it has over some domain, called ''differentiability class''. At the very minimum, a function could be considered smooth if it ...
, where
and
are
smooth manifold
In mathematics, a differentiable manifold (also differential manifold) is a type of manifold that is locally similar enough to a vector space to allow one to apply calculus. Any manifold can be described by a collection of charts (atlas). One m ...
s, is
# a surjective
submersion, and
# a
proper map
In mathematics, a function between topological spaces is called proper if inverse images of compact subsets are compact. In algebraic geometry, the analogous concept is called a proper morphism.
Definition
There are several competing def ...
(in particular, this condition is always satisfied if ''M'' is
compact
Compact as used in politics may refer broadly to a pact or treaty; in more specific cases it may refer to:
* Interstate compact
* Blood compact, an ancient ritual of the Philippines
* Compact government, a type of colonial rule utilized in British ...
),
then it is a
locally trivial
In mathematics, and particularly topology, a fiber bundle (or, in Commonwealth English: fibre bundle) is a space that is a product space, but may have a different topological structure. Specifically, the similarity between a space E and a p ...
fibration
The notion of a fibration generalizes the notion of a fiber bundle and plays an important role in algebraic topology, a branch of mathematics.
Fibrations are used, for example, in postnikov-systems or obstruction theory.
In this article, all map ...
. This is a foundational result in
differential topology
In mathematics, differential topology is the field dealing with the topological properties and smooth properties of smooth manifolds. In this sense differential topology is distinct from the closely related field of differential geometry, which ...
due to
Charles Ehresmann
Charles Ehresmann (19 April 1905 – 22 September 1979) was a German-born French mathematician who worked in differential topology and category theory.
He was an early member of the Bourbaki group, and is known for his work on the differenti ...
, and has many variants.
See also
*
Thom's first isotopy lemma
References
*
* {{cite book, last1=Kolář, first1=Ivan, last2=Michor, first2=Peter W., last3=Slovák, first3=Jan, title=Natural operations in differential geometry, publisher=
Springer-Verlag
Springer Science+Business Media, commonly known as Springer, is a German multinational publishing company of books, e-books and peer-reviewed journals in science, humanities, technical and medical (STM) publishing.
Originally founded in 1842 ...
, location=Berlin, year=1993, isbn=3-540-56235-4, mr=1202431, zbl=0782.53013, url=https://www.emis.de///monographs/KSM/
Theorems in differential topology