Take the 2-minute tour ×
Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. It's 100% free, no registration required.

I've read (in joy of cats) that every topological space is a regular quotient of a zero-dimensional hausdorff space. So far, I could not find a proof. Do you know one, or a reference?

share|improve this question
1  
For the record: the claim is on p. 215, Example 12.11. –  Zhen Lin Oct 9 '11 at 12:16
    
By a regular quotient you mean regular epimorphism, which is in the category Top quotient map? –  Martin Sleziak Oct 10 '11 at 10:16
    
Yes, this is the correct definition. –  Martin Brandenburg Oct 10 '11 at 19:15
add comment

1 Answer

up vote 3 down vote accepted

I will assume that by regular quotient you mean existence of regular epimorphism (in Top), i.e. of a quotient map. I hope I did not overlook something. (The proof seems to be relatively easy.)


Let us say that $X$ is a prime space if it has only one non-isolated point.

If $a\in X$, then the prime factor $X_a$ of $X$ at $a$ is the space which has the same neighborhoods of $a$ as $X$ and all points other than $a$ are isolated.

It is easy to see that:

  • Every topological space is a quotient of a sum of its prime factors.

  • A prime factor is either discrete or prime space.

Discrete spaces are obviously zero-dimensional, Hausdorff prime space are zero-dimensional and a sum of Hausdorff zero-dimensional spaces is zero-dimensional. Therefore it is sufficient to show that every prime space can be obtained as a quotient of a sum of Hausdorff zero-dimensional spaces.

Suppose that a prime space $X$ with the accumulation point $a$ is non-Hausdorff. Let $C$ be an intersection of all neighborhoods of $a$. Then the space $X$ can be obtained as a quotient of a sum of:

  • the space $X\setminus C\cup\{a\}$ (which is a prime Hausdorff space);

  • several copies of Sierpinski space, one for each point of $C\setminus \{a\}$.

Now our problem reduces to obtaining Sierpinski space as a quotient of a Hausdorff prime space, which is easy. (There are many possibilities, e.g. you can obtain is as a quotient of $\{0\}\cup\{\frac1n;n\in\mathbb N\}$ with the topology inherited from $\mathbb R$.)

I use the term prime factor and prime space in the same way as in the following papers. (Although I do not claim that Franklin and Rajagopalan were the first ones to use these notions.)

share|improve this answer
add comment

Your Answer

 
discard

By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.