Sober space

In mathematics, a sober space is a topological space X such that every irreducible closed subset of X is the closure of exactly one point of X: that is, this closed subset has a unique generic point.

Properties and examples

Any Hausdorff (T2) space is sober (the only irreducible subsets being points), and all sober spaces are Kolmogorov (T0), and both implications are strict.[1] Sobriety is not comparable to the T1 condition: an example of a T1 space which is not sober is an infinite set with the cofinite topology, the whole space being an irreducible closed subset with no generic point. Moreover T2 is stronger than T1 and sober, i.e., while every T2 space is at once T1 and sober, there exist spaces that are simultaneously T1 and sober, but not T2. One such example is the following: let X be the set of real numbers, with a new point p adjoined; the open sets being all real open sets, and all cofinite sets containing p.

Sobriety of X is precisely a condition that forces the lattice of open subsets of X to determine X up to homeomorphism, which is relevant to pointless topology.

Sobriety makes the specialization preorder a directed complete partial order.

The prime spectrum Spec(R) of a commutative ring R with the Zariski topology is a compact sober space.[1] In fact, every spectral space (i.e. a compact sober space for which the collection of compact open subsets is closed under finite intersections and forms a base for the topology) is homeomorphic to Spec(R) for some commutative ring R. This is a theorem of Melvin Hochster.[2] More generally, the underlying topological space of any scheme is a sober space.

The subset of Spec(R) consisting only of the maximal ideals, where R is a commutative ring, is not sober in general.

References

1. Hart, Klaas Pieter; Nagata, Jun-iti; Vaughan, Jerry E. (2004). Encyclopedia of general topology. Elsevier. pp. 155–156. ISBN 978-0-444-50355-8.
2. Hochster, Melvin (1969), "Prime ideal structure in commutative rings", Trans. Amer. Math. Soc., 142: 43–60, doi:10.1090/s0002-9947-1969-0251026-x
This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.