Weakly contractible space

ID: weakly-contractible-space

A weakly contractible space is a nonempty path-connected topological space with trivial homotopy groups for every . Equivalently, the map is a weak homotopy equivalence. For a CW complex, the Whitehead theorem then implies that is contractible.[ref]
Every contractible space is weakly contractible: a contraction makes every based sphere map nullhomotopic. The real line is a simple example, contracted by . In contrast, the circle fails the test because its fundamental group is . For arbitrary topological spaces, weak contractibility alone does not guarantee a continuous contraction; the CW complex hypothesis in the stated implication supplies substantive control over the space.

New to topics? Read the docs here!