En matemáticas , o específicamente, en topología diferencial , el lema de Ehresmann o el teorema de fibración de Ehresmann establece que si un mapeo suave , dónde y son colectores lisos , es
- una inmersión sobreyectiva , y
- un mapa adecuado (en particular, esta condición siempre se cumple si M es compacto ),
entonces es una fibración localmente trivial . Este es un resultado fundamental en la topología diferencial debido a Charles Ehresmann y tiene muchas variantes.
Referencias
- Ehresmann, Charles (1951), "Les connexions infinitésimales dans un espace fibré différentiable", Colloque de topologie (espaces fibrés), Bruselas, 1950 , Georges Thone, Lieja; Masson et Cie., París, págs. 29–55, MR 0042768