omòtopo

agg. [da omotopia]. In matematica, in particolare in topologia algebrica, due funzioni continue f e g tra due spazi topologici X e Y si dicono omotope se esiste un'omotopia che le lega; un'omotopia tra la funzione F e la funzione g è una funzione continua dallo spazio X×I allo spazio Y (dove I è l'intervallo dei numeri reali t tali che 0≤t≤1); la funzione F deve essere tale che F(x,0)= =f(x) e F(x,1)=g(x) per ogni punto x dello spazio topologico X. In termini intuitivi, due funzioni f e g sono omotope se è possibile modificare con continuità una funzione nell'altra, vedi topologia.