7
$\begingroup$

I need to construct an example of two non-homeomorphic connected one-dimensional Hausdorff spaces that have continuous bijections between them in both sides. Spaces should have induced ("good") topology. I know that there does not exist an appropriate example among graphs with finite number of vertices and edges. I could not find the desired spaces here: Non-homeomorphic spaces that have continuous bijections between them and anywhere else. Please, help.

$\endgroup$
1
  • 1
    $\begingroup$ According to this math.stackexchange Q&A there are two nonhomeomorphic countable subsets of $\mathbb R$ with continuous bijections in each direction. I wonder if the cones over those spaces have all the properties you want. $\endgroup$
    – bof
    Mar 12, 2023 at 10:51

1 Answer 1

11
$\begingroup$

Here's such a construction, actually producing an infinite family of such spaces, actually planar and locally compact, pairwise in continuous bijection in both directions but pairwise non-homeomorphic.

Let $w:\mathbf{Z}\to\{0,1\}$ be a sequence. Let $\mathcal{W}$ be the set of such sequences.

For $w\in\mathcal{W}$, let $X_w$ be a planar set defined as the union of the line $\mathbf{R}\times\{0\}$ and, attached at each $(n,0)$, $n\in\mathbf{Z}$:

  • if $w(n)=1$: a little half-open interval, say $\{(n,t):0\le t<1\}$
  • if $w(n)=0$, a little topological circle, say the circle centered at $(n,1/4)$ of radius $1/4$.

illustration

For $w,w'\in\mathcal{W}$, say that $w'$ is a monotone reindexing of $w$ if $w'(n)=w(\varepsilon n+c)$ for some $c\in\mathbf{Z},\varepsilon\in\{1,-1\}$ and all $n\in\mathbf{Z}$.

Then for $w,w'\in\mathcal{W}$,

  • $X_w$ is homeomorphic to $X_{w'}$ if and only if $w'$ is a monotone reindexing of $w$;
  • $X_w$ has a continuous bijection onto $X_{w'}$ iff there is a monotone reindexing $w''$ of $w'$ such that $w\ge w''$.

Let $\mathcal{W}_0$ be the (infinite countable) set of $w\in\mathcal{W}$ such that

  • $w(n)=0$ for all $n<0$
  • $w(0)=1$
  • $w(n)=1$ for all $n\gg 1$.

Then from the above, it follows that for all $w,w'\in\mathcal{W}_0$, there is a continuous bijection $X_w\to X_{w'}$, while there they are homeomorphic if and only if $w=w'$.

(Possibly one can also find such a subset consisting of uncountably many sequences, but I haven't tried to solve this combinatorial exercise, since OP is just asking for a pair of spaces.)

$\endgroup$
0

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service and acknowledge you have read our privacy policy.

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