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.

A remainder of a Tychonoff space is a $bX\setminus X$, where $bX$ is a compactification of $X$. Does every separable metrizable space has a separable metrizable remainder?

thanks,

share|improve this question
1  
Do you mean: Does every separable, metrizable space have at least one compactification with a separable, metrizable remainder? (Use \setminus to get the set difference symbol.) –  Brian M. Scott Oct 22 '12 at 2:22
    
Crossposted: mathoverflow.net/questions/110291/… –  Qiaochu Yuan Oct 22 '12 at 2:35
add comment

1 Answer

up vote 3 down vote accepted

The answer is yes. Let $D=\{x_n:n\in\omega\}$ be a countable dense subset of $X$, and let $d$ be a compatible metrix bounded by $1$. Define

$$\varphi:X\to[0,1]^\omega:x\mapsto\left\langle d(x,x_n):n\in\omega\right\rangle\;;$$

it’s not hard to check that $\varphi$ is a homeomorphism of $X$ onto $\varphi[X]$. Now let $bX=\operatorname{cl}\varphi[X]$, where the closure is taken in $[0,1]^\omega$; clearly this is a compactification of $X$, and since $[0,1]^\omega$ is a separable metrizable space, so is $bX\setminus X$.

Added: The space $[0,1]^\omega$ is known as the Hilbert cube. It is universal for separable metrizable spaces or, equivalently, for second countable $T_3$-spaces.

share|improve this answer
    
May be clear, but how can we say since $bX$ is separable metrizable, so is $bX\X$. Is it just true for Hilbert Cube? –  ege Oct 22 '12 at 5:45
    
metrizability is hereditary but separability is not. –  ege Oct 22 '12 at 6:10
1  
@ege: A metrizable space is separable iff it is second countable, and second countability is hereditary. –  Emil Jeřábek Oct 22 '12 at 15:57
    
@Emil: Thanks for answering: I was a bit slow getting back to this. –  Brian M. Scott Oct 22 '12 at 18:07
    
thanks so much. –  ege Oct 23 '12 at 1:01
show 9 more comments

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.