Homotopio

En topologio, homotopioNova Plena Ilustrita Vortaro de Esperanto: homotop/i/o estas kontinua deformo de kontinua funkcio al alia kontinua funkcio (kun la samaj fonta kaj cela) aroj; alivorte, pli abstrakte, kurbo en la spaco de kontinuaj funkcioj de fiksitaj fonta kaj cela aroj. Ekzisto de homotopioj difinas la ekvivalentrilaton homotopecoNova Plena Ilustrita Vortaro de Esperanto: homotop/a sur la spaco de kontinuaj funkcioj.

 Difino 
Supozu ke  kaj  estas topologiaj spacoj, kaj  estas du kontinuaj funkcioj, kies argumentaro estas , kies cela aro estas . Do, homotopio inter  kaj  estas kontinua funkcio

tia ke, por ĉiu ajn ,

.
Du kontinuaj funkcioj estas homotopaj, aŭ unu estas homotopa al la alia, se homotopio ekzistas inter ili.

 Ecoj 
Homotopeco estas ekvivalentrilato en la spaco de kontinuaj funkcioj inter fiksitaj fonta kaj cela aroj.

 Referencoj 

 Eksteraj ligiloj 



Kategorio:Algebra topologio