Convex Set is Contractible

From ProofWiki
Jump to navigation Jump to search


Let $V$ be a topological vector space over $\R$ or $\C$.

Let $A\subset V$ be a convex subset.

Then $A$ is contractible.


Let $x_0 \in A$.

Define $H : A \times \closedint 0 1 \to A$ by:

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

Note that by the definition of a convex set, $\Cdm H$ is also a convex set.

Let $I_A$ be defined as the identity mapping:

$I_A: A \to A$

Such that:

$I_A = \set {\tuple {x, x}: x \in A}$

Let $S$ and $T$ be sets. Let $x_0$ be defined as the constant map:

$x_0: S \to T$ defined as:
$0 \in T: x_0: S \to T: \forall x \in S: \map {x_0} x = 0$

The map $H$ yields a (free) homotopy between the identity map:


and the constant map:


By the assumption of convexity for $A$, $H$ takes values in $A$.

Since $H$ is a polynomial separately in $x, t$, it is a continuous function.


$\map H {-, 0} = I_A$
$\map H {-, 1} \equiv x_0$ (the constant function)

Thus, $H: I_A \simeq c_{x_0}$.

It follows that, the identity map $\operatorname{id}_A$ is homotopic to the constant map $A \to A$.

Hence, by definition of a contractible space, this implies that:

$A$ is contractible

as required.