Ehresmannsovo lemma - Ehresmanns lemma - Wikipedia
v matematika, nebo konkrétně v diferenciální topologie, Ehresmannovo lemma nebo Ehresmannova věta o fibraci uvádí, že pokud a plynulé mapování , kde a jsou hladké potrubí, je
- A surjektivní ponoření, a
- A správná mapa, (zejména tato podmínka je vždy splněna, pokud M je kompaktní ),
pak je to místně triviální fibrace. Toto je základní výsledek v diferenciální topologie kvůli Charles Ehresmann, a má mnoho variant.
Reference
- Ehresmann, Charles (1951), „Les Connexions infinitésimales dans un espace fibré différentiable“, Colloque de topologie (espaces fibrés), Bruxelles, 1950Georges Thone, Lutych; Masson et Cie., Paříž, s. 29–55, PAN 0042768