Nondegenerate space: Difference between revisions
No edit summary |
No edit summary |
||
| Line 14: | Line 14: | ||
* [[Manifold]]: {{proofat|[[Manifold implies nondegenerate]]}} | * [[Manifold]]: {{proofat|[[Manifold implies nondegenerate]]}} | ||
* [[CW-space]] | |||
* [[Compactly nondegenerate space]] | |||
===Weaker properties=== | |||
* Topological space which has a nondegenerate point | |||
==Metaproperties== | |||
{{retract-hereditary}} | |||
Any [[retract]] of a nondegenerate space is again nondegenerate. | |||
Revision as of 21:39, 15 December 2007
This article defines a property of topological spaces: a property that can be evaluated to true/false for any topological space|View a complete list of properties of topological spaces
This term is nonstandard and is being used locally within the wiki. For its use outside the wiki, please define the term when using it.
Definition
Symbol-free definition
A topological space is said to be nondegenerate if every point in it is a nondegenerate point, viz the inclusion of any point is a cofibration.
Relation with other properties
Stronger properties
- Manifold: For full proof, refer: Manifold implies nondegenerate
- CW-space
- Compactly nondegenerate space
Weaker properties
- Topological space which has a nondegenerate point
Metaproperties
Retract-hereditariness
This property of topological spaces is hereditary on retracts, viz if a space has the property, so does any retract of it
View all retract-hereditary properties of topological spaces
Any retract of a nondegenerate space is again nondegenerate.