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.
Cette page est générée automatiquement et peut contenir des informations qui ne sont pas correctes, complètes, à jour ou pertinentes par rapport à votre recherche. Il en va de même pour toutes les autres pages de ce site. Veillez à vérifier les informations auprès des sources officielles de l'EPFL.
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.
En mathématiques pour l'informatique, étant donné deux ensembles partiellement ordonnés P et Q, une fonction f : P → Q entre eux est Scott-continue (du nom du mathématicien Dana Scott) si elle préserve tous les suprema dirigés, c'est-à-dire que pour chaque sous-ensemble orienté D de P avec supremum dans P, son a un supremum dans Q, et ce supremum est l'image du supremum de D, c'est-à-dire , où est la jointure dirigée.
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.
For every hyperbolic group and more general hyperbolic graphs, we construct an equivariant ideal bicombing: this is a homological analogue of the geodesic flow on negatively curved manifolds. We then construct a cohomological invariant which implies that s ...