Main Page | See live article | Alphabetical index

Kolmogorov space

In topology and related branches of mathematics, the T0 spaces or Kolmogorov spaces form a broad class of well behaved topological spaces. The T0 condition is one of the separation axioms.

Table of contents
1 Topological distinguishability
2 Definition
3 T0 is nice
4 The Kolmogorov quotient
5 Removing T0

Topological distinguishability

To define T0 spaces, we first define the concept of topologically distinguishable points. If X is a topological space and x and y are points in X, then x and y are topologically indistinguishable if and only if they have exactly the same neighbourhoodss. Otherwise, they are topologically distinguishable. For example, in an indiscrete space, any two points are topologically indistinguishable.

Alternatively, if x belongs to the closure of {y} and y belongs to the closure of {x}, then x and y are topologically indistinguishable; otherwise, they're topologically distinguishable. 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. (This is how the T0 axiom fits in with the rest of the separation axioms.)


The definition of a T0 space is now simple; X is T0 if and only if every pair of distinct points is topologically distinguishable.

This definition may also be formulated as follows: X is a T0 space if and only if for any two distinct points in X there exists an open subset of X which contains one of the points but not the other. This characterisation should be contrasted with an analogous characterisation of T1 spacess, where one can specify beforehand which points will belong to the open set.

T0 is nice

Almost every topological space studied in ordinary mathematics is 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 described below.

In general, when dealing with a fixed topology T on a set X, it's helpful if that topology is T0. On the other hand, when X is fixed but T is allowed to vary within certain boundaries, it can be annoying to force T to be T0, since the 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.

To motivate the ideas involved, let's 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 not only exists but also 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 nice properties from the seminormed space, as we will see below.

Both the problem and the solution are reflected at the level of the topologies defined by the norm and seminorm. If a function's seminorm is zero, then it's topologically indistinguishable from the zero function. More generally, functions are identified in the construction of the quotient space precisely when they are topologically indistinguishable in the original seminormed space.

The Kolmogorov quotient

The general construction is 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 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 naturallyly homeomorphic.

Topological spaces X and Y are Kolmogorov equivalent iff their Kolmogorov quotients are homeomorphic. The nice thing about Kolmogorov equivalence is that 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 iff 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 structuress 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 nice 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's 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. 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 iff the underlying topology is T0, so L2(R) is actually a complete normed vector space satisfying the parallelogram identity -- otherwise known as a Hilbert space. And it is a Hilbert space that mathematicians (and physicists, in quantum mechanics) generally want to study.

Removing T0

You may notice that, 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 toplogical 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's 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 at will, using the concept of Kolmogorov quotient.