Category:Linear Homotopies

This category contains results about Linear Homotopies.
Definitions specific to this category can be found in Definitions/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.