Is $f(x)=(2x-1)/3$ a homeomorphism on the $2$-adic integers $\Bbb Z_2$? And does it expand or contract?

My attempt

$\lvert(2x-1)/3-(2y-1)/3\rvert_2=\lvert(2x-2y)\rvert_2=\frac12\lvert x-y\rvert_2$ so I'm fine on it preserving the topology, it just shrinks stuff.

In particular, I'm asking about the fact it doesn't surject. It maps from $\Bbb Z_2\to\Bbb Z_2^\times$

Also, I'm confused because it shrinks the pair $x,y$ but $\Bbb Z_2\to\Bbb Z_2^\times$ looks like it's growing stuff because it would take a ball of radius $1/2$ around zero to a ball of radius one.

I'm probably making a schoolboy error, please point it out. 😓 Or is there some paradoxical property regarding shrinking balls and their elements moving further apart?

  • $\begingroup$ Do you mean the $2$-adic integers, as topological space? For context, see this question. $\endgroup$ Nov 16, 2022 at 10:57
  • 1
    $\begingroup$ I don't understand the problem. Doesn't this map the ball of radius one centered at $x=0$ to the ball of radius $1/2$ centered at $x=-1/3$? Just what you would expect from a shrinking map. Not that $2$-adic balls would have a unique center, but that's not the key issue here. $\endgroup$ Nov 16, 2022 at 11:13
  • $\begingroup$ thanks @JyrkiLahtonen although you failed to work out my error, that does clear it up. I was thinking of the ball of radius one around zero, but of course zero is not in the image of $f$. Just the main homeomorphism question left. $\endgroup$ Nov 16, 2022 at 11:42
  • 1
    $\begingroup$ You observed that $0$ is not in the image, so it isn't surjective, hence not a homeomorphism. $\endgroup$ Nov 16, 2022 at 11:46
  • 3
    $\begingroup$ @samerivertwice What is your definition of a homeomorphism? The usual one is a continuous bijective function with a continuous inverse. $\endgroup$ Nov 16, 2022 at 11:48

1 Answer 1


A homeomorphism needs to biject by definition so $f$ trivially isn't a homeomorphism.

And it contracts in the sense that the smallest ball in which one can contain the range is smaller than the smallest ball containing the domain.


You must log in to answer this question.

Not the answer you're looking for? Browse other questions tagged .