omotopìa

sf. [sec. XX; da omo-+greco tópos, luogo]. In matematica, in particolare in topologia algebrica, legge che lega due funzioni continue tra due spazi topologici. Se due funzioni sono legate da un'omotopia, esse vengono dette omotope. Fissato un punto x₀ di uno spazio topologico X, a ogni numero intero positivo si associa un gruppo, indicato con π(X, x₀) e chiamato n-simo gruppo di omotopia di X con punto base x₀. Per n≥2 l'n-simo gruppo di omotopia è commutativo. Vedi topologia.