I hope this doesn't turn out to be a silly question.

There are lots of nice examples of continuous bijections $X\to Y$ between topological spaces that are not homeomorphisms. But in the examples I know, either $X$ and $Y$ are not homeomorphic to one another, or they are (homeomorphic) disconnected spaces.

My Question: Is there a connected topological space $X$ and a continuous bijection $X\to X$ that is not a homeomorphism?

For the record, my example of a continuous bijection $X\to X$ that is not a homeomorphism is the following. Roughly, the idea is to find an ordered family of topologies $\tau_i$ ( $i\in \mathbb Z$) on a set $S$ and use the shift map to create a continuous bijection from $\coprod_{i\in \mathbb Z} (S, \tau_i)$ to itself. Let $S = \mathbb{Z} \coprod \mathbb Z$. The topology $\tau_i$ is as follows: if $i<0$, then the left-hand copy of $\mathbb Z$ is topologized as the disjoint union of the discrete topology on $[-n, n]$ and the indiscrete topology on its complement, while the right-hand copy of $\mathbb Z$ is indiscrete. The space $(S, \tau_0)$ is then indiscrete. For $i>0$, the left-hand copy of $\mathbb Z$ is indiscrete, while the right-hand copy is the disjoint union of the indiscrete topology on $[-n, n]$ with the discrete topology on its complement. Now the map $\coprod_{i\in \mathbb Z} (S, \tau_i)\to \coprod_{i\in \mathbb Z} (S, \tau_i)$ sending $(S, \tau_i) \to (S, \tau_{i+1})$ by the identity map of $S$ is a continuous bijection, but not a homeomorphism.

  • $\begingroup$ There is a thread on Mathoverflow devoted to a similar question: mathoverflow.net/questions/30661/… $\endgroup$ – Andrey Rekalo Feb 8 '11 at 1:15
  • 1
    $\begingroup$ For every $(X,f)$, $X$ topological space and $f$ bijective continuous non-open self map of $X$, we can obtain a another connected example taking the cone. So all non-connected examples (see e.g. math.stackexchange.com/questions/1702979) here can be used to provide examples here . $\endgroup$ – YCor Jun 7 '17 at 8:27

Here's a nice geometric example. Let $X\subset\mathbb{R}^2$ be the union of the $x$-axis, the line segments $\{n\}\times[0,2\pi)$ for $n\in \{\ldots,-3,-2,-1,0\}$, and circles in the upper half plane of radius $1/3$ tangent to the $x$-axis at the points $(1,0),(2,0),\ldots$.

enter image description here

Note that $X$ is connected.

Define a map $f\colon X\to X$ by $$ f(x,y) \;=\; \begin{cases}(x+1,y) & \text{if }x\ne 0 \\ \left(1+\frac{\sin y}{3},\frac{1-\cos y}{3}\right) & \text{if }x=0\end{cases}. $$ That is, $f$ translates most points to the right by $1$, and maps the line segment $\{0\}\times[0,2\pi)$ onto the circle that's tangent to the $x$-axis at the point $(1,0)$. Then $f$ is continuous and bijective, but is not a homeomorphism.

| cite | improve this answer | |
  • 6
    $\begingroup$ Very nice example! $\endgroup$ – Qiaochu Yuan Feb 8 '11 at 1:36
  • 1
    $\begingroup$ That's great! It builds very nicely on the example of the continuous bijection from a half-open interval to the circle. Thanks, Jim! $\endgroup$ – Dan Ramras Feb 8 '11 at 1:40
  • 1
    $\begingroup$ Why is f^{-1} not continuous? I'm pretty sure it has to do with the circle being mapped to the line segment, but I can't figure it out. $\endgroup$ – Physics Enthusiast Jan 25 '18 at 12:20

Zipping up halfway gives a continuous bijection from your pants with the fly down to your pants with the fly at half mast and this is not a homeomorphism. However, the two spaces are homeomorphic no?


One can well-imagine this phenomena persists for various other "manifolds with tears" - even in higher dimensions.

| cite | improve this answer | |
  • 4
    $\begingroup$ I think this is a great example. I don't know why it only has one upvote. $\endgroup$ – Cheerful Parsnip Mar 31 '11 at 13:43
  • $\begingroup$ I did not understand your example Mike D: how can I see that this function is continuous ( geometrically clearly) $\endgroup$ – Daniel Aug 31 '11 at 2:37

Yes (to your body question, not your title question; it is confusing when people do this). Take $X = \mathbb{Z}$ with the topology generated by an open set containing $n$ for every positive integer $n$. (This space is connected because the smallest open set containing a non-positive integer is the entire space.) Consider the continuous bijection given by sending $x$ to $x - 1$.

Here is what might be a Hausdorff example: take $X = \mathbb{R}$ with the topology generated by the usual topology together with the open set $(0, \infty) \cap \mathbb{Q}$, and again consider the continuous bijection $x \to x-1$. Unfortunately I am not sure if $X$ is connected.

The most general situation I know where a continuous bijection $X \to Y$ is automatically a homeomorphism is if $X$ is compact and $Y$ is Hausdorff. This is a nice exercise and extremely useful.

| cite | improve this answer | |
  • $\begingroup$ The closure of every negative integer is the non-negative integers? $\endgroup$ – Soarer Feb 8 '11 at 1:21
  • $\begingroup$ @Soarer: whoops. Fixed. $\endgroup$ – Qiaochu Yuan Feb 8 '11 at 1:29
  • $\begingroup$ Thanks for the example. I accepted Jim's answer since it is so geometric. $\endgroup$ – Dan Ramras Feb 8 '11 at 1:43
  • $\begingroup$ Oh, and thanks for pointing out that I inverted the title question... I'll remember to watch for that in the future (at this point, it's probably least confusing to leave it as is). $\endgroup$ – Dan Ramras Feb 8 '11 at 1:46
  • 3
    $\begingroup$ And as a 3rd and final comment, I'll mention that my favorite version of the exercise you state is: a continuous injection from a compact space to a Hausdorff space is a homeomorphism so long as its image is dense. This comes up when working with profinite groups. $\endgroup$ – Dan Ramras Feb 8 '11 at 1:49

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

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