HYPERBOLIC GEOMETRY AND COMPLEX ANALYSIS THESIS …docs.neu.edu.tr/library/6342778064.pdf · ÖZET...
-
Upload
truonghuong -
Category
Documents
-
view
233 -
download
0
Transcript of HYPERBOLIC GEOMETRY AND COMPLEX ANALYSIS THESIS …docs.neu.edu.tr/library/6342778064.pdf · ÖZET...
HYPERBOLIC GEOMETRY AND COMPLEX ANALYSIS
THESIS SUBMITTED TO THE GRADUATE SCHOOL OF NATURAL AND APPLIED
SCIENCES
OF
NEAR EAST UNIVERSITY
by
Bilgen KAYMAKAMZADE
In Partial Fulfillment of the Requirements for the Degree of
Master of Science
in
Mathematics
NICOSIA 2014
Bilgen Kaymakamzade: HYPERBOLIC GEOMETRY AND
COMPLEX ANALYSIS
Approval of Director of Graduate School of
Applied Sciences
Prof. Dr. İlkay SALİHOĞLU
We certify this thesis is satisfactory for the award of the degree of Masters of Science
in Mathematics
Examining Committee in Charge:
Prof. Dr. İ. Kaya Özkın, Committee Chairman And Supervisor
Department of Mathematics
Near East University
Assoc. Prof. Dr. Harun Karslı, Department of Mathematics, Bolu
Abant İzzet Baysal University
Assoc. Prof. Dr. Evren Hınçal, Department of Mathematics
Near East University
I hereby declare that all information in this document has been obtained and pre-
sented in accordance with academic rules and ethical conduct. I also declare that,
as required by these rules and conduct, I have fully cited and referenced all material
and results that are not orginal to this work.
Name, Last name:
Signature:
Date:
1
ABSTRACT
Hyperbolic geometry, which has a large place in mathematics, consists dynamical
systems, chaos theory, number theory and many more mathematics and physics area
beside geometry. This geometry dating back to 19.CC, was found during the studies
of understanding the axiom which is known as parallel axiom and the fifth one of
the axioms published in 300 BC by Euclid. In hyperbolic geometry althought the
first four postulate hold, the fifth postulate of Euclid is changed as a, a hyperbolic
line and a point not on the given line, there are at least two lines parallel to the
given line.The convenient meta- definition for geometry is given by Felix Clain
(1849-1929) in his Erlangen programme which is published in 1872. It is ‘given a set
with some structure and a group of transformations that preserve that structure,
geometry is the study of objects that are invariant under these transformations.’
For two dimensional Euclidean geometry, the set is the plane R2 equipped with the
Euclidean distance function together with a group of transformations that preserves the
distance between points. In this thesis, the defination of hyperbolic geometry given
like Euclidean geometry; it will be defined a notation of distance on a set and
study the transformations which preserve this distance. During this study will be
studied with the upper half plane model and Poancare madel with the complex
valuable functions.
Keyword: Euclidean geometry, Hyperbolic geometry, Mobius transformations, upper
half plane and Poancare model.
i
ÖZET
Hiperbolik geometri, matematikte genis yer kaplayan konulardan biri olup, geometrinin
yanı sıra Dinamik Sistemler, Kaos Teorisi, Sayılar Teorisi ve daha bir cok matematik
ve fizik alanlarını kapsamaktadır. 19. yuzyılda ortaya cıkan bu geometri, Ö k l i d in
Milattan once 300 yılında yayınladıgı aksiyomların besincisi olan ve gunumuzde par-
alellik aksiomu olarak bilinen bu aksiomu anlamaya yonelik yapılan calısmalarda bu-
lunmustur. Hiperbolik geometride, O klid geometrisindeki ilk dort aksiom saglanmasına
ragmen, besinci aksiom; verilen bir hiperbolik dogru ve bu hiperbolik dogru uzerinde
olmayan bir nokta, bu noktadan gecen ve verilen hiperbolik dogruya paralel olan en az
iki dogru vardır, olarak degisir.
Geometriye, uygun bir tanımı 1892 yılında Felix Klein, yayınladıgı Erlange pro-
gramında soyle tanımlamıstır;
‘Geometri, bazı yapılarla verilen bir kumede, yapıları koruyan donusum grupları, ve
bu donusumler altında degismeyen nesnelerlein incelenmesidir.’ iki boyutlu O klid ge-
ometrisi, O klid uzaklık fonksiyonu ile birlikte noktalar arasındaki mesafeleri koruyan
grup donusumu ile donatılmıs R2 duzlemidir. Bu tezde, hiperbolik geometri de ayni
yolla tanımlanarak bir kume uzerinde uzklık kavramı tanımlayarak, bu uzaklıkları
koruyan donusumlerle calısılacaktır. Bu calısma sırasında hiperbolik geometrinin modellerinden kompleks degerli fonksiyonlar ve
ve Poancare modeli ile calısılacaktır.
uzerinden ust yarı duzlem modeli
ii
ACKNOWLEDGEMENTS
I would like to gratefully and sincerely thank to my supervisor Prof. Dr. I. Kaya ÖZKIN for his guidance, understanding and patience. He gave me to golden oppor- tunity to this project and he has been a tremendous mentor for me.
I would like to heartly thank Assoc. Prof. Dr. Evren HINC AL and Assoc. Prof. Dr
Harun KARSLI for thir great support and help. They always belived me and feeld
me motived and encouranged every time. .
Last but not least, i would like express my sincere thanks to my mother, father and
sister. They always kindness and support to me during this stressful study.
Without the support of all these people, this study would not have been completed. It
is to them that I owe my deepest gratitude.
iii
TABLE OF CONTENTS ABSTRACT ................................................................................................................ ….....i
ÖZET ........................................................................................................................... …....ii
ACKNOWLEDGEMENTS ....................................................................................... ...... iii
TABLE OF CONTENTS ........................................................................................... .......iv
CHAPTER 1: INTRODUCTION
1.1. Presentation ........................................................................................................... ........1
1.2. Background Of Hyperbolic Geometry .................................................................... ......1
1.2.1. Five postulate of Euclidean geometry ......................................................... ........2
1.3. Comparison Between Euclidean And Hyperbolic Geometry .............................. ........4
1.4. Definations Of Terms ............................................................................................ ........5
CHAPTER 2: COMPLEX NUMBERS
2.1. Polar Representation .............................................................................................. ....11
2.2. Stereographic Projection ........................................................................................ ....12
CHAPTER 3: CONFORMAL MAPPING AND MOBİUS TRANSFORMATIONS
3.1. Conformal Mapping ................................................................................................ ....17
3.2. Linear Fractional Transformations .......................................................................... ....19
3.3. Matrix Representation ............................................................................................. ....25
3.4. Cross- Ratio ............................................................................................................ ....26
3.5. Outomorphism Of The Unit Disk And Upper Half Plane ....................................... ....32
3.5.1. Outomorphism of unit disk D ....................................................................... ....32
3.5.2.Outomorphism of upper half plane H .......................................................... ......35
iv
CHAPTER 4: HYPERBOLIC GEOMETRY
4.1. Upper Half Plane Of Hyperbolic Geometry ............................................................ ....37
4.2.Length And Distance In Hyperbolic Geometry ....................................................... ....40
4.2.1. Path integrals .................................................................................................. ....40
4.2.2. Hyperbolic length and distance .................................................................... ......41
4.2.3. Metric spaces .................................................................................................. ....44
4.2.4. Isometries of H ............................................................................................. ......47
4.2.5. More formula for distance .............................................................................. ....51
CHAPTER5: THE POANCARÉ DISC MODEL ........................................................ ..54
CHAPTER6: CONCLUSION ..................................................................................... ....59
REFERENCES ............................................................................................................. ....60
v
CHAPTER 1
INTRODUCTION TO THE STUDY
1.1 Overview
In this chapter the background of the Hyperbolic Geometry will be presented.
Hyperbolic Geometry has been put forward by different mathematicians. Hyperbolic
Geometry originates from Euclidean Geometry. For every line and for every point that
does not lie on, there exists a unique line through the point that is parallel to the line.
(Greenberg, 1993). All studies and reserches focuses on the same postulate and proves
the same result. However this postulate is not true on Hyperbolic geometry. In this
study this will be the main focus area.
1.2 Background of the Hyperbolic Geometry
Hyperbolic Geometry was discovered in the first half of the nineteenth century in the
midst of attempt to understand the fifth postulate of Euclidean geometry. Hyperbolic
geometry is the one of the non-Euclidean geometry that is the prototype of the study
of geometry on space of constant negative curvature.
Hyperbolic geometry is connected the many other parts of mathematics. Like, complex
analysis, topology, differential geometry, dynamical systems, number theory, geomet-
ric group theory, Riemann surface, etc.
In this thesis it will be studied in the upper half plane (also known as the Lobachevskiı
plane) H = {z ∈ C : Imz > 0} with the metric ds = |dz|Imz and the unit disc (Poincare disk)
D = {z ∈ C : |z| < 1} with the metric ds =2|dz|
(1−|z|2. However, to construct the hyperbolic
geometry there are some other models, like, Jemisphere, Klein and Loid (hyperboloid).
In order to define and give the background of Hyperbolic Geometry, It is better to start
with given Euclidean postulates.
1
1.2.1 Five postulate of Euclidean geometry
Euclidean geometry is study of geometry in R2 or more generally Rn. There are many
ways to constructing Euclidean geometry, one of them Klein’s Erlanges program (Klein,
1878); its give the definition of Euclidean geometry in term of Euclidean plane, equipped
with the Euclidean distance function and the set of isometries that preserve the Eu-
clidean distance. The alternatively defination can be given with Greek mathematician
Euclid (c.325BC- c.265BC). In the first of his thirteen volume set ‘ The Elements’,
Euclid systematically developed Euclidean geometry. In his first book contains twenty
three definitions (point, line etc.), five common notions, some proposition and follow-
ing five postulates (Euclid, 1926);
(i) a straight line may be drown from any point to any other point,
(ii) a finite straight line may be extended continously in a straight line,
(iii) a circle may be drown with any center and any radius,
(iv) all right angles are equal,
(v) if a straight line falling on two straight lines makes the interior angles on the
same side less than two right- angles, then the two straight lines, if extended indefi-
nitely, meet on the side on which the angles are less than two right-angles.
It is easy to understand the first four postulates but the fifth postulate is more complex
and not natural. Therefore the equivalent explanation for the fifth postulate which is
given below and it is known as the parallel postulate;
Given any infinite straight line and a point not on that line, there exists a unique infinite
straight line through that point and parallel to the given line.
For over two thousand years there are most of studies the fifth postulate. During this
period most of plane geometry can be devoloped without using fifth postulate and it
is not used until proposition 29 in Euclid’s first book and so it is suggested that the
parallel postulate is not necessary. In the same period most of mathematcians attempt
to prove that the fifth postulate is not independent from the first four postulates and it
can be obtained from the others first four simplier postulates. In fact,all studies turned
out to be equivalent to the fifth postulate:
2
Proclus (412- 485), Suppose L is a line and P is a point not on L. Then there exist a
unique line L′ through P and parallel to (i.e. not meeting) L.
The Englishman John Wallis (1616,1703), he thought he had deduce the fifth postulate
but he actually showed, there exist similar triangles of different sizes.
Girolamo Saccheri (1667-1733) who was italian mathematician, considered quadri-
laterals with two base angles equal to right angle and with vertical sides having equal
length and deduced concequences from the (non euclidean) possibility that the remain-
ing two angles were not right angles.
Johann Heinrich Lambert (1728-1777) proceeded in a similar fashion and wrote an
extensive work on the subject.
Kastener (1719-1800) studied with his student Klugel (1739-1812), they considered
approximately thirty proof attempts for the parallel postulate.
In the nineteenth century, the decisive progress came when mathematicians leave the
studies to find the contradiction the fifth postulate, and they found that,
“Given a line and a point on it, there is more then one line going through the given
point that is parallel to the given line.”
This postulate constucts the hyperbolic geometry.
Carl Friedrich Gauss (1777-1855), Nikolaı Ivanovich Lobachevskiı (1792- 1856) and
Janos Bolyai (1802- 1860) independently developed a consistent geometry which the
parallel postulate fails but the rest of Euclidean’s postulates remain true.
Gauss prove that the fifth postulate is independent from the other four postulates. In-
deed, he discovery that geometry for which the first four postulates hold but the par-
allel postulate fail. And this geometry is different from the Euclidean geometry. For
instance as a known fact the sum of the three sides of triangle is 180 degrees in the
Euclidean geometry but in 1824 Gauss wrote an assumtion that the sum of the sides is
less then 180 degrees. And this geometry called Non-Euclidean geometry. Gauss did
not publish any of his findings.
Later hyperbolic geometry rediscoverd independently by Bolyai who interest come
from his father and he published his discovery as a 26 pages Appendix in his father’s
3
book in 1831 (Bolyai and Bolyai, 1913) . The third one is Lobachevskiı. He did
more extensive studies. He developed a non- Euclidean trigonometry that paralleled
the trigonometric formulas of Euclidean geometry and publish his findings in 1829. In
1837 he suggested that curved surface of constant negative curvature represent non-
Euclidean geometry.
In 1868 Eugenio Beltrami, established one can constract the hyperbolic plane using
standart mathematics and Euclidean geometry.
Klein (1872), study of properties of a set invariant under a transformation group.
Poincare (1854- 1912), in 1881 put forward the isometries or distance preserving bi-
jections of upper half plane model and unit disc model are just the linear fractional
transformations or Mobius maps which preserve D or H respectively. This makes it
particularly easy to study and compute with such maps. It turns out that they are also
the set of all conformal automorphisms of D or H.
1.3 Comparison Between Euclidean And Hyperbolic Geometry
Euclidean Hyperbolic
Basic givens points, lines, planes points, lines, planes
Model Euclidean plane D or H
Lines Euclidean lines arcs orthogonal to boundary
Axiom 1any two distace point
lie on a unique line
any two distance point
lie on a unique line
Axiom 2
throught any point
P < L there is a unique
parallel line to L
throught any point
p < L there are infinitely
many parallel to L
Angle sum of
triangleπ < π
Circumferance
of circle2πr 2π sinh r
Area of circle πr2 4π sinh2 r2
4
1.4 Definitions of Terms
H : Upper half plane
D : Unit disc
D : Closure of unit disc .
C : Complex plane
C : Extended complex plane.
Aut(C) : Conformal Mobius group
Aut(H) :
Group of conformal Mobius
transformation which
transformation H to H.
5
CHAPTER 2
COMPLEX NUMBERS
The aim of this chaper is give the some backround of complex analysis. There will be
given some basic properties and described the polar form of complex numbers. And
the end of this chapter there will be defined the Stereographic projection.
Complex numbers can be defined as a ordered pairs (x, y) of real numbers, and there
is a one to one correspondence between complex numbers and ordered pairs in the
Euclidean plane R2. The real numbers correspond to the x-axis and the pure imaginary
numbers which of form iy are corresponds to the y-axis in the Euclidean plane. The
y-axis is reffered to as the imaginart axis.
The sum and product of two complex numbers z1 = (x1, y1) and z2 = (x2, y2) are defined
as follows;
z1 + z2 = (x1, y1) + (x2, y2) = (x1 + x2, y1 + y2) (2.1)
z1.z2 = (x1, y1). (x2, y2) = (x1x2 − y1y2, x1y2 − x2y1) (2.2)
Any complex number z =(x, y) can be written as
z = (x, 0) + (0, y)
acording to (2.2) , it is easy to see that
(0, 1)(y, 0) = (0, y)
6
and if defined i := (0, 1) then it will be obtained,
z = (x, y) = x + iy.
Also the square of i is;
i2 = (0, 1)(0, 1) = (−1, 0) = −1.
In conclusion it can be said that, the complex numbers can be expression of the form,
z = x + iy (2.3)
where x and y are real numbers.
Now, some basic of algebraic properties for addition and multiplication can be given,
1) z1 + z2 = z2 + z1 and z1z2 = z2z1 (commutative laws)
2) (z1 + z2) + z3 = z1 + (z2 + z3) , (z1z2) z3 = z1 (z2z3) (associative laws)
3) z1 (z2 + z3) = z1z2 + z1z3 (distributive law)
Complex numbers behave as same with the real numbers with respect to algebraic
operations. The additive identity 0 = (0, 0) and multiplicative identity 1 = (1, 0) carry
over the entire complex plane from the real numbers. That is,
z + 0 = (x, y) + (0, 0) = (x, y) = z
and
z.1 = (x, y) (1, 0) = (x, y) = z,
are satisfied for every complex number z = (x, y) = x + iy.
In the complex number system there is a unique additive inverse −z = (−x,−y) =
−x − iy for any complex number z. And additive inverse −z satisfy the equation z +
(−z) = 0. Similarly, there is a unique multiplicative invrese z−1 which is satisfy
z.z−1 = 1.
7
Definition 2.1 (Modulus)
The modulus or absolute value of the complex number z = x + iy is a nonegative
real number denoted by the relation
|z| =√
x2 + y2.
The number |z| is the distance between the orgin and the point z = (x, y) .
From (2.3) , z2 = (Rez)2 + (Imz)2 , then Rez ≤ |Rez| ≤ |z| and Imz ≤ |Imz| ≤ |z| are easily
obtained.
Definition 2.2 (Complex conjugate)
The complex conjugate of a complex number z = x + iy is defined to be z = x − iy.
Geometrically is the reflection of z in the x-axis.
Let z = x + iy and the conjugate of z is z = x − iy, then their addition,
z + z = 2x
can be defined the real part of z as a,
x =z + z
2. (2.4)
8
If thinking the subtruction of z and z, it will be obtained the imaginary part of z,
z − z = 2iy
then
y =z − z
2i. (2.5)
Some properties of compex conjugation are;
z = z
z1 + z2 = z1 + z2
z1z2 = z1 z2
|z| = |z|
|z|2 = z.z.
After these properties it can be given the triangle inequalitiy which is the important
appication of these properties.
Theorem 2.3 (Triangle inequalitiy)
If z1 and z2 are arbitrary complex numbers, then
|z1 + z2| ≤ |z1| + |z2| .
Proof.
|z1 + z2|2 = (z1 + z2) (z1 + z2)
= z1z1 + z1z2 + z1z2 + z2z2
= |z1|2 + z1z2 + z1z2 + |z2|
2
= |z1|2 + 2Re (z1z2) + |z2|
2
≤ |z1|2 + 2 |z1| |z2| + |z2|
2
= (|z1| + |z2|)2
9
hence,
|z1 + z2|2≤ (|z1| + |z2|)2
in conclusion;
|z1 + z2| ≤ |z1| + |z2|
is hold. �
And the other usefull identity is obtained by means of the trianle inequality. Taking
any point z ∈ C, it can be written by
z = z − w + w
if taking modulus both sides, and apply the triangle inequality
|z| = |z − w + w|
≤ |z − w| + |z|
subtructing |w| from both sides of inequality then,
|z| − |w| ≤ |z − w| , (2.6)
with the same idea, if z and w change their place,
|w| − |z| ≤ |w − z| (2.7)
since,
|w − z| = |−(z − w)| = |z − w|
then (2.7),
|z| − |w| ≥ − |z − w| (2.8)
10
and from (2.6) and (2.8) ,
||z| − |w|| ≤ |z − w| .
2.1 Polar Representation
Any point z = (x, y) in the complex plane can be described by polar coordinates r and
θ, where r is the modulus of z and θ is the angle between the vector from orgin to the
point z and x-axis And the cartesian coordinates x and y can be recovered from the
polar coordinates r , θ by
x = r cos θ
y = r sin θ
then the number z can be written in polar form as
z = r (cos θ + i sin θ) .
Definition 2.4 (Argument)
The argument of z is defined by angle θ and it is written
arg z = θ.
Thus arg z is multivalud function, defined for z , 0.
The principal vale of arg z, denoted by Argz is that unique θ such that -π < θ ≤ π. The
11
vales of arg z are obtained from Argz by adding integral multiples of 2π, such that
arg z = {Argz + 2πn : n = 0,∓1,±2,±3, ...} .
2.2 Stereographic Projection
In order to understand the relationship among the hyperbolic models it will be used
stereographic projection. In this section,it will be developed some important properties
of stereographic projection.
To construct the streographic projection, let denote S with the unit sphere x2+y2+z2 = 1
in R3 and let N = (0, 0, 1) denote the ”North Pole” of S .Take a point P (X,Y,Z) ∈ S ,
other then N, then the line connecting N and P intersects the XY- plane (which is
identify the complex plane C) at a point z(x, y, 0). (as it can see following figure)
The line which is pass through N, P and z can be considered with,
P − z = t(N − z), where t ∈ R,
and so there exist,
(X,Y,Z) = t (0, 0, 1) + (1 − t) (x, y, 0)
then,
12
X = (1 − t) x
Y = (1 − t) y
Z = t
. (2.9)
Since (X,Y,Z) on the unit sphere S , there fore,
(1 − t)2 x2 + (1 − t)2 y2 + t2 = 1
so that,
(1 − t)2|z|2 = 1 − t2
from the assumtion, P is diferent point from the N(0, 0, 1),so t , 1, then,
t =|z|2 − 1|z|2 + 1
.
using this and (2.4) , the equation (2.9) yiels,
X = 2
|z|2+1x = z+z
|z|2+1
Y = 2|z|2+1
y = z−z|z|2+1
Z = |z|2−1|z|2+1
(2.10)
conversly, it is easily obtained that,
x = X
1−Z
y = Y1−Z
. (2.11)
Now, it can be given the defination of streographic projection.
(Stereographic projection)
Let S denote the unit sphere x2 + y2 + z2 = 1 in R3 and let N = (0, 0, 1) denote the
”North Pole” of S . Given a point P ∈ S , other then N, then the line connecting N
and P intersects the XY- plane (which is considered as the z- plane) at a point z. The
13
stereographic pro jection is the map
π : C→ S − {N} : z→ P
conversely,
π−1 : S − {N} → C : P→ z.
Note that, under stereographic projection, points on the unit circle |z| = 1 (in the z-
plane) remain fixed (that is z=Z), forming the equator. Point outside the unit circle
|z| > 1 project to points in the northern hemisphere, while those inside the unit circle
|z| < 1 project to southern hemisphere. In particular the orgin of the z-plane projects to
the south pole of the Reimann Sphere.
Theorem 2.5 Suppose T ⊂ C∞. Then the corresponding image of T on the Rimann
sphere S is
(a) a circle in S not containing image (0, 0, 1), if T is a circle;
(b) a circle in S passes through (0, 0, 1) if T is a line.
Proof. First start the proof with considering the general equation of a circle in the
plane,
T ={(x, y) : A
(x2 + y2
)+ Bx + Cy + D = 0
}(2.12)
the image of T under stereographic projection with using equation (2.11) ,
A1 + Z1 − Z
+ BX
1 − Z+ C
Y1 − Z
+ D = 0
then,
(A − D) Z + BX + XY + (A + D) = 0 (2.13)
which is the equation of a plane in the space. Since the intersection of any plane and
sphere is a circle. And the point N = (0, 0, 1) is not satisfiy the equation (2.13).
Thus, the image of any circle in C∞ under streographic projection is a circle not contain
14
the point (0, 0, 1) .
Assume that, A = 0 in the equation (2.12) then T will be a line C∞. And the image of
line will be
BX + XY − DZ + D = 0
the intersection of this equation with sphere S is a circle wihich is passes through the
N = (0, 0, 1) .
Hence, if T is a line then the image of T is a circle in S passes through (0, 0, 1) . �
The converse of above theorem takes the above form;
Theorem 2.6 If Ts is acircle on the Riemann sphere S and T is its stereographic pro-
jection on C∞, then
(a) T is a circle if (0, 0, 1) < Ts
(b) T is a line if (0, 0, 1) ∈ Ts.
Proof. If Ts is acircle on the sphere S , then Ts can be defined by the intersection of a
plane with sphere S ,
Ts = {AX + BY + CZ + D = 0} ∩{AX2 + BY2 + CZ2 = 1
}. (2.14)
And according the (2.10) ,
A2x|z|2 + 1
+ B2y|z|2 + 1
+ C|z|2 − 1|z|2 + 1
+ D = 0
if rewrite the above equation,
(C + D)(x2 + y2
)+ 2Ax + 2By −C + D = 0 (2.15)
is obtained.
Now, from (2.14) , Ts passes through (0, 0, 1) if C + D = 0. Then the eqn (2.15) repre-
sents the line when C + D = 0, and if C + D , 0, its represent the equation of circle on
15
C∞.
In conclution, T is a circle if (0, 0, 1) < Ts and it is a line if (0, 0, 1) ∈ Ts. �
The length of the segment joining Z = (X,Y,Z) and W = (U,V,W), known as
chordal distance of z from w, is defined as χ(z,w) = d(Z,W). therefore,
χ(z,w) =
√(X − U)2 + (Y − V)2 + (Z −W)2
since, X + Y + Z = 1 and U + V + W = 1, then
χ(z,w) =√
2 − 2 (XU + YV + ZW)
according to (2.10) , it is botained,
χ(z,w) =2 |z − w|√
1 + |z|2√
1 + |w|2.
In particular, χ is defined with chordal metric that is satisfies the properties of a metric,
a) χ(z1, z2) ≥ 0
b) χ(z1, z2) = 0⇔ z1 = z2
c)χ(z1, z2) = χ(z2, z1)
d)χ(z1, z3) ≤ χ(z1, z2) + χ(z2, z3)
16
CHAPTER 3
CONFORMAL MAPPING AND MOBIUS TRANSFORMATION
The aim of this chapter, given the definition of conforml mappings, and defined the
Mobius transformations which are analytic conformal mapping. And the end of this
chapter there will be given important transformations which transforms D to D,H to
H and D to H and the following next chapter they help to construct the isometries of
hyperboic geometry.
3.1 Conformal Mapping
Before given the theorem of conformality, it is needed to given the some definitions.
Definition 3.1 (Continuity of a function)
Let f (z) be a complex function of the complex variable z that is defined for all
values of z in some neighborhood of z0. f (z) is continious at z0 if the following three
conditions are satisfied:
limz→z0 f (z) exists;
f (z0 ) exists;
limz→z0 f (z) = f (z0 ).
A continuos function is a function that is continuous at each point of its domain.
(Analytic function)
A function f (z) is analytic on the open set U if f (z) is (complex) differentiable at each
point of U and complex derivative f ′(z) is continuous on U.
Definition 3.2 (homeomorphism)
A function f : C −→ C is a homeomorphism if f is a bijection and if both f and
f −1 are continuous.
17
Definition 3.3 (Automorphism)
The set of all conformal bijections C→ C are defined by Aut( C).
Theorem 3.4 Suppose f (z) is analytic at z0with f′
(z0) , 0. Let γ1 : γ1(t) and γ2 : γ2(t)
be smooth curves in the z- plane that intersect at z0 =: γ1 (t0) =: γ2 (t0) , with Γ1 :
w1 (t) and Γ2 : w2 (t) the images of γ1 and γ2 respectively. Then the angle between γ1
and γ2 measured from γ1 to γ2 equal to the angle between Γ1 and Γ2 measured from Γ1
to Γ2.
Proof. consider that, the tangents of γ1 and γ2 makes angle with θ1 and θ2 and the
argument of the tangent vectors Γ1 and Γ2 are Θ1 and Θ2 respectively and so as it
can be seen below figure the angle between γ1and γ2 which is the angle between their
tangent curves is θ2− θ1, and the angle between the image curves Γ1 and Γ2 is Θ1−Θ2.
Firstly, For any point z1 on the curve γ1 other than z0,
w1 − w0 =f (z1 ) − f (z0 )
z1 − z0(z1 − z0) .
Thus,
arg(w1 − w0) = arg(
f (z1) − f (z0)z1 − z0
)+ arg (z1 − z0) . (3.1)
Note that, when z0 approaches z0 along the curve γ1 , arg (z1 − z0 ) approaches a value
θ1, likewise, arg(w1 − w0) is approaches a value Θ1. And sice f (z) is analytic at z0 ,
f ′(z0 ) , 0, therefore f ′(z0 ) has meaning.
Now, if consider the limit of both sides of equation (3.1) ,
Θ1 = arg f ′(z1) + θ1
18
is obtained. With the same way if take any point on γ2, then it can be easily obtained
that,
Θ2 = arg f ′(z1) + θ2.
Then, the angle between Γ1 and Γ2 which is the angle between their tangent lines is,
Θ1 − Θ2 =(arg
(f′
(z0
)+ θ2
)−
(arg
(f′
(z0
)+ θ1
)= θ2 − θ1
Consequently, the angle between γ1 and γ2 is equal to the angle between Γ1 and Γ2. �
If f is analytic at all points in complaex plane then the theorem (3.4) provides at
all points. It gives that, if f is analytic function than it is conformal.
3.2 Linear Fractional Transformations
The aim of this section, give a special transformation like,maps the upper half plane
on to the unit disk, upper half plane to upper half plane and unit disc to unit disc which
they give isometries of the hyperbolic geometry. In order to define this special map,
it will be given some definitions and properties of Linear Fractinal Transformations.
Moreover, threre will be given cross ratio which is used later to define the formula for
distance in the Hyperbolic geometry.
Definition 3.5 (Linear Fractional Transformation)
A linear fractiınal transformation is a function of the form
w = f (z) =az + bcz + d
, (3.2)
where a, b, c and d are complex constants satisfying ad − bc , 0.
Linear fractional transformations ara also called Mobius transformations.
If c = 0 then the transformatiom f (z) given by (3.2) reduces to
f (z) =azd
+bd
19
and it can be written
f (z) = Az + B,
where A = ad and B = b
d , and ad , 0, i.e. A , 0. A function of this form is called linear
transformation.
It is obvious that Mobius transformations are analytic on C \ {−d�c} . Consider the
derivative,
f′
(z) =ad − bc(cz + d)2 (z , −d/c) ,
since, ad − bc , 0 so that f′ (z) , 0, it means that f (z) is not constant.
There are special types of transformations which Mobius transformations can be writ-
ten the composition of these transformations:
(i) f (z) = z + A, where A ∈ C. (translation),
(ii) f (z) = rz, wherer r ∈ R \ {0} , (magnification),
(iii) f (z) = eiθz, θ ∈ R (rotations),
(iv) f (z) = 1z , (inverse).
Then, if c , 0, then the transformation (3.2) can be decomposed as,
f (z) =ac
+bc − ad
c1
cz + d(3.3)
=ac−
(ad − bc
c2
)1
z + dc
so, the Mobius transformations can be obtaind with the compsitions of the following
transformations;
f1 (z) = w1 = z + dc (translatiun),
f2 (z) = w2 = 1w1
= 1z+ d
c(inversion) ,
f3 (z) = w3 =(−ad−bc
c2
)w2 (magnification and rotation) ,
f4 (z) = w4 = ac + w3 (translation) ,
hence, f (z) = f1 (z) ◦ f2 (z) ◦ f3 (z) ◦ f4 (z) .
Proposition 3.6 Composition of two Mobius transformation is a Mobius transforma-
tion.
20
Proof. Let f = az+bcz+d , (ad − b , 0) and g = a
′z+b
′
c′ z+d′,(a′
d′
− b′
c′
, 0)
are Mobius trans-
formations. The composite function of f and g is defined by
( f ◦ g) (z) =a a′z+b
′
c′ z+d′+ b
ca′ z+b′
c′ z+d′+ d
=
(aa
′
+ bc′)
z +(ab
′
+ bd′)
(ca′ + dc′) z + (cb′ + dd′)
=Az + BCz + D
(3.4)
where,
A =(aa
′
+ bc′), B =
(ab
′
+ bd′), C =
(ca′
+ dc′),D =
(cb′
+ dd′). (3.5)
In order to say that equation(3.4) is a Mobius transformation it must be shown
AD − BC , 0
ıf all equations (3.5) are put in equation
AD − BC =(aa
′
+ bc′).(cb′
+ dd′)−
(ab
′
+ bd′).(ca′
+ dc′)
=(aa
′
cb′
+ aa′
dd′
+ bc′
cb′
+ bc′
dd′)−
(ab
′
ca′
+ ab′
dc′
+ bd′
ca′
+ bd′
dc′)
=(aa
′
dd′
+ bc′
cb′)−
(ab
′
dc′
+ bd′
ca′)
= a′
d′
(ad − bc) − b′
c′
(ad − bc)
= (ad − bc)(a′
d′
− b′
c′)
since ad − b , 0 and a′
d′
− b′
c′
, 0. Hence,
AD − BC , 0
In conclusion,
Composition of two Mobius transformation ( f ◦ g) is a Mobius transformation. �
21
Theorem 3.7 Mobius transformations are one- to- one mapping.
Proof. Let f be a Mobius transformation with f = az+bcz+d , (ad − bc , 0) . In order to
say that f is one- to one, it must be shown thet, z1 = z2 when f (z1) = f (z2) for
z1, z2 ∈ C \ {−d/c} .
Since,
f (z1) = f (z2)
then,az1 + bcz1 + d
=az2 + bcz2 + d
=⇒ (az1 + b) (cz2 + d) = (az2 + b) (cz1 + d)
=⇒ acz1z2 + adz1 + bcz2 + bd = acz1z2 + adz2 + bcz1 + bd
=⇒ (ad − bc) z1 = (ad − bc) z2
since, ad − bc , 0
z1 = z2.
�
As f is one to one, its inverse always exists. Inverse of Mobius transformation is
obtained by solving the equation,
w = f (z) =az + bcz + d
=⇒ w (cz + d) = az + b
=⇒ z (cw − a) = b − dw
=⇒ z = f −1 (w) =dw − b−cw + a
where, ad − (−b) (−c) = ad − bc , 0, where w , a/c. It can be given the following
proposition.
22
Proposition 3.8 The inverse of a Mobius transformation is also Mobius transforma-
tion.
It can be easily checked that,
( f ◦ I) (z) = (I ◦ f ) (z) = f (z) ,
where I(z) = z is a identity function. So, the set of all Mobius transformations is a
group with respect to the composition.
Since, Mobius transformations defind on the complex plane except the points z = −d/c
and∞. But it can be enlarge the definition of Mobius transformation f (z) to the whole
extended complex plane by including these points. Indeed as,
limz→−d/c
1f (z)
= limz→−d/c
cz + daz + b
=0
a−dc + b
= 0
then,
limz→−d/c
f (z) = ∞.
Morever,
limz→∞
f (z) = limz→0
az + bcz + d
= limz→0
a + bzc + dz
=ac.
Then, it can be define, for c , 0,
f (z) =
az+bcz+d if z , −d�c, z , ∞
∞ if z = −d�c
ac if z = ∞
And similarly, defined for inverse Mobius transformations;
f −1 (z) =
dw−b−cw+a , if z , a�c, z , ∞
∞ if z = a�c
−dc if z = ∞
.
23
It shows that both f and f −1 are onto surjection functions.
And as it mention before Mobius transformations are group with respect to composi-
tion in the whole extended complex plane C. And the Mobius groups will be shown
with Mob(C).
Theorem 3.9 Mobius maps are conformal(or angle preserving).
Proof. Since all analytic functions are conformal.And as it was mention, all Mobius
transformations are analytic functions, and so all Mobius maps are conformal. �
Theorem 3.10 Mobius maps are Automorphism.
Proof. Since all Mobius transformations are bijection and from previous theorem, they
are conformal. Then, it can be say that they Mobius maps are Automorphism. �
3.3 Matrix Representation
The coefficients of a Mobius map can be represented by the matrix as a,
A =
a b
c d
∈ GL(2,C),
for any Mobius transformation M = az+bcz+d , wherer GL(2,C) is denoted by the general
linear group such that
GL(2,C) =
A =
a b
c d
: a, b, c, d ∈ C, det A , 0
.The compose of Mobius maps (as it can be seen proposition (3.6)) can be obtained by
multiplying the matrices.
Proposition 3.11 The map F : GL (2,C)→ Aut(C) defined by
F :
a b
c d
→(
f (z) =az + bcz + d
)
24
is a homomorphism
Proof. Consider that, two matrices with
a b
c d
→ az + bcz + d
and
a′
b′
c′
d′
→ a′
z + b′
c′z + d′
then, the multiplication of two matrices is,
aa′
+ bc′
ab′
+ bd′
ca′
+ dc′
cb′
+ dd′
→(aa
′
+ bc′)
z +(ab
′
+ bd′)
(ca′ + dc′) z + (cb′ + dd′),
by popositon(3.6) , the right side is equivalent to the composition of two Mobius map.
And its shows that the homoemorphism of F. �
Corollary 3.12 Any T ∈ Aut(C)
can be represented by a matrix
a b
c d
∈ S L (2,C) .
where S L (2,C) is defined by for any matrix A,
S L (2,C) = {A ∈ GL (2,C) : det A = 1} .
Proof. By previous proposition, T can be represented by a matrix
A =
a b
c d
∈ GL (2,C) ,
with det A = ad − bc.
Since the metrices 1det A A and A have same image under F, and the determinant of 1
det A A
is equal 1.
Hence, A ∈ S L (2,C) . �
25
3.4 Cross- Ratio
Theorem 3.13 Given three distance points z1,z2,and z3 in the extended z- plane amd
three distance points w1,w2, and w3 in the extendend w- plane, there exist a unique
bilinear transformation w = T (z) ∈ Aut( C) such that T (zk) = wk, for k = 1, 2, 3.
Proof. First assume that non of the six points is∞. Let
w = T (z) =az + bcz + d
,
for k = 1, 2, 3, it can be written,
wk =azk + bczk + d
then,
w − wk =az + bcz + d
−azk + bczk + d
with making the elementary operations, above equation can be written,
w − wk =(ad − bc) (z − zk)(cz + d) (czk + d)
(3.6)
for k = 1 and k = 3, it can be obtained,
w − w1 =(ad − bc) (z − z1)(cz + d) (cz1 + d)
(3.7)
and
w − w3 =(ad − bc) (z − z3)(cz + d) (cz3 + d)
, (3.8)
dividing (3.7)by (3.8),w − w1
w − w3=
(cz3 + d)(cz1 + d)
(z − z1)(z − z3)
. (3.9)
26
in above equation, if put z2 instead of z and w2 instead of w, then,
w2 − w1
w2 − w3=
(cz3 + d)(cz1 + d)
(z2 − z1)(z2 − z3)
. (3.10)
multiplying (3.9) by (3.10) , it will be obtained,
(w − w1) (w2 − w3)(w − w3) (w2 − w1)
=(z − z1) (z2 − z3)(z − z3) (z2 − z1)
. (3.11)
If one of the points were ∞, assume z3 = ∞, by taking the limit of (3.11) as z3 ap-
proached∞,
(w − w1) (w2 − w3)(w − w3) (w2 − w1)
= limz3→∞
(z − z1) (z2 − z3)(z − z3) (z2 − z1)
=(z − z1)(z2 − z1)
.
To show that the uniqueness of T (zk), assume its not. And let S (zk) and T (zk) are both
two nonlinear transformations that
wk = S (zk) = T (zk), f or k = 1, 2, 3.
then, (S −1 ◦ T
)(zk) = S −1 (T (zk)) = S −1 (wk) = zk
and so
S −1 ◦ T = I
then, obtained
S = T
which proves the uniqueness part of the theorem. �
Corollary 3.14 Given three distance points z1,z2,and z3 in the extended z-plane there
exists a unique bilinear transformation w = T (z) such that T (z1) = 0, T (z2) =
27
1, T (z3) = ∞. And it is given by
w =(z − z1) (z2 − z3)(z − z3) (z2 − z1)
.
Proof. From the previous theorem, it is known that for any z1,z2,and z3, there exist a
unique transformation,
(w − w1) (w2 − w3)(w − w3) (w2 − w1)
=(z − z1) (z2 − z3)(z − z3) (z2 − z1)
if put 0,1 and∞ instead of w1,w2,w3 respectively,
w =(z − z1) (z2 − z3)(z − z3) (z2 − z1)
,
the proof is completed. �
Definition 3.15 (Cross- Ratio)
Let, z1,z2, z3, z be distinct points in C, the cross- ratio of these points is defined by
[z1,z2; z3, z
]=
(z − z1) (z2 − z3)(z − z3) (z2 − z1)
.
.
Theorem 3.16 Let A be either a circle or a line in C. Then A has the equation
αzz + βz + βz + γ = 0,
where α, γ ∈ R and β ∈ C.
Proof. Since the equation,
a(x2 + y2) + bx + cy + d = 0, where a, b, c, d ∈ R, (3.12)
28
is an equation of circle when a , 0, or an equation of a line when a = 0. Recalling that
x = z+z2 and y = z−z
2i and x2 + y2 = |z|2 , substituting these expression into (3.12) ,then,
a |z|2 + bz + z
2+ c
z − z2i
+ d = 0
and recombine gives,
a |z|2 +b − ci
2z +
b + ci2
z + d = 0
consider, a = α, d = γ ∈ R and b−c i2 = β ∈ C. Then if a = α equal to zero, then
above equation gives a line, unless it gives a circle in C. Hence any circle or line in the
complex plane can be written as a form,
αzz + βz + βz + γ = 0.
�
Proposition 3.17 Let A be either a circle or a line in C with satisfying the equation
αzz + βz + βz + γ = 0. Suppose β ∈ R. Then A is either circle with centre on real axis
or a vertical straight line.
Proof. From the proof of the previous theorem, b−c i2 = β if β ∈ C. And assume a , 0
in the equation (3.12) , then it can be recomposed as a
(x +
b2a
)2
+
(y +
c2a
)2=
b2 + c2 − 4ad4a2 ,
then the center of the circle is, (−
b2a,−
c2a
)since b
2 = Reβ and −c2 = Imβ, and so the center can be expressed,
(−Reβ
a,
Imβa
).
29
Hence, if β ∈ R, then Imβ = 0. Therefore if β ∈ R, the center of the equation αzz +
βz + βz + γ = 0, is on the real axis.
Now, assume a = 0, then the equation (3.12) will be,
bx + cy + d = 0,
and the slope of above line is −bc ,and it can be expressed as a Reβ
Imβ . If β ∈ R, Imβ = 0
where it gives the vertical line. �
Lemma 3.18 Every Mobius transformation maps circles and lines into circles and
lines in C.
Proof. From theorem (3.16) , the equation of a circle or a line can be regarded as,
αzz + βz + βz + γ = 0. (3.13)
Let,
w =az + bcz + d
,
then
z =dw − b−cw + a
.
Substituting this into (3.13) ,
α
(dw − b−cw + a
) (dw − b−cw + a
)+ β
(dw − b−cw + a
)+ β
(dw − b−cw + a
)+ γ = 0,
it can be recomposed as a,
(αd2 − βcd − βcd + γc2
)ww+
(−αbd + βad + βbc − γac
)w+
(−αbd + βbc + βad − γac
)w+
(αb2 − βab − βab + γc2
)= 0.
(3.14)
30
Since, a, b, c, d,α and γ are real number,β is a complex number, and it is known that
2Reβ = β + β. And so, if it is considered
αd2 − 2cdReβ + γc2 = α1,
−αbd + βad + βbc − γac = β1, whenever − αbd + βbc + βad − γac = β1
and
αb2 − βab − βab + γc2 = γ1
then the equation (3.14) can be regarded as,
α1ww + β1w + β1w + γ1 = 0
with α, γ ∈ R, β ∈ C. Clearly, the last equation represent the equation of a circle when
α1 , 0, and a line when α1 = 0. This complete the proof. �
3.5 Automurphism of the Unit Disc And Upper Half Plane
In this section, it will be introduce some particular Mobius maps which transform
upper half plane to the unit disc, upper half plane to itself and unit disk to unit disk.
And it will be start in this section with Cayley transformation which is transform upper
half plane to the unit circle it will be introduce the Mobius map;
C : z→z − iz + i
= w
which is called Cayley transformation.
Lemma 3.19 Cayley transformation induces a conformal automorphism from H to D
31
Proof. Take any three poins 0, 1 and ∞ on the R ∪ {∞} , from the theorem (3.13) ,
there exist a unique transformation which is transform the thre points to another three
poins on the circle.with C(0) = −1, C(∞) = 1 and C(1) = −i, which is give the cyley
transformation
w =z − iz + i
.
So the cyley transformation transform the boundary of H onto boundary of unit disk.
Let take any point in the upper half plane it can be easily seen that the cyley transfor-
mation transforms the point in the unit disk. Therefore it is an Mobius map from H to
D. �
3.5.1 Automorphism of the unit disc D
Automorphism of unit disk is defind by
Aut(D) ={T ∈ Aut(C) : T (D) = D
}.
Theorem 3.20 The set Aut(D) is the subgroup of Aut(C) of Mobius maps of the form
T (z) =az + ccz + a
, with |a|2 + |b|2 = 1
Proof. Since the unit circle is defined by |z|2 = 1, and from lemma (3.18), every
Mobius transformation maps circles into circles in C. Take any Mobius transformation
T (z) = w =az + bcz + d
with ad − bc = 1
then ,
z =dw − b−cw + a
and z =dw − b−cw + a
is obtained. Put them into unit circle,
(dw − b−cw + a
) dw − b−cw + a
= 1
32
|d|2 |w|2 − bdw − bdw + |b|2 = |c|2 |w|2 − caw − acw + |a|2
(|d|2 − |c|2
)|w|2 +
(−bd + ca
)w +
(−bd + ac
)w + |b|2 − |a|2 = 0
is obtained. In order to obtained unit circle
−bd + ca (3.15)
and
−bd + ac (3.16)
must be equal to zero and|a|2 − |b|2
|d|2 − |c|2= 1
and so
|a|2 − |b|2 = |d|2 − |c|2 , 0 (3.17)
From equation (3.16)
−bd + ac = 0⇒ ac = bd
from here, leta
d=
bc
= λ
then,
a = λd and b = λc (3.18)
put them on equation (3.17)
|d|2 − |c|2 = |a|2 − |b|2 = |λ|2(|d|2 − |c|2
)⇒ |d|2 − |c|2 = |λ|2
(|d|2 − |c|2
)and from ad − bc = 1,
λ(dd − cc
)= 1.
33
because of dd = |d|2 and cc = |c|2 are real, λ must be real, therefore λ = ±1, the sign
of λ is depend on |d|2 − |c|2 .
The transform of inside of the unit circle is inside of the unit circle nad as it mentiond
before the point −dc is tranform ∞ under the Mobius transformation so that point must
be keep out the inside of the unit circle. Therefore
∣∣∣∣∣−dc
∣∣∣∣∣ > 1⇒ |d| > |c|
than,
|d| − |c| > 0.
It is implise that λ must be equal to 1. If put 1 instead of λ in the equation (3.18) , then,
a = d, b = c
and so,
a = d, b = c
are obtained. Finally, the Mobius transformation T (z) will be equal,
T (z) =az + ccz + a
, with |a|2 − |c|2 = 1.
In conclusion,
the Mobius transformation which is translate the unit circle to unit circle is given by
T (z) =az + ccz + a
, with |a|2 − |c|2 = 1.
�
34
3.5.2 Automorphism of The upper half plane H
Before given the Automprphism of the upper half plae, it will be defined Automor-
phism of upper half plane,
Aut(H) ={T ∈ Aut(C) : T (H) =,H
}.
Theorem 3.21 The set Aut(H) of analytic bijections H→ H is the subgroup of Aut(C)
of Mobius maps of the form;
f (z) =az − bcz − d
, with a, b, c, d ∈ R, ad − bc > 0. (3.19)
Proof. It is needed to show that the Mobius transformation which transform the upper
half plane to apper half plane is in the form of (3.19) . So the Im f (z) under the trans-
formation must be equal to zero whenever Imz > 0. Take a Mobius transformation,
f (z) =az + bcz + d
,
first it must be computed Im f (z), since Imz = 12i (z − z) and if apply this for f (z), then,
Im f (z) =12i
(az + bcz + d
−az + bcz + d
)=
12i
(az + b) (cz + d) − (az + b) (cz + d)(cz + d) (cz + d)
after making some elimination, it will be obtained,
Im f (z) =12i
ad − bc|cz + d|2
(z − z)
which is equivalent,
Im f (z) =ad − bc|cz + d|2
Imz.
Now, Since Imz and |cz + d|2 greater then zero and so for making, Im f (z) > 0, ad − bc
must be greater then zero. And this completes the proof. �
35
To move from D to H, it will be intoduce the Mobius map;
C : z→z − iz + i
= w
which is called Cayley transformation.
Lemma 3.22 Cayley transformation induces a conformal automorphism from H to D
Proof. Take any three poins 0, 1 and ∞ on the R ∪ {∞} , from the theorem (3.13) ,
there exist a unique transformation which is transform the three points to another three
points on the circle.with C(0) = −1, C(∞) = 1 and C(1) = −i, which is give the cyley
transformation
w =z − iz + i
.
So the cyley transformation transform the boundary of H onto boundary of unit disk.
Let take any point in the upper half plane it can be easily seen that the cyley transfor-
mation transforms the point in the unit disk. Therefore it is an Mobius map from H to
D. �
36
CHAPTER 4
HYPERBOLIC GEOMETRY
4.1 Upper Half Plane Of Hyperbolic Geometry
In this section a review of background knowlage on upper half plane of hyperbolic
will be presented. In the framework of upper half plane method, length and distance in
hyperboic geometry will be presented. Then aspects, definitions will be listed. Mor-
ever some formulas will be illustrated. Follwing this namely path integrals will be
highlighted. Finally relevant aspects of the upper half plane will be mention with the
empirical studies contacted on this area.
Definition 4.1 (upper half plane model)
The upper hyperbolic plane H model is the upper half plane in the complex plane
and its defined by,
H = {z ∈ C : Imz > 0}
with the metric
ds2 =dx2 + dy2
y2 .
Definition 4.2 (boundary of H)
The boundary of H is defined to be the set ∂H = {z ∈ C : Im(z) = 0} ∪ {∞}. That is
∂H is the real axis together with the point∞.
Definition 4.3 (Hyperbolic Line)
There are two seeningly types of Hyperbolic line,both defined in terms of Euclidean
objects in C. One is the intersection of H with an Euclidean line in C perpendicular to
the real axis R in C. The other is the intersection of H with an Euclidean circle centred
on the real axis in R.
37
Proposition 4.4 For each pair p and q of distinct points in H, there exist a unique
hyperbolic line ` in H passing through p and q.
Proof. Firstly, it will be shown that the existence of the hyperbolic line passing through
p and q. There are two cases to consider the line;
First, assume Rep = Req, it means, if p and q are defined by p = p1 + ip2 and q =
q1 + iq, then p1 = q1.From Euclidean geometry, it is known that, there is a line passes
through p and q with equation,
y − p2 =q2 − p2
q1 − p1(x − p1) , (4.1)
and from the assumption p1 = q1, the line which passes through p and q is perpendicu-
lar to the R axis in the Euclidean plane. According to definition (4.3) , the intersection
of H with line ` is a hyperbolic line which passing through p and q.
Now, assume Rep , Req, again the line joining p and q is defined with equation (4.1) .
Let perpendicular bisector of this line is K, and since K andR- axis are not parallel each
other so they intersect at any point, let says c. The euclidean circle that passes through
p and q has its center on K. Assume a circle A with the center C and radius will be
|c − p| . Since the center c lies on the perpendicular bisector K so |c − p| = |c − q| , it
means the circle A passes through both p and q. According to (4.1) it can be said that
the intersection of H with a circle A is a Hyperbolic line.
In order to complete the proof, it must be shown that the uniqueness of this hyperbolic
lines. As it was mentioned before, for the circle passing through p and q, the center
must be on the perpendicular bisector. Moreover the perpendicular bisector and R-
axis intersect only one point c, and so there exist a unique Euclidean circle centered on
R and passes through p and q. And there exists unique Euclidean line passes through
p and q. This completes the proof. �
Definition 4.5
Two hyperbolic lines in H are parallel if they are disjoint.
As it was mentioned in the introduction part Hyperbolic geometry is a one of the non
38
Euclidean geometry which is not satisfied the fifth postulate of Euclidean geometry.
The following theorem gives the importance of the between Euclidean geometry and
hyperbolic geometry.
Theorem 4.6 Let ` be a hyperbolic line in H, and let p be a point in H not on `. Then,
there exist infinitely many distinct lines through that are parallel to `.
Proof. Let the Hyperbolic line ` contained from any Euclidean line L. Since p is
not on L then from the Euclidean fifth postulate there exist a K Euclidean line wich is
passes through p and parallel to L. Becouse of ` is hyperbolic line, L is perpendicular
to R, then K must be perpendicular to R as well. And so according to Definition(4.3)
one hyperbolic line in H through p and parallel to L is the intersection of H and K.
In order to show that there exist another line passes through p and parallel to L; Let
take any point x on R-axis between L and K. Therefore Rep , Rex, there exist an
Euclidean circle A which passes through p and x, and has a center on R- axis. By this
construction, A and L are disjoint. And so the Hyperbolic line H∩A and ` are disjoint,
that is reached that H ∩ A is another Hyperbolic parallel line to `.
Because of,there are infinetly many points on R between K and L, its gives that there
are infinitely many distance Hyperbolic lines through p and parallel to `.
To complete the proof, It needs to show that, If ` is contained any circle, there exist
infinitely many parallel Hyperbolic lines parallel to `.
Now, assume that ` contained from an Euclidean circle A, and p is a point in H not on
A. Let D be the Euclidean circle which has a same center with A and passes through
p. Since, circles with have same center are disjont, then from Definition (4.5) one
Hyperbolic line passes through p and parallel to ` is H ∩ D.
In order to construct second hyperbolic line, take any point x on R between D and A.
There exist an Euclidean circle E, which passes through x and p. From construction
of E, A and E are disjoint and so H∩ A that is hyperbolic line ` and H∩ E are disjoint
then the second hyperbolic line passes through p and parallel to ` is H ∩ E.
Finally, therefore infinitely many points on R between A and D, there are infinitely
many distinct hyperbolic lines through p and parallel to `.
39
Consequently, for any line l in H, there exist infinitely many distinct hyperbolic lines
through any point p not on l. �
4.2 Length And Distance In Hyperbolic Geometry
In this section, it wil be given definitions and theorems for hyperbolic distance, in
addition this there will be given most usefull distance formulas. Before define the
length in hyperbolic geometry, it is needed to recall from calculus the definition of
element of arc-length.
4.2.1 Path integrals
A path σ in the plane R2 is a function σ : [a, b] −→ R2 that is continuous on [a, b] and
differentiable on (a, b) with continuous derivative. The image of the interval under σ
is a curve in R2. The Euclidean length of σ is given by the integral
length(σ) =
∫ b
a
√(x′ (t))2 + (y′ (t))2dt
where σ can be written with σ = (x(t), y(t)) , t ∈ [a, b] , and√
(x′ (t))2 + (y′ (t))2dt is
the arc-length element in R2.
If it is assumed σ as a path into the complex plane, then σ can be written with σ =
x(t) + iy(t), the length of σ,
length(σ) =
∫ b
a
√(x′ (t))2 + (y′ (t))2dt =
∫ b
a|σ′(t)| dt
40
then, it can be rewritting as a
length(σ) =
∫σ
|dz| ,
where |dz| = |σ′(t)| dt is the standart Euclidean element of arc-lenght in C.
Then the path integral of any continuous function can be obtained with using above
notations, that is let f be a continuous function f : C −→ R. The path integral of f
along the a path σ : [a, b] −→ C is the integral
∫σ
f (z) |dz| =∫ b
af (σ(t)) |σ′(t)| dt,
it can be thought f (z) |dz| as a new element of arc-length and it rise the following
defination.
Definition 4.7
For a path σ : [a, b] −→ C, the lenght of σwith respect to the element of arc-length
f (z) |dz| is defined to be the integral
length f (σ) =
∫σ
f (z) |dz| =∫ b
af (σ(t)) |σ′(t)| dt.
4.2.2 Hyperbolic length and distance
This section will be start with the defination of hyperbolic length and hyperbolic dis-
tance in H .After that there will be given theorems which gives the distance between
two hyperbolic points on the hyperbolic vertical line and then the preserving of distace
under the Aut(H).
To define them it is will be used a suitable arc- lenght element on H invariant under the
action of Aut(H).
Definition 4.8 (Length in H)
41
For a piecewise path σ : [a, b] −→ H, the hyperbolic length of σ defined to be
lengthH(σ) =
∫σ
1Imz|dz| =
∫ b
a
1Im (σ(t))
|σ′(t)| dt.
Definition 4.9 (Distance )
Let z, z′ ∈ H. The hyperbolic distance between z and z′ is defined by
dH(z, z′
)= inf
{lengthH (σ) : σ is a piecewise differentiable path with end points z and z′
}.
Definition 4.10 (Geodesic)
The paths of shortest hyperbolic length between points are called hyperbolic geodesics.
Theorem 4.11 Vertical lines are geodesics in H. Moreover if b > a, then
dH (ai, bi) = ln(ba
).
Proof. By defination (4.8) , the lenght of any path σ is defined by,
lengthH(σ) =
∫ b
a
1Im (σ(t))
|σ′(t)| dt.
Let take the path from ai to bi as a σ(t) = it with a ≤ t ≤ b, which is the vertical line
in H, then
lengthH(σ) =
∫ b
a
1tidt
= ln b − ln a
= lnba.
42
Now, consider any path σ = x(t) + iy(t) : [0, 1] −→ H joining ai and bi. Again from
definition (4.8),
lenghtH(σ) =
∫ 1
0
1Im (σ(t))
|σ′(t)| dt
=
∫ 1
0
1y(t)
√(x′(t))2 + (y′(t))2dt
≥
∫ 1
0
1y(t)
√(y′(t))2dt
=
∫ 1
0
1y(t)|y′(t)| dt
≥
∫ 1
0
1y(t)
y′(t)dt
= lnba.
Hence, the infimum length of paths joining ai and bi is ln ba . The equality is hold only
x′(t) = 0, so x(t) is constant, it means that the length which is the joining ai and bi is
the vertical line in H. This complete the proof. �
Proposition 4.12 Let γ be a Mobius transformation of H and let z and z′ ∈ H . Then
dH(γ(z), γ(z′)
)= dH
(z, z′
).
Proof. Let σ be a path from z to z′. Then the path from γ(z) to γ(z′) is γ (σ) . In
order to show that the distace of two points is equal to the distance under the Mobius
transformation of that points, it is sufficient to show that
lengthH(γ ◦ σ) = length(σ).
Let take a Mobius transformation γ(z) = az+bcz+d ,with a, b, c and c are real, then,
|γ′(z)| =ad − bc|cz + d|2
43
and
Im(γ(z)) =ad − bc|cz + d|2
Im(z),
they can be proved easily. Take z = σ(t),
lengthH (γ ◦ σ) =
∫1
Im[(γ ◦ σ) (t)
] ∣∣∣(γ ◦ σ)′ (t)∣∣∣ dt
=
∫1
Im (γ(σ(t))|γ′(σ(t))| |σ′(t)| dt
=
∫1
ad−bc|cσ(t)+d|2
Imσ(t)ad − bc|cσ(t) + d|2
|σ′(t)| dt
=
∫1
Im(σ(t))|σ′(t)| dt.
= lengthH(σ).
�
Since, with the aid of cross ratio, it can be found a Aut(H) that is transform any line
inH to the vertical line (namely y-axis). The importance of the above theorem, it proves
that all Aut(H) preserve the hyperbolic distances. And so the previous two theorem
construct significant structure in the following sections to determine the formula of
distance of any two point.
4.2.3 Metric spaces
Definition 4.13 (A Metric on a set X)
A metric on a set X is a function
d : X × X → R
satisfying three conditions:
1. d(x, y) ≥ 0 for all x, y ∈ X, and d(x, y) = 0 if and only if x = y.
2. d(x, y) = d(y, x) for all x, y ∈ X.
3. d(x, z) ≤ d(x, y) + d(y, z) for all x, y ∈ X (triangle inequality).
44
If d is a metric on X, it is referred to a metric space (X, d).
Theorem 4.14 (H, dH) is a path metric space.
Proof. To show that dH does define a metric. dH must be satisfies the three conditions
in the definition (4.13) .
Let Γ[x, y
]denoted by the set of all piecewise σ paths σ : [a, b] → H with σ(a) = x
and σ(b) = y. Now, consider the path σ : [a, b] → H in Γ[x, y
], from the definition of
lengthH (σ) ,
lengthH(σ) =
∫σ
1Imz|dz| =
∫ b
a
1Im(σ(t))
|σ′(t)| dt,
since above integral is always nonegative, therefore lengthH(σ) is nonnegative for ev-
ery path in Γ[x, y
]and so the infimum dH(x, y) of these integrals are nonnegative which
is complete the first condition of defination (4.13) .
Now to show that dH(x, y) = dH(y, x), for all x, y in H, it is needed to compare the
length of paths in Γ[x, y
]and Γ
[y, x
]. Let σ(a, b) → H be a path in Γ
[x, y
]and define
γ : [a, b]→ [a, b] with γ = a+b− t and the composition of σ and γ, σ◦γ : [a, b]→ H
lies in Γ(y, x), in fact σ ◦ γ(a) = σ(b) = y and σ ◦ γ(b) = σ(a) = x. And the length of
σ ◦ γ,
lengthH(σ ◦ γ) =
∫σ◦γ
1Imz|dz|
=
∫ b
a
1Im((σ ◦ γ)(t))
|(σ ◦ γ)′(t)| dt
=
∫ b
a
1Im((σ(γ(t))
|(σ′(γ(t))| |γ′(t)| dt,
if make a subsitution with s = γ(t), with, s = γ(a) = b, s = γ(b) = a and s′ = γ′(t) =
−dt, then,
lengthH(σ ◦ γ) = −
∫ a
b
1Im(σ(s))
|σ′(s)| ds
=
∫ b
a
1Im(σ(s))
|σ′(s)| ds
= lengthH(σ).
45
Hence, every path in Γ[y, x
]has the same length with the path in Γ
[x, y
], by composing
with the appropriate γ. Using the same argument, every path in Γ[y, x
]and in Γ
[x, y
]has equal length.
In particular, two sets of hyperbolic length,
{lengthH(σ), σ ∈ Γ
[x, y
]}and
{lengthH(ρ), ρ ∈ Γ
[y, x
]}are equal. Thus they have the same infimum, and it shows that dH(x, y) = dH(y, x).
To complete the proof, it must be satisfied the last condition of definition (4.13) . Sup-
pose it is not satisfied for dH, then there exist three distance points x, y, and z such
that,
dH (x, z) > dH (x, y) + dH (y, z) ,
and so,
dH (x, z) − (dH (x, y) + dH (y, z)) > 0,
let,
dH (x, z) − (dH (x, y) + dH (y, z)) = ε.
Since, dH (x, y) = inf{lengthH( f ) : f ∈ Γ
[x, y
]}, there exists a path f : [a, b] → H in
Γ[x, y
], such that,
lengthH( f ) < dH (x, y) +ε
2.
Similarly, dH (y, z) = inf{lengthH(g) : g ∈ Γ
[y, z
]}, and there exists a path g : [b, c] →
H in Γ[y, z
], such that,
lengthH(g) < dH (y, z) +ε
2.
Assume, h : [a, c] → H in Γ [x, z] be a concatenation of f and g, and so it is lies in
Γ [x, z], then
lengthH(h) = lengthH( f ) + lengthH(g).
46
Therefore,
dH (x, z) ≤ lengthH(h)
= lengthH( f ) + lengthH(g)
< dH (x, y) + dH (y, z) + ε,
then,
dH (x, z) − (dH (x, y) + dH (y, z)) < ε
which is a contradiction. This complete the proof. �
4.2.4 Isometries of H
An isomerty of a metric space (X, d) is an homeomorphism f of X that preserves dis-
tance. That is, an isometry of (X, d) is a homeomorphism f of X for which
d(x, y) = d( f (x), f (y))
for every pair x and y of points of X.
Proposition 4.15 Let x, y, and z be distinct point in H.Then,
dH (x, y) + dH (y, z) = dH (x, z)
if and only if y is contained in the hyperbolic line segment joining x to y.
Proof. There exist a Mobius transformation m in Mob (H) such that m(x) = i and
m(z) = αi. From Proposition (4.12) and Theorem (4.11) ,
lnα = dH (i, αi) = dH (x, z) ,
and let, m(y) = a + ib. There are several cases;
As a first case, let y lies on the hyperbolic line segment joining x to y. Then, m(y) lies
47
on the line segment joining m(x) to m(z), In particular (y) = bi and 1 ≤ b ≤ α, therefore
dH (x, y) = dH (i, bi) = ln b,
and
dH (y, z) = dH (bi, αi) = lnα
b= lnα − ln b,
and so,
dH (x, y) + dH (y, z) = dH (x, z) . (4.2)
Now, assume that y does not lie on the hyperbolic line segment joining x to z. Then,
m(y) can be lie on the positive imaginary axis such that a = 0 or not on the positive
imaginary axis so that a , 0 and so there are two cases for this step,
Let m(y) lies on the positive imaginary axis with not on the hyperbolic line segment
joining x to z and so either 0 < b < 1 or b > α, and a = 0.
If 0 < b < 1, as ln b < 0,
dH (x, y) = dH (i, bi) = − ln b
and
dH (y, z) = dH (bi, αi) = lnα
b= lnα − ln b,
and then,
dH (y, z) = lnα − ln b > lnα + ln b = dH (x, z) − dH (x, y)
and so,
dH (x, z) < dH (x, y) + dH (y, z) (4.3)
is obtained.
And If b > α, then ln b > lnα, and
dH (x, y) = dH (i, bi) = ln b,
48
and
dH (y, z) = dH (bi, αi) = lnbα
= ln b − lnα,
then,
dH (y, z) = ln b − lnα
with added both sides ln b, then,
ln b + dH (y, z) = 2 ln b − lnα > lnα
it is obtained that,
dH (x, y) + dH (y, z) > dH (x, z) . (4.4)
Let m(y) does not lie on the positive imaginary axis with not on the hyperbolic line
segment joining x to z, and so a , 0. It can be observation that, whenever a , 0,
dH (i, bi) < dH (i, a + bi) = dH (x, y) , (4.5)
likewise,
dH (bi, αi) < dH (a + bi, αi) = dH (y, z) . (4.6)
If 1 < b < α, then according to equation (4.2) ,
dH (x, z) = dH (x, y) + dH (y, z) = dH (i, bi) + dH (bi, αi)
if apply the equations (4.5) and (4.6) then,
dH (x, z) < dH (x, y) + dH (y, z) .
And similarly, If b > α or 0 < b < 1, then according from equations (4.3) and (4.4) ,
both case have,
dH (x, z) < dH (i, bi) + dH (bi, αi) < dH (i, a + bi) + dH (a + bi, αi) = dH (x, y) + dH (y, z)
49
is obtained.
In conclusion,
the only case in which dH (x, z) = dH (x, y) + dH (y, z) , is y lies on the hyperbolic line
joining x to z. This complete the proof. �
The previous proposition observation that hyperbolic line segments can be charac-
terized purely in terms of hyperbolic distance.
Lemma 4.16 Every hyperbolic isometry of H takes hyperbolic lines to hyperbolic
lines.
Proof. From previous proposition, assume y lies on the line segmet `xz joining x to z,
then
dH (x, z) = dH (x, y) + dH (y, z) .
Taking f as a hyperbolic isometry, so it preserves hyperbolic distance, therefore,
dH ( f (x) , f (z)) = dH ( f (x) , f (y)) + dH ( f (y) , f (z))
is hold. From above equation, it can be say that f (y) lies on the hyperbolic line segmet
` f (x) f (z) joining f (x) to f (z). And so
f (`xz) = ` f (x) f (z).
Hence, the hyperbolic isometry f takes hyperbolic lines to hyperbolic lines. �
Theorem 4.17 Isom(H, dH) = Aut(H)
Proof. Since all Mobius transformations are bijection and invertable, and from propo-
sition (4.12) every element of Aut (H) is a hyperbolic isometry, and so Aut (H) ⊂
Isom (H, dH) . In order the complete the proof it must be shown that Isom (H, dH) ⊂
Aut (H) .
50
Let f (z) be a hyperbolic isometry function and for any two points p and q ∈ H, let `pq
be a hyperbolic line segment joining p to q . From definition of isometry
`pq = f (`pq).
Assume, ` be a perpendicular bisector of hyperbolic line `pq which is a hyperbolic line
` = {z ∈ H : dH (p, z) = dH (q, z)} .
And so f (`) is a perpendicular bisector of f (`pq) = ` f (p) f (q).
Now, normalize the hyperbolic isometry f . Let take any two points x and y on the
positive imaginary axis I in H. Since there exists an element γ of Aut(H) that satisfies
γ( f (x)) = x and γ( f (y)) = y because dH (x, y) = dH ( f (x), f (y)) . In particular, γ ◦ f
fixes both x and y it means that γ ◦ f takes I to I.
If take another point on I then it can be preserved by determined by the two hyperbolic
distances dH (x, z) and dH (y, z) and as both hyperbolic distances are preserved by γ ◦ f .
Now, let w be any point in H that does not lie on I, let ` be a hyperbolic line throught
w that is perpendicular to I. ` can be describe as a hyperbolic line contained in the
Euclidean circle with Euclidean center 0 and radius |w| .Since ` is a perpendicular
bisector of any line segment in I. And since γ ◦ f fixes every point of I then γ ◦ f ( `) =
`.Assume ` and I intersect at a point z, therefore, dH (z,w) = dH (γ ◦ f (z), γ ◦ f (w)) and
since γ◦ f preserves I then it must be γ◦ f fixes w. It means that γ◦ f fixes every point
of H, It shows γ ◦ f is a identity function. And so f = γ−1 therefore f is an element of
Aut(H). This complete the proof. �
4.2.5 More formula for distance
There are several useful ways of writing down the distance between two points without
having to integrate along arcs. One of this method is a cross ratio;
51
Proposition 4.18
dH (z,w) = ln[z, z′; w,w′
](4.7)
where z′ and w′ are the endpoints on ∂H of the geodesic that joins z to w.
Proof. In order the proof of this proposition, it is enough to check that the left hand
side of equality (4.7) equal to the right had side.
Since there exists an isometric function f such that the points z, z′,w and w′ maps to
f (z) = i, f (z′) = 0, f (w) = αi and f (w′) = ∞. And then from theorems (4.12)and
(4.11) ,
dH (z,w) = dH ( f (z), f (w))
= dH (i, αi) = lnα.
And the cross ratio of these four points,
[z, z′; w,w′
]=
(w′ − z) (z′ − w)(w′ − w) (z′ − z)
=( f (w′) − f (z)) ( f (z′) − f (w))( f (w′) − f (w)) ( f (z′) − f (z))
=( f (w′) − i) (0 − αi)( f (w′) − αi) (0 − i)
=αii
limf (w′)→∞
f (w′) − if (w′) − αi
= α.
Then,
ln[z, z′; w,w′
]= lnα.
Hence, the left hand side is equal to right hand side and so, the equality (4.7) is hold.
�
And the another useful way to calculate the Hyperbolic distance is given the fol-
lowing proposition;
52
Proposition 4.19 Given two points z, w ∈ H;
cosh dH (z,w) = 1 +|z − w|2
2ImzImw. (4.8)
Proof. To prove this proposition, the same proof technique will be used with above
proposition.
As a first let find the right hand side of the equality (4.8), let f be a isometric function,
with f (z) = i and f (w) = αi, then
1 +|z − w|2
2ImzImw= 1 +
| f (z) − f (w)|2
2Im f (z) Im f (w)
= 1 +|i − αi|2
2.1.α
=2α + (1 − α)2
2α
=1 + α2
2α.
And to find the left hand side, according from (4.11) , the distace from z to w is,
dH (z,w) = lnα.
And so,
cosh dH (z,w) = cosh lnα
=elnα + e− lnα
2
=α + α−1
2
=α2 + 1
2α.
conclude that, left hand side equal to right hand side for all z,w ∈ H. �
53
CHAPTER 5
THE POINCARE DISC MODEL
Up to now it is studied the upper half plane model of hyperbolic geomerty but there
are several other useful models to study hyperbolic geomerty and one of them which
will be described in this chapter is Poincare disc model. There are different ways to
construct the Poincare Disc Model, and in this thesis it will construct with using the
upper half plane.
Definition 5.1 The disc D = {z ∈ C : |z| < 1} is called Poincare disc. The circle ∂D =
{z ∈ C : |z| = 1} is called the circle at∞ or boundary of D.
Definition 5.2 (Geodesics in D)
The geodesics in the Poincare Disc Model of hyperbolic geometry are the arcs of
circles and diameters in D that meet ∂D orthogonally.
Recall from in chapter 1, the Mobius transformation from H to D is given with the
Cayley mapping,
h(z) =z − iz + i
.
The inverse function of Cayley mappind is defined by D to H,
g(z) = h−1 (z) =iz + i−z + 1
.
For any piecewise σ path σ : [a, b]→ D, the composition g ◦ σ : [a, b]→ H is a path
in H, and the length of g ◦ σ in H is given by,
lengthH (g ◦ σ) =
∫g◦σ
1Imz|dz|
=
∫ b
a
1Im ((g ◦ σ) (t))
∣∣∣(g ◦ σ)′ (t)∣∣∣ dt
=
∫ b
a
1Im(g(σ(t))
|g′(σ(t))| |σ′(t)| dt
54
and it is easy to calculate that,
Im(g(σ(t))) = Imσ(t) − iσ(t) + i
=1 − |σ(t)|2
|−σ(t) + 1|2
and
|g′(σ(t))| =2
|−σ(t) + 1|2,
and so1
Im(g(σ(t))|g′(σ(t))| =
21 − |σ(t)|2
Hence,
lengthH (g ◦ σ) =
∫ b
a
21 − |σ(t)|2
|σ′(t)| dt.
Then the length of the path σ in D is defined by,
lengthD (σ) =
∫ b
a
21 − |σ(t)|2
|σ′(t)| dt.
The distance between two points z,w ∈ D is defined by taking the length of the shortest
path between them:
dD(z,w) = inf{lengthD (σ) : σ is a piecewise differentiable path from z to w
}.
Proposition 5.3 Let σ : [0, r]→ D, then
dD(0, r) = ln(1 + r1 − r
).
Morever, the real axis is the unique geodesic joining to 0 to r.
55
Proof. Let define a path σ [0, r]→ D with σ(t) = t. Then,
lengthD(σ) =
∫σ
21 − |z|2
|dz|
=
∫ r
0
21 − t2 dt
=
∫ (1
1 + r+
11 − r
)dt
= ln[1 + r1 − r
].
To show that this length is minimum, take polar coordinates (r, θ) in D and recall that
dx2 + dy2 = dr2 + r2dθ2.
Now, consider any path σ = r(t) + iθ(t) : [0, 1] −→ D joining 0 and r. Again from
definition (4.8),
lenghtH(σ) =
∫ 1
0
21 − |σ(t)|2
|σ′(t)| dt
=
∫ 1
0
11 − r2
√(r′(t))2 + r2 (θ′(t))2dt
≥
∫ 1
0
11 − r2(t)
√(r′(t))2dt
=
∫ 1
0
[1
1 + r(t)+
11 − r(t)
]|r′(t)| dt
≥
∫ 1
0
[1
1 + r(t)+
11 − r(t)
]r′(t)dt
= ln[1 + r(t)1 − r(t)
]= ln
[1 + r1 − r
].
Hence, the infimum length of paths joining 0 and r is ln[
1+r1−r
]. The equality is hold
only θ′(t) = 0, it means that the length which is the joining 0 and r is the real axis. This
complete the proof. �
56
From previous proposition,
dD(0, r) = ln(1 + r1 − r
),
if it solve for r,
r =edD(0,r) − 1edD(0,r) − 1
,
since tanh z = e2z+1e2z−1 , then,
r = tanh(12
dD(0, r)).
Above formula is related with the radius of hyperbolic circle and Euclidean circle. In
euclidean geometry, a circle is defined as the locus of all points a fixed distance from
a fixed point and the definition of circle in the hyperbolic plane is given following
definition.
Definition 5.4 (Hyperbolic Circle)
A hyperbolic circle in D is a set in D of the form
C = {y ∈ D : dD(x, y) = ρ}
where x ∈ D and ρ > 0 are fixed. x is refer to the hyperbolic centre of C and ρ is refer
the Hyperbolic radius of C.
Lemma 5.5 The circumference of a hyperbolic circle of radius ρ is 2π sinh(ρ).
Proof. Let start the proof with take any hyperbolic circle with hyperbolic center 0 and
hyperbolic radius ρ, then from the definition (5.4) ,
ρ = dD(0, r) = ln(1 + r1 − r
).
57
Then, r = tanh( 12ρ), and so the hyperbolic circle is also Euclidean circle with center 0
and radius r. Since the Euclidean circle can be parametrized by,
γ : [0, 2π]→ D, γ(t) = reit, where 0 ≤ t ≤ 2π,
with
|γ(t)| = r and |dγ(t)| = rdt.
Then, the hyperbolic length of γ(t),
dD =
∫γ
2 |dz|1 − |z|2
=
∫ 2π
0
2r1 − r2 dt =
4πr1 − r2 .
And since, r = tanh(
12ρ
), then,
dD =4π tanh 1
2ρ
1 − (tanh 12ρ)2
=4π tanh 1
2ρ
sech2 12ρ
= 4π sinh(12ρ
)cosh
(12ρ
).
Since sinh(2t) = 2 sinh(t) cosh(t), and so the length of hyperbolic circle will be,
dD = 2π sinh(ρ).
�
Lemma 5.6 The area of a hyperbolic circle of radius ρ is 4π sinh( 12ρ).
Proof. The integral from the zero to radius of the hyperbolic circumference of the
circle gives that the area of the circle. And so,
Area =
∫ ρ
02π sinh ρ dρ = 2π cosh ρ |ρ0= 2π (cos hρ − 1)
58
since sinh ρ =cosh 2ρ − 1
2 , then,
Area = 4π sinh2(12ρ
).
�
59
CHAPTER 6
CONCLUSION
In this thesis studied with hyperbolic geometry which is the one of the non Euclidean
geometry. It is construct with using upper half plane model and Poancare and com-
plex variable functions. The Mobius transformations played most imprtant role in the
hyperbolic geometry. Here with using the Mobius transformations obtained the some
formulas to find length and distace in hyperbolic geometry. And stereographic projec-
tion and hyperbolic geomtery make easiest to study with spherical geometry.
60
REFERENCES
[1] Anderson, J., W. (2005). Hyperbolic geometry. second edition. United States Of
America. Springer- Verlag London.
[2] Bolyai, F. and Bolyai, J. (1913). Geometrische untersuchungen. P.G. Sta-
cel.Reprinted by Johnson reprnt corp. Newyork and London, 1972.
[3] Cannon, J., W. Floyed, W., J. Kenyon, R. and Parry, W., R. (1997). Hyperbolic
Geometry. Volumic 31.
[4] Euclid. 1926. The thitreen books of Euclid’s elements. second edition. Cam-
bridge. T., L., Heath. Repprinted by Dover. New york. 1956.
[5] Gamelin, T., W. (2001). Complex analysis with184 illustrations. Springer- Verlag
New York Inc.
[6] Kline, M. Mathematical thought from ancient to modern time. (1972). New York.
Oxford U, Press.
[7] Mathews, J., H. and Howell, R., V. (2006). Complex analysis for mathematics
and engineering. Fifth edition.
[8] Ponnusamy, S. (2005). Foundation of complex analysis. Second edition.India.
7200 the Quarum, Oxford Business Park Nrth Garsington road, Oxford OX4
2JZ,U.K.
[9] Series, C. and Maloni, S. Hyperblic geometry MA448. 2008.
[10] Walkden, C. Hyperbolic geometry. 2012.
61