Théorème d'Ehresmann

En mathématiques, le théorème de fibration d'Ehresmann affirme qu'une application de classe C^2

${\displaystyle f\colon M\to N}$

où M et N sont des variétés différentielles de classe C^2, telle que

1. f est une submersion surjective, et
2. f est propre,

est une fibration localement triviale.

Ceci est un résultat fondamental de topologie différentielle et admet de nombreuses variantes. Il est dû à Charles Ehresmann.

Références

• (en) Cet article est partiellement ou en totalité issu de l’article de Wikipédia en anglais intitulé « Ehresmann's theorem » (voir la liste des auteurs).
• C. Ehresmann, « Les connexions infinitésimales dans un espace fibré différentiable », dans Séminaire Bourbaki 1948-51, exp. n° 24, p. 153-168