In mathematics, Ehresmann's fibration theorem states that a smooth mapping
- f:M → N
where M and N are smooth manifolds, such that
- f is a surjective submersion, and
- 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.
Famous quotes containing the word theorem:
“To insure the adoration of a theorem for any length of time, faith is not enough, a police force is needed as well.”
—Albert Camus (1913–1960)