Door space: Difference between revisions
No edit summary |
|||
| Line 20: | Line 20: | ||
! Property !! Meaning !! Proof of implication !! Proof of strictness (reverse implication failure) !! Intermediate notions | ! Property !! Meaning !! Proof of implication !! Proof of strictness (reverse implication failure) !! Intermediate notions | ||
|- | |- | ||
| [[Stronger than::submaximal space]] || every subset is [[locally closed subset|locally | | [[Stronger than::submaximal space]] || every subset is [[locally closed subset|locally closed]] || || || {{intermediate notions short|submaximal space|door space}} | ||
|- | |- | ||
| [[Stronger than::hereditarily irresolvable space]]|| every non-empty subspace is an [[irresolvable space]] || || || {{intermediate notions short|hereditarily irresolvable space|door space}} | | [[Stronger than::hereditarily irresolvable space]]|| every non-empty subspace is an [[irresolvable space]] || || || {{intermediate notions short|hereditarily irresolvable space|door space}} | ||
Latest revision as of 18:00, 28 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
Definition
A door space is a topological space in which every subset is either open or closed.
Relation with other properties
Stronger properties
| Property | Meaning | Proof of implication | Proof of strictness (reverse implication failure) | Intermediate notions |
|---|---|---|---|---|
| discrete space | every subset is open |
Weaker properties
| Property | Meaning | Proof of implication | Proof of strictness (reverse implication failure) | Intermediate notions |
|---|---|---|---|---|
| submaximal space | every subset is locally closed | |FULL LIST, MORE INFO | ||
| hereditarily irresolvable space | every non-empty subspace is an irresolvable space | |FULL LIST, MORE INFO | ||
| irresolvable space | not a resolvable space, i.e., cannot be expressed as a union of disjoint dense subsets | |FULL LIST, MORE INFO |