# Two topological spaces which imbed in each other and are quotients of each other but not homeomorphic?

Does there exist two topological space $X$ and $Y$ such that $X$ and $Y$ imbed in each other, $X$ is a quotient of $Y$, $Y$ is quotient of $X$, but $X$ and $Y$ are not homeomorphic?

The spaces $[0,1]$ and $(0,1)$ imbed in each other and are not homeomorphic. Also, $[0,1]$ is a quotient of $(0,1)$, but $(0,1)$ is not a quotient of $[0,1]$.

The spaces $[0,1]$ and $S^1$ are quotients of each other and are not homeomorphic. Also, $[0,1]$ imbeds in $S^1$, but $S^1$ does not imbed in $[0,1]$.

I'm wondering if there are two topological spaces which satisfy these properties. I cannot find a pair of examples, but I can't prove the impossibility without some nontrivial relationship between the imbeddings/quotients.

Any help in proving the impossibility or demonstrating a pair of examples is appreciated.

• Maybe $D^2$ and $D^2\vee S^1$ (wedge at the points $(1,0)$ in either of them). Oct 19, 2014 at 22:26
• What about $X=\{z\in\mathbb C:|z+1|\le1\}\cup\{z\in\mathbb C:|z-1|\le1$ and $Y=\{z\in\mathbb C:|z|\le2\}$?
– bof
Oct 19, 2014 at 22:26
• @StefanHamcke I don't see how $D^2\vee S^1$ is a quotient of $D^2$
– user123641
Oct 19, 2014 at 22:30
• I think $\{z\in\mathbb C: |z+1/2|\le1/2\}\cup[0,1]\times\{0\}$ is a retract of $D^2$. Then you can wrap the interval around the circle. Oct 19, 2014 at 22:34
• What is nice about these spaces is that they are not even homotopy equivalent :-) Oct 19, 2014 at 22:39

The spaces $X=\{z\in\mathbb C:|z+1|\le1\}\cup\{z\in\mathbb C:|z-1|\le1\}$ and $Y=\{z\in\mathbb C:|z|\le2\}$ are embeddable in each other and are quotients of each other, but are not homeomorphic.