"A lényeg, amit mondani akartam, az, hogy az a bizonyos F(t,x) függvény nem maga a homotópia. Az F(t,x) függvény csak az a bizonyos "folytonos deformáció", amellyel az egyik pályát/görbét/folytonos függvényt a másikba szeretnénk vinni. Ha van ilyen, akkor a pályák homotópok, ha nincs akkor nem."

igy van. raadasul a homotopia ekvivalencia relacio.

szal szerintem a palya a [0,1] (I) lekepezese egy topologikus terbe:
w:I->X. def szerint

mig egy homotopia : F: ZxI->X

a mondjuk ket folytonos fuggvenyem (a gorbeim :) ) pedig f,g:Z->X
nem ugyanazok

szvsz