Comb space
This article is about a particular topological space (uniquely determined up to homeomorphism)|View a complete list of particular topological spaces
This article describes a standard counterexample to some plausible but false implications. In other words, it lists a pathology that may be useful to keep in mind to avoid pitfalls in proofs
View other standard counterexamples in topology
Definition
The comb space is defined as the following subset of with the subspace topology: It is the union of , , and all line segments of the form where varies over the positive integers.
![{\displaystyle [0,1]\times \{0\}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/78d5213217a9f3e8b034ffff6cfe24383e561aa6)
![{\displaystyle \{0\}\times [0,1]}](https://wikimedia.org/api/rest_v1/media/math/render/svg/35ff5d93fe82d43191c5a88946ca146dd4eb123e)
![{\displaystyle \{1/n\}\times [0,1]}](https://wikimedia.org/api/rest_v1/media/math/render/svg/4260ed3475e8e2ba7fc4647568f510301421bdf5)
Topological space properties
Properties it does satisfy
- Closed sub-Euclidean space
- Metrizable space
- Contractible space
- SDR-contractible space, viz it admits the origin as a strong deformation retract, via the homotopy that first collapses all the vertical line segments to the -axis, and then collapses the entire -axis to the origin.
Properties it does not satisfy
- Suddenly contractible space: There is no contracting homotopy that is a homeomorphism for all
- Everywhere SDR-contractible space: In particular, the point is not a strong deformation retract
- Locally path-connected space: The neighbourhood of has infinitely many path components.
Related spaces
- Double comb space which is a weakly contractible space that is not contractible
- Broom space