Homotopy: Difference between revisions

Latest revision as of 15:15, 11 April 2026

A homotopy is a continuous deformation between two continuous functions from one topological space to another. Specifically, a homotopy between two functions is a continuous map that, for each point in the domain, provides a path from its image under the first function to its image under the second. If such a function exists between two functions, they are said to be homotopic.

Intuitively, a homotopy is the continuous transformation of paths that varies over time. It shows how one function can be smoothly bent, stretched, or deformed into the other without tearing or folding.

Definition

If $f, g : X \to Y$ are continuous functions between topological spaces $X$ and $Y$ , a homotopy $H$ from $f$ to $g$ is a continuous map

$H : [0, 1] \times X \to Y$

such that for all $x \in X$ :

$H_{0} (x) = f (x)$ ,

$H_{1} (x) = g (x)$ .

Two continuous functions $f$ and $g$ are called homotopic if there exists a homotopy between them, denoted $f ≃ g$ ^{[Note 1]}.

Homotopy equivalence

Two topological spaces $X$ and $Y$ are homotopy equivalent if there exist continuous maps

$f : X \to Y and g : Y \to X$

such that

$g \circ f ≃ {id}_{X}$ ,

$f \circ g ≃ {id}_{Y}$ .

In this case, $X$ and $Y$ have the same "essential shape" from the perspective of homotopy. This concept is distinct from homeomorphism, which is a stricter condition requiring the maps to be inverses of each other. For instance, a solid sphere is homotopy equivalent to a single point, but they are not homeomorphic.

Note

↑ Not to be confused with " $≅$ " for homeomorphism.

Terminology

en	fr	de	zh		ja
homotopy	homotopie	Homotopie	同伦	同倫	ホモトピー
homotopic	homotope	homotop	同伦的	同倫的	ホモトピック
homotopy equivalence	équivalence d'homotopie	Homotopieäquivalenz	同伦等价	同倫等價	ホモトピー同値
homotopy equivalent	homotopiquement équivalent	homotopieäquivalent	同伦等价的	同倫等價的	ホモトピー同値な

[1] Not to be confused with " $≅$ " for homeomorphism.

[Note 1]

@@ Line 4: / Line 4: @@
 == Definition ==
-If <math>f,g:X\to Y</math> are continuous functions between topological spaces <math>X</math> and <math>Y</math>, a homotopy <math>H</math> from <math>f</math> to <math>g</math> is a continuous map
+If <math>f,g\colon X\to Y</math> are continuous functions between topological spaces <math>X</math> and <math>Y</math>, a homotopy <math>H</math> from <math>f</math> to <math>g</math> is a continuous map
-<math display="block">H:[0,1] \times X \to Y</math>
+<math display="block">H\colon[0,1] \times X \to Y</math>
 such that for all <math>x \in X</math>:
@@ Line 14: / Line 14: @@
 * <math>H_1(x) = g(x)</math>.
-Two continuous functions <math>f</math> and <math>g</math> are called homotopic if there exists a homotopy between them, denoted <math>f\simeq g</math>.
+Two continuous functions <math>f</math> and <math>g</math> are called homotopic if there exists a homotopy between them, denoted <math>f\simeq g</math><ref group="Note">Not to be confused with "<math>\cong</math>" for homeomorphism.</ref>.
 == Homotopy equivalence ==
 Two topological spaces <math>X</math> and <math>Y</math> are '''homotopy equivalent''' if there exist continuous maps
-<math display="block">f:X \to Y \quad \text{and} \quad g:Y \to X</math>
+<math display="block">f\colon X \to Y \quad \text{and} \quad g\colon Y \to X</math>
 such that
@@ Line 28: / Line 28: @@
 In this case, <math>X</math> and <math>Y</math> have the same "essential shape" from the perspective of homotopy. This concept is distinct from [[homeomorphism]], which is a stricter condition requiring the maps to be inverses of each other. For instance, a solid [[sphere]] is homotopy equivalent to a single point, but they are not homeomorphic.
+== Note ==
+<references group="Note" />
 == See also ==