Théorème de Ehresmann
Un article de Wikipédia, l'encyclopédie libre.
En mathématiques, le théorème de fibration d'Ehresmann affirme qu'une application de classe C2
- f:M → N
où M et N sont des variétés différentielles de classe C2, telles que
- f est une submersion, 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.
[modifier] Référence
Ehresmann, C., Les connexions infinitésimales dans un espace fibré différentiable, Colloque de Topologie, Bruxelles (1950), 29-55.