Kolmogorov space

Last updated
Separation axioms
in topological spaces
Kolmogorov classification
T0  (Kolmogorov)
T1  (Fréchet)
T2  (Hausdorff)
T2½ (Urysohn)
completely T2  (completely Hausdorff)
T3  (regular Hausdorff)
T3½ (Tychonoff)
T4  (normal Hausdorff)
T5  (completely normal
T6  (perfectly normal

In topology and related branches of mathematics, a topological space X is a T0 space or Kolmogorov space (named after Andrey Kolmogorov) if for every pair of distinct points of X, at least one of them has a neighborhood not containing the other. In a T0 space, all points are topologically distinguishable.


This condition, called the T0 condition, is the weakest of the separation axioms. Nearly all topological spaces normally studied in mathematics are T0 spaces. In particular, all T1 spaces, i.e., all spaces in which for every pair of distinct points, each has a neighborhood not containing the other, are T0 spaces. This includes all T2 (or Hausdorff) spaces, i.e., all topological spaces in which distinct points have disjoint neighbourhoods. In another direction, every sober space (which may not be T1) is T0; this includes the underlying topological space of any scheme. Given any topological space one can construct a T0 space by identifying topologically indistinguishable points.

T0 spaces that are not T1 spaces are exactly those spaces for which the specialization preorder is a nontrivial partial order. Such spaces naturally occur in computer science, specifically in denotational semantics.


A T0 space is a topological space in which every pair of distinct points is topologically distinguishable. That is, for any two different points x and y there is an open set which contains one of these points and not the other. More precisely the topological space X is Kolmogorov or if and only if: [1]

If , there exist an open set O s.t. either or .

Note that topologically distinguishable points are automatically distinct. On the other hand, if the singleton sets {x} and {y} are separated, then the points x and y must be topologically distinguishable. That is,

separatedtopologically distinguishabledistinct

The property of being topologically distinguishable is, in general, stronger than being distinct but weaker than being separated. In a T0 space, the second arrow above reverses; points are distinct if and only if they are distinguishable. This is how the T0 axiom fits in with the rest of the separation axioms.

Examples and counter examples

Nearly all topological spaces normally studied in mathematics are T0. In particular, all Hausdorff (T2) spaces, T1 spaces and sober spaces are T0.

Spaces which are not T0

Spaces which are T0 but not T1

Operating with T0 spaces

Examples of topological space typically studied are T0. Indeed, when mathematicians in many fields, notably analysis, naturally run across non-T0 spaces, they usually replace them with T0 spaces, in a manner to be described below. To motivate the ideas involved, consider a well-known example. The space L2(R) is meant to be the space of all measurable functions f from the real line R to the complex plane C such that the Lebesgue integral of |f(x)|2 over the entire real line is finite. This space should become a normed vector space by defining the norm ||f|| to be the square root of that integral. The problem is that this is not really a norm, only a seminorm, because there are functions other than the zero function whose (semi)norms are zero. The standard solution is to define L2(R) to be a set of equivalence classes of functions instead of a set of functions directly. This constructs a quotient space of the original seminormed vector space, and this quotient is a normed vector space. It inherits several convenient properties from the seminormed space; see below.

In general, when dealing with a fixed topology T on a set X, it is helpful if that topology is T0. On the other hand, when X is fixed but T is allowed to vary within certain boundaries, to force T to be T0 may be inconvenient, since non-T0 topologies are often important special cases. Thus, it can be important to understand both T0 and non-T0 versions of the various conditions that can be placed on a topological space.

The Kolmogorov quotient

Topological indistinguishability of points is an equivalence relation. No matter what topological space X might be to begin with, the quotient space under this equivalence relation is always T0. This quotient space is called the Kolmogorov quotient of X, which we will denote KQ(X). Of course, if X was T0 to begin with, then KQ(X) and X are naturally homeomorphic. Categorically, Kolmogorov spaces are a reflective subcategory of topological spaces, and the Kolmogorov quotient is the reflector.

Topological spaces X and Y are Kolmogorov equivalent when their Kolmogorov quotients are homeomorphic. Many properties of topological spaces are preserved by this equivalence; that is, if X and Y are Kolmogorov equivalent, then X has such a property if and only if Y does. On the other hand, most of the other properties of topological spaces imply T0-ness; that is, if X has such a property, then X must be T0. Only a few properties, such as being an indiscrete space, are exceptions to this rule of thumb. Even better, many structures defined on topological spaces can be transferred between X and KQ(X). The result is that, if you have a non-T0 topological space with a certain structure or property, then you can usually form a T0 space with the same structures and properties by taking the Kolmogorov quotient.

The example of L2(R) displays these features. From the point of view of topology, the seminormed vector space that we started with has a lot of extra structure; for example, it is a vector space, and it has a seminorm, and these define a pseudometric and a uniform structure that are compatible with the topology. Also, there are several properties of these structures; for example, the seminorm satisfies the parallelogram identity and the uniform structure is complete. The space is not T0 since any two functions in L2(R) that are equal almost everywhere are indistinguishable with this topology. When we form the Kolmogorov quotient, the actual L2(R), these structures and properties are preserved. Thus, L2(R) is also a complete seminormed vector space satisfying the parallelogram identity. But we actually get a bit more, since the space is now T0. A seminorm is a norm if and only if the underlying topology is T0, so L2(R) is actually a complete normed vector space satisfying the parallelogram identityotherwise known as a Hilbert space. And it is a Hilbert space that mathematicians (and physicists, in quantum mechanics) generally want to study. Note that the notation L2(R) usually denotes the Kolmogorov quotient, the set of equivalence classes of square integrable functions that differ on sets of measure zero, rather than simply the vector space of square integrable functions that the notation suggests.

Removing T0

Although norms were historically defined first, people came up with the definition of seminorm as well, which is a sort of non-T0 version of a norm. In general, it is possible to define non-T0 versions of both properties and structures of topological spaces. First, consider a property of topological spaces, such as being Hausdorff. One can then define another property of topological spaces by defining the space X to satisfy the property if and only if the Kolmogorov quotient KQ(X) is Hausdorff. This is a sensible, albeit less famous, property; in this case, such a space X is called preregular . (There even turns out to be a more direct definition of preregularity). Now consider a structure that can be placed on topological spaces, such as a metric. We can define a new structure on topological spaces by letting an example of the structure on X be simply a metric on KQ(X). This is a sensible structure on X; it is a pseudometric. (Again, there is a more direct definition of pseudometric.)

In this way, there is a natural way to remove T0-ness from the requirements for a property or structure. It is generally easier to study spaces that are T0, but it may also be easier to allow structures that aren't T0 to get a fuller picture. The T0 requirement can be added or removed arbitrarily using the concept of Kolmogorov quotient.

See also

Related Research Articles

In topology and related branches of mathematics, a Hausdorff space, separated space or T2 space is a topological space where for any two distinct points there exist neighbourhoods of each which are disjoint from each other. Of the many separation axioms that can be imposed on a topological space, the "Hausdorff condition" (T2) is the most frequently used and discussed. It implies the uniqueness of limits of sequences, nets, and filters.

Normed vector space Vector space on which a distance is defined

In mathematics, a normed vector space or normed space is a vector space over the real or complex numbers, on which a norm is defined. A norm is the formalization and the generalization to real vector spaces of the intuitive notion of "length" in the real world. A norm is a real-valued function defined on the vector space that is commonly denoted and has the following properties:

  1. It is nonnegative, that is for every vector x, one has
  2. It is positive on nonzero vectors, that is,
  3. For every vector x, and every scalar one has
  4. The triangle inequality holds; that is, for every vectors x and y, one has

In topology and related branches of mathematics, a topological space may be defined as a set of points, along with a set of neighbourhoods for each point, satisfying a set of axioms relating points and neighbourhoods. The definition of a topological space relies only upon set theory and is the most general notion of a mathematical space that allows for the definition of concepts such as continuity, connectedness, and convergence. Other spaces, such as manifolds and metric spaces, are specializations of topological spaces with extra structures or constraints. Being so general, topological spaces are a central unifying notion and appear in virtually every branch of modern mathematics. The branch of mathematics that studies topological spaces in their own right is called point-set topology or general topology.

In topology and related branches of mathematics, Tychonoff spaces and completely regular spaces are kinds of topological spaces. These conditions are examples of separation axioms.

This is a glossary of some terms used in the branch of mathematics known as topology. Although there is no absolute distinction between different areas of topology, the focus here is on general topology. The following definitions are also fundamental to algebraic topology, differential topology and geometric topology.

In the mathematical field of topology, a uniform space is a set with a uniform structure. Uniform spaces are topological spaces with additional structure that is used to define uniform properties such as completeness, uniform continuity and uniform convergence. Uniform spaces generalize metric spaces and topological groups, but the concept is designed to formulate the weakest axioms needed for most proofs in analysis.

In mathematics, a topological vector space is one of the basic structures investigated in functional analysis. A topological vector space is a vector space which is also a topological space, this implies that vector space operations be continuous functions. More specifically, its topological space has a uniform topological structure, allowing a notion of uniform convergence.

In topology and related fields of mathematics, a topological space X is called a regular space if every closed subset C of X and a point p not contained in C admit non-overlapping open neighborhoods. Thus p and C can be separated by neighborhoods. This condition is known as Axiom T3. The term "T3 space" usually means "a regular Hausdorff space". These conditions are examples of separation axioms.

In mathematics, a pseudometric space is a generalization of a metric space in which the distance between two distinct points can be zero or negative. In the same way as every normed space is a metric space, every seminormed space is a pseudometric space. Because of this analogy the term semimetric space is sometimes used as a synonym, especially in functional analysis.

General topology

In mathematics, general topology is the branch of topology that deals with the basic set-theoretic definitions and constructions used in topology. It is the foundation of most other branches of topology, including differential topology, geometric topology, and algebraic topology. Another name for general topology is point-set topology.

In functional analysis and related areas of mathematics, Fréchet spaces, named after Maurice Fréchet, are special topological vector spaces. They are generalizations of Banach spaces. All Banach and Hilbert spaces are Fréchet spaces. Spaces of infinitely differentiable functions are typical examples of Fréchet spaces, many of which are typically not Banach spaces.

In mathematics, particularly in functional analysis, a seminorm is a vector space norm that need not be positive definite. Seminorms are intimately connected with convex sets: every seminorm is the Minkowski functional of some absorbing disk and, conversely, the Minkowski functional of any such set is a seminorm.

In functional analysis and related areas of mathematics, locally convex topological vector spaces (LCTVS) or locally convex spaces are examples of topological vector spaces (TVS) that generalize normed spaces. They can be defined as topological vector spaces whose topology is generated by translations of balanced, absorbent, convex sets. Alternatively they can be defined as a vector space with a family of seminorms, and a topology can be defined in terms of that family. Although in general such spaces are not necessarily normable, the existence of a convex local base for the zero vector is strong enough for the Hahn–Banach theorem to hold, yielding a sufficiently rich theory of continuous linear functionals.

Metric (mathematics) Mathematical function defining distance

In mathematics, a metric or distance function is a function that defines a distance between each pair of point elements of a set. A set with a metric is called a metric space. A metric induces a topology on a set, but not all topologies can be generated by a metric. A topological space whose topology can be described by a metric is called metrizable.

In functional analysis and related areas of mathematics, a set in a topological vector space is called bounded or von Neumann bounded, if every neighborhood of the zero vector can be inflated to include the set. A set that is not bounded is called unbounded.

In 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 neighborhood systems.)

Separation axiom Axioms in topology defining notions of "separation"

In topology and related fields of mathematics, there are several restrictions that one often makes on the kinds of topological spaces that one wishes to consider. Some of these restrictions are given by the separation axioms. These are sometimes called Tychonoff separation axioms, after Andrey Tychonoff.

In functional analysis and related areas of mathematics, a complete topological vector space is a topological vector space (TVS) with the property that whenever points get progressively closer to each other, then these points will necessarily converge to some point in the space. The notion of "points that get progressively closer" is made rigorous by Cauchy nets and Cauchy filters, which generalize Cauchy sequences. Unlike the notion of completeness for metric spaces, which it generalizes, the notion of completeness for TVSs does not depend on any metric and is defined for all TVSs, even those that are not metrizable or Hausdorff. Completeness is an extremely important property for a topological vector space to possess. Prominent examples of complete TVSs that are also metrizable include all Fréchet spaces, Banach spaces, and Hilbert spaces. Prominent examples of complete TVS that are (typically) not metrizable include strict LF-spaces and nuclear spaces such as the Schwartz space of smooth functions and also the spaces of distributions and test functions.

In functional analysis, two methods of constructing normed spaces from disks were systematically employed by Alexander Grothendieck to define nuclear operators and nuclear spaces. One method is used if the disk D is bounded: in this case, the auxiliary normed space is span D with norm pD :=infxrD, r>0r. The other method is used if the disk D is absorbing: in this case, the auxiliary normed space is the quotient space X / p-1
. If the disk is both bounded and absorbing then the two auxiliary normed spaces are canonically isomorphic.

In functional analysis and related areas of mathematics, a metrizable topological vector spaces (TVS) is a TVS whose topology is induced by a metric. An LM-space is an inductive limit of a sequence of locally convex metrizable TVS.


  1. Steenrod 1991, pp. 11.