En mathématiques, le théorème de fibration d'Ehresmann affirme qu'une application de classe C
où M et N sont des variétés différentielles de classe C, telle que
f est une submersion surjective, et 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
Catégorie:Application entre variétés différentielles Ehresmann