Гомотопные отображения

Отображения φ₀,φ₁ называются гомотопными, если существует непрерывное отображение
ψ : [0, 1] × X → Y такое, что
1) ψ(t, ·): X → Y гладкое отображение при всех
t ∈ [0, 1],
2) ψ(0, ·)= φ₀, ψ(1, ·)= φ₁.
Отображение ψ называется гомотопией.