In mathematics, a sober space is a topological space X such that every (nonempty) irreducible closed subset of X is the closure of exactly one point of X: that is, every nonempty irreducible closed subset has a unique generic point. == Definitions == Sober spaces have a variety of cryptomorphic definitions, which are documented in this section.
In mathematics, a sober space is a topological space X such that every (nonempty) irreducible closed subset of X is the closure of exactly one point of X: that is, every nonempty irreducible closed subset has a unique generic point. == Definitions == Sober spaces have a variety of cryptomorphic definitions, which are documented in this section.
Source: Wikipedia "Sober space" · CC BY-SA 4.0
Share this article: X · Bluesky