Sober space | EPFL Graph Search

Are you an EPFL student looking for a semester project?

Work with us on data science and visualisation projects, and deploy your project as an app on top of GraphSearch.

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 irreducible closed subset has a unique generic point. Sober spaces have a variety of cryptomorphic definitions, which are documented in this section. All except the definition in terms of nets are described in. In each case below, replacing "unique" with "at most one" gives an equivalent formulation of the T0 axiom. Replacing it with "at least one" is equivalent to the property that the T0 quotient of the space is sober, which is sometimes referred to as having "enough points" in the literature. A topological space X is sober if every map that preserves all joins and all finite meets from its partially ordered set of open subsets to is the inverse image of a unique continuous function from the one-point space to X. This may be viewed as a correspondence between the notion of a point in a locale and a point in a topological space, which is the motivating definition. A filter F of open sets is said to be completely prime if for any family of open sets such that , we have that for some i. A space X is sober if it each completely prime filter is the neighbourhood filter of a unique point in X. A net is self-convergent if it converges to every point in , or equivalently if its eventuality filter is completely prime. A net that converges to converges strongly if it can only converge to points in the closure of . A space is sober if every self-convergent net converges strongly to a unique point . In particular, a space is T1 and sober precisely if every self-convergent net is constant. A closed set is irreducible if it cannot be written as the union of two proper closed subsets. A space is sober if every irreducible closed subset is the closure of a unique point. A space X is sober if every functor from the category of sheaves Sh(X) to Set that preserves all finite limits and all small colimits must be the stalk functor of a unique point x.

About this result

This page is automatically generated and may contain information that is not correct, complete, up-to-date, or relevant to your search query. The same applies to every other page on this website. Please make sure to verify the information with EPFL's official sources.

Related concepts (23)

Spectral space

In mathematics, a spectral space is a topological space that is homeomorphic to the spectrum of a commutative ring. It is sometimes also called a coherent space because of the connection to coherent topos. Let X be a topological space and let K(X) be the set of all compact open subsets of X. Then X is said to be spectral if it satisfies all of the following conditions: X is compact and T0. K(X) is a basis of open subsets of X. K(X) is closed under finite intersections. X is sober, i.e.

Scott continuity

In mathematics, given two partially ordered sets P and Q, a function f: P → Q between them is Scott-continuous (named after the mathematician Dana Scott) if it preserves all directed suprema. That is, for every directed subset D of P with supremum in P, its has a supremum in Q, and that supremum is the image of the supremum of D, i.e. , where is the directed join. When is the poset of truth values, i.e. Sierpiński space, then Scott-continuous functions are characteristic functions of open sets, and thus Sierpiński space is the classifying space for open sets.

Sierpiński space

In mathematics, the Sierpiński space (or the connected two-point set) is a finite topological space with two points, only one of which is closed. It is the smallest example of a topological space which is neither trivial nor discrete. It is named after Wacław Sierpiński. The Sierpiński space has important relations to the theory of computation and semantics, because it is the classifying space for open sets in the Scott topology.