In
mathematics
Mathematics is a field of study that discovers and organizes methods, Mathematical theory, theories and theorems that are developed and Mathematical proof, proved for the needs of empirical sciences and mathematics itself. There are many ar ...
, or specifically, in
differential topology, Ehresmann's lemma or Ehresmann's fibration theorem states that if a
smooth mapping
In mathematical analysis, the smoothness of a function (mathematics), function is a property measured by the number of Continuous function, continuous Derivative (mathematics), derivatives (''differentiability class)'' it has over its Domain o ...
, 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 may ...
s, is
# a surjective
submersion, and
# a
proper map
In mathematics, a function (mathematics), function between topological spaces is called proper if inverse images of compact space, compact subsets are compact. In algebraic geometry, the analogous concept is called a proper morphism.
Definition
...
(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, a type of agreement used by U.S. states
* Blood compact, an ancient ritual of the Philippines
* Compact government, a t ...
),
then it is a
locally trivial fibration. This is a foundational result in
differential topology 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 differentia ...
, 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 in ...
, 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