About

Two functions are homotopic, if one of them can by continuously deformed to another. This gives rise to an equivalence relation. A group called homotopy group can be obtained from the equivalence classes. The simplest homotopy group is fundamental group. Homotopy groups are important invariants in algebraic topology.

Two continuous functions are called homotopic if one of them can be continuously deformed into the other. A homotopy equivalence is then a map $f:X \rightarrow Y$ admitting a "homotopy inverse", i.e. a map $g:Y \rightarrow X$ such that $gf$ is homotopic to $\mbox{id}_X$ and $fg$ is homotopic to $\mbox{id}_Y$. Broadly speaking, then, homotopy theory is the study of topological spaces up to homotopy equivalence. As always, when one chooses to ignore certain aspects of the objects under study, other properties come to the fore. The first example of a homotopy-invariant property is that of the fundamental group.

history | excerpt history