Contractibility is product-closed

This article gives the statement, and possibly proof, of a topological space property satisfying a topological space metaproperty
View all topological space metaproperty satisfactions | View all topological space metaproperty dissatisfactions
|

Property "Page" (as page type) with input value "{{{property}}}" contains invalid characters or is incomplete and therefore can cause unexpected results during a query or annotation process.Property "Page" (as page type) with input value "{{{metaproperty}}}" contains invalid characters or is incomplete and therefore can cause unexpected results during a query or annotation process.

Statement

Symbolic statement

Let $X_i$, $i\in I$, be an indexed family of topological spaces. Then the product space, endowed with the product topology, is contractible.

We describe the proof for two spaces; the same idea works in general: Let $X$ and $Y$ be contractible spaces. Then the product space $X\times Y$ is contractible.

Proof

Key idea

Suppose $F:X\times I\to X$ and $G:Y\times I\to Y$ are contracting homotopies for $X$ and $Y$. Then the map $F\times G$ defined as:

$(F\times G)(x,y,t)=(F(x,t),G(y,t))$

is a contracting homotopy for $X\times Y$.

Thus $X\times Y$ is contractible.