Гомотопия

Гомото́пия, формализация интуитивного представления о деформируемости одного отображения в другое. Точнее, отображения $f$и $g$ пространства $X$ в пространство $Y$ называются гомотопными, если существует такое семейство непрерывных отображений $f_t:X→Y$, непрерывно зависящих от параметра $t∈ [0, 1]$, что $f_0=f$, $f_1=g$; в этом случае пишут $f∼g$.