Category:Definitions/Linear Homotopies

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

Let $X$ be a topological space.

Let $Y$ be a subspace of the Euclidean space $\R^n$.

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

For all $x \in X$, let the line segment in $\R^n$ from $\map f x$ to $\map g x$ be a subset of $Y$.

Let $f \simeq g$ by means of a homotopy $H: X \times \closedint 0 1 \to Y$, where $H$ is defined as:

$\map H {x, t} = \paren {1 - t} \map f x + t \map g x$

This is known as a linear homotopy.