158 Ulf Persson Normat 3/2013
Another way of computing it is to use the Pell’s equation. We have that the
equation x
2
≠2y
2
=7has the solution (3, 1) think of it as z =3+1·
Ô
2. We can do
natural conjugation ¯z =3≠1
Ô
2 and then the norm z¯z becomes multiplicative. In
particular z
n
= x
n
+y
n
Ô
2 and 7
n
(z¯z)
n
= x
2
n
≠2y
2
n
where we easily can wrtite down
a recursive formula for (x
n
,y
n
). We then obtain (x
n
/y
n
)
2
= 2(7
n
). Recall that in
the real case we instead start with a solution (x, y)=(3, 2) to x
2
≠2y
2
=1getting
in the same way (x/y)
2
≠ 2=1/(y
2
) with (x
n
/y
n
) a good real approximation of
Ô
2. From this we see that the 7-adic presentation of
Ô
2 has nothing to do, with
the ’heptanary’ expansion of the number.
Z
2
and the Cantor set
The metric defines a topology on Z
p
. This is a totally discontinous topology (the
maps onto the finite subgroups Z/p
n
Z with discrete topology) which can be identi-
fied with a Cantor set. In the case of p =2this can be beautifully presented using
the standard Cantor set.
Recall that the Cantor set is constructed by succesively removing the open one-
third of each interval. More explicitly we get for each integer n an interval I
n
where
the binary representation of n gives an address. Thus I
13
= I
1101
denotes that we
consider the compact interval of length (1/3)
4
given by chosing the right, left,
right, right interval in the construction. Each point in the Cantor set is uniquely
determined by the intervals I
n
which containts it, and its address will be infinite
given by a sequence of 0’s and 1’s, hence we can associate a unique element of Z
2
to it. We may also equivalently describe the Cantor set as the real numbers inside
[0, 1] whose triadic expansion only contains 0’s and 2’s. Thus to each infinite binary
sequence a
0
,a
1
,a
2
... we associate the real numb e r
q
Œ
nØ0
2a
n
3
≠n
.Therewillbe
three types of elements in the Cantor set. Those which are isolated on the left, they
will correspond to left end points of the intervals I
n
, those which are isolated on the
right, they will correspond to the right end points, and the rest. The first ones are
characterized by only having a finite number of 2’s in their expansions, the second
ones by only having a finite number of 0’s (thus in these cases the expansions will
end with an infinite sequence of o’s or2’s). The rest will have an infinite number
of both 0’s and 2’s. In terms of 2-adic numbers the first will correspond to non-
negative integers, the second to negative integers, and the third to the non-integral
elements, of which the proper fractions will constitute an interesting subset.
The Cantor set is a so called self-similar set. If L denotes the left third, and
R the right third (in the previous terminology I
0
and I
1
respectively) we have a
homeomorphism ◊ : C = L fi R æ L given by x ‘æ
1
3
x with the inverse x ‘æ 3x.
Furthermore we have an isomorphism Ÿ : L æ R given by x ‘æ x +
2
3
with the
inverse x ‘æ x ≠
2
3
(or x +
2
3
(1) considered modulo the integers.).
We can now identify the elements of Z
2
with the elements of the Cantor set. It
can be instructive to indicate the first few constructions
0 0111 ... • 1 1111..
0 ≠ 2 • 1 ≠ 1