Discrete space: Difference between revisions
m (1 revision) |
|||
| Line 16: | Line 16: | ||
===Weaker properties=== | ===Weaker properties=== | ||
{| class="sortable" border="1" | |||
! Property !! Meaning !! Proof of implication !! Proof of strictness (reverse implication failure) !! Intermediate notions | |||
|- | |||
| [[Stronger than::totally disconnected space]] || || || || | |||
|- | |||
| [[Stronger than::locally compact space]] || || || || | |||
|- | |||
| [[Stronger than::perfectly normal space]] || || || || | |||
|- | |||
| [[Stronger than::completely normal space]] || || || || | |||
|- | |||
| [[Stronger than::monotonically normal space]] || || || || | |||
|- | |||
| [[Stronger than::completely regular space]] || || || || | |||
|- | |||
| [[Stronger than::regular space]] || || || || | |||
|- | |||
| [[Stronger than::metrizable space]]|| || || || | |||
|- | |||
| [[Stronger than::CW-space]] || || || || | |||
|- | |||
| [[Stronger than::polyhedron]] || || || || | |||
|} | |||
===Related properties=== | ===Related properties=== | ||
Revision as of 19:57, 13 January 2012
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 is an opposite of compactness
Definition
A discrete space is a topological space satisfying the following equivalent conditions:
- It has a basis comprising all the singleton subsets
- Every point is open
- Every subset is open
- Every subset is closed
Relation with other properties
Weaker properties
| Property | Meaning | Proof of implication | Proof of strictness (reverse implication failure) | Intermediate notions |
|---|---|---|---|---|
| totally disconnected space | ||||
| locally compact space | ||||
| perfectly normal space | ||||
| completely normal space | ||||
| monotonically normal space | ||||
| completely regular space | ||||
| regular space | ||||
| metrizable space | ||||
| CW-space | ||||
| polyhedron |
Related properties
Compactness is the opposite of discreteness in some sense. The only topological spaces that are both discrete and compact are the finite spaces.
Metaproperties
Products
This property of topological spaces is closed under taking arbitrary products
View all properties of topological spaces closed under products
A (finite?) direct product of discrete spaces is discrete.
Hereditariness
This property of topological spaces is hereditary, or subspace-closed. In other words, any subspace (subset with the subspace topology) of a topological space with this property also has this property.
View other subspace-hereditary properties of topological spaces
Any subspace of a discrete space is discrete under the induced topology.