sober space
Let be a topological space. A subset of is said to be irreducible if whenever with closed, we have or . Any singleton and its closure are irreducible. More generally, the closure of an irreducible set is irreducible.
A topological space is called a sober space if every irreducible closed subset is the closure of some unique point in .
Remarks.
-
•
For any sober space, the closure of a point determines the point. In other words, implies .
-
•
A space is sober iff the closure of every irreducible set is the closure of a unique point.
-
•
Any sober space is T0.
-
•
Any Hausdorff space is sober.
-
•
A closed subspace of a sober space is sober.
-
•
Any product of sober spaces is sober.
Title | sober space |
---|---|
Canonical name | SoberSpace |
Date of creation | 2013-03-22 16:43:44 |
Last modified on | 2013-03-22 16:43:44 |
Owner | CWoo (3771) |
Last modified by | CWoo (3771) |
Numerical id | 6 |
Author | CWoo (3771) |
Entry type | Definition |
Classification | msc 54E99 |
Defines | irreducible set |