Contractibility is not closure-preserved: Difference between revisions
(Created page with "{{topospace metaproperty dissatisfaction| property = contractible space| metaproperty = closure-preserved property of topological spaces}} == Definition == It is possible to...") |
(→Proof) |
||
| Line 11: | Line 11: | ||
Set <math>X</math> to be a [[circle]] and set <math>A</math> to be the complement of a single point in the circle. Then, <math>A</math> is homeomorphic to the real line, and is contractible. However, it closure <math>\overline{A}</math> equals <math>X</math>, which is not even simply connected, and therefore not contractible. | Set <math>X</math> to be a [[circle]] and set <math>A</math> to be the complement of a single point in the circle. Then, <math>A</math> is homeomorphic to the real line, and is contractible. However, it closure <math>\overline{A}</math> equals <math>X</math>, which is not even simply connected, and therefore not contractible. | ||
This example can be generalized to the <math>n</math>-[[sphere]] <math>S^n</math> for <math>n \ge 1</math>. | This example can be generalized to the <math>n</math>-[[sphere]] <math>S^n</math> for <math>n \ge 1</math>, where the complement of any point is homeomorphic to <math>\R^n</math> (via, for instance, a stereographic projection). | ||
Revision as of 15:27, 31 May 2016
This article gives the statement, and possibly proof, of a topological space property (i.e., contractible space) not satisfying a topological space metaproperty (i.e., closure-preserved property of topological spaces).
View all topological space metaproperty dissatisfactions | View all topological space metaproperty satisfactions|Get help on looking up metaproperty (dis)satisfactions for topological space properties
Get more facts about contractible space|Get more facts about closure-preserved property of topological spaces|
Definition
It is possible to have a topological space and a subset of such that is a contractible space in the subspace topology from , but , the closure of in , is not contractible.
Proof
Set to be a circle and set to be the complement of a single point in the circle. Then, is homeomorphic to the real line, and is contractible. However, it closure equals , which is not even simply connected, and therefore not contractible.
This example can be generalized to the -sphere for , where the complement of any point is homeomorphic to (via, for instance, a stereographic projection).