12
$\begingroup$

So I asked this question a few weeks ago on MSE and I was suggested to repost it here.

Let $I$ be the unit interval. Suppose that $X$ and $Y$ are topological spaces such that $X\times I$ is homeomorphic to $Y\times I$. Does it follow that $X$ is homeomorphic to $Y$?

As pointed out in the comments in the other thread, there are counterexamples to analogous questions with $I$ replaced by the circle or the real line. Therefore I expect the answer to my question to be negative too. I would be also interested in what one can assume about $X$ and $Y$ to make the implication true.

$\endgroup$
2
  • $\begingroup$ @IgorBelegradek: Ah, you are right. I was mis-remembering that. I have now deleted the comment, since it wasn't useful. You should leave yours in because it points to correct answers. $\endgroup$ Jan 30, 2017 at 22:35
  • 6
    $\begingroup$ The answer in mathoverflow.net/questions/26385/… gives an example. $\endgroup$ Jan 30, 2017 at 22:39

2 Answers 2

25
$\begingroup$

There are indeed counterexamples to which Igor Belegradek gave reference. Here is another counterexample in the plane, perhaps the simplest there is: Let $X$ be an annulus with one arc attached to one of its boundary components and another arc attached to the other boundary component, and $Y$ - an annulus with two disjoint arcs attached to the same one of its boundary components.

enter image description here

$\endgroup$
7
  • 1
    $\begingroup$ Nice example and picture. And that works as well with $I$ replaced by the half-line. $\endgroup$
    – Joël
    Jan 31, 2017 at 3:30
  • 1
    $\begingroup$ Really? Then my intuition must be wrong. I'll think more. $\endgroup$
    – Joël
    Jan 31, 2017 at 16:20
  • 2
    $\begingroup$ @Joël, actually, spaces $\ X\times[0;\infty]\ $ and $\ Y\times[0;\infty]\ $ are not homeomorphic. I am confident that I've proved it--for Wlodek K's example as well as for mine, for both. It'd be awkward to present my proof in a comment (while the thread seems to be closed, and further answer are not allowed). $\endgroup$ Jan 31, 2017 at 20:13
  • 2
    $\begingroup$ Let me at least provide the first step (the easiest one but crucial): consider spaces $\ X'\ $ and $\ Y'\ $ obtained from $\ X\times[0;\infty)\ $ and $\ Y\times[0;\infty)\ $ respectively, by removing from them the points which are the centers of 3-dim balls contained in those Cartesian products. $\endgroup$ Jan 31, 2017 at 20:19
  • 2
    $\begingroup$ This showed up in the Saint Petersburg Topology olympiad, I wonder if this was the reference mathcenter.spb.ru/nikaan/olympiad/problemseng.pdf $\endgroup$ Nov 30, 2017 at 19:53
7
$\begingroup$

@WlodekKuperberg (perhaps) and I (for sure) were exposed to this kind of examples by Karol Borsuk, or possibly Karol Borsuk simply had an example like the one I will present below:

\begin{equation} D\ :=\ \{z\in\mathbb C: |z|\le 1\}\ \subseteq\ \mathbb C \ \end{equation} \begin{equation} A\,\ :=\,\ D\times\{0\}\ \cup\ \{1\ \ \ i\ \ -\!1\ \ -\!i\}\times [-1;0]\,\ \subseteq\,\ \mathbb C\times\mathbb R \end{equation} \begin{equation} X\,\ :=\,\ A\,\ \cup\,\ \{-1\ \ 1\}\times [0;1]\,\ \subseteq\,\ \mathbb C\times\mathbb R \end{equation} \begin{equation} Y\,\ :=\,\ A\,\ \cup\,\ \{i\ \ \ 1\}\times [0;1]\,\ \subseteq\,\ \mathbb C\times\mathbb R \end{equation}

Then $\ X\ $ and $\ Y\ $ are not homeomorphic while $\ X\times I\ $ and $\ Y\times I\ $ are.

REMARK One may check Karol Borsuk's series of publications about the uniqueness of topological decomposition into Cartesian products, and a paper by Hanna Patkowska about the uniqueness of the decomposition of ANRs into 1-dimensional ANRs.

A kind request (I'd greatly appreciate): Wlodek Kuperberg, please add a picture to my analytic description; let the pictures of $\ X\ $ and $\ Y\ $ be embedded into $\ \mathbb C;\ $ I mean homeomorphic copies of $\ X\ $ and $\ Y$.

enter image description here

ACKNOWLEDGEMENT I am grateful to Wlodek Kuperberg for providing such a very nice graphics (so cute and psychologically loaded; it's the first graphics illustration in my MO posts)). *** Włodek, congratulation on your another NICE answer (Gauss said, a few but ripe).

$\endgroup$
4
  • $\begingroup$ "$X$ and $Y$ are homeomorphic while $X\times I$ and $Y\times I$ are not"? $\endgroup$ Jan 31, 2017 at 8:07
  • $\begingroup$ The other way around (of course). I'll fix it in a moment. ... Yes, done. $\endgroup$ Jan 31, 2017 at 9:28
  • 2
    $\begingroup$ @WłodzimierzHolsztyński: Kind request granted with pleasure :) $\endgroup$ Jan 31, 2017 at 15:27
  • 2
    $\begingroup$ @WłodzimierzHolsztyński: And yes, Wlodek, I remember this kind of examples, and many other as well, from the good old years of studying at Warsaw University, where Karol Borsuk exposed us to the world of topology of a wonderful geometric flavor. He was a true Master, and the kindest gentleman among gentlemen. $\endgroup$ Jan 31, 2017 at 17:12

Not the answer you're looking for? Browse other questions tagged or ask your own question.