Kolmogorov space
This article needs additional citations for verification. (April 2022) |
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 Hausdorff) |
T6 | (perfectly normal Hausdorff) |
In
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
Definition
A T0 space is a topological space in which every pair of distinct points is
- If and , there exists an open set O such that either or .
Note that topologically distinguishable points are automatically distinct. On the other hand, if the
- separated ⇒ topologically distinguishable ⇒ distinct
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 also 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
- A set with more than one element, with the trivial topology. No points are distinguishable.
- The set R2 where the open sets are the Cartesian product of an open set in R and R itself, i.e., the product topology of R with the usual topology and R with the trivial topology; points (a,b) and (a,c) are not distinguishable.
- The space of all Lebesgue integral. Two functions which are equal almost everywhere are indistinguishable. See also below.
Spaces which are T0 but not T1
- The prime spectrum of a commutative ring R, is always T0 but generally not T1. The non-closed points correspond to prime ideals which are not maximal. They are important to the understanding of schemes.
- The particular point topology on any set with at least two elements is T0 but not T1 since the particular point is not closed (its closure is the whole space). An important special case is the Sierpiński space which is the particular point topology on the set {0,1}.
- The excluded point topology on any set with at least two elements is T0 but not T1. The only closed point is the excluded point.
- The Alexandrov topology on a partially ordered set is T0 but will not be T1 unless the order is discrete (agrees with equality). Every finite T0 space is of this type. This also includes the particular point and excluded point topologies as special cases.
- The totally ordered setis a related example.
- The overlapping interval topology is similar to the particular point topology since every non-empty open set includes 0.
- Quite generally, a topological space X will be T0 if and only if the partial order. However, X will be T1 if and only if the order is discrete (i.e. agrees with equality). So a space will be T0 but not T1 if and only if the specialization preorder on X is a non-discrete partial order.
Operating with T0 spaces
Commonly studied topological spaces are all T0. Indeed, when mathematicians in many fields, notably
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
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
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
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
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
References
- ^ a b Karno, Zbigniew (1994). "On Kolmogorov Topological Spaces" (PDF). Journal of Formalized Mathematics. 6 (published 2003).
- Lynn Arthur Steen and J. Arthur Seebach, Jr., Counterexamples in Topology. Springer-Verlag, New York, 1978. Reprinted by Dover Publications, New York, 1995. ISBN 0-486-68735-X(Dover edition).