# Difference between revisions of "Hausdorffization"

(→Iterative construction) |
|||

Line 11: | Line 11: | ||

For a topological space <math>X</math>. First, consider the relation <math>\sim</math> on <math>X</math> defined as: | For a topological space <math>X</math>. First, consider the relation <math>\sim</math> on <math>X</math> defined as: | ||

− | <math>a \sim b</math> if for open subsets <math>U \ni a, V \ni b</math> of <math>X</math>, <math>U \cap V</math> is non-empty. | + | <math>a \sim b</math> if for all open subsets <math>U \ni a, V \ni b</math> of <math>X</math>, <math>U \cap V</math> is non-empty. |

Note that the relation above need not itself be an equivalence relation. In particular, it need not be transitive: it is possible that <math>a \sim b</math> and <math>b \sim c</math> but <math>a \not \sim c</math>. | Note that the relation above need not itself be an equivalence relation. In particular, it need not be transitive: it is possible that <math>a \sim b</math> and <math>b \sim c</math> but <math>a \not \sim c</math>. | ||

Line 42: | Line 42: | ||

* The basis of open subsets is as follows: all sets of the form <math>\{ 2n - 1 \}</math>, <math>[2n - 1, 2n + 1]</math>, and <math>[2n - 1, \infty]</math>, for <math>n \in \mathbb{N}</math>. Qualitatively: the odd numbers all form open subsets, whereas for an even number the smallest open subset containing it comprises that and its two nearest neighbors. And for <math>\infty</math>, it does not itself form an open subset but rather its neighborhoods comprise "sufficiently large" numbers. To verify that this is indeed a basis, note that the intersection of any two subsets of the form specified is either again of the form specified or empty. | * The basis of open subsets is as follows: all sets of the form <math>\{ 2n - 1 \}</math>, <math>[2n - 1, 2n + 1]</math>, and <math>[2n - 1, \infty]</math>, for <math>n \in \mathbb{N}</math>. Qualitatively: the odd numbers all form open subsets, whereas for an even number the smallest open subset containing it comprises that and its two nearest neighbors. And for <math>\infty</math>, it does not itself form an open subset but rather its neighborhoods comprise "sufficiently large" numbers. To verify that this is indeed a basis, note that the intersection of any two subsets of the form specified is either again of the form specified or empty. | ||

− | The relation <math>\sim</math> defined as <math>a \sim b</math> if open subsets containing <math>a</math> and <math>b</math> simplifies to the following: <math>a \sim b</math> if they are both finite and equal, differ by one, or are both even and differ by two. | + | The relation <math>\sim</math> defined as <math>a \sim b</math> if all open subsets containing <math>a</math> and <math>b</math> intersect simplifies to the following: <math>a \sim b</math> if they are both finite and equal, differ by one, or are both even and differ by two. |

To see this, note that: | To see this, note that: |

## Latest revision as of 14:05, 6 July 2019

## Contents

## Definition

Let be a topological space. The **Hausdorffization**, also known as **Hausdorffification**, **Hausdorffication**, **maximal Hausdorff quotient**, or **Hausdorff quotient**, of is a quotient map with the universal property that any continuous map from to a Hausdorff space factors uniquely through the Hausdorffization.

## Iterative construction

### Construction

The Hausdorffization can be obtained through iterative application of the quotient map by an equivalence relation that is described below.

For a topological space . First, consider the relation on defined as:

if for all open subsets of , is non-empty.

Note that the relation above need not itself be an equivalence relation. In particular, it need not be transitive: it is possible that and but .

Denote by the equivalence relation *generated* by . Explicitly, is the subset of that is the closure in of the diagonal subspace. Denote by the quotient space of by , with the quotient map. In particular, this means that the points of are the equivalence classes in under .

Note that if is Hausdorff, then is a trivial relation and .

We now iteratively define, for every ordinal :

with the composite quotient maps connecting them.

For limit ordinals we define as the direct limit of for , with the quotient maps between them.

Then, .

### Sufficiency of one step for a finite space

If is a finite space, then , and moreover, this quotient space is a discrete space.

### Example to illustrate why one step isn't enough

Naively, it might seem that , because we are already collapsing together any two points that cannot be separated by disjoint open subsets. However, this is not the case. The flaw with this chain of reasoning is that in the new quotient space, we get new open sets that can now start intersecting, even if back in the larger space, the points were separated.

Here is a concrete example of a space :

- The underlying set of is the union of the set of natural numbers and .
- The basis of open subsets is as follows: all sets of the form , , and , for . Qualitatively: the odd numbers all form open subsets, whereas for an even number the smallest open subset containing it comprises that and its two nearest neighbors. And for , it does not itself form an open subset but rather its neighborhoods comprise "sufficiently large" numbers. To verify that this is indeed a basis, note that the intersection of any two subsets of the form specified is either again of the form specified or empty.

The relation defined as if all open subsets containing and intersect simplifies to the following: if they are both finite and equal, differ by one, or are both even and differ by two.

To see this, note that:

- can be separated from any finite number.
- Two distinct odd numbers can be separated by disjoint open subsets, namely their own singletons.
- Two distinct even numbers with a difference of more than two can be separated by and .
- An even number
*cannot*be separated from an adjacent odd number because the smallest open subset containing the even number includes both odd numbers next to it. - Even numbers that differ by two
*cannot*be separated because the unique smallest open subsets containing the two intersect at the odd number in between.

The equivalence relation generated by has two equivalence classes: all finite numbers form one equivalence class, and forms the other. The quotient space is therefore a two-point space. However, the equivalence class of the point is *not* an open point in the new space, since was not open in . Hence, the new space is not Hausdorff. , which is the one-point space, is indeed Hausdorff and equals .

## References

- The Hausdorff Quotient by Bart Van Munster. The iterative construction here, as well as the counterexample, are described in Section 4. The counterexample is Example 4.16.