Professional Documents
Culture Documents
Let S
2
denote the unit sphere {(x, y, z) R
2
, x
2
+y
2
+z
2
= 1} and let N and S
denote respectively the points (0,0,1) and (0,0,-1). then there is a bijection C(or
R
2
) onto S
2
-N dened as follows Identifying C with the so called equatorial
P
P
N
plane z=0, we let represent the complex number z=x+iy ,ie, P is the point
(x,y,0) in R
3
. Join PN and let it meet S
2
in P
. P
lies in S
2
, we have
t
2
x
2
+t
2
y
2
+(1 t)
2
=1 ie t
2
[x
2
+y
2
+1]=2t
The selection t=0 corresponds to the point N. Thus coordinates of P
is given
by
P=(tx, ty, 1 t) =
_
2x
| z |
2
+1
,
2y
| z |
2
+1
,
| z |
2
1
| z |
2
+1
_
where t=
2
x
2
+ y
2
+ 1
=
2
| z |
2
+1
Next, we note that as P ,ie, if P represents z and |z|, the correspond-
ing point P
by
d
y
(z
1
, z
2
)=(z
1
z
2
) where z
1
,z
2
C
. C
First we assume z, z
with
coordinates (x
1
, x
2
, x
3
) and (x
1
, x
2
, x
3
).
Then d
(z, z
)
2
1
=(length of the line segment PP
)
2
=(x
1
x
1
)
2
+(x
2
x
2
)
2
+(x
3
x
3
)
2
=2 - 2(x
1
x
1
+x
2
x
2
+x
3
x
3
) since x
2
1
+x
2
2
+x
2
3
=1 and x
2
1
+x
2
2
+x
2
3
=1
Further x
1
=
z Re z
| z |
2
+1
=
z + z
| z |
2
+1
, x
2
=
z z
| z |
2
+1
etc.
x
1
x
1
+ x
2
x
2
+ x
3
x
3
=
(z + z)(z
+
z
) (z z)(z
) + (| z |
2
+1)(| z
|
2
+1)
(| z |
2
+1)(| z
|
2
+1)
=
| z |
2
| z
|
2
| z |
2
| z
|
2
+2( zz
+ z
) + 1
(| z |
2
+1)(| z
|
2
+1)
d
(z, z
)
2
= 2
_
1
| z |
2
| z
|
2
| z |
2
| z
|
2
+2( zz
+ z
) + 1
(| z |
2
+1)(| z
|
2
+1)
_
=
4 [| z |
2
+ | z
|
2
zz
]
(| z |
2
+1)(| z
|
2
+1)
=
4 | z z
|
2
(| z |
2
+1)(| z
|
2
+1)
d
(z, z
)=
2 | z z
|
_
(| z |
2
+1)(| z
|
2
+1)
Arguing similarly, d
(z, )
2
=(distance between the points (tx, ty, 1t) and (0,0,1))
2
in our earlier notation.
=t
2
x
2
+ t
2
y
2
+ t
2
=t
2
(x
2
+ y
2
+1)
=
4
x
2
+ y
2
+ 1
d
(z, )=
2
sqrt| z |
2
+1
Further as S
2
is compact, the topology induced on C
by the identication
via is also compact. In fact, S
2
can be identied as the one point compacti-
cation of C by the above process.
Further, the topology induced on C by d
behaves at .
B
d
(, r) = {z : d