Гомото́пия — семейство непрерывных отображений F t : X → Y , t ∈ [ 0 , 1 ] {\displaystyle F_{t}\colon X\to Y,\;t\in [0,1]} , непрерывно зависящих от параметра, более точно — непрерывное отображение F : [ 0 , 1 ] × X → Y {\displaystyle F\colon [0,1]\times X\to Y} .