METRICAS RIEMANNIANAS y PSEUDO-RIEMANNIANAS

GALINA LJI(OSOVA DE MEJA

Trabajo present.adu como

quisit.o para la promocin a l
tegoria de Profesor Asociado

UNIVERSIDAD NACIONAL DE COLOMBIA

SECCIONAL MEDELLIN
FACULTAD DE CIENCIAS
DEPARTAMENTO DE MATEMATICAS
1993
 CONTENIDO

Introduccin ....... . .................... . ..... . ................... .. ..........

Capitulo o: Conceptos bsicos d.e geometria diferencial .......... , .....
1 Clwlo en el e.'Jpacio euclidiano . ................ . ..................... .
1. Espacio euclidiano .................................. . ................
2. Espacio tangente .... . ...............................................
3. Curvas en un espacio euclidiano ...................... . ...............
4. Cambio de coordenadas ................... . .............. . . . .........
5. Forma cuadrtica . .. . . . ........ '.............. . .. . ....................
2 Mtrica riemannana en un dominio del e.'3pacio euclidiano ......... . ....
1. Mtrica riemanniana ...................................... . ........ .
2. Mtrica euclidiana ....... . .................................... . ......
3. Mtrica pseudo-riemanniana ....................... . .... . ............
3 Movimiento.'3 de la mtrica ...... ................. . ..... . ................
1. Isomet,rias .... ................ . ............ ... ............. . ...... . .
2. Mtrica conforme ........ . . . ... . .....................................

4 Frmula.'3 de _Frenet . .......................... . ... . ............... . .....

1. Curvatura de una curva plana ..................... . .......... . ......
2. Curvas espaciales ............... . ......... . ..........................
5 Superficie.'3 en ~3 ........ . ................... ...............
1. Superficie y espacio tangente .............. .. ........... . .............
2. Mtrica inducida ......... . .................... . . . . . .................
3. Segunda forma cuadrtica .. ... ........... . .......... . ...............
4. Invariantes de la pareja de formas cuadrticas . ..... . ..... . ........ . .
5. Curvatura de una superficie de revolucin ......... . ..................
Capitulo 1 : Mtrica de la esfera .'................................ . .......
1. Proyeccin estereogrfica ............... . ......... . ..................
2. Mtricas no equivalentes .... .. .................. . '........ . ...........
3. GCurvatuara de l.a ~sfera 'd" l ~ UNI Vi:J< \i
4. rupo e movImIentos e a eSlera . . ... . ...... Br'.... ... .' ...." L, " ' l - j ', '
oLIOI'EC '
A CENTR
i 36 c6
 6 Curvatura de la mtrica
1. Coordenadas isotrmi
2. Curvatura de una sup
3. Curvaturas de las m
7 Constantes de Bloch y de
Capitulo III: Mtrica hiper
1 Longitud de vectores y cu
1. Longitud de vectores
2. Mtrica en un domini
3. Isometrias ...........
2 Propiedades de la densida
3 Curvatura de la mtrica
1. Lema de Schwarz-Ahl
2. Principio de la mtric
 .18
4 E3timacione3 para la mtrica hiperblica en dominio3 hiperblico3 ...... . 5
.19
1. Cota inferior para la mtrica hiperblica de D~ . . . ............ . ....... 5
2. Estimaciones para i\(f2) ............................................. 5
.20

.20
5 Algunas propiedades de .~': y la mtrica hiperblica . ........... . ...... ... 6
.20

.21
Bibliografla ................... . ........ ... ........... . ...................... . . 6
.24

.25

, .26

.. 27

\. 27

.28

' . 28

.29

.31

.31

.32

. 33

.33

.34

.34

.35

.35

.36

.37

38

.38

38

. 40

41

44

44
44

.46

r 47

47

51

51

53

iv
tes dominios de ~ 3 : pseudoesfe
modelo de Klein, superficie de
I y n estn presentadas en las
el concepto de la curvatura de
para una familia de funciones.
en las referencias [DNF],[H],[M
En el capitulo In se estudia
dominio hiperblico, que cond
trminos de la distancia euclid
piedades de la mtrica hiperbl
donde f es una funcin analfti
maciones de este cociente tiene
Las referencias utilizadas en est
[M5],[M6],[Kr],[O] .
 CAPITULO O

mite CONCEPTOS BASICOS DE GEOMETRIA DIFERENCIAL

intre
1 un

1ann
J de 1. Clculo en el espacio euclidiano
de
1. Espacio euclidiano. Denotemos por IR II el espacio vectorial de todas las n
tuplas reales x = (xl, ... , xn). El espacio 1R11 con la distancia entre dos puntos P
Q dada por
11
d(P,Q) = ')xi _ yi)2, (1.1
ltro i=l

s y donde (x l , ... ,x 11 ),(yl, ... ,yn) son las coordenadas cartesianas de los puntos P
se! Q respectivamente, se denomina euclidiano y las coordenadas cartesianas con est
propiedad se llaman coordenadas euclidiana,s. Un subconjunto n de 1R 1l abierto y co
n n
nexo se llama dominio. Sea un dominio de IRn y f : ---+ IR m una transformaci
diferenciable en n , entonces las m funciones de coordenadas f j (x 1 , ... , X n) = yj, j =
b tes 1, ... , m , tienen derivadas parciales ~f1
UXl
respecto a cada coordenada xi, , = 1, .. , n
xto
las La matriz de J acobi de la transformacin f es la matriz J definida por J = (~~~).
Dado un dominio n e 1R11 con coordenadas cartesianas (Xl, ... , xn), decimos que un
de
aplicacin continuamente diferenciable f : n ---+ IR n define un cambio regula,r d
coordenadas yj = fj(x l , ... , xn),j = 1, ... , n, si el jacobiano de la transformacin
'en
, es diferente de cero en cada punto P En: Plp i= O. El sistema de coordenada
are,
(yl, ... ,yn) obtenida asi se llama regular y los puntos P E n, donde IJlp i= O s
los
llaman regulares.
Ejemplo 0.1.1. El sistema de coordenadas polares en 1R2 : xl = 1'COS <p, x2
rsen<p, es regular en n = {(1',<p)/r > 0,0 < <p < 27f} .
Si ~ = (e, .. ., e') y 11 = (11 1 , ... , r1I) son dos vectores de 1R 1l su producto escala
un euclidiano, que denotaremos por < ~,r >, se define como
en
n

< e 71 >:= L ~i71i. (1.2

i=l

es. La longi t ucl de un vector ~ E IR n est dada. por I~ 1= J < ~,~ > , el ngulo entr
dos vectores ~,r E IR" se define mediante la relacin
4],

cos <p =
< e 71 >
I~ 11r 1 .
tangentes a las curvas en t.
t = <p(r), T E [0:,,8]' tp(o:) =
T [0:,,8]' decimos que se tien
E
La longitud de una curva
parmetro. Si , es una curva
unidades de longitud) de tal m
uno: 11'( t) 1= l. Tal parmetr
4. Cambio de coordenadas
dlano x = (x1 , ... , x 11) y otro a

i = 1, ... , n. Sea zi = zi(t), i =
nadas z. Luego en coordenad
1, ... ,n.
El vector tangente a la cur
enotado y en coordenadas x es
1
In}. La dh dhll)
vx(t) = ( - , ... , .
dt dt
Luego
i
Vi = dh = ~ 8xi dz j
x dt ~ 8zj dt .
1=1

El cuadrado de longitud del vector Vx est dado por

" curva

( 1.
tt) i= O

Ivector Sea
( 1.

r
(se omite el signo de i; se suma respecto al ndice repetido). Observamos qu
gjk = gkj . Luego
(1.3) (1.

Las componentes del vector tangente a una curva suave se transforman segn
1 es el regla
-,1 _ 8 x i 1,
ctores Vx - 8z j v z '
ora SI Sean ~1 = (~f, ... , ~;'), 6 = (~~, ... , ~~n dos vectores en el punto P en coordenad
todo x = (xl, .. , xn) de ,1Rtl. Supongamos que estos mismos vectores en coordenad
z = (z l, ... , Zll) tienen la forma 171 = (171, ... ,17;'),172 = (77L ... ,1]2) Y el cambio
'es del coordenadas es regular. Luego el producto escalar de ~I y 6 est dado por
t (en , k

ual a
< ~1,6 >= gjk1]{772 , (1.

a. donde las funciones gjk son las mismas que aparecieron en la. frmula (1.6). L
funciones gjk se pueden representar en forma matricial as: G = (gjk) = AT
eucli
., Z 1l-) , donde A = ( 8:j
8 i) es la matriz de .Jacobi de cambio de coordenadas.
orde
5. Forma cuadrtica. Sea V un eSP9.cio vectorial. Una forma .~imtrCfL biline
), i =
o forma cuadrtica es una aplicacin f3 : V x V ~ IR que satisfa.ee
f3(x,y) = j3(y,x),
f3(ax + by, z) = a f3(x, z) + b f3(y, z),
a, b E IR, x, y, z E V. f3 es definida. positiva si x i= O implica f3( x , x) > O.
cuadrtica positiva definida so
depende suavemente del punto
Nota. Para definir una m
presentar las funciones matric
La siguiente definicin esta
un dominio n de ~n y el prod

Definicin 0.2.2. Supongam

niana G = (9ij) respecto al
r = (rl, ... ,rn) dos vectores en
escalar (producto interno) se d

<C

Observamos que si las func

entonces el producto escalar
(1.2).
 5

Debido a la estrecha relacin entre la mtrica riemanniana gij y el producto

escalar entre dos vectores (2.2) muchas veces definen la mtrica riemanniana me
diante el producto escalar. Si en el dominio n e IR n est definida una mtrica
riemanniana G(z) = (gij(Z)) y en coordenadas z est definida una curva suave
zi = zi(t), i = 1, ... , n, t E [a, b] , entonces la longitud de la curva se define por:
:c IR n
(2.3)
a.r las
latri (comparar con la frmula (1.3)). Dadas dos curvas 1'1 y 1'2 que se intersectan en
neaE.. t = to, entonces el ngulo entre las curvas es el nmero p (O :::; p < 71"), tal que
Iopie
cosp =
e,
< TI >
lellTlI' donde e,TI son los vectores tangentes a las curvas 1'1, 1'2 en
~ mos

t = t o , respectivamente.
est Ejemplo 0.2.1.
a) Coordenadas cartesianas (xl, ... , xn) en IR n . La matriz G(x) en coordena
das x tiene la forma G(x) = In, donde In es la matriz identidad n x n
Consideremos la transformacin identidad en IR n. Luego la matriz de J a
cobi de esta transformacin es In. Por lo tanto la longitud de una curva
suave 1'(t) = (x 1 (t), ... ,x n (t)) est dada por

dx1)2
( di + ... + (dxn)2
dt dt.

b) Coordenadas polares (r,p) en 1R2. La matriz G(x) en coordenadas carte

2.1 ) sianas (x 1 ,x 2 ) tiene la forma G(x) = (~ ~) = I, es decir gij = bij . E

cambio de coordenadas est dado por
xl = r cos p

que
X2 = r senp, r > O, O < p < 271".
Luego la matriz de J acobi de esta transformacin es
ente A = (cosp -rsenp).
senp r cos p
a en
Por lo tanto G(r,p) = ATIA = (~ r~) . Calculemos la longitud I de

l an una curva suave 1'(t) = (r(t),p(t)) en el sistema polar. Escribamos 1i'(t)1 2

1) Y en forma matricial utilizando (2.2), (2.3) :

(~ ~nG(r,~) ~
ucto

< ?(t),-Y(t) > = ( )

2.2)

= ],
ano
dr
( dt dP)
dt
(1O O) ( dp~: )
r
2
dr)2
( dt +
r2 (dP) 2
dt
dt
 X2 = 7'COS'
x ,3 = 7' sen'P
La matriz de .]acob

Por lo tanto la longi

1= lb
la
 7

A veces en lugar de la longitud de la curva es ms cmodo escribir la forma

explcita del diferencial de arco di o su cuadrado. En pa.rticular en los ejemplos
anteriores estos diferenciales son:
i) dZ 2 = :~1(dxi)2 (coordenadas cartesianas en ]R"),

carte ii) dZ 2 = (dr)2 + 7 2(d<p)2 (coordenadas polares en ]R2),

~ Elallas iii) dZ 2 = (d7-)2 + 7 2(dO)2 + r 2sen 20(d<p)2 (coordenadas esfricas en ]R3), (*)
iv) dl 2 = (d7)2 + r 2(d<p? + (dz )2 (coordenadas cilndricas en ]R3).

2. Una mtrica riemanniana gij definida en un dominio

Mtrica, euclidiana.
ne n existe un sistema ele coordenadas y = (yl, ... , y 1t ),
]R11 se llama e1lclidia,na si en
tal que G(y) = (gij(y)) = I (matriz identidad).
Una mtrica euclidiana escrita en un sistema de coordenadas arbitrario z pierde
su fcil "aspecto euclidiano", y se define mediante una matriz G( z ) en la cual a veces
es muy difcil "reconocer" una mtrica euclidiana si no contamos con invariantes,
que permitan distinguir mtricas lIO equivalentes (es decir que no se transforman
una en la otra mediante un cambio regular de coordenadas ).
Con frecuencia, en lugar de la matriz G = (gij) de la mtrica riemanniana
escribiremos el diferencial de la longitud de una curva suave (di) o su cuadrado
(dl)2 :
(2.4)

Las frmulas (*) son ejemplos elementales de mtricas euclidianas.

3. Mtrica:; p:;eudo-riemanniana:;. Supongamos que las funciones gij = gji(Z),

i, j = 1, ... , n son tales , que la matriz G = (gij) es no singular, pero la forma gij ~i ~ j
es indefinida. Entonces decimos que las funciones gij definen una mtrica pseudo
riemanniana. COl110 ejell}l)lo COllsclerelllOS las llltrica.s dell0lnilladas pseudo-eucli
dianas.

Definicin 0.2.3. La mtrica gij = gji( Z) se llama pseudo- euclidiana si existe un

i
sistema de coordenadas x = (x 1
, .. ,X
Il
),x t.=.
xt( z ),det (ox
ozj ) .. O, tal que

o x 1 ox 1 Dx P ox P O.-r p + 1 ox p + 1
gij = oz i oz j + ... + oz i ozj - o z i ozj

, En estas coordenadas g:j = O si i .. j, g;i = 1, si i :S p, g:i -1 , si i 2' p + 1 , lo

que quiere decir que la matriz G viene ciada por

1 O O
O 1 O
G=
por

o o -1

Tales coordenadas x se llaman p:;eudo-enclidiana.'l.

 x

La
fig.l e8

3. M
1. hometras. Las transf
mtrica s e llaman i8ometra8
e ' , xi = xi ( z1
una t ranSlornlaCJOn
dada gij si:
g;j(ZI,

De esta manera un movimient

lar en la frmula (2.1). Todos
forman un grupo respecto a la
nniendo Ejemplo 0.3.1.
a) Las translaciones de IR11 son isometras que preservan la mtrica euclidiana

x ~ x + Xo,
de IRH
JJseudo para un X o fijo.
a cio de b) Las transformaciones orto90no.les de Rll tarnbin son isometl'as de la mtr
11trica ca euclidiana.:

Q : IR H ~ IR lI
X ~ Qx,

donde Q es una matriz de n x 11. ortogonal, es decir QTQ = J.

naUl0S
2. Mtrica conforme.

Definicin 0.3.1. Una mtrica riemanniana gij definida en un dominio ne IR

con coordenadas z se llama conforme si

donde qij(Z) es la mtrica euclidiana en coordenadas Z y /\(z) es una funci

suave en n.
En otras palabras, la mtrica gij es conforme si existen coordenadas x en n, tale
que 9ij(X) = A(X)(~=l(dxi?).
Ejemplo 0.3.2. Las dilataciones de IRll definidas por

D : IR n ~ IR n
x ~ AX, A # O,

son transformaciones conformes, puesto que 9L(x) = A2 gij(X). Si A # 1 las dilata

ciones no son isometras de IR 11.

an la 4. Frmulas de Frenet.
,bras,
1. Curvatura de una curva plana. Sea r(t) = (x(t), y(t)) una curva suave definid
trica
en el plano euclidiano IR 2 con coordenadas (x, y). Luego 1'(t) = x(t)e1 + y(t)e2
I d1' d21'
donde el, e2 es la base cannica de IR 2 . Sean v =
dt' w = dt 2 ' Si el parmetro
es natural, entonces v es ortogonal a w, (pues < v, v >= 1 implica < v', v >= O).
esca
IR11 Definicin 0.4.1. La curvatura k de una curva 1'(t) en el tiempo t , donde e
parmetro t es natural, es el mdulo del vector aceleracin w, Es decir k := Iwl, E
 w
dfw(TwIR2) e T f (w)1R 3 de dim
en el punto w y se denota Tw

2. M trica inducida. Se
aplicacin lineal. Supongamo
define una forma cuadrtica

a(

La forma cuadrtica O' se lla

L es inyectiva y (3 es definid
El producto escalar de ~3
cualquier superficie de ~3. S
Sea w E n. El producto esca
Twf e Tf(w) 1R 3 ~ 1R 3 via re
forma cuadrtica de la super
denota por g, La representac
atural, a la base fu I , f u2, donde (u 1, U2) son las coordenadas en n y fu i denota la deriva
de f respecto a u i , es (gij) := (g(Jlt i , fuj )). En la notacin de Gauss

E := gl1 = g(Ju l , fui), F:= g12 = g(Ju l , fu 2 ), G:= g22 = g(Ju 2 , fu 2 ) ,

y la mtrica riemanniana se escri be COIUO

(4.1)
La primera forma cuadrtica de la superficie es invariante respecto a las isometr
del espacio y respecto al cambio regula.r de coordenadas.
Ejemplo 0.5.1. Un toro T en el espacio euclidiano 1R 3 se define como la superfic
generada por la revolucin de una circunferencia alrededor de una recta que est
su mismo plano. Supongamos que la circunferencia est dada por las ecuaciones

x = bcos c.p +a

z = bsenc.p, o ~ c.p < 271", 1P = O,

Sean donde c.p y 1P son los parmetros angulares que se indican en la (fig.2).

, acin
s una x
nsin
torial
ce f
y
ntes. y
fig.2
UIla
S se Supongamos que el eje de rotacin es el eje z. Los parmetros angula.res var
en los intervalos O ~ c.p < 271", O ~ 1/J < 271" . La ecuacin paramtrica del toro Te
r(c.p,1/;) = (x(c.p, 1/;), y(rp,1/J),z(c.p, 1/;)), donde

.L(c.p, 1/J) = (a + bcosc.p)cos1/J

. Si y( c.p, 1/J) = (a + b cos rp) sen1/J
z ( c.p, 1/J) = b senrp.
obre
flcie. Derivando se obtiene
obre dx = - b sen c.p cos 1/J dc.p - (a + b cos c.p) sen 1/J d'ljJ
,era
y se
dy = - b sen c.p sen 1/J dc.p + (a + b cos c.p) cos 1/J d1jJ

eelo dz = b cos rp dc.p.

 k

donde f) es el ngulo entr

( [DNF], [K)). Si la curva
o sea el plano ortogonal

4. Invariantes de la pa
estn definidas dos form
y bijdxidx j . Supongam

( 911 912), Q = (bb 11

g21 g22 21
la ecuacin det( Q - .xG)
cuadrticas. Los valores
 son invariantes respecto a cambios regulares de coordenadas en una vecind
punto. Los valores propios de la pareja 'de formas cuadrticas se llaman cnrv
principales de la superficie en el punto. El producto de los valores propios se
curvatura gaussiana K(P) = K de la superficie en el punto P , la suma
valores propios se llama curvatura media H(P) = H de la superficie en el pun

en forma
~e m es el
'} rial. Sea adems
~'v v, r = K = Jet Q = LN - M
2

nos det G 92
Si K > O la superficie localmente est a un solo lado del plano tangente en el
P. Si J( < O la superficie est a ambos lados del plano tangente en el punto
5. Curvatura de una superficie de revolucin. Sea y = r( x) una curva en el
xy. Consideremos la superficie de revolucin S que resulta al girar la gene
(5.1) r(x) alrededor del eje x. Introduzcamos coordenadas cilndricas en lR. 3 . Ent
la curvatura gaussiana K en el punto P de S es

lente rela

(5.2)

:tla curva
o normal,

(5.3)

mperficie
i j
7ijdx dx
son G =
raJces de
e formas
adrticas
 ~2(X, y)

N es el polo norte de la
sobre la esfera, distinto a
un punto Q sobre el plano

define una transformacin

JR2. Como se ve de la con
 esfera excepto para el polo norte. Podemos suponer que al polo norte le cor
ponden los puntos infinitamente lejanos de ]R2, Escribamos la transformacin
analticamente. Para ello introduzcamos unas coordenadas en el plano y otras
bre la esfera. Consideremos las coordenadas esfricas (r,a,c.p) en ]R3 que indu
unas coordenadas sobre S2 y sobre ]R2(x, y). En efecto, sobre la esfera S2, do
r = const, obtenemos las coordenadas (a, c.p) y sobre el plano ]R2, donde e = CO
obtenemos las coordenadas polares (7', c.p). Como la transformacin 'Po pres
la coordenada c.p es suficiente encontrar la relacin entre l' y c.p. Consideremo
seccin plana que se obtiene al intersectar la esfera con el plano qllf' pasa por
mtricas puntos N, O, P, donde O es el origen y T es el punto medio entre N y P (fig.
as carte
plano ]R2 Como el ngulo O NT es igu
,Para ello a I - ~ obtenemos del tringu
rrdenadas. N rectngulo NOQ que r = OQ

R tan (~ - ~) r = R cot ( ~)
(1.1 ) Q(I', ip) Luego las frmulas del cambio d
_+-_-----,---L-_ _-+-___----"-'--"-------'--------=:::,-...;~ coordenadas (e, c.p) ----+ (1', c.p) so

"a, c.p) a
la c.p = c.p, r = Rcot 2'
el plano
'denadas fig.4
La matriz de Jacobi de esta transforma.cin es

~)
-R
Y el jacobiano es J = a. Por lo tanto el cambio es regular en todos
2sen 2 -
2
puntos, excepto en el polo norte donde = O. e
De esta manera en S2 podemos introducir las coordenadas en trminos de
coordenadas polares del plano euclidia.no. Veamos que forma toma la mtrica
manniana de la esfera en estas coordenadas nuevas. Tenemos

-R e 2 a 1,2
",lquiera d1' = ---::-e de, sen 2 cos - =
eniendo 2sen 2 -
2 2 R2 +r2
2
Reemplazando obtenemos

dl 2 = (R2+1,2)2
4R'1 (d 2 2d 2)
r +r c.p . (

! sobre Observamos que la forma de la mtrica (1.3) sobre la esfera difiere de la m

euclidiana en el plano (ver Cap . O, 2.1 (*)), escrita en coordenadas polares,
13 de la
En coordenadas (r ,

t2
p= j ti
 de;
iica (1.3) es Como e; = const, - = o, l'(t) = O, 1'(t 2) = a, entonces
dt

las polares)
p =
1
t2
2R2 d1'
- dt
R2 + 1'2 dt
=2 la 2
R2
+ 1'2 d1' = 2R arctan a
R
tI o R

Luego
(1.4 ) a
p = 2Rarctan R.
Obtenemos que p = Re (fig.5) es el radio de la circunferencia con el centro en e
t2 ( x, y) . La
norte, luego la ecuacin de esta circunferencia es e = ~ = consto La longitud
circunferencia de radio p sobre la esfera en la mtrica de la esfera en coorde
(1', e;) es
( 1.5)
4R4 ( (d1' ) 2 2 (de;) 2)
LS (1.4) son (R2 + 1'2)2 dt +1' di dt.
.as que per
una justifi Como e;(tJ) = O, e;(t 2) = 27r, l' =a , tenemos
19itud de la
Busquemos
clidiana de
lIado en la
a esfera. A
lio p con el

o sea
p
lp = 27rRsen R.
Geomtricamente la magnitud p es la longitud del meridiano que une el polo
con el punto variable P. Tambin se puede obtener la frmula (1.7) media
aplicacin de la definicin de la longitud de una curva (cap.O, (1.3)) y de la m
de la esfera (1.2) en coordenadas (e, e;) . En efecto:

R2 ( (~~) 2+sen2o( ~~) 2) di

= t2
tI R sene
d
d~ dt = Jo
{21r
R sene de; = 27r R sene, e= ~.

Observamos que en la frmula (1.2) O ~ e < 7r, O ~ e; < 27r , Y el dominio (e

un disco de radio 7r en el plano euclidiano. (fig.6)
Si e
= , p = 1r2R Y en este caso la longitud de la circunferencia es ma
e
(ecuador). Si = 7r, P = 7r R y en este caso la longi tud de la circunferencia e
a *. Luego la curvatura g
cada punto P E S2 la supe
curvatura media de la esfe

4. Grupo de movimien
espacio ~3 alrededor del or
rotacin definida por una
sobre la esfera. De esta ma
el grupo matricial 0(3) de
que cualquier transformaci
lineal ortogonal en IR 3 , o s
sus isometras) coincide co

5. Mtrica de la esfera
nuevas coordenadas comple
se puede escribir

fera 2 2R 2) 2 2

I SU
dl = ( R'l + Izl Idzl
2

Entonces el elemento de longitud de una curva sobre la esfera de radio 1 es

rr p. La mtrica (1.8) define una mtrica en el plano complejo C .

Nota . En algunos artculos se utiliza la m trica
~

~p " y dl = Idzl
sen.!!.. "
R'
1 + Izl2
era es
como la mtrica de la esfera.
6. M trica del plano extendido C* . Compactificando C obtenemos el
extendido C* = C U {(X)} . Luego se tiene la correspondencia uno a uno en
esfera 52 y C* (al polo norte N le corresponde el "punto" 00 de C*). La m
~sfuerzo en C* es la misma mtrica de la esfera (1.3), (1.5) o (1.8) . La distancia en
o sobre punto z E C y 00 corresponde a la longitud del arco p sobre la esfera que va
el polo norte hasta el punto P que es la imagen del punto z bajo la proy
estereogrfica y
esfera
p = 2 arctan
Izll'Z'=OO =
Ji a
2 arctan R'
propios 7r -

uras de Izl=a
iguales O sea la distancia esfrica entre dos puntos en C* es menor o igual a 7r
r , para
l P. La

in del
:t.. Esta
a (1.2)
~diante
r [MF]
nacin
fera (o

2(X, y)
a (1.5)
 ~,
, I \\
11
,
' ,
" 11 '1',
11 I 1"
1 1
L -
---1!-r
1 ,1 1 /
/1 I I /
Ir'
/
/
/
I /1 /
\ /
/1

Las pseudoesferas de rad

2
R Las pseudoesferas d
X2 _ y2 _ z2 = _R2 (fig.7)
En el caso de 1R 3 la ecua
En coordenadas pseudoesf
es p = consto Ahora con
 pseudoesfera de radio real inducida por la mtrica pseudoeuclidiana (1.1) de IR~
La mtrica (1.1) en coordenadas pseudoesfricas toma la forma

(1.

Consideremos slo la parte derecha de la pseudoesfera (fig. 7) donde p = +R, dp

O, por lo tanto la mtrica (1.3) sobre la pseudoesfera es
,
10 IR~
con (1.
\pseudo

(1.1) De esta manera la mtrica (1.4) inducida por la mtrica indefinida (1.1) de IR~ sob
la pseudoesfera es definida negativa, o sea los vectores tangentes a la pseudoesfe
ronjunto tienen el cuadrado de longitud negativo.
Iste caso
tn de la
Definicin 2.1.1. La mtrica (1.4) se llama mtrica de Lobachevsky.
I (1.2)

el eje x 2. Proyeccin estereogrfica de la pseudoesfera. Definamos la geometra sobre

" donde pseudoesfera X2 - y2 - z2 = R 2 , X > O de la siguiente manera: los "puntos" son l
mismos puntos del hiperboloide y las "rectas" son las curvas sobre el hiperboloi
que se obtienen al cortarlo con los planos ax + by + cz = O , que pasan por el orig
(fig.8).
Resulta que la geometra sobre la
pseudoesfera obtenida as puede ser
estudiada con los mtodos de geo
metra analtica (sin recurrir al con
cepto de la mtrica pseudo-rieman
niana), trazando una analoga con
x la geometra sobre la esfera usual.
/ O
/ Para ello es cmodo hacer una trans
/

/
formacin anloga a la proyeccin
estereogrfica de la esfera sobre el
plano. El centro de la pseudoesfera
Sr es el origen 0, el polo norte N
fig.8 es el punto con coordenadas
_Z2 = I

manto (-R,O,G), el polo sur S es (R,G,O) (fig.9).

Sea P el punto variable sobre la pseudoesfera x > O. Tracemos una rec
const o que pasa por N y P . Esta recta intersecta el plano YOZ en el punto f(P) q
oesfera llamaremos la imagen de P bajo la proyeccin estereogrfica f : Sr
~ IR 2 (y, z
bre la La imagen del manto derecho del hiperboloide cubre el interior del disco de radi
 fig.l0

Anlogamente

Luego

Y
 anto iz
Como R' = x' - y' _ z' entonces R' = x' _ (u; + un ( R; X)' y teniendo

;! erior del cuenta que x - R > O obtenemos

e la pro
-ide sobre
_R-
__ + R 1uI2
x_ l' luI 2 + R 2
)lano ex X R2 ' es (eClr x = R R2 _ Iu 2 1

,z2=R 2 .
n el infi
, esfera). Ahora x = -Ry - R, z
U2
= -y, luego
e las co UI UI
o f(P) =

(-;; - R)2-y - ()2

_coorde Ry 2 U2
byoz. -;;y

'OyeCCin y
!,x > O.
I
o

Proposicin 2.1.2. La proyeccin estereogrfica f: (x,y,z) I---t (UI,U2) define

cambio regular de coordenadas, u~ + u~ < R 2 .

pasa por Demo.3tracin. Sean (x, y, z) las coordenadas del punto P que satisfacen R 2
x2 - y2 - z2. Luego x = +.JR2 + y2 + z2 es la ecuacin del manto derecho d
hiperboloide. Consideremos f: (y,z) I---t (UI,U2) y su matriz de Jacobi J(J). De
proposicin 2.1.1 obtenemos

" O) ;';2 ) _ __4_R_3__ O

, O) OU2
OZ - (R2 -luI2)2 X > ,
O)
para todos los puntos u = (UI, U2) del disco, puesto que R > O, x > O; lue
2) IJ(1)1 = IJ(J-I )1- 1 > O. O
ne Ahora nos preguntamos en que se transforman las rectas de la geometra defini
sobre el hiperboloide mediante la proyeccin estereogrfica.

Proposicin 2.1.3. Las curvas de interseccin de s con los planos ax + by + cz

O se transforman bajo la proyeccin estereogrfica f en arcos de circunferenc
ortogonales a la circunferencia y2 + z2 = R 2 .

Demo.3tracin. En la ecuacin az + by + cz = O reemplazamos x, y, z en trmin

,de Ul, U2 suponiendo que, por ejemplo a .. o:
 El modelo de la geomet
de Poincar de geometra

3. M trica de Lobache
sobre la pseudoesfera en
u + u~ < R 2 }. Utilizand
plazando las expresiones
-(dx2 - dy2 - dz 2 ) obten

-df = 4
 Si la pseudoesfera tiene radio R = 1, entonces

(1
7' =
!.e las
Definicin 2.1.2. La mtrica (1.5) tomada con el signo menos se llama mtr
de Lobachev3ky en el modelo de Poincar en coordenadas cartesianas 1l], U2 (o s
plemente mtrica de Poincar). En coordenadas polares (r, ~) esta misma mtr
en ~r , tiene la forma
ometra
~s como (1
s arcos

t adade
da una
ralelas"
Observamos que la mtrica de Poincar es riemanniana y conforme, puesto q
4
difiere de la mtrica euclidiana por el mltiplo A( r) = ( 2)2 que es una func
1-r
continua para r < 1. Ahora haciendo el cambio de coordenadas, r = cth~, ~ =
o sea pasando de coordenadas polares (r, <p) a coordenadas pseudoesfricas (X,
obtenemos que la mtrica (1.6) se convierte en dl 2 = dX 2 +sh 2 x d<p2 que es la mis
mtrica (1.4) tomada con el signo menos y p = 1.
4- Interpretacin geomtrica del parmetro X. Consideremos el plano XO
donde la mtrica inducida es dl 2 = dx2 - dz 2.
La interseccin del plano X O Z co
z la pseudoesfera es una hiprbola cuy
representacon paramtrica en coordena
das pseudoesfricas es x = chX, z = shX
R = 1, ~ = f, y = O. Escojamos com
N x parmetro X el valor euclidiano del ngu
lo POS (fig. 13) .Encontremos la longi
tud del arco de la hiprbola desde X =
hasta X = Xo:
modelo fig.13

ntrica
1, U2) : XO
reem
-dZ 2 =
1=
l
o
dx)2 (dz)2
( dX - dX dX =
{XO
Jo' 2
y'sh X - Ch2X dX
{XO
= Jo H dX = ixo

o sea las longitudes pseudoeuclidianas de las curvas sobre la pseudoesfera son im

ginarias puras. As que el parmetro X multiplicado por i coincide con la longi
del "meridiano" de la pseudoesfera que une el polo sur S con el punto P y e
 x

t2

7r
x= 1
tI

Como 'P = 2' 1'(tI) = 0, 1'

X =
1
 Luego a = th~. Ahora la longitud de la circunferencia de radio X es
2

[( dt ) 2+r (di) 2] dt.

4 dr 2 dtp
(1-r 2)2

Como r = a, entonces

,-x-= 1= b2
b
2 dtp
a - dt =
1 - a 2 dt
211"
o
2a
1 - a2
dtp
47ra
= - 2
1- a .

Reemplazando a = th~ obtenemos

1 = 27r shX. (1.

Si X es muy pequeo entonces 1 '" 27rX que coincide con la frmula para la longitu
de la circunferencia en la mtrica euclidiana. Como en el caso de la esfera 5
hemos expresado la longitud de la circunferencia en la mtrica de Lobachevsky e
Izl < l} trminos invariantes (respecto a cambios regulares de coordenadas), es decir
ntricas
trminos del radio calculado en la misma mtrica. Entonces la frmula (1. 7)
'emos el
invariante respecto a cambios regulares de coordenadas y por lo tanto la mtri
encia en
de Lobachevsky no es equivalente a ninguna de las mtricas anteriores.
el radio
ferencia 6. Forma compleja de la mtrica de Lobachev3ky. Introduzcamos en el plan
Tersa de euclidiano nuevas coordenadas (complejas) asi : (x, y) ---t (z, z), z = x + i y, z
x - iy. La matriz de Jacobi de esta transformacin es J = (~ ~i) y IJI = -2i
0, luego el cambio es regular en todo el plano. La mtrica euclidiana en est
coordenadas es dl 2 = dx2 + dy2 = (dx + idy)( dx - idy)

dl 2 = dzdz. (1.

La mtrica de Poincar es

(1.

Definicin 2.1.3. La mtrica

ds = Idzl 1 1 1 (1.1
1 _ Iz12' Z <
se llama mtrica hiperblica en el crculo unitario 10>.
Nota. A veces se utiliza la frmula
21dzl
ds = 1 _ 1Z 1 z1< 1.
2 ' 1
(1.10

7. Tabla de la3 mtrica3 riemanniana3. A continuacin presentaremos una tab

comparativa de mtricas riemannianas dl 2 para la esfera de Riemann 52 y el pla
de Lobachevsky Si (pseudoesfera) en distintos sistemas de coordenadas.
 1, "Doble relacin", Poin
basado en las propiedades
el crculo unitario D , Los
rectas de la geometra son
y pertenecientes a D, Los
Mobius T : D ---t D de la
D), Introduzcamos una m
 cuatro puntos cualesquiera ZI, Z2 E [)J, 0', f3 E ro, definida por
Z2 - o' Z) - o'
(ZI,Z2jO',f3):= f3 -;- f3 (2.
Z2 - Z)

as es invariante bajo las transformaciones de Mbius T en [)J, es decir

~ ,y)
En la frmula (2.1) son los puntos extremos del arco que contiene a
0', f3 Z), Z2 Y
ortogonal a ro (fig. 16a).

o)
-1
{3

:as a) b)
=1
fig.16
Es evidente que z] ,Z2, z) .. Z2 definen una nica circunferencia ortogonal a ro
Si O',Z),Z2,/3 estn sobre la misma A-recta entonces (Z),Z2jO',/3) es real y may
que 1. Para ver esto es suficiente aplicar a la A-recta una transformacin de Mbi
que la convierte en una A-recta que pasa por el origen y el punto (1, O) (fig. 16a
z-)
Puesto que Z ), Z 2, ZI .. Z2 definen los puntos o' y f3 de manera nica denotemos

Un clculo directo muestra que si los A-puntos ZI, Z 2, Z 3 estn sobre la misma
recta en el orden 0', Z l, Z2, Z3, /3, entonces

por lo tanto
Ig{ZI, Z2} + Ig{ z2,z3} = Ig{ ZI, Z3 }
y la cantidad 19{ Z I , Z 2} (que es positiva e invariante respecto alos A- movimiento
:hevsky puede ser tomada como la distancia de Lobachevsky entre dos A-puntos ZI, Z 2 :
)s en e
(2.
. las A
;era ro 2. Mtrica en el crculo unitario. Calculemos p en D.
mes de a) Sean Z1 = 0, Z 2 = r > O, entonces o' = -1,/3 = 1 (fig.16b). Luego por (2.
mos de + l'
" entre
{Z),Z2} = (O,rj -1, 1) = -11-r
 + 11
,...
Luego

que coincide con la mtric

respecto a las transform
. z - _a = w,
elO a,b E
1 - a z

Idw
l-lw
 31

3.Modelo de Klein
1. Mtrica en el plano superior. Consideremos una transformacin de Mobius
del plano superior H+ = {w : 1m w > O} en el crculo uni tario ID> :
d origen es

1 + iw
w 1-4 Z = T( w) = -
1- iw
Z - Z Tenemos T(O) = I,T(i) = O,T(I) = i (fig.17).
1 - z] Z

I I I

I I
I I
I I
I I
T
(2.3) I I i
I H+ I ~ ID>
I I I I

O 1 1

w = u + iv z = x + iy
Kmtera ro
. os puntos

r respecto
De esta manera en ID> se introducen nuevas coordenadas (u, v). Es evidente que
el cambio de coordenadas es regular. Escribamos la mtrica (l.10a) en coordenadas
fig.17

(u,v)=w:
} 4dwdwll - iwl 4

11 - iwl 4 i 2(w - w)2

o sea
2 du 2 + dv 2
, v > O. (3.1) dl =
v2
La mtrica (3.1) se llama mtrica de Loba.chevsky en el modelo de Klein . El eje
u representa los puntos infinitamente lejanos de la geometra de Lobachevsky; en
efecto, calculemos la longitud del segmento del eje v desde 1 hasta O :

(2.4)
1 [(du)2 (dv)2]
v2 di + dt dt.
invariante
n T(z) = Como u = O, v(td = O, V(t2) = 1, tenemos

l = -
o
1 dv
v
= 19 'V I~ = - 19 O ~ (Xl.

La mtrica (3.1) se puede escribir en la forma compleja:

dl=~.
Imz
(3.2)
 Luego

I(PI ,P

aqu r = ro, 'P(t) = 'PI, '

I(PI, P 2 ) = 1
Si PI Y P 2 estn sobre

I(PI , P 2 )
 3

IS Y rectas, Observamos que la mtrica (3.1) en H+ es invariante respecto a las translacione

mirredas paralela.s al eje real. Utilizando mtodos de clculo variacional, se puede proba
que la curva suave ms corta que une dos puntos en el plano superior H+ con l
mtrica dZ 2 = 2 1 2 (dr 2 + r 2di.p2) es el arco de la circunferencia ortogonal al ej
r sen i.p
real ti que une los puntos dados. O sea las "rectas" en H+ realizan la distanci
mnima entre dos puntos, es decir, son geodsicas.

(+ 4. Superficie de Beltrami
1. Construccin. Nosotros ya hemos visto la realizacin de la geometra d
Lobachevsky en las superficies planas (el crculo unitario D, semi plano superio
H+) y en las superficies de 1R 3 (hiperboloides de 1 y 2 mantos). Veamos otr
ejemplo de superficie en 1R3 sobre la cual la mtrica euclidiana de' 1R 3 induce l
mtrica ele Lobachevsky (hiperblica). Consideremos en el plano (x, y) una curv
DS puntos suave 'Y con las siguientes propiedades:
1) 'Y est en el primer cuadrante.
2) La longitud del segmento de la recta tangente a 'Y desde el punto de l
tangencia hasta su interseccin con el eje x es constante e igual a a (fig
20a): IAGI = a = IAoOI.

Aa

y B

a) b)

fig.20
Encontremos la ecuacin diferencial para 'Y. Del tringulo ACX tenemos tan i.p =
y~, ~ S; i.p < 7r, (mientras la coordenada x crece de O a 00 , i.p crece de ~ a 7r). Lueg
y~ es negativa, y = y( x) es la grfica de 'Y. Se tiene tan i.p = .J- seni.p = y~
1 - sen 2i.p
y D e aqUl'
seni.p = -.
a

, .Ja~ - y2

X
y
= ---'---
y Iyl :::; a,
pues la funcin x = x(y) es decreciente. Ahora

()_ y
xy--
a
.Ja 2 - y2 d _ 1 1 a + Ja 2 - y2
Y
y--g
a Y
-
J 2
a-y
2
 H+, en el plano de Lob

 TABLA 2
(4.1)

ideremos la
':el eje x (fig. coordenadas ID> H+ Si B

s cilndri cas
d1l 2 + dv 2 d1l 2 + dv 2 4( d1l 2 + dv 2 ) d1l 2 + dv
la superficie cartesianas , (1 11 2 - v 2)2 ,
(1-1l 2 -v 2 )2' v2 v2
=dx2(r)+
(ll,v)
1l 2 +v 2 <1 2+ v2 < 1 2+ v
d1' 2 + d1' 2 + v>O 11 O< 11

(4.2) d1' 2 + 1' 2d<p2 d7 2 + 7. 2d<p2 4(d1' 2 + 1' 2d<p)

polares , , ,
(1-1'2)2 1' 2sen 2<p (1 - 1'2)2
(7',<p)
1cie de Bel l' < 1 l' < 1

: (1',<p) ~
pseudoesfricas dX 2 + sh 2Xd<p2,
io en (4.2) (X,<p) O:SX<oo
O :S <p < 211'

2
cilindricas
1
2 d1'
l'
+ l' 2
la tabla de (x,1',<p) O<r:S
110 superior

Idzl 2 Idzl 2 41 dz l2 41dzl 2

, complejas
(1 -lzI2)2' (Im z)2' (1 - IzI2)2' _(z-z)
(z,z)
Izl < 1 1mz > O Izl < 1 O < Izl :S
--

5 Grupo de movimientos de la mtrica de Lobachevsky

Veamos cuales son las isometras de la mtrica de Lobachevsky en diferen
modelos. Estas isometras se encuentran entre las transformaciones de Mobius

aw + b
z = ew+
d' ad - be = 1. (5

1. Modelo de Klein. Las aplicaciones (5.1) que transforman H+ en H+ deb

satisfacer la propiedad de que si 1m z = O entonces 1m w = O . Esto implica que
Luego

Consideremos el espac
un vector ~ = (~J, 6),

El grupo de transform
grupo de matrices uni
de matrices con determ

Luego (~ !) E SU

L1 ={
 Consideremos la siguiente transformacin
'Ij;. : SU(l, 1) ~ L 1

A = (: ~) ~ 'Ij;(A)
az + b
nd - bc = 1 cz + d'
tleremos los
1} , donde La aplicacin w = azcz ++ ~, con (ac b
d ) E 5 U (1, 1) transforma ID> en ID> y ro
:ormaciones ro. Por lo tanto 'Ij; es un homomorfismo de grupos (respecto a la composici
El ncleo ker'lj; = (1, -1) , donde 1 es la matriz identidad, luego LI es isomorfo
SU(l, 1)/(1, -1).
9. Modelo de Lobachevsky. El grupo de movimientos de la mtrica indefin
2
dl = dx2 - dy2 en IRr consiste de las matrices A de la forma

A= (Ch'lj; sh'lj;)
sh'lj; ch'lj; ,
el ker'P = donde el parmetro 'Ij; cambia en el intervalo (-00, +00). Este grupo de movimient
L [DNFJ, del plano IRf (llamado grupo de rotacione3 hiperblica3) tiene cuatro componen
conexas que se describen mediante las combinaciones permitidas de los signos en
matriz A as:
rimiento de

Por ejemplo, (~ ~) E G] , puesto que cuando 'Ij; -t -'Ij;, (~ ~) se tran

forma en ( : : ) : sh( -'Ij;) = -sh'lj;, ch( -'Ij;) = ch'lj;. Estas componentes s

disjuntas, o sea G n Gj = 0, i =1= j. De las anteriores componentes G slamente
es un subgrupo el cual es isomorfo a 50(1,1) = {A E M 2 x2 : AAT = 1, det A =
En el caso de IR~ se tiene un resultado anlogo: el grupo de movimientos prop
(con determinante igual al) de la mtrica pseudo-euclidiana en 1R1 es isomorfo
(5.2) 50(1,2), donde 50(1,2) = {A E M 3X3 : AAT = I,detA = 1} e 0(1,2) = {A
M 3X3 : AAT = I} en IR] con la mtrica (1.1) [DNF], p.64-67,[MF], p.205-209. L
resultados anteriores podemos reunirlos en el siguiente teorema cuya demostraci
mgitud de se puede ver en [DNF],p.1l5-1l7.
Teorema 2.5.1. El grupo de movimientos (propios) de la mtrica de Lobachevs
es isomorfo al
i) grupo 5U(1, 1)/ 1 en el modelo de Poincar;
(1.9) es el ii) grupo 5L(2, IR)/ 1 en el modelo de K1ein;
po U(l, 1) iii) grupo 50(1,2) (componente conexa) en el ca.so de la pseudoesfera.
=a, c = b.
Nota. Para obtener el grupo de movimientos completo en el modelo de Poinca
por ejemplo, hay que agregarle al grupo de movimientos propios las transformac
nes de la forma z ~ z. En el modelo de Klein se agregan las transformaciones de
forma z ~ -z, que transforman H+ en H+ y definen un movimiento de la mtri
(3.1 ).
(ver Cap O, (2.2),(2.4)).
nemos

1
:2
1
:2
< Tu u , Tv >

Sean el,e2,n vectores

[el, e2], donde [,] denot
cada punto de la superf
y {el, e2} forman una b
punto. Por definicin lo

bll = L = < Tu u, n
 De estas frmulas se sigue que las coordenadas de los vectores r UU ! r UV ! rvv en
base {el, e2, n} son
---+!R.l una
Ice sobre la 1 Bg 1 Bg
r uu = (219 Bu 1 - 219 Bv ' L)
l' - _l_Bg _1_ Bg M (6
uv - (219 Bv' 2vg Bu ! )
q entonces
Il2 en estas 1 Bg 1 Bg
rvv = (- 2vg Bu' 2vg Bv' N) .

(6.1) Luego

erelnos en
(6.1 ). De las frmulas (6.3) y (6.4) obtenemos

la mtrica. 1 f)2g
2' Bu2 =< r uuv , rv > +< r uv , rvu >
B
(6 .2) = Bv < r UUl 1' v >- < 1'uu, rvv >+< r UVl ruv > (6

1 Bg 2 1 Bg Bg
= - -2-2 - (LN-M )+- [( - ) 2+ ( - ) 2] .
2 Bv 2g Bu Bv

~M
2
ltrica por
Por la frmula (5.4) del capitulo O la curvatura gaussiana J( = LN Por
g
tanto de (6.5) se obtiene
2
LN-M _ _ 1 [(Bg)2+(Bg)2] _ _
1 6.g (6
t Y v obte g2 - 2g 3 Bu Bv 2g 2 .

= _ ~ {~6.g _ ~ [( Bg) 2+ (Bg) 2] }.

2g g g2 Bu Bv
Por el otro lado

-~6. g= -~ [(~
2

2g
19
2g
+ B
Bu 2 Bv 2
) (lg g)] (6

= _~ {!6. g _ ~ [(Bg) 2 + (Bg)2] }.

2g g g2 Bu Bv
-r V ! n =
'g
! e2, n} en Como (6.6) es igual a (6.7) se tiene la frmula (6 .2). O
superficie Si la mtrica (6.1) est escrita en forma d[2 = g(z, z)dzdz , entonces la curvat
ie en cada gaussiana de la sU}Jerficie es

2 B2
J( = - - --(lg g). (6
g BzOz
>=N.
 c) Sea g( z, z) = 1.
cero.
Ejemplo 2.6.1. . Calcu
la frmula (5.5),cap.0 pa
ratriz de la superficie de
La curvatura de Gauss e

donde y(x) es la genera

Ja2 - y2
-'----'--, luego x" =
y
"
tanto y" = - (:'P y ree

!{ = -

(X')3 y ( 1
 El signo" - " se debe al hecho de que la grfica y = y( x) es cncava hacia arri
entonces la y localmente la superficie de Beltrami es del tipo de "silla de montar", es decir
cada punto p la superficie est por ambos lados del plano tangente TpB, por
tanto /{ < O .
(6.9)
7 Constantes de Bloch y de Landau
Usando la Sean n un dominio de ce y f : n ---t ce una funcin no constante.
cas
Definicin 2.7.1. . El nmero de Bloch bU) se define como
(6.10)
bU) = SU P {1' > O: existe nI e n, tal que f: nI ---t B(a,r),fln es biyectiva
(6.11 )

(6.12)

O.

nstante ne
'1 curvatura
~ la mtrica

<a tura de la
fig.21
En otras palabras bU) es el radio del disco B( a, r) ms grande que se pue
~ curvatura inscribir en f(n) con la propiedad de que existe un nI e n tal que f : nI -
B( a, r) es univalente y sobre.
<utilizando
Definicin 2.7.2. El nmero de Landau lU) se define como
lo La gene

mula (4.1).
lU) = sup{r > O: f(n) :> B(a,r)}.
(6.4)
Sea

OIUO x'y = S' = {f E H (D) : !' (O) = 1},

sas, por lo donde H(D) denota el conjunto de funciones holomorfas en D. Luego las conJtan
de Block f3 y de Landau L para la fanlilia S' se definen as:

Definicin 2.7.3.
f3 = iuf bU),
fES'

L = illf IU). (7
fES'
 S* = {f E

clase de funciones estelare

e
clase de funciones COllvex
Las relaciones entre es

Se tiene [M6] que

 43

f
~
E S' con
Bf3 es
Veamos, por ejemplo, que Le S; . Consideremos la funcin

1, f E S.' Es
I h:D~C
,'la que para
0.21, [He]. 1 1+z
Z I---t h(z) = -lg - - , Izl < l.
ubaron que 2 1- z

- V3
/3 > 4 Y
L ,
/
, '
,- ,- .....
, " [ll
l+z
1- z
,,
T ' '
Ig z
- - -

,/
.... ~
, '

, . ' , ' ~O' , " 1

, ' , ' , '

'
\
~ ,
'

O', '
\ ' , ' , ,', / , '

""""" ' ~',,, '/

" , - .- -
'
71',
--1
2

~z
71',
-1
4
- - - --
2
familias de
110 uni tario

fig.22
Luego h : [) ~ {u+iv : lul < 00, Ivl < },
(fig.22) . Por lo tanto h(D) contien
.7T 7T 7T
, una bola de radIO 4y l(h) = 4' Como h E e , entonces Le ~ 4 .
en diferentes puntos de [)
hiperblica es

Si z = O- ti, entonces

Si z = 0+ 0.9i, entonces

ds =
1-

Concluimos que la longi

obtener la longitud hipe
multiplicar esta longitud
 45

1 1 .
aplicacin del vector; en el caso nuestro .\( z ) = I 1 ' De esta manera os vectores
1- z 2
no solo tienen magnitud y direccin sino tambin posicin. Veamos como aparecen
en la prctica los vectores con posicin.
Ejemplo 3.1.1. Consideremos la mtrica hiperblica en el circulo unitario lO> y dos
curvas en [)) : 17(t) = t, It(t) = ~ - it, O :s; t :s; ~. Luego la longitud hiperblica del
vector tangente a la curva '7 en un punto 1](t) denotado por 1I~(t)II~(t) es
1
1I~(t)II~(t) = 1 -1 7(t)12 1~(t)I,
'
li7( t)1 es la longitud euclidiana del vector tangente. Como ~(t) = 1, entonces

~ca n
.
~man-
donde
",j(t)ll h (t) = _1_2 , Para la curva f1 tenemos
~letr~a dife '1 1- t
manejar en
~n el plano
::> funciones

Lo anterior se puede generalizar de la siguiente manera:

,. Definicin 3.1.1. Sea n un dominio en te. Una mtrica en n es el diferencial
.lca.

mtrica hi (1.2)
donde .\n(z) (o simplemente .\( z)) es una funcin continua, .\( z) ~ O en n, tal que
.\(z) es de clase C 2 en {z En: .\( z) > O} . .\(z) se llama densidad de la mtrica
(1.1 ) .\(z)ldzl. Si z E n y ~ es un vector en e, entonces la longitud de ~ en z se define
como
lIell; :
= .\(z)le,
del mismo
tangentes
donde ll denota la longitud euclidiana del vector ~ .
u longitud

Oburvacione3.
1. Usualmente vamos a considerar la.s mtricas estrictamente positivas, o sea
.\(z) >0.
2. La mtrica .\(z )ldzl es una mtrica conforme (ver definicin 0.3.1, cap O).
3. Si n es un dominio en e y .\( z ) == 1 para todo z E n, entonces para
e
z E e, E e lIll; = I~' que es la longitud euclidia.na usual.
4. Para definir una mtrica en un dominio n e e es suficiente definir su
funcin densidad An.

Definicin 3.1.2. Sean n <;; eun dominio, .\n( z)ldzl una mtrica en n y ,
[a, b] ~ n una curva regular. Entonces la longitud de la curva, en la mtrica
dada es
ItO. Para
(1.3)
I hay que
lllto de la
plano complejo te es conf
sugiere la siguiente preg
puede introducir una mt
del plano complejo te?
La definicin que pres
forma ms general.

Definicin 3.1.4. Sean

continuamente diferencia
en n 2 est definida una
pullback f* (Af/ 2(z)) de l
manera:
Af/

N o tao Si en la defini
entonces Af/ I se llama m
 47

nitario son los Ejemplo 3.1.3.

sea E > O Y a) La densi<.lad <.le la mtrica hiperblica de 10> es

1
A[)(Z) = 1- 11z 2 .
b) Sean fh = 10>, nI
un dominio hiperblico simplemente conexo, f : nI ~ 10>
una aplicacin conforme. Luego

afl If'( z) 1 (1.6)

Al(Z)=A[))(J(Z)) az
l = 1-lf(z)12
siempre existe
~ cualesquiera
dos puntos P
e) Sean nI = H+ = {z E <C : Im z > O} Y

f: H+ ~ 10>

(1.4) z~f(z)=--
1 iz+
1 - iz

ferenciables a Tenemos

), Q) satisface
1f'(z)l=
2i
(1-iz)2
I-11-izI2
2

Calculando If'(z)1 obtenemos que la densidad de la mtrica hiperb

1 _1J(z)12
lica de H+ es
1
si <C \n con- AH+(Z) = 21m z

e conexo del .9. Isometr!a3. Ahora podemos definir las isometrfas (ver 3, cap.O ) en una
~ te resultado forma ms general de la siguiente manera:
iD> , con:o se Definicin 3.1.5. Sean nI, n 2 dos dominios de <C con mtricas Al, A2 respectiva
1ente conexo mente y f : nI ----4 n 2 una funcin biyectiva de clase el. Si

u nta en una

entonces f se llama i30metr[a entre las parejas (nI, AJ) y (n 2, A2).

una funcin
'ngamos que Las isometrias preservan las longitudes de curvas y la distancia entre puntos
nI como el ([Kr], p. 48-53).
la. siguiente
2 Propiedades de la densidad de la mtrica hiperblica

(1.5) En esta seccin presentaremos alguna.s propiedades de la mtrica hiperblica;

para la demostracin necesitaremos el lema de Schwarz, el cual afirma que 3i f e3
una funcin holomorfa definida en 10> con If(z)1 ~ 1 para todo z E 10> Y f(O) = O,
biperblico, entonce3 para todo z E 10> If( z )1 ~ Iz l ,. .3 la igualdad 3e tiene en un punto
z E 10>, z =1= O, entonce3 la igualdad 3e tiene en todo 10> y f( z ) = exp(ia) z, a E IR.
Demostracin. Sea f : n

/.
~O fi
 49

conexos de e,
Ih'(O)1 = II'(g(O))II9'(O)1 S; 1
II'(z)1 . d(z, an) S; 1 Y
nes, tales que
' 011- 1 :D~ An(Z) = II'(z)1 S; d(z,l
anr
{(O)I S; 1, para
Observamos que en la demostracin de la desigualdad derecha no hemos utilizado
el hecho de que 0. es simplemente conexo, es decir la desigualdad An (z) S; d( z ,l )
an
se cumple en cualquier dominio hiperblico.
Para probar la desigualdad izquierda sea 9 : D ---t 0. una funcin conforme
g(O) = z. Definamos
~

h:D---tn
nos ele la dis
) necesi tamos I---+h( )=g(w)-z
w w g'(O) "
simplemente
Jrme, tal que cntonces h(O) = O, h'(O) = 1, h es conforme en D.
1
Por el teorema de 1/4 de Koebe d(O,ah(lD) ~ . Sea Bz(d(z,an)) e 0, la bola
de radio d(z, an) con centro en z. La funcin h es una traslacin de 0, seguida por
una dilatacin con coeficiente _(1)' Luego la bola Bz(d(z, an)) e 0, se transforma
g' O
-- . d(z,an)
nexo, que no en la bola no e 0. de radIO Ig'(O)1 con centro en O. Por lo tanto

d(O ah(lD) = d(z, an) > ~.

, Ig'(O)1 - 4
Como
f(z) = O. An(Z) = l(g-1 ),(z)1 = _1_
1 _lg-l(z)12 Ig'(O)I'
(cjemplo 3.1.3 b)), obtenemos
1
An(z)~4d(z,an)" O

A continuacin veamos algunos ejemplos de densidad de la mtrica hiperblica para

diferentes dominios.

~s al1a

chwarz
e) Sean n = {w = u

f
.
8~'f
[Jl

'Ir

fig.24
 51

3 Curvatura de la mtrica hiperblica

~, sea 1. Lema de S..}warz-Ahlfor.5. En el capitulo II hemos definido la curvatura de
Ulla mtrica. !J ((6.9), cap.II) dada en forma conforme por dl 2 = g( z, z )ldz I2. Si la
mtrica en un dominio n e e est dada en la forma di = ,x( z ) Idz I (definicin 3.1.1,
(1.2)), cntonce::; la. curvatura de la mtrica ,x( z) ldz l en el punto z E f2 es

F ~ 6lg ,x(z)
li = J\.n( z ,,x) = - V(z) . (3.1 )

Como ,x( z) es de clase C 2 en n la curvatura est bin definida.

Una. de las propiedades importantes de ]{ es su invarianza bajo las transforma
ciones conformes.
Proposicin 3.3.1. Sean n] y n2 dos dominios en te y f : n] ---+ f2 2 una trans
formaciu conforlJ1e (ell particular, f'( z ) i- O, para todo z E f2J) . Si ,x( z )ldzl es
uua mtrica. cu n2 , entonces

para todo z E nI.

Demo.,tracin.

J( ( j*,x) = _ 6 19 [ (,x (f (z)) If' (z) I 1

nI z, [/\(f(z))j2If'( z)12
6[lg(,x(f(z))l + 6[lg 1J'(z )ll (3.2)
[,x(f( z ))j2 1f'( z) 12

1 82
Tenemos6lglwl = -6lgww = 28 a_(lgww) = O. Luego 6lglf'( z) 1 = O. Ahora
2 w w
82 f 82 f
6Ig(,x o.f) = (6Ig,x)(f)lf'(z)1 2, puesto que f es holomora y 8x2 = - 8y2'
Por lo tanto en (3.2) obtenemos
2
F ( j*,x)=_(61g ,x)(f)If'( z) 1
\.n l z , (,x o f)2If'( z) 12
( 6 19 ,x) (.f)
=lin 2 (f( z), ,x) . o
r

=- (,\of)2
] ) = w,

Nota. El resultado de la proposicin anterior se tiene para cualquier f : nI ---+

H2 hololllorfa (no necesariamente biyect iva) en los puntos de nI , tales que f' (z) i- O
y ,x(J(z)) i- O.
Resulta que 1 lema de Schwarz (ver 2) es una desigualdad en trminos de
la curvatma. Y fue Ahlfors quin primero se dio cuenta de eso. La siguiente
proposicin es la versin ele Ahlfors elel lema. de Schwa.rz:
 = -K(
~ 4[j*

f*~(a)
Luego A () S; 1, es dec
Dr a

El lema de Schwarz se
Sea f : D ---+ [)J una fun
hiptesis de la proposicin

Por lo tanto f*~(0) =

1( )1 2 = l. Luego 1f'
- If O
El siguiente corolario es
 53

dominio de e Corolario 3.3.1. Sean .f : ID> ---+ ID> holomorfa y Al!) la mtrica hiperblica. En
:(z, a) :s; --4. tonces para cada;; E ID> se tielle

~. Principio de la mtrica, hiperblica , El lema anterior es t relacionado con

el principio de la mtrica hiperblica, que permite estimar la mtrica en cualquier
dominio hiperblico. Para la formulacin del principio de la mtrica hiperblica
necesitamos al~llllOs resultados de la teorfa de recubrimientos. La informacin ms
y la lllt'ica detallada se encuentra en [F], [L]'[M6J.
rariante bajo Definicin 3.3.1. Sean X, Y y Z espacios topolgicos y p : Y ----) X una apli
cacin continua. Sea x E X. El conjunto p-I(x) se llama fibrado de p sobre x .
Si y E ]>-1 (x), decimos que y yace sobre x. Si p : Y ----) X y q : Z ----) X son
aplicaciones continuas, entonces decimos que la aplicacin .f : y ----) Z preserva el
fibrado :si]> = fJ o f. (Esto significa que y E Y, que yace sobre x se proyecta en el
punto z <lue tambin yace sobre x). Un subconjunto A de un espacio topolgico se
)1es acotada llama discreto, si cada punto a E A tiene una vecindad V, tal que V n A = {a}. La
JO Izl ----) r. aplicacin]> : Y ---+ X se llama discreta si el fibrado p-I (x) de cada punto x E X
Veamos que es uu coujunto discreto.
v se obtiene Definicin 3.3.2. Sean X y Y espacios topolgicos. Una aplicacin p : Y ----) X
se llama proyeccin de recubrimi ento ( recubrimiento de X) si cada x E X tiene
> O. Luego una vecindad U, tal que la preimagen p-I (U) puede ser representado como
proposicin
f( a). Como p-l(U) = UVj ,
~ mximum jE)

donde los Vj, j E .J son conjuntos abiertos disjuntos en Y y todas las aplicaciones
]J : Vj ---+ U 8011 homeomorfismos. En particular, ]J es un homeomorfismo local. Y
se llama espacio de recubrimiento de X,
Ejemplo 3.3.1.
La aplicacin exp : C ---+ C* es un recubrimiento de C*.

:,a = Al!) . C'

disface las

------..:?
exp z

l>(J(O)) . V\G)
_ . ..
. b.-1
...
':""'37r ... ' .. .. .

fig .25
con la igualdad si y solo

Ejemplo 3.3.2.
a) Consideremos n
miento

Como n es un d

>'lDd w
 55

en C* y exp : de donde
quP. exp( h) =
W 2
------+ U es un 1 + 19 -
llCCK todas las _ _---=1~'
w
+1
1-1g -
l'
AII>~ (w) = ---'----'---0---

ms "grande" _ 1 + 19 :L: 2)
1 10 12wl
( 1-lg
l'
y X 11 n a
------+
2 2
rimiento uni
fda proyeccin
Iwl [41g l' - 21g 11Ol 2
J

onexo, y cada
\ ., .
CClOn contmua o :;ea
l. el e8pacio de
1
AIW (w) = ( ).
r 21wl 19 1:1
:no espacio
tUl
b) Anlogamente, si n= Er = {1o : l' < Iw < oo} 1 y

~ conexo y ]J : : JI) ------+ n

>rimiento un
nto universal. z t---+
1 +
r exp [ - z] = w,
1 z
io de recubri
obtenelllos que
tlftica en j[J) y

(3,1 )
e) Sean n= {w : 1'e m < Iwl < 1'e m } un anillo y

~ sobre n.
z t---+
4m arctgz ] = w,
r exp [ -;-

tl de recubri es una proyeccin de recubrimiento con -1(0) = O. Luego

En particular, si w = r', entonces

 Ahora sean

Consideremos slo las cons

es positiva en f2. Como la
el intervalo (A, 00) , sea

b(f2) = inf{ b : b >

Si no existe una cota infer

Para la demostracin d
ultrahiperblica, adems d
de Schwarz.
 57

'erblicos Definicin 3.4.1. Sea n 1lll dominiohiperblico. Una mt.rica p( z )Idzl ell n sc
mieolltinua por e.ncillla en H se llama ultrahiperbhca si para cada punto p E n,
11 < R}. Sea
donde p(z)ldzl 110 se anula, existe una mtrica PI,( z) ldzl definida y de clase C 2
ici ta para la
en una vecil1dad U de p, tal que la curvatura ](( q; pp( z )Idzl) s:; -4 para q E U
nada. En el
y pp(z)lclzl s:; p(z)ldzl en U con igualdad en p. La mtrica pl'( z) ldzl se llama
.cn trminos
mtrica-soporte. [A] ,[M 1],[M2].
,3.2,parte a)
El lema ele Ahlfors dice que si p( z) ldzl es una mtrica ultrahiperblica en un
dominio hiperhlico n , entonces p( z) s:; An (z), donde An es la mtrica hiperblica
en n con la curvatura gaussiana igual a -4 [M6].

Teorema 3.4.1. Sea n 1In dominio hiperblico en te. Entonces

) tanto e l / 2 A(n) s:; b(n) s:; e A(H).

Demostracin. Probemos primero la desigualdad izquierda. Podemos suponer que

1
b(n) < oo. Luego (4.1) se cumple para b = b(n). Como An(z) s:; 8n(z) (proposicin
3.2.2) para cualquier dominio hiperblico en e, luego de (4.1) se obtiene
ito no existe
1 ,
- - - - - -- < 1 o
co se puede
2 19 ( b( n) / 8n ( z ))

(4.1) 1 2
C / b'n(z) s:; b(n), lo que implica que e l / 2 A(n) s:; b(n).
La demol:itracill de la desigualdad derecha para b(n) la hacemos bajo la supo
sicin de que A = A( n) < oo. Primero consideremos el caso cuando 8n (z) < A ,
plici ta en el
para tOllo z E n. Definamos
de Landau.

p(z)ldzl = Idzl .
2bn (z) 19 (eA/8n( Z) )

Veamos que p(z)ldzl es una mtrica ultrahiperbbica en n. La desigualdad p( z) :::;

An(Z) se sigue del lema de Ahlfors (proposicin 3.3.2). Como 8n (z) es continua,
rior en (4.1) entonces p(z)ldzl es una mtrica continua positiva en n. Para probar que p( z) ldzl
ente de b en es una mtrica ultrahiperblica es suficiente presentar la mt.rica-soporte en caela
punto Zo E n. Esta mtrica-soporte AO( Z )Idz I se define de la manera siguente: Sea
zo E n.Escojamos a E an, tal que Izo - al = bn(zo). Luego 8n(z) s:; Iz - al < A
q. para todo z E Uzo, con la igualdad eq zo . Definamos Ao( z) ldzl como la mtrica
hiperblica de {z : O < Iz - al < eA} o sea

e la mtrica AO(Z )Idz I = Idzl . ( 4.2)

n del lema
21 z - allg (eA/l z - al)
Demostracin. La cota su
cualquier dominio hiperb
centro en z [M2]. Luego
disco cualquiera.
Para establecer la cota
hay nada que probar.) Po

Como la funcin h(t) =

2

punto t =A en el interval
 59

e
La constante mejor posible e tal que A(n) ~ A(n) para cualquier dominio
hiperblico 12 e e, est relacionada con la constante de Landau L = inf{ A(J (lO) :
it.ldad bn(z ) :::; 1 es allalitica cn 0,1'(0) = 1}. Sea w E n, Atn) :::; A(n) :::; An(W). Sean f : [---)
:ualdad en Zo. n,1 E H(D),/(O) = n,l(O) = w,I'(O) = 1 Y A(n) < 00, donde H(lO denota el
'(z)ldzl es una conjunto de funciones holomorfas en D. Por el principio de la mtrica hiperblica

An(J(Z)) 1f'(z)1 :::; Al!)(Z) = 1 _1

1z12
Luego A(~) :::; An(W) = An(J(O)) :::; 1. En consecuencia e :::; A(n) lo que implica

e :::; L. Del teorcma 3.4.2 se obtiene que L ~ ~ y que

bn(z) < A se
~ ~ A(n)A(n) :::; 1.
A por An =
00 obtenemos
La cota superior 1 es precisa, la cota inferior t no lo es. Para los dominios hi
perblicos convexos el resultado es

obtener unas
~ A(n)A(n) ~ 1,
[M2J y las cotas son precisas, lo que podemos ver en el siguiente ejemplo:
Ejemplo 3.4.1.
a) Sea 12 = {w : O < Re w < 2M, M > O}, n es un dominio hiperblico
convexo. Entonces A(n) = M. Sea

proposicin

1
f : lO> ---) n
bn(z) , para z ~ f( z) = -z.2M
- 19 [- z
.z-- - =w.
7f z+1
1]
un disco con
~ si n es un
n i - e;~
Luego z =. "w ' Y como An(W)
z + e 2M l
A = 00 no 1
- - -2- - - obtenemos de
(1 -lzI ) If'(z)1
fig.25

1rb
'( )1 = 1v! ( e-v + 1 + 2e- 2M sen
1f z "b'
7C'b
7r
2 :r)

1 7f e- 2M
a - en el
2A .
1 - 1z 1 =
2 :r e-~
4 sen 2
7r

e-M + 1 + 2(sen :r )e-

"b "b ,
7r
2M
1 2
> -
- 2A' O y w = a + bi,
Proposicin 3.5.1. Sea
una [uncin analftica uIli

f"(
I f'(

la desigualdad es precisa.

DemoJtracin. Sea z E n.
tal que g(O) = z. Denotem
en llJ> y

Por lo tanto de (5.2), (5.3

Ig'(O)IIT
 y de (1.6)
f"(z)! 8
f'(z) ::; Ig'(O)1 = 8 An(z).
!

1, A(ID = 1.
Ahora para ver la. igualdad sea n = e \[0,"":'00) Y

f:n--+c
::> lica .
1
IS estimaciones z f-+ - ,
Z

trminos d e la
:. . 1 f" (z) 2
f csan allttcayulllvaenteenH, f'(z)
)
=-;.
1 sabido que si Sea

g:O --+ n
(5.1 ) Z_1)2 = w,
Z f-+
(z + 1
-

9 es conforme, (fig.27) .

z 1
-i-
z+1 -lZ

,'n ,
@
' ~'" ~
(5.2) : : ID> , : -' - '--l----.;:.
, , , O O O' , '

mente conexo
g
t e con exo y f
fig.27

1 - w 1/ 2
Luego z = .1 + w 1/2 '

1 1
An(W) = (1 -lzI2) Ig'(z)1 - 2(w 1 / 2 + w 1 / 2 ) Iw 1 / 2 1
! g :D--+ n, 1
es uni valente

(5,3) Si w = x E IR+, entonces An (x) = ~ y por lo tanto

4x

!
f"( X)! 2
An (x ) f'( x ) =4 x ~=8,
-1 para todo x > O. O
 UNJ \ }: I<.; JA/) i
lJInLJUl E' ,'i~''''''I,.Jj '

-------
_ .L, 6--3-'- '- ,r.

BIBLIOGRAFA

[A) . L.V .Ahlfors, An extcnsio1/. o/ SchlJlarz's IC7nmo., Trans. Amer. Math. Soco 42 (L!13~).
[BP). A.F.Beardon,Ch.Pommerenke, The Poincare metric o/plane domains, Londoll Math. Soc 18
(1978).
[DNF). B.A.Oubrovill,C.P.Novikov,A.T.romellko, Geomctri'a moderna, (en ru",o), edil.orial"Nauka",
1979 .

[F). O.Forster, Leclurcs on Riemann surfo.ces, Springer- Verlag , 199 L.

[H). O.J .Hallenbeck, T. H.M acGregor, I,ineor proble1lts and convexity techniques in geometric func
ton theory, Pitman Advancen Publishing Program, 1985.

[He]_ M.Heins, Selecled Topics in tite Classical Tlteory of Functions of a Complex Variable, Holt,

Rinehart,Winston, NY, 1962.

[K] . W.Klingenberg, A course in differcntio.1 geometry, Springer- Verlag, ] 986 .

[1<"]. 5.G.Krantz, Complex analysis:the geometric viepoint, The Math. Ass. of America, 1990.

[L]. O. Lehto, Univalent Functions and Teichmller Spaces, Springer- Verlag, 1986.

[MI]. O.Minda, Bloch constants, Journal O'analyse tnath. 41 (1982).

[M2]. O.Mincla, Estimo.tes for the hiperbolic metric, I<odai Math. Jour 8 (198.5).

[M3]. O.Minda, Inequalities for the hiperbolic metric and applications to geometrc functon theory,

(preprint).

[M4]. D.Minda, LOlJler bounds for tite hiperbolic metric in convex regions, Rocky mountain jour of

math (1983).

[M5]. D .Minda, Tite hiperbolic metric and Bloch constants for spherically convex regions, Complex

Variable 5 (1986).

[M6] _ D.Minda, The strong form of Ahlfors 'Iemma, Rocky Mountain Journal of Math. 17(3) (l!J87).

[MF]. A.5.Mischenko,A.T.Fomenko, Geomelr{a diferencial y topolog{a, (en ruso), Editorial MGU,

Mosc, 1980.
[O]. B.G.Osgood, Some properties of ~; and the Poincare metric, Indiana U Math_ jour. 31
(1982) .

[5]. B.V .5habat, Introduccin al anlisis complejo, (en ruso), Nauka, Mosc, 1976.