Kolmogorov axiom

From Encyclopedia of Mathematics
Revision as of 17:05, 7 February 2011 by (talk) (Importing text file)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
Jump to: navigation, search


The weakest of all separation axioms (cf. Separation axiom) in general topology; introduced by A.N. Kolmogorov. A topological space satisfies this axiom, i.e. it is a -space or a Kolmogorov space, if for any two distinct points of the space there exists an open set containing one of the points but not containing the other. If it is required that each of the two (arbitrarily given) points be contained in an open set not containing the other, then one obtains the next stronger separation axiom, called the -axiom; topological spaces satisfying it are called -spaces. The simplest example of a -space that is not a -space is the connected digon.

In a -space, a singleton need not be closed; -spaces can be defined as -spaces for which all singletons are closed. A -space in which the intersection of any number of open sets is open is called a discrete space (in the broad sense). It is precisely in these spaces that the closure of the union of any family of sets is the same as the union of the closures of these sets. In any discrete space and even in any Kolmogorov space one can define a (partial) order between its points and : if is contained in the closure of the singleton consisting of the point . Conversely, if one defines in an arbitrary partially ordered set the closure of any point as the set of all points and takes for the closure of a set the union of the closures of all of its points, then one obtains a discrete space. Thus, the study of discrete spaces is equivalent to that of partially ordered sets. Simplicial (and more general) complexes in combinatorial topology are important examples of discrete spaces: For two simplices , the order relation means that is a face (possibly improper) of the simplex .


[1] P.S. Aleksandrov, "Einführung in die Mengenlehre und die allgemeine Topologie" , Deutsch. Verlag Wissenschaft. (1984) (Translated from Russian)


"Natural" spaces which are but, as a rule, not are the affine schemes , a commutative ring with identity; cf. Affine scheme.

"Discrete spaces in the broad sense" , mentioned above, are commonly called Aleksandrov-discrete spaces; they were first studied in [a1].


[a1] P.S. [P.S. Aleksandrov] Alexandrov, "Diskrete Räume" Mat. Sb. , 1 (43) (1937) pp. 501–519
How to Cite This Entry:
Kolmogorov axiom. Encyclopedia of Mathematics. URL:
This article was adapted from an original article by V.I. Zaitsev (originator), which appeared in Encyclopedia of Mathematics - ISBN 1402006098. See original article