This article defines a homotopy-invariant property of topological spaces, i.e. a property of homotopy classes of topological spaces
View other homotopy-invariant properties of topological spaces OR view all properties of topological spaces
- 1 Definition
- 2 Metaproperties
- 3 Examples
- 4 Relation with other properties
- 5 References
Equivalent definitions in tabular format
A nonempty topological space is said to be contractible if it satisfies the following equivalent conditions. The empty space is generally excluded from consideration when considering the question of contractibility.
|No.||Shorthand||A topological space is termed contractible if ...||A topological space is termed contractible if ...|
|1||homotopy-equivalent to a point||there is a homotopy equivalence of topological spaces between the topological space and a one-point space.||There exist continuous maps and such that is homotopic to the identity map on and is homotopic to the identity map on . Here, is a one-point space. Also, note that the condition on is tautological, and the map is already uniquely determined, so all the action occurs in the definition of and the homotopy between and the identity map on .|
|2||homotopy-equivalent to a point (arbitrary map)||any pair of maps between the space and a one-point space define a homotopy equivalence of topological spaces.||For any continuous map and , is homotopic to the identity map on and is homotopic to the identity map on . Here, is a one-point space. Also, note that the condition on is tautological, and the map is already uniquely determined, so all the action occurs in the definition of and the homotopy between and the identity map on .|
|3||admits a contracting homotopy||there is a point in the space to which there is a contracting homotopy.||there exists a point and a contracting homotopy that contracts to . Explicitly, there exists a continuous map such that for all , and for all . Note that we do not assume or require that for all .|
|4||admits a contracting homotopy (arbitrary point)||the space admits a contracting homotopy to any point in it.||for any point , there is a contracting homotopy that contracts to .|
|5||unique homotopy class of maps to it||for any other topological space, there is a unique homotopy class of maps from the other space to it.||for any topological space , and any two continuous maps , and are homotopic. In particular, any map from a topological space to it is nullhomotopic.|
|6||retract of cone space||it is a retract of its cone space.||the inclusion in the cone space (as the base) has a one-sided inverse, , i.e., is a continuous map such that is the identity map on .|
|Metaproperty name||Satisfied?||Proof||Statement with symbols|
|product-closed property of topological spaces||Yes||contractibility is product-closed|| If form a (finite or infinite) collection of contractible spaces, then the product of the s, equipped with the product topology, is also contractible.|
In particular, if are contractible, then is also contractible.
|retract-hereditary property of topological spaces||Yes||contractibility is retract-hereditary||If and is a continuous retraction, and is contractible, then is contractible.|
|suspension-closed property of topological spaces||Yes||contractibility is suspension-closed||The suspension of a contractible space is contractible.|
|closure-preserved property of topological spaces||No||contractibility is not closure-preserved||It is possible to have a topological space and a subset of such that is contractible in the subspace topology, but the closure is not.|
|connected union-closed property of topological spaces||No||contractibility is not connected union-closed||It is possible to have a topological space expressible as a union of subsets , both contractible in their subspace topology, with nonempty, but itself not contractible.|
Extreme and basic examples
- The one-point space is contractible.
- Any Euclidean space is contractible.
- The closed unit disk in any dimension is contractible.
- Compact manifolds in dimension one or more, such as the circle, are not contractible.
Intuition behind examples
Contractibility is, fundamentally, a global property of topological spaces. It is not possible to examine a small part of the space and conclude that it is contractible, nor does examining a small part of the space allow us to rule out the possibiilty that it is contractible. For the intuition behind the former, note that we can attach non-contractible pieces (like circles) far off from the part of the space we are looking at. For the intuition behind the latter claim, note that we can embed any topological space as a closed subspace of a contractible space, namely, its cone space.
For this reason, when looking for examples or counterexamples, we need to focus on the global structure.
Examples from topological construction
One thing to keep in mind is that since the definition of contractibility invokes the closed unit interval, it is likely that any effort to construct contractible spaces will invariably involve dealing with the real numbers. The most topologically general way of constructing a contractible space is as the cone space of an arbitrary topological space. One way of thinking of this cone space is as a literal cone that fills in between the space and a point. Up until the very tip of the cone, the cross-sections look homeomorphic to the topological space.
Examples from geometry
A topologically star-like space is a classic example of a contractible space. A topological space is termed topologically star-like if it is homeomorphic to a star-like subset of Euclidean space. A star-like subset of Euclidean space is a subset for which there exists a point in it such that for every other point in it, the line segment joining the points is completely inside the space.
A topologically star-like space is contractible, and can in fact be contracted to any point relative to which it is a star through a straight-line homotopy, i.e., moving each point toward the center in a straight line. The contracting homotopy fixes the center, and therefore, the space is in fact a SDR-contractible space.
Note that, if also compact, a topologically star-like space is homeomorphic to the cone space of its boundary. Otherwise, the space is still almost a cone space: it is a subspace of the cone space that contains the full complement of the base and an arbitrary subset of the base. Nonetheless, it is important to note that the condition of being star-like also carries various geometric implications (in particular, from being a sub-Euclidean space) that are not satisfied for arbitrary cone spaces.
A topologically convex space is a (non-empty) space that is homeomorphic to a convex subset of Euclidean space. Any topologically convex space is topologically star-like, and any point can be taken as the center. An example of a topologically star-like space that is not topologically convex is a pair of intersecting lines.
It is possible to construct spaces that are not topologically star-like, but still contractible. For instance, any geometric realization of a tree is contractible, but if the tree has more than one point with degree greater than two, it is not topologically star-like. As a related example, a set of parallel lines combined with one line that intersects all of them form a contractible space that is not topologically star-like.
Relation with other properties
Contractibility is incomparable with most of the interesting separation and compactness properties.
Broad argument for why contractibility cannot imply any meaningful separation or compactness property: The cone space over any topological space is contractible. In particular, since any topological space arises as a closed subspace of its cone space (namely, the "base" of the space), every topological space arises as a closed subspace of a contractible space. Therefore, contractible cannot imply any nontrivial property that is subspace-hereditary or even weakly hereditary (inherited by closed subsets).
Broad argument for why meaningful separation or compactness properties cannot imply contractibility: Most meaningful separation and compactness properties are satisfied by all compact manifolds. However, compact manifolds of dimension greater than one are not contractible. The simplest counterexample is generally the circle.
Some incomparable properties:
- T0 space
- T1 space
- Hausdorff space
- regular space
- normal space
- metrizable space
- paracompact space
- compact space
The property of being a contractible space is also incomparable with the property of being a locally contractible space. A contractible space need not be locally contractible. In fact, it need not even be locally connected! An example of a contractible space that is not locally contractible is the comb space. An example of a space that is locally contractible but not contractible is the circle (or, more generally, any compact manifold).
|Property||Meaning||Proof of implication||Proof of strictness (reverse implication failure)||Intermediate notions|
|cone space over some topological space||cone space implies contractible|
|topologically star-like space|||FULL LIST, MORE INFO|
|topologically convex space||homeomorphic to a convex subset of Euclidean space||via star-like||Space in which every retraction is a deformation retraction, Topologically star-like space|FULL LIST, MORE INFO|
|suddenly contractible space||has a contracting homotopy that is also a sudden homotopy|||FULL LIST, MORE INFO|
|SDR-contractible space||has a contracting homotopy that is also a deformation retraction|||FULL LIST, MORE INFO|
Conjunction with other properties
- Contractible manifold: Contractible as well as a manifold
- Contractible polyhedron: Contractible as well as a polyhedron, i.e., the geometric realization of a simplicial complex
- Topology (2nd edition) by James R. MunkresMore info, Page 330, Exercise 3 (definition introduced in exercise)
- Lecture Notes on Elementary Topology and Geometry (Undergraduate Texts in Mathematics) by I. M. Singer and J. A. ThorpeMore info, Page 51 (formal definition)
- An Introduction to Algebraic Topology (Graduate Texts in Mathematics) by Joseph J. RotmanMore info, Page 18 (formal definition)
- Algebraic Topology by Allen HatcherFull text PDFMore info, Page 4 (formal definition)
- Algebraic Topology by Edwin H. SpanierMore info, Page 25 (definition in paragraph)