Topological indistinguishability

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 N_x is the set of all neighborhoods that contain x, and N_y is the set of all neighborhoods that contain y, then x and y are "topologically indistinguishable" if and only if N_x = N_y. (See Hausdorff's axiomatic neighborhood systems.)

Intuitively, two points are topologically indistinguishable if the topology of X is unable to discern between the points.

Two points of X are topologically distinguishable if they are not topologically indistinguishable. This means there is an open set containing precisely one of the two points (equivalently, there is a closed set containing precisely one of the two points). This open set can then be used to distinguish between the two points. A T0 space is a topological space in which every pair of distinct points is topologically distinguishable. This is the weakest of the separation axioms.

Topological indistinguishability defines an equivalence relation on any topological space X. If x and y are points of X we write xy for "x and y are topologically indistinguishable". The equivalence class of x will be denoted by [x].

Examples

For T0 spaces (in particular, for Hausdorff spaces) the notion of topological indistinguishability is trivial, so one must look to non-T0 spaces to find interesting examples. On the other hand, regularity and normality do not imply T0, so we can find examples with these properties. In fact, almost all of the examples given below are completely regular.

Specialization preorder

The topological indistinguishability relation on a space X can be recovered from a natural preorder on X called the specialization preorder. For points x and y in X this preorder is defined by

x y if and only if x cl{y}

where cl{y} denotes the closure of {y}. Equivalently, xy if the neighborhood system of x, denoted Nx, is contained in the neighborhood system of y:

x y if and only if Nx Ny.

It is easy to see that this relation on X is reflexive and transitive and so defines a preorder. In general, however, this preorder will not be antisymmetric. Indeed, the equivalence relation determined by ≤ is precisely that of topological indistinguishability:

x y if and only if x y and y x.

A topological space is said to be symmetric (or R0) if the specialization preorder is symmetric (i.e. xy implies yx). In this case, the relations ≤ and ≡ are identical. Topological indistinguishability is better behaved in these spaces and easier to understand. Note that this class of spaces includes all regular and completely regular spaces.

Properties

Equivalent conditions

There are several equivalent ways of determining when two points are topologically indistinguishable. Let X be a topological space and let x and y be points of X. Denote the respective closures of x and y by cl{x} and cl{y}, and the respective neighborhood systems by Nx and Ny. Then the following statements are equivalent:

These conditions can be simplified in the case where X is symmetric space. For these spaces (in particular, for regular spaces), the following statements are equivalent:

Equivalence classes

To discuss the equivalence class of x, it is convenient to first define the upper and lower sets of x. These are both defined with respect to the specialization preorder discussed above.

The lower set of x is just the closure of {x}:

\mathop{\darr}x = \{y\in X: y\leq x\} = \textrm{cl}\{x\}

while the upper set of x is the intersection of the neighborhood system at x:

\mathop{\uarr}x = \{y\in X: x\leq y\} = \bigcap \mathcal{N}_x.

The equivalence class of x is then given by the intersection

[x] = {\mathop{\darr}x} \cap {\mathop{\uarr}x}.

Since ↓x is the intersection of all the closed sets containing x and ↑x is the intersection of all the open sets containing x, the equivalence class [x] is the intersection of all the open and closed sets containing x.

Both cl{x} and Nx will contain the equivalence class [x]. In general, both sets will contain additional points as well. In symmetric spaces (in particular, in regular spaces) however, the three sets coincide:

[x] = \textrm{cl}\{x\} = \bigcap\mathcal{N}_x.

In general, the equivalence classes [x] will be closed if and only if the space is symmetric.

Continuous functions

Let f : XY be a continuous function. Then for any x and y in X

x y implies f(x) f(y).

The converse is generally false (There are quotients of T0 spaces which are trivial). The converse will hold if X has the initial topology induced by f. More generally, if X has the initial topology induced by a family of maps f_\alpha : X \to Y_\alpha then

x y if and only if fα(x) fα(y) for all α.

It follows that two elements in a product space are topologically indistinguishable if and only if each of their components are topologically indistinguishable.

Kolmogorov quotient

Since topological indistinguishability is an equivalence relation on any topological space X, we can form the quotient space KX = X/≡. The space KX is called the Kolmogorov quotient or T0 identification of X. The space KX is, in fact, T0 (i.e. all points are topologically distinguishable). Moreover, by the characteristic property of the quotient map any continuous map f : XY from X to a T0 space factors through the quotient map q : XKX.

Although the quotient map q is generally not a homeomorphism (since it is not generally injective), it does induce a bijection between the topology on X and the topology on KX. Intuitively, the Kolmogorov quotient does not alter the topology of a space. It just reduces the point set until points become topologically distinguishable.

See also

This article is issued from Wikipedia - version of the Sunday, December 13, 2015. The text is available under the Creative Commons Attribution/Share Alike but additional terms may apply for the media files.