Comb space: Difference between revisions
Line 28: | Line 28: | ||
3. The deleted comb space is not path connected since there is no [[Path (topology)|path]] from (0,1) to (0,0): |
3. The deleted comb space is not path connected since there is no [[Path (topology)|path]] from (0,1) to (0,0): |
||
::Suppose there is a path from ''p'' = (0, 1) to the point (0, 0) in ''D''. Let ''f'' : [0, 1] → ''D'' be this path. We shall prove that <sup> −1</sup>{''p''} is both [[Open set|open]] and [[Closed set|closed]] in [0, 1] contradicting the [[connected space|connectedness]] of this set. Clearly we have ''f''<sup> −1</sup>{''p''} is closed in [0, 1] by the [[Continuous function|continuity]] of '' |
::Suppose there is a path from ''p'' = (0, 1) to the point (0, 0) in ''D''. Let ''f'' : [0, 1] → ''D'' be this path. We shall prove that <sup> −1</sup>{''p''} is both [[Open set|open]] and [[Closed set|closed]] in [0, 1] contradicting the [[connected space|connectedness]] of this set. Clearly we have ''f''<sup> −1</sup>{''p''} is closed in [0, 1] by the [[Continuous function|continuity]] of ''f''. To prove that ''f''<sup> −1</sup>{''p''} is open, we proceed as follows: Choose a [[Neighbourhood (mathematics)|neighbourhood]] ''V'' (open in '''R'''<sup>2</sup>) about ''p'' that doesn’t intersect the ''x''–axis. Suppose ''x'' is an arbitrary point in ''f''<sup> −1</sup>{''p''}. Clearly, ''f''(''x'') = ''p''. Then since ''f''<sup> −1</sup>(''V'') is open, there is a [[basis (topology)|basis]] element ''U'' containing ''x'' such that ''f''(''U'') is a subset of ''V''. We assert that ''f''(''U'') = {''p''} which will mean that ''U'' is an open subset of ''f''<sup> −1</sup>{''p''} containing ''x''. Since ''x'' was arbitrary, ''f''<sup> −1</sup>{''p''} will then be open. We know that ''U'' is connected since it is a basis element for the [[order topology]] on [0, 1]. Therefore, ''f''(''U'') is connected. Suppose ''f''(''U'') contains a point ''s'' other than ''p''. Then ''s'' = (1/''n'', ''z'') must belong to ''D''. Choose ''r'' such that 1/(''n'' + 1) < ''r'' < 1/''n''. Since ''f''(''U'') does not intersect the ''x''-axis, the sets ''A'' = (−∞, ''r'') × <math>\R</math> and ''B'' = (''r'', +∞) × <math>\R</math> will form a [[separated sets|separation]] on ''f''(''U''); contradicting the connectedness of ''f''(''U''). Therefore, ''f''<sup> −1</sup>{''p''} is both open and closed in [0, 1]. This is a contradiction. |
||
4. The comb space is [[Homotopy|homotopic]] to a point but does not admit a [[Retraction (topology)|deformation retract]] onto a point for every choice of basepoint. |
4. The comb space is [[Homotopy|homotopic]] to a point but does not admit a [[Retraction (topology)|deformation retract]] onto a point for every choice of basepoint. |
Revision as of 14:31, 13 July 2023
In mathematics, particularly topology, a comb space is a particular subspace of that resembles a comb. The comb space has properties that serve as a number of counterexamples. The topologist's sine curve has similar properties to the comb space. The deleted comb space is a variation on the comb space.
![](http://upload.wikimedia.org/wikipedia/commons/thumb/9/91/Comb.svg/220px-Comb.svg.png)
![](http://upload.wikimedia.org/wikipedia/commons/thumb/8/8d/Double_comb.svg/220px-Double_comb.svg.png)
Formal definition
Consider with its standard topology and let K be the set . The set C defined by:
considered as a subspace of equipped with the subspace topology is known as the comb space. The deleted comb space, D, is defined by:
- .
This is the comb space with the line segment deleted.
Topological properties
The comb space and the deleted comb space have some interesting topological properties mostly related to the notion of connectedness.
1. The comb space, C, is path connected and contractible, but not locally contractible, locally path connected, or locally connected.
2. The deleted comb space, D, is connected:
- Let E be the comb space without . E is also path connected and the closure of E is the comb space. As E D the closure of E, where E is connected, the deleted comb space is also connected.
3. The deleted comb space is not path connected since there is no path from (0,1) to (0,0):
- Suppose there is a path from p = (0, 1) to the point (0, 0) in D. Let f : [0, 1] → D be this path. We shall prove that −1{p} is both open and closed in [0, 1] contradicting the connectedness of this set. Clearly we have f −1{p} is closed in [0, 1] by the continuity of f. To prove that f −1{p} is open, we proceed as follows: Choose a neighbourhood V (open in R2) about p that doesn’t intersect the x–axis. Suppose x is an arbitrary point in f −1{p}. Clearly, f(x) = p. Then since f −1(V) is open, there is a basis element U containing x such that f(U) is a subset of V. We assert that f(U) = {p} which will mean that U is an open subset of f −1{p} containing x. Since x was arbitrary, f −1{p} will then be open. We know that U is connected since it is a basis element for the order topology on [0, 1]. Therefore, f(U) is connected. Suppose f(U) contains a point s other than p. Then s = (1/n, z) must belong to D. Choose r such that 1/(n + 1) < r < 1/n. Since f(U) does not intersect the x-axis, the sets A = (−∞, r) × and B = (r, +∞) × will form a separation on f(U); contradicting the connectedness of f(U). Therefore, f −1{p} is both open and closed in [0, 1]. This is a contradiction.
4. The comb space is homotopic to a point but does not admit a deformation retract onto a point for every choice of basepoint.
See also
- Connected space
- Hedgehog space
- Infinite broom
- List of topologies
- Locally connected space
- Order topology
- Topologist's sine curve
References
- James Munkres (1999). Topology (2nd ed.). Prentice Hall. ISBN 0-13-181629-2.
- Kiyosi Itô (ed.). "Connectedness". Encyclopedic Dictionary of Mathematics. Mathematical Society of Japan.
{{cite journal}}
: Cite journal requires|journal=
(help)