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.

Sign up
Here's how it works:
  1. Anybody can ask a question
  2. Anybody can answer
  3. The best answers are voted up and rise to the top

I want to try to represent the uncountable product of unit interval $[0,1]$ as a hausdorff compactification of non compact metrizable space $X$. I need a homeomorhism from $X$ to uncountable product. Could you give me any hint?


share|cite|improve this question
up vote 1 down vote accepted

For each $\alpha\in\Bbb R$ let $I_\alpha$ be a copy of $[0,1]$, and let $X=\prod_{\alpha\in\Bbb R}I_\alpha$. Let $Q=\Bbb Q\cap[0,1]$. For each finite $F\subseteq\Bbb Q$ and function $\varphi:F\to Q$ define $x(F,\varphi)\in X$ as follows. Let $F=\{q_1,\dots,q_n\}$, where $q_1<\ldots<q_n$; then for each $\alpha\in\Bbb R$

$$x(F,\varphi)_\alpha=\begin{cases} 0,&\text{if }\alpha<q_1\\ \varphi(q_k),&\text{if }q_k\le\alpha<q_{k+1}\text{ for some }k\in\{1,\dots,n-1\}\\ \varphi(q_k),&\text{if }\alpha\ge q_n\;. \end{cases}$$

Let $Y=\{x(F,\varphi):F\subseteq\Bbb Q\text{ is finite and }\varphi:F\to Q\}$; clearly $Y$ is countable.

  • Show that $Y$ is dense in $X$.

Now let $Z=\prod_{q\in\Bbb Q}I_q$; clearly $Z$ is metrizable. Let $\pi:X\to Z$ be the obvious projection map.

  • Show that $\pi[Y]$ is homeomorphic to $Y$ and hence that $Y$ is metrizable.
share|cite|improve this answer
Thanks so much. Is there any standard way to construct hausdorff compacticication of a Tychonoff space? – ege Oct 27 '12 at 5:20
@ege: The most common one is the Čech-Stone compactification. – Brian M. Scott Oct 27 '12 at 7:06

Your Answer


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.