Specialization (pre)orderIn the branch of mathematics known as topology, the specialization (or canonical) preorder is a natural preorder on the set of the points of a topological space. For most spaces that are considered in practice, namely for all those that satisfy the T0 separation axiom, this preorder is even a partial order (called the specialization order). On the other hand, for T1 spaces the order becomes trivial and is of little interest. The specialization order is often considered in applications in computer science, where T0 spaces occur in denotational semantics.
Separated setsIn topology and related branches of mathematics, separated sets are pairs of subsets of a given topological space that are related to each other in a certain way: roughly speaking, neither overlapping nor touching. The notion of when two sets are separated or not is important both to the notion of connected spaces (and their connected components) as well as to the separation axioms for topological spaces. Separated sets should not be confused with separated spaces (defined below), which are somewhat related but different.
Sober spaceIn 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.
Finite topological spaceIn mathematics, a finite topological space is a topological space for which the underlying point set is finite. That is, it is a topological space which has only finitely many elements. Finite topological spaces are often used to provide examples of interesting phenomena or counterexamples to plausible sounding conjectures. William Thurston has called the study of finite topologies in this sense "an oddball topic that can lend good insight to a variety of questions". Let be a finite set.
Espace T1En mathématiques, un espace accessible (ou espace T, ou de Fréchet) est un cas particulier d'espace topologique. Il s'agit d'un exemple d'axiome de séparation. Un espace topologique E est T si pour tout couple (x, y) d'éléments de E distincts, il existe un ouvert contenant x et pas y. Soit E un espace topologique.
Particular point topologyIn mathematics, the particular point topology (or included point topology) is a topology where a set is open if it contains a particular point of the topological space. Formally, let X be any non-empty set and p ∈ X. The collection of subsets of X is the particular point topology on X. There are a variety of cases that are individually named: If X has two points, the particular point topology on X is the Sierpiński space. If X is finite (with at least 3 points), the topology on X is called the finite particular point topology.
Espace de KolmogorovEn topologie et dans d'autres branches des mathématiques, un espace de Kolmogorov (ou espace T0) est un espace topologique dans lequel tous les points peuvent être « distingués du point de vue topologique ». De tous les axiomes de séparation qui peuvent être demandés à un espace topologique, cette condition est la plus faible. Les espaces de Kolmogorov doivent leur nom au mathématicien russe Andreï Kolmogorov. Un espace topologique X est dit de Kolmogorov si pour tout couple d'éléments distincts x et y de X, il existe un voisinage de x qui ne contient pas y ou un voisinage de y qui ne contient pas x.
Espace localement connexeEn mathématiques, plus précisément en topologie, un espace localement connexe est un espace topologique pouvant être décrit à l’aide de ses ouverts connexes. En topologie, on dit qu’un espace est connexe lorsqu’il est fait « d’une seule pièce ». La question naturelle qui suit est de savoir si tout espace topologique peut être décrit comme la réunion disjointe (dans la catégorie des espaces topologiques) de ses composantes connexes ; en d’autres termes, peut-on considérer que lorsqu’on connait toutes les « pièces » d’un espace topologique, on sait tout de cet espace ? Une condition nécessaire et suffisante pour cela est que toutes les composantes connexes soient ouvertes.
Espace topologique irréductibleEn topologie, un espace irréductible est un espace topologique non vide qui ne peut pas se décomposer en (c'est-à-dire s'écrire comme réunion de) deux parties fermées strictement plus petites. Ce type d'espaces apparaît (et est utilisé) surtout en géométrie algébrique, où l'irréductibilité est une des propriétés topologiques basiques.
Indiscernabilité topologiqueIn topology, two points of a topological space X are topologically indistinguishable if they have exactly the same neighborhoods. That is, if x and y are points in X, and Nx is the set of all neighborhoods that contain x, and Ny is the set of all neighborhoods that contain y, then x and y are "topologically indistinguishable" if and only if Nx = Ny. (See Hausdorff's axiomatic .) Intuitively, two points are topologically indistinguishable if the topology of X is unable to discern between the points.