Theorem L
The map is a continuous,
one-one, onto,
and measure-preserving map on the 2-adic integers .
Proof L
This is essentially a consequence of Theorem B.
Use the fact that .
For any in ,
if ,
then , so
so that and
is
continuous.
If ,
then
for some n, so that
and is one-to-one.
To see that is onto, given one can find so that
since is a permutation.
Then .
Now forms a Cauchy sequence in the 2-adic
metric and is compact,
hence the limiting value of
satisfies .
Now is defined, and implies
that is continuous.