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.

Articles by others on the same topic (0)

There are currently no matching articles.