Ehresmann's theorem

From Wikipedia, the free encyclopedia

In mathematics, Ehresmann's fibration theorem states that a smooth mapping

f:M → N

where M and N are smooth manifolds, such that

  1. f is a surjective submersion, and
  2. f is a proper map, (in particular if M is compact)

is a locally trivial fibration. This is a foundational result in differential topology, and exists in many further variants. It is due to Charles Ehresmann.

References

  • Ehresmann, C., Les connexions infinitésimales dans un espace fibré différentiable, Colloque de Topologie, Bruxelles (1950), 29-55.
This article is issued from Wikipedia. The text is available under the Creative Commons Attribution/Share Alike; additional terms may apply for the media files.