Category:Definitions/Free Homotopies

This category contains definitions related to Free Homotopies.
Related results can be found in Category:Free Homotopies.

Let $X$ and $Y$ be topological spaces.

Let $f: X \to Y$, $g: X \to Y$ be continuous mappings.

Then $f$ and $g$ are (freely) homotopic if and only if there exists a continuous mapping:

$H: X \times \closedint 0 1 \to Y$

such that, for all $x \in X$:

$\map H {x, 0} = \map f x$

and:

$\map H {x, 1} = \map g x$

$H$ is called a (free) homotopy between $f$ and $g$ and we write:

$f \simeq g$