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  homotopoak direla esaten da beste aplikazio bat baldin badago (jarraitua ere bai) non: 

 
 

Adibide garrantzitsu bat zirkulutik  espazio batera egindako mapatze-motak (homotopia-motak) dira. 

 

ondoriozko egitura funtsezko talde garrantzitsua da.

Kanpo estekak 

Funtzioak
Topologia aljebraikoa