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 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?

thanks,

share|improve this question
add comment

1 Answer

up vote 0 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|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
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.