Homotopie
Homotopie je pojem z matematiky, přesněji z algebraické topologie.
Motivace
editovatHomotopie umožňuje postihnout některé topologické vlastnosti topologických prostorů a zachycuje v rámci matematiky představu spojité deformace prostorů a zobrazení.
Definice
editovatNechť jsou topologické prostory a spojitá zobrazení mezi nimi. Homotopie mezi a je spojité zobrazení takové, že a a pro každé , kde uvažujeme s topologií danou inkluzí do s metrickou topologií a na uvažujeme součinovou topologii.
![{\displaystyle H:[0,1]\times X\to Y}](https://wikimedia.org/api/rest_v1/media/math/render/svg/eafe8bc39dd26d0e98d80a60625c80287f8182ce)
![{\displaystyle [0,1]}](https://wikimedia.org/api/rest_v1/media/math/render/svg/738f7d23bb2d9642bab520020873cccbef49768d)
![{\displaystyle [0,1]\subseteq \mathbb {R} }](https://wikimedia.org/api/rest_v1/media/math/render/svg/042e529c93e86b5d03b1e1cd6ddcc50e89761c03)
![{\displaystyle [0,1]\times X}](https://wikimedia.org/api/rest_v1/media/math/render/svg/6fb1436424d45f33ad732ba8ec6f3063a5318646)
Pokud existuje homotopie mezi a řekneme, že a jsou homotopická a píšeme
Topologické prostory nazveme homotopické, pokud existují spojitá zobrazení a , že je homotopické a je homotopické .
Topologicky prostor nazveme kontraktibilní (stažitelný), pokud je homotopický jednoprvkovému topologickému prostoru (bodu).
Příklady
editovat1. Snadno se ověří, že každé dvě uzavřené křivky v jsou homotopické. Homotopií je např. dané formuli
![{\displaystyle a,b:[0,1]\to \mathbb {R} ^{2}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/e8452af58fe38e0d1838dcc2732d9d34b9282236)
![{\displaystyle H:[0,1]\times [0,1]\to \mathbb {R} ^{2}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/f3f973f40fa78f2c3a6678bcbfd6ffc00320b688)
![{\displaystyle H(s,t):=(1-t)f(s)+tg(s),t,s\in [0,1].}](https://wikimedia.org/api/rest_v1/media/math/render/svg/40b1592ad2b0bf2ee69c57606e56888beabf3309)
2. Těžší je ověřit, že kružnice a kružnice v prostoru nejsou homotopické. Neformálně lze říci, že první kružnici nelze zdeformovat na druhou, aniž bychom s první přešli počátek, jenž do uvažovaného topologického prostou nepatří.
![{\displaystyle b(s):=(2+\cos s,\sin s),s\in [0,2\pi ]}](https://wikimedia.org/api/rest_v1/media/math/render/svg/335f3c76ee6a34f9a3fc65e5b69d1ac8729823d3)
3. Topologický prostor , je kontraktibilní.
4. Ani malá, ani velká kružnice na toru nejsou kontraktibilní.
Tvrzení
editovatRelace být homotopická resp. být homotopické jsou relacemi ekvivalence na množině všech spojitých zobrazení mezi dvěma topologickými prostory, resp. na množině všech topologických prostorů.
Poznámka
editovatPojem homotopické grupy vznikl z potřeb analýzy funkcí komplexní proměnné, zejména teorie integrálů na Riemannových plochách a díky snaze klasifikovat jisté třídy topologických prostorů, především tzv. hladkých variet. Pojem homotopie má rozsáhlá zobecnění v (homologické) algebře, teorii deformací, matematické fyzice a částech strunové teorie, obzvláště v teorii tzv. homologické zrcadlité symetrie.
Hladké verze homotopie v kategorii hladkých variet se někdy nazývají izotopie.
Literatura
editovat- HATCHER, Allen. Algebraic topology. [s.l.]: Cambridge University Press, 2002. Dostupné online. ISBN 978-0-521-79540-1.
Související články
editovatExterní odkazy
editovat
Obrázky, zvuky či videa k tématu homotopie na Wikimedia Commons
