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.

Let $X$ be a topological space. Let $Y$ be a subset of $X$. We denote by $X/Y$ the quotient space of $X$ identifying any two elements of $Y$.

Let $A$ and $B$ be two finite subsets of $\mathbb R$. Are $\mathbb R/A$ and $\mathbb R/B$ homeomorphic if and only if $|A| = |B|$?

share|improve this question
    
4  
Ignore the close. The other question is set difference not quotient. –  William Sep 10 '12 at 6:37

2 Answers 2

up vote 5 down vote accepted

Yes. Sufficiency is easy, and necessity follows from the observation that removing the identification point separates $\Bbb R/A$ into $|A|+1$ components.

Added: If $A=\{a_1,\dots,a_n\}$, where $a_1<\ldots<a_n$, $X=\Bbb R/A$, and $p\in X$ is the identification point, the components of $X\setminus\{p\}$ are the sets $(\leftarrow,a_1)$, $(a_n,\to)$, and $(a_k,a_{k+1})$ for $k=1,\dots,n-1$. $X$ itself looks like $n-1$ loops, corresponding to the components that are bounded intervals, and two loose ends, corresponding to the open rays.

share|improve this answer
    
Intuitively it seems correct, buy how do you prove it rigorously? –  Makoto Kato Sep 10 '12 at 6:57
    
@Makoto: For a point $x$ in a space $X$, let $c(x)$ be the number of components of $X\setminus\{x\}$; this is easily seen to be a topological invariant. For $x\in\Bbb R/A$, $c(x)=2$ unless $x$ is the identification point, in which case $c(x)=|A|+1$. Thus, the identification point of $\Bbb R/A$ can only go to that of $\Bbb R/B$, and then only if $|A|=|B|$. –  Brian M. Scott Sep 10 '12 at 7:02
    
I'm asking you to explain why $c(x) = |A| + 1$ if $x$ is the identification point. Regards, –  Makoto Kato Sep 10 '12 at 8:40

Another way of looking at Brian's analysis above is to calculate the the maximum number of points that can be removed so that the resulting space is still connected.

Let $A = \{ x_1 , \ldots , x_n \}$ with $x_1 < \ldots < x_n$, and let $*$ denote the point of $\mathbb{R} / A$ corresponding to the identification of the points of $A$.

Note that you can remove $n-1$ points from $\mathbb{R} / A$ and leave the space connected: for $i < n$ let $z_i = \frac{x_{i}+x_{i+1}}{2}$.

On the other hand, you cannot remove $n$ points and leave the resulting space connected. If $z_1 < \ldots , z_n$ are points removed, there are four cases:

  • If $z_j = *$ for some $j$, then clearly the space $( \mathbb{R} / A ) \setminus \{ z_1, \ldots , z_n \}$ is disconnected.
  • If $z_1 < x_1$, then $(-\infty,z_1)$ is a clopen subset of $( \mathbb{R} / A ) \setminus \{ z_1, \ldots , z_n \}$.
  • If $z_n > x_n$, then $(z_n , +\infty )$ is a clopen subset of $( \mathbb{R} / A ) \setminus \{ z_1, \ldots , z_n \}$.
  • Otherwise there must be an $i < n$ is such that $x_i < z_j < z_{j+1} < x_{i+1}$ for some $j$. It is easy to see that $(z_j,z_{j+1})$ is a clopen subset of $( \mathbb{R} / A ) \setminus \{ z_1, \ldots , z_n \}$.
share|improve this answer

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.