Homotopia

Topologian, eta zehatzago topologia aljebraikoan, espazio topologiko baten bi aplikazio jarraitu beste batean homotopoak direla esaten da horietako bat "etenik gabe deforma" badaiteke bestean.

Definizio formala

Bi aplikazio jarraitu ${\displaystyle f,g:X\to Y}$ homotopoak direla esaten da beste aplikazio bat baldin badago (jarraitua ere bai) ${\displaystyle H:X\times [0,1]\to Y}$non:

${\displaystyle H(x,0)=f(x)\,}$

${\displaystyle H(x,1)=g(x)\,}$

Adibide garrantzitsu bat zirkulutik ${\displaystyle X}$ espazio batera egindako mapatze-motak (homotopia-motak) dira.

${\displaystyle S^{1}\to X\,}$

ondoriozko egitura funtsezko talde garrantzitsua da.

Kanpo estekak

• Datuak: Q746083
• Multimedia: Homotopy / Q746083