Théorème d'Ehresmann

Modèle:Ébauche En mathématiques, le théorème de fibration d'Ehresmann affirme qu'une application de [[dérivation itérée|classe CModèle:2]]

$f:M\to N$

où M et N sont des variétés différentielles de classe CModèle: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

• C. Ehresmann, « Les connexions infinitésimales dans un espace fibré différentiable », dans Séminaire Bourbaki 1948-51, exp. n° 24, p. 153-168

Modèle:Portail