Théorème d'Ehresmann

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

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

où M et N sont des variétés différentielles de classe C², 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.

• (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).
• Charles Ehresmann, « Les connexions infinitésimales dans un espace fibré différentiable », Séminaire Bourbaki, n^o 24,‎ 1948-51, p. 153-168 (Numdam SB_1948-1951__1__153_0, consulté le 19 décembre 2025)

• Portail des mathématiques