WILIAN EUR

IPEDES VIEIRA
Mergulhos Isometricos do Plano Hiperbolico
em Espacos Euclidianos
UNIVERSIDADE FEDERAL DE UBERL

ANDIA
FACULDADE DE MATEM

ATICA
2009
i
ii
WILIAN EUR

IPEDES VIEIRA
Mergulhos Isometricos do Plano Hiperbolico
em Espacos Euclidianos
Dissertacao apresentada ao Programa de Pos-
Graduacao em Matematica da Universidade Federal de
Uberlandia, como parte dos requisitos para obtencao do
ttulo de MESTRE EM MATEM

ATICA.

Area de Concentracao: Matematica.

Linha de Pesquisa: Geometria Diferencial.
Orientador: Prof. Dr. Edson Agustini.
UBERL

ANDIA - MG
2009
iii
iv
v
Dedicatoria
Dedico este trabalho `as pessoas que, diretamente ou indiretamente, contriburam para a re-
alizacao do mesmo. Aos alunos do mestrado, Turma 2007, amigos eis de tantas batalhas e
sofrimentos, que tanto me incentivaram a prosseguir.
`
A minha mae Luzia Pereira da Silva
Vieira pelo apoio.
`
A minha querida esposa, Noemi Santos Vieira, que me incentivou muito a
voltar a estudar, e que acreditou mais em mim do que eu mesmo. Agradeco ao meu professor
e orientador Edson Agustini e `a professora Rosana Jafelice pelo incentivo e apoio na hora em
que mais precisei.
`
A Deus por me ter dado a oportunidade de estudar mais um pouco e ser
feliz. Ao meu amigo Pastor Lael Cristiano de Melo, minha eterna gratidao. Ao corpo docente
e discente da Escola Estadual Raul Soares, que acreditaram no meu sonho, minha gratidao e
admiracao. Enm, a todos que me incentivaram e acreditaram no meu sonho.
vi
Agradecimentos
Agradeco `a agencia de fomento FAPEMIG, pelo apoio dado a Pos-Graducao em Matematica
da Universidade Federal de Uberlandia e ao corpo docente da Pos-Graduacao, em especial ao
coordenador Edson Agustini, meu amigo e incentivador.
vii
VIEIRA, W. E. Mergulhos Isometricos do Plano Hiperbolico em Espa cos Euclidianos. 2009. 75
p. Dissertacao de Mestrado, Universidade Federal de Uberlandia, Uberlandia-MG.
Resumo
Nesta dissertacao apresentamos expressoes analticas para mergulhos isometricos do plano
hiperbolico (H
2
, ds) com a metrica Riemanniana ds
2
= dx
2
+ cosh
2
(x) dy
2
nos espacos eu-
clidianos R
6
e S
8
R
9
. Alem dos mergulhos isometricos, apresentamos expressoes analticas
das isometrias entre os modelos Euclidianos do Disco de Poincare, Semiplano Superior e o mod-
elo (H
2
, ds) supracitado. Com isso, torna-se possvel mergulhos isometricos de reticulados de
pontos do plano hiperbolico em ambientes Euclidianos, o que pode vir a ser bastante util em
Teoria da Informacao e Codicacao.
Palavras-chave: mergulho isometrico, imersao isometrica, isometria, plano hiperbolico, modelo
de Poincare, curvatura Gaussiana.
viii
VIEIRA, W. E. Isometric Embeddings of the Hyperbolic Plane in Euclidean Spaces. 2009. 75
p. M. Sc. Dissertation, Federal University of Uberlandia, Uberlandia-MG.
Abstract
In this dissertation we present analytic expressions for isometric embeddings of hyperbolic
plane (H
2
, ds) with Riemannian metric ds
2
= dx
2
+ cosh
2
(x) dy
2
in Euclidean spaces R
6
and
S
8
R
9
. Besides isometric embeddings, we present analytic expressions for isometries between
the Euclidean models of the Poincare disk, Upper Half-Plane and the model (H, ds) cited above,
for the Plane Hyperbolic Geometry. In this way, it is possible isometrically embed point lattices
of hyperbolic plane in Euclidean environments, what can be useful for Coding and Information
Theory.
Key-words: isometric embedding, isometric Imersion, isometry, hyperbolic plane, Poincare
model, Gaussian curvature.
Sumario
Resumo vii
Abstract viii
Introducao 1
1 Preliminares 2
1.1 Superfcies . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 2
1.2 Primeira Forma Quadratica . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 8
1.3 Algumas Transforma coes Geometricas Importantes . . . . . . . . . . . . . . . . 13
1.4 Segunda Forma Quadratica . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 17
1.5 O Teorema Egregium de Gauss . . . . . . . . . . . . . . . . . . . . . . . . . . . 27
1.6 Superfcies Abstratas . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 30
2 O Plano Hiperbolico 37
2.1 Isometria entre o Modelo do Semiplano e o Modelo do Disco de Poincare . . . . 38
2.2 Isometria do Plano Hiperbolico H
k
no Modelo do Semiplano de Poincare . . . . 44
3 Mergulho Isometrico de H
2
em R
6
47
3.1 A Aplicacao I . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 47
3.2 Um Exemplo Simples: Mergulho Isometrico do 4-HPSK em R
6
. . . . . . . . . 53
4 Mergulho Isometrico de H
2
em S
8
R
9
55
4.1 A Aplicacao M . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 55
4.2 Um Exemplo Simples: Mergulho Isometrico do 4-HPSK em S
8
R
9
. . . . . . 61
5 Conclusoes e Perspectivas Futuras 64
Referencias Bibliogracas 65
ix
Introducao
Em tempos recentes, varios trabalhos tem apontado interessantes direcoes no estudo de Reti-
culados e Codigos Corretores de Erros em espacos hiperbolicos, conforme referencias [18], [8],
[14], [11] e [1]. No entanto, a aparente ausencia de uma situacao pratica em Teoria da In-
formacao e Codicacao que possa ser modelada convenientemente por modelos hiperbolicos
tem preocupado os pesquisadores dessa area.
A pesquisa sobre mergulhos isometricos de determinadas variedades riemannianas em espacos
euclidianos e esfericos e bastante ardua, como pode ser constatada nas referencias [13], [7], [12],
[6], [9], [17], [16], [15], [5], [4] e [3] e na escassez de artigos recentes sobre o assunto. Em especial,
expressoes para mergulhos isometricos de espacos hiperbolicos em espacos euclidianos e esfericos
nao fogem `a regra geral. No entanto, para a Teoria da Informacao e Codicacao envolvendo
Geometria Hiperbolica, a passagem do ambiente hiperbolico para o euclidiano e esferico com
total controle das propriedades metricas de reticulados hiperbolicos de pontos pode representar
uma aplicacao imediata de toda a teoria desenvolvida ate o presente momento.
Levando-se em conta a grande quantidade de grupos discretos de isometrias no espaco hiperbolico
e, conseq uentemente, a grande quantidade de reticulados de pontos (ref. [10]) e, tambem, o
problema dos mergulhos descrito acima, nosso objetivo na presente dissertacao foi desenvolver
um estudo de mergulhos isometricos do plano hiperbolico em espacos euclidianos e esfericos,
tendo por base os artigos [4] e [5]. Mais especicamente, mergulho isometrico de H
2
(plano
hiperbolico) em R
6
, espaco euclidiano de dimensao 6, e S
8
R
9
, espaco esferico de dimensao
8. Alem do interesse puramente matematico nesse problema, uma vez que a transferencia de
reticulados de pontos do ambiente hiperbolico para o ambiente euclidiano seja viavel computa-
cionalmente, a comparacao entre os reticulados mergulhados de H
2
e os reticulados de pontos
utilizados em sistemas de comunicacoes digitais torna-se algo possvel de ser feito.
A dissertacao esta dividida do seguinte modo:
Captulo 1: Preliminares de Geometria Diferencial necessarios ao desenvolvimento dos captulos
subseq uentes.
Captulo 2: Introducao de modelos para o plano hiperbolico H
2
e isometrias entre eles.
Captulo 3: Desenvolvimento de um mergulho isometrico de H
2
em R
6
.
Captulo 4: Desenvolvimento de uma classe de mergulhos isometricos de H
2
em S
8
R
9
.
Captulo 5: Algumas conclusoes e perspectivas futuras sao esbocadas.
Algumas referencias bibliogracas.
1
Captulo 1
Preliminares
Neste captulo introduziremos as denicoes e resultados de Geometria Diferencial que cons-
tituem a base para o desenvolvimento dos captulos subseq uentes. O captulo esta subdivi-
dido em secoes que abordam os topicos: Superfcies Regulares, Primeira e Segunda Formas
Quadraticas, Transformacoes Geometricas Importantes, Teorema Egregium de Gauss e Su-
perfcies Abstratas. Para tanto, utilizamos a referencia [6].
1.1 Superfcies
Nesta secao introduzimos as principais denicoes sobre superfcies regulares no espaco euclidiano
R
3
e superfcies abstratas, assim como os primeiros resultados envolvendo tais conceitos. Alguns
exemplos uteis para o desenvolvimento dos captulos subseq uentes tambem sao considerados.
SUPERF

ICIES REGULARES
Abaixo segue a denicao de superfcie regular, que servira de base para o desenvolvimento das
secoes seguintes.
Denicao 1.1 Seja S R
3
um subconjunto. Dizemos que S e uma superfcie regular
quando, para todo ponto P S, existem U R
2
aberto e V R
3
com P V e X : U
R
2
V S R
3
que cumpre as seguintes condi coes:
(1) X e diferenciavel de classe C

em (u, v) U, isto e, X(u, v) = X(x(u, v), y(u, v), z(u, v))

e tal que x, y, z : U R
2
R possuem todas as derivadas parciais e elas sao contnuas.
(2) X : U V S e um homeomorsmo.
(3) dX
Q
: R
2
R
3
e injetiva para qualquer Q = (u, v) U.
Nessas condi coes dizemos que X e uma parametriza cao de uma vizinhanca de P ou que X
e um sistema de coordenadas locais em uma vizinhanca de P.
Seja Q = (u
0
, v
0
) U R
2
. Fazendo v = v
0
, temos a curva X
v
0
: A
1
R S, denida
por X
v
0
(u) = X(u, v
0
), sendo A
1
= U (R v
0
). Fazendo u = u
0
temos a curva X
u
0
: A
2

R S, denida por X
u
0
(v) = X(u
0
, v), sendo A
2
= U Ru
0
. Essas curvas sao chamadas
de curvas coordenadas u = u
0
e v = v
0
, respectivamente.
v
u
v
0
u
0
U
Q
x
y
z
P =X(Q)
V S
X
u
0
X
v
0
X
2
3
Sejam B = e
1
, e
2
e C = f
1
, f
2
, f
3
bases canonicas de R
2
e R
3
. A matriz da diferencial dX
Q
e dada por
[dX
Q
] =
_

_
x
u
(Q)
x
v
(Q)
y
u
(Q)
y
v
(Q)
z
u
(Q)
z
v
(Q)
_

_
,
visto que,
dX
Q
(e
1
) =
_
x
u
(Q),
y
u
(Q),
z
u
(Q)
_
=
X
u
(Q) = X
u
(Q)
dX
Q
(e
2
) =
_
x
v
(Q),
y
v
(Q),
z
v
(Q)
_
=
X
v
(Q) = X
v
(Q).
sendo os vetores denotados pelas suas componentes na base f
1
, f
2
, f
3
.
Como dX
Q
e injetiva, X
u
(Q), X
v
(Q) e linearmente indepedendente. Logo, podemos conside-
rar um plano paralelo a dX
Q
(R
2
) passando por X(Q) = P S. Notemos que este plano esta
bem denido e e chamado plano tangente a S em P e denotado por T
P
S.
Seja S uma superfcie regular. Um vetor v R
3
e um vetor tangente `a S em P, quando
existir uma curva regular
: ], [ S R
3
t (t)
tal que

(0) = v e (0) = P. Ao conjunto de todos os vetores v tangentes `a S em P, denomi-

namos de plano tangente `a S em P e denotamos por T
P
S.
S
x
y
z
(
)
SSSSS
P = a(0)
v = a (0)
a
e
-e
0
Proposicao 1.1 Seja S superfcie regular e X : U R
2
S parametriza cao local em torno
de P S. Seja Q U tal que X(Q) = P. Entao, o subespa co vetorial de dimensao 2, dX
Q
(R
2
),
coincide com o conjunto de vetores v tangentes `a S em P, denotado por por T
P
S.
Exemplo:
Seja S = (x, y, z) R
3
: x
2
+y
2
+z
2
= 1 (esfera). Temos que S e regular.
Seja
X
1
: U R
2
S R
3
(u, v)
_
u, v,

1 u
2
v
2
_
,
sendo U = (u, v) R
2
: u
2
+v
2
< 1.
A aplicacao X
1
satisfaz a condicao (1) da denicao de superfcie regular. De fato, sendo
X
1
(u, v) = (x(u, v), y(u, v), z(u, v)), temos x(u, v) = u, y(u, v) = v e z(u, v) =

1 u
2
v
2
,
que sao diferenciaveis de classe C

em U.
Quanto `a condicao (2) temos que X
1
e uma bijecao e
X
1
1
: X
1
(U) U
(x, y, z) (x, y)
4
e contnua (projecao).
Quanto `a condicao (3), sendo Q = (u, v) U, temos X
u
(u, v) =
_
1, 0,
z
u
(Q)
_
e X
v
(u, v) =
_
0, 1,
z
v
(Q)
_
que formam um conjunto linearmente independente.
Tomando outras cinco parametrizacoes analogas `a parametrizacao acima,
X
2
(u, v) =
_
u, v,

1 u
2
v
2
_
;
X
3
(u, v) =
_
u,

1 u
2
v
2
, v
_
;
X
4
(u, v) =
_
u,

1 u
2
v
2
, v
_
;
X
5
(u, v) =
_

1 u
2
v
2
, u, v
_
;
X
6
(u, v) =
_

1 u
2
v
2
, u, v
_
.
cobrimos toda a esfera S por sistemas de coordenadas locais.
Portanto, S e uma superfcie regular..
As Proposicoes 1.2 e 1.3 abaixo, encontram-se em [6] e sao bastante uteis para a obtencao de
superfcies regulares.
Proposicao 1.2 Seja f : U R
2
R uma aplica cao diferenciavel de classe C

denida em
um conjunto U, aberto de R
2
. Entao, o graco de f, S = (x, y, f(x, y)) : (x, y) U e uma
superfcie regular em R
3
.
Denicao 1.2 Sejam U um conjunto aberto de R
n
e F : U R
n
R
m
uma aplicacao
diferenciavel de classe C

. Dizemos que P U e um ponto crtico de F quando dF

P
: R
n

R
m
nao for sobrejetiva. Nesse caso, F(P) e chamado valor crtico de F. Um ponto A R
m
que nao e valor crtico de F e chamado de valor regular.
Observacoes:
(1) Se m > n, entao todos os pontos P U sao pontos crticos.
(2) Se A / F(U), entao A e valor regular de F.
(3) Se m = 1, a nocao de ponto crtico coincide com a nocao de ponto crtico do Calculo
Diferencial. De fato, se P U e um ponto crtico, entao dF
P
: R
n
R nao e sobrejetiva.
Logo,
dF
P
= 0 [dF
P
] =
_
F
x
1
(P)
F
x
n
(P)

=
_
0 0

F
x
1
(P) = =
F
x
n
(P) = 0
P e ponto crtico (no sentido do Calculo Diferencial)
Proposicao 1.3 Sejam U um conjunto aberto de R
3
, F : U R
3
R uma funcao diferen-
ciavel e A F(U) um valor regular de F. Entao, F
1
(A) = P U R
3
: F(P) = A U
R
3
e uma superfcie regular.
Exemplo:
Sejam
F : R
3
R
(x, y, z)
x
2
a
2
+
y
2
b
2

z
2
c
2
1
; a, b, c > 0.
e
P = (x
0
, y
0
, z
0
) F
1
(0) =
_
(x, y, z) R
3
:
x
2
a
2
+
y
2
b
2

z
2
c
2
= 1
_
. (hiperboloide de duas folhas)
5
Temos, dF
P
nao e sobrejetiva se, e somente se,
[dF
P
]
_
F
x
(P),
F
y
(P),
F
z
(P)
_
=
_
2x
0
a
2
,
2y
0
b
2
,
2z
0
c
2
_
= (0, 0, 0) ,
ou seja, dF
P
nao e sobrejetiva apenas quando x
0
= y
0
= z
0
= 0. Mas (0, 0, 0) / F
1
(0). Logo,
pela Proposicao 1.3, F
1
(0) e uma superfcie regular.
A Proposicao 1.4 abaixo e util em situacoes nas quais desejamos mostrar que um conjunto nao
e uma superfcie regular. Uma demonstracao dessa proposicao encontra-se em [6].
Proposicao 1.4 Seja S uma superfcie regular e P S. Entao, existe uma vizinhanca aberta
V S tal que P V, de modo que V e o graco de uma funcao diferenciavel que assume uma
das seguintes formas:
z = f(x, y), y = h(x, z) ou x = g(y, z).
Exemplo:
Seja
S =
_
(x, y, z) R
3
: z =
_
x
2
+y
2
_
. (cone de duas folhas)
O conjunto S nao e uma superfcie regular.
De fato, seja P = (0, 0, 0). Se S fosse superfcie regular, pela Proposicao 1.4, existiria uma
vizinhanca aberta V S, P V que seria o graco de uma funcao da forma z = f(x, y),
ou y = h(x, z) ou x = g(y, z). Mas a projecao de V no plano xz ou no plano yz nao e uma
aplicacao injetiva. Logo, V nao pode ser graco de y = h(x, z) ou x = g(y, z). Se V fosse o
graco de z = f(x, y), entao, necessariamente, f(x, y) =
_
x
2
+y
2
, que nao e diferenciavel na
origem.
Conclusao: S nao e uma superfcie regular.
MUDANC A DE PAR

AMETROS - FUNC

OES DIFERENCI

AVEIS SOBRE
SUPERF

ICIES
Nesta secao estamos interessados em denir aplicacoes diferenciaveis entre superfcies regulares,
que servira de base para a secao subseq uente, na qual deniremos superfcies abstratas.
Proposicao 1.5 (referencia [6]) Sejam S uma superfcie regular e P S. Consideremos dois
sistemas de coordenadas locais em torno de P, X
1
: U R
2
S e X
2
: V R
2
S, sendo
U e V abertos de R
2
. Entao, h = X
1
1
X
2
: X
1
2
(X
1
(U) X
2
(V )) X
1
1
(X
1
(U) X
2
(V )) e
um difeomorsmo.
v
1
u
1
x
y
z
v
2
u
2
P
X X (U) X (V)
1
-1
1 2 ( )
X X (U) X (V)
2
-1
1 2 ( )
X
1
X
2
X (U) X (V)
1 2

X (U)
1
X (V)
2
h = o X X
1
-1
2
6
Denicao 1.3 A aplica cao h e chamada de mudan ca de par ametros ou mudan ca de
coordenadas.
Denicao 1.4 Sejam S uma superfcie regular F : V S R
3
R uma funcao, V aberto
de S e P V. Dizemos que F e diferenci avel em P quando, dada X : U R
2
S
parametriza cao local em P tal que X(U) V, a composi cao F X : U R
2
R for
diferenciavel em X
1
(P). Dizemos que F e diferenciavel em V quando for diferenci avel em
todo ponto P V.
A denicao acima nao depende da escolha da parametrizacao X.
De fato, seja X : U R
2
S outra parametrizacao em P tal que X(U) V. Seja W = X(U)
X(U) em V. Consideremos a mudanca de coordenadas h = X
1
X : X
1
(W) X
1
(W).
Logo, sendo X = Xh, temos FX : U R
2
R coincidindo com FXh em X
1
(W). Como
F X e diferenciavel em X
1
(P); h e diferenciavel e a composta de aplicacoes diferenciaveis e
diferenciavel, conclumos que F X e diferenciavel em X
1
(P).
Arma cao: Seja F : W R
3
R uma funcao diferenciavel, sendo W aberto do R
3
. Seja
S W uma superfcie regular. Entao, F[
S
: S R
3
R e diferenciavel.
De fato, sejam P S e X : U R
2
S uma parametrizacao em torno de P. Assim,
F[
S
X : U R
2
R coincide com F X : U R
2
R, que e diferenciavel.
Exemplo:
Sejam v um vetor unitario de R
3
e S uma superfcie regular. Tomemos
H : S R
P P, v)
,
sendo ., .) o smbolo para o produto interno usual do R
3
. A funcao H e diferenciavel em S pois
e a restricao `a S de
H : R
3
R
P P, v)
,
que e diferenciavel.
Geometricamente (gura abaixo), observemos que: por um lado, cos () =
P,v
|P||v|
=
P,v
|P|
, sendo
o angulo entre v e o vetor do R
3
determinado por P. E, por outro lado, do triangulo POP

,
sendo P

a projecao ortogonal de P no plano (plano ortogonal a v passando pela origem de

R
3
), temos cos () =
PP

|P|
. Logo,
PP

|P|
=
P,v
|P|
, ou seja, H(P) = PP

. Portanto, H(P) e a altura

de P S relativa ao plano .
x
y
z
0
P
v
Pp
p
q
q
7
Denicao 1.5 Dizemos que uma aplica cao contnua : V
1
S
1
S
2
, de um conjunto aberto
V
1
de uma superfcie regular S
1
em uma superfcie regular S
2
, e diferenciavel em P V
1
quando, dadas as parametriza coes X
1
: U
1
R
2
S
1
e X
2
: U
2
R
2
S
2
com P X
1
(U
1
) e
(X
1
(U
1
)) X
2
(U
2
), a aplica cao X
1
2
X
1
: U
1
U
2
for diferenciavel em Q = X
1
1
(P).
A aplica cao e diferenci avel quando for diferenciavel em todo ponto de V
1
.
v
1
u
1
P
v
2
u
2
U
1
j( ) P
X
2
X
1
S
1
S
2
U
2
j(X U
1 1
( ))
X U
2 2
( )
o o j X X
2
-1
1
j
Observacao:
`
A semelhanca da Denicao 1.4, a nocao de diferenciabilidade acima nao depende
das parametrizacoes X
1
e X
2
.
Denicao 1.6 Seja : S
1
S
2
uma aplica cao diferenciavel entre as superfcies regulares S
1
e S
2
e suponha que seja bijetiva e a inversa
1
: S
2
S
1
seja tambem diferenciavel. Nessas
condi coes dizemos que e uma difeomorsmo e as superfcies regulares S
1
e S
2
sao ditas
difeomorfas.
Arma cao: Sejam S
1
e S
2
superfcies regulares, F : V R
3
S
2
R
3
uma aplicacao
diferenciavel, sendo V aberto do R
3
e S
1
V. Entao, F[
S
1
: S
1
S
2
e diferenciavel.
De fato, sejam X
1
: U
1
R
2
S
1
e X
2
: U
2
R
2
S
2
parametrizacoes em torno de P S
1
e de F(P) S
2
, respectivamente, tais que F (X
1
(U
1
)) X
2
(U
2
). Consideremos a aplicacao
X
1
2
F X
1
: U
1
U
2
, que e diferenciavel (composta de diferenciaveis). Mas X
1
2
F X
1
coincide com X
1
2
F[
S
1
X
1
, e o resultado segue.
Exemplo:
Sejam
S
1
= (x, y, z) R
3
: x
2
+y
2
+z
2
= 1
(esfera) e
S
2
=
_
(x, y, z) R
3
:
x
2
a
2
+
y
2
b
2
+
z
2
c
2
= 1; a, b, c > 0
_
(elipse). Seja
F : S
1
S
2
(x, y, z) (ax, by, cz)
.
Temos que F e diferenciavel, pois e a restricao da aplicacao
F : R
3
R
3
(x, y, z) (ax, by, cz)
`a esfera S
1
, que e diferenciavel.
8
1.2 Primeira Forma Quadratica
Denicao 1.7 Denotemos por ., .) o produto interno usual de R
3
. Seja S uma surperfcie
regular e P S. O produto interno ., .) induz um produto interno ., .)
P
no plano tangente
T
P
S R
3
. Como ., .)
P
e uma forma bilinear simetrica em T
P
S, podemos denir a seguinte
forma quadratica em T
P
S:
I
P
: T
P
S R
w w, w)
P
= [w[
2
,
chamada de Primeira Forma Quadratica, ou Primeira Forma Fundamental de S em
P.
Seja X : U R
2
S uma parametrizacao em torno de P S e Q U tal que X(Q) = P.
Consideremos X
u
(Q), X
v
(Q) a base associada a X em T
P
S. Seja w T
P
S. Logo, existe uma
curva diferenciavel : ], [ R X(U) S R
3
tal que

(0) = w e (0) = P. Logo,

podemos escrever (t) = X(u(t), v(t)), visto que , existe uma curva diferenciavel = X
1
:
], [ R U R
2
denida por (t) = (u(t), v(t)), e portanto (t) = X((t)).
S
x
z
S S S S S
P
=
a(0)
w = a (0)
a
v
u u(0)
v(0)
U
X
t
T S p
R
b
b(0)
(
)
e
-e
0
y
Escrevendo entao (t) = X(u(t), v(t)),segue-se que

(t) = X
u
(u(t), v(t))u

(t)+X
v
(u(t), v(t))v

(t).
Em particular,

(0) = X
u
(Q)u

(0)+X
v
(Q)v

(0) Assim, observamos que as coordenadas de

(0)
na base associada a X em T
P
S e (u

(0), v

(0)). Portanto:
I
P
(w) = w, w)
P
=

(0),

(0))
P
= X
u
(Q)u

(0) +X
v
(Q)v

(0), X
u
(Q)u

(0) +X
v
(Q)v

(0))
P
= X
u
(Q), X
u
(Q))
P
u

(0)
2
+ 2 X
u
(Q), X
v
(Q))
P
u

(0)v

(0) +X
v
(Q), X
v
(Q))
P
v

(0)
2
.
Sejam E, F, G : U R
2
R funcoes denidas por:
E (u, v) = X
u
(u, v), X
u
(u, v))
X(u,v)
= [X
u
(u, v)[
2
,
F (u, v) = X
u
(u, v), X
v
(u, v))
X(u,v)
,
G(u, v) = X
v
(u, v), X
v
(u, v))
X(u,v)
= [X
v
(u, v)[
2
.
Essas funcoes sao diferenciaveis em U e sao chamadas de Coecientes da Primeira Forma
Quadratica na parametrizacao X. Logo,
I
P
(w) = E(Q)u

(0)
2
+ 2F(Q)u

(0)v

(0) +G(Q)v

(0)
2
.
9
De um modo geral,
I
X(u,v)
(

(t)) = E(u, v)u

(t)
2
+ 2F(u, v)u

(t)v

(t) +G(u, v)v

(t)
2
,
sendo

(t) = X
u
(u, v)u

(t) +X
v
(u, v)v

(t).
Exemplos:
(1) Seja S o plano de R
3
parametrizado por
X : R
2
S R
3
(u, v) P
0
+uv
1
+vv
2
sendo P
0
R
3
e v
1
, v
2
um conjunto de vetores ortonormais do R
3
. Entao, para um ponto
arbitrario P = X(Q) S temos que v
1
, v
2
e uma base ortonormal (associada a X) em T
P
S.
Assim, dado w T
P
S, w = v
1
+v
2
para algum , R e, portanto:
I
P
(w) = E(Q)
2
+ 2F(Q) +G(Q)
2
,
sendo
E(Q) = X
u
(Q), X
u
(Q))
P
= v
1
, v
1
)
P
= [v
1
[
2
= 1;
F(Q) = X
u
(Q), X
v
(Q))
P
= v
1
, v
2
)
P
= 0;
G(Q) = X
v
(Q), X
v
(Q))
P
= v
2
, v
2
)
P
= [v
2
[
2
= 1.
Assim,
I
P
(w) =
2
+
2
, w = v
1
+v
2
T
P
S.
(2) Seja S o cilindro parametrizado por
X : ]0, 2[ R S R
3
(u, v) (cos (u) , sen (u) , v)
.
Seja P
0
= X(u
0
, v
0
) S. Temos que
X
u
(u
0
, v
0
), X
v
(u
0
, v
0
) = (sen (u
0
) , cos (u
0
) , 0), (0, 0, 1)
e a base associada a X em T
P
0
S.
Seja w T
P
0
S. Logo, w = X
u
(u
0
, v
0
) +X
v
(u
0
, v
0
) para algum , R e
I
P
0
(v) = E(u
0
, v
0
)
2
+ 2F(u
0
, v
0
) +G(u
0
, v
0
)
2
,
sendo
E(u
0
, v
0
) = X
u
(u
0
, v
0
), X
u
(u
0
, v
0
))
P
0
= (sen (u
0
) , cos (u
0
) , 0), (sen (u
0
) , cos (u
0
) , 0))
P
0
= sen
2
(u
0
) + cos
2
(u
0
)
= 1
F(u
0
, v
0
) = X
u
(u
0
, v
0
), X
v
(u
0
, v
0
))
P
0
= (sen (u
0
) , cos (u
0
) , 0), (0, 0, 1))
P
0
= 0
G(u
0
, v
0
) = X
v
(u
0
, v
0
), X
v
(u
0
, v
0
))
P
0
= (0, 0, 1), (0, 0, 1))
P
0
= 1
10
Logo,
I
P
0
(w) =
2
+
2
, w = X
u
(u
0
, v
0
) +X
v
(u
0
, v
0
) T
P
0
S.
COMPRIMENTO DE CURVAS SOBRE SUPERF

ICIES REGULARES
Denicao 1.8 Sejam S uma superfcie regular e : [0, b] R S uma curva diferenciavel
sobre S, isto e (t) S, t [0, b] . O comprimento de arco no ponto (0) ate o ponto
(t) e dado por
s(t) =
_
t
0
[

(t)[ dt =
_
t
0
_
I
(t)
(

(t))dt,
sendo I
(t)
(

(t)) a Primeira Forma Quadratica de S em (t).

Em particular, se
X : U R
2
S
(u, v) X(u, v)
e uma parametrizacao tal que (t) X(U), t [0, b] , entao podemos escrever (t) =
X(u(t), v(t)), t [0, b]. Sob estas condicoes:
s(t) =
_
t
0
_
E((t))u

(t)
2
+ 2F((t))u

(t)v

(t) +G((t))v

(t)
2
dt,
sendo u

(t) e v

(t) coordenadas de

(t) na base X
u
((t)) , X
v
((t)) associada a X em
T
(t)
S, e (t) = X
1
(t) = (u(t), v(t)). Naturalmente, o comprimento de uma curva
em uma superfcie regular S, quando puder ser calculado via os coecientes da Primeira Forma
Quadratica em uma parametrizacao X de uma vizinhanca de S que contem , nao depende da
parametrizacao X.
Exemplo:
Sejam S = (x, y, z) R
3
: x
2
+y
2
= 1 e
X : U = ]0, 2[ R S
(u, v) (cos (u) , sen (u) , v)
uma parametrizacao.
Seja
: ]0, 2[ S
t (cos (t) , sen (t) , 0)
.
Logo, (t) X(U) S, t. Calculemos E((t)), F((t)) e G((t)):
E((t)) = X
u
((t)), X
u
((t))) = (sen(t), cos(t), 0), (sen(t), cos(t), 0))
(t)
= 1
F((t)) = X
u
((t)), X
v
((t))) = (sen(t), cos(t), 0), (0, 0, 1))
(t)
= 0
G((t)) = X
v
((t)), X
v
((t))) = (0, 0, 1), (0, 0, 1))
(t)
= 1
Temos

(t) = (sen (t) , cos (t) , 0) (ou

(t) = (1, 0) na base associada a X). Logo,

s(2) =
_
2
0
_
1(1)
2
+ 2 (0) (1)(0) + (0)
2
dt =
_
2
0
dt = 2.
11

AREAS EM SUPERF

ICIES REGULARES
Denicao 1.9 Seja S superfcie regular. Um domnio regular de S e um conjunto aberto
e conexo de S cuja fronteira e a imagem de uma aplica cao : S
1
(S
1
) S, sendo S
1
o
crculo unitario no plano e um homeomorsmo diferenciavel cuja diferencial nao se anula
exceto em uma quantidade nita de pontos de S
1
.A reuniao de um domnio regular de S com
sua fronteira e chamada de regi ao de S.
y
z
x
j( ) S
1
S
1
Regio=Domnioregular j( ) S
1
S
j

Denicao 1.10 Sejam S uma superfcie regular e R uma regiao limitada de S, contida em
uma vizinhan ca coordenada, ou seja, R X(U), sendo
X : U R
2
S
(u, v) X(u, v)
uma parametriza cao.
`
A integral dupla
A(R) =
__
X
1
(R)
[X
u
(u, v) X
v
(u, v)[ dudv
chamamos de area da regi ao R.

E possvel mostrar que a denicao de area dada acima indepdende da parametrizacao X. Uma
demonstracao desse fato encontra-se em [6].
Consideremos a gura abaixo.
X (u,v)
v
X (u,v)
u
q
h
X (u,v) X (u,v)
u v
x
Da gura temos
sen () =
h
|X
v
(u,v)|
h = [X
v
(u, v)[ sen () , sendo o angulo entre os vetores X
u
(u, v) e X
v
(u, v).
Logo,
[X
u
(u, v) X
v
(u, v)[ = [X
u
(u, v)[ [X
v
(u, v)[ sen ()
[X
u
(u, v) X
v
(u, v)[
2
= [X
u
(u, v)[
2
[X
v
(u, v)[
2
sen
2
()
[X
u
(u, v) X
v
(u, v)[
2
= [X
u
(u, v)[
2
[X
v
(u, v)[
2
(1 cos
2
)
= [X
u
(u, v)[
2
[X
v
(u, v)[
2
X
u
, X
v
)
2
X(u,v)

[X
u
(u, v) X
v
(u, v)[
2
= [X
u
(u, v)[
2
[X
v
(u, v)[
2
X
u
(u, v), X
v
(u, v))
2
X(u,v)
= E(u, v)G(u, v) F(u, v)
2

[X
u
(u, v) X
v
(u, v)[ =
_
E(u, v)G(u, v) F(u, v)
2
.
12
Entao,
A(R) =
__
X
1
(R)
_
E(u, v)G(u, v) F(u, v)
2
dudv.
Exemplo:
Consideremos a superfcie regular S = X(U) sendo U = ]0, 2[ ]0, 2[ e
X : U R
2
R
3
(u, v) ((a +r cos (u)) cos (v) , (a +r cos (u)) sen (v) , r sen (u))
.
Temos que S e um toro menos um meridiano e um paralelo.
Os coecientes da Primeira Forma Quadratica em (u, v) U sao:
E(u, v) = X
u
(u, v), X
u
(u, v))
X(u,v)
= r
2
F(u, v) = X
u
(u, v), X
v
(u, v))
X(u,v)
= 0
G(u, v) = X
u
(u, v), X
v
(u, v))
X(u,v)
= (a +r cos (u))
2
Seja
R

= X([, 2 ] [, 2 ]), 0 < < .

Logo,
A(R

) =
__
X
1
(R)
_
E(u, v)G(u, v) F(u, v)
2
dudv
=
_
2

_
2

r(a +r cos (u))dudv

= r
_
2

_
2

(a +r cos (u))dudv
= r
_
2

(au[
2

+r sen (u) [
2

)dv
= r
_
2

(a [2 ] +r [sen (2 ) sen ()])dv

= r [a (2 2) +r [sen (2 ) sen ()]] (2 2)
= r (2 2) (a(2 2) +r [sen (2 ) sen ()]).
Temos, portanto, que
A(S) = lim
0
A(R

) = 2ra(2) = 4
2
ra.

ANGULO ENTRE CURVAS COORDENADAS DE UMA SUPERF

ICIE REGULAR
Denicao 1.11 Sejam S superfcie regular e : I R S, : I R S curvas
diferenciaveis sobre S que se intersectam em um ponto P = (t
0
) = (t
1
). O angulo entre
e no ponto P e denido como sendo o angulo formado pelas retas paralelas a

(t
0
) e

(t
1
)
passando por P. A medida , 0

2
radianos, desse angulo e dada por:
cos () =
[

(t
0
),

(t
1
)
P
[
|

(t
0
)|.|

(t
1
)|
.
13
x
y
z
(
)
(
)
I
I
t
0
t
1
a
b
a ( ) t
0

b ( ) t
1

q
a
b
Em particular, se (u) = X(u, v
0
) e (v) = X(u
0
, v), sendo
X : U R
2
S
(u, v) X(u, v)
uma parametriza cao em torno de P = X(u
0
, v
0
), entao
cos () =
|X
u
(u
0
,v
0
),X
v
(u
0
,v
0
)|
|X
u
(u
0
,v
0
)|.|X
v
(u
0
,v
0
)|
=
|F(u
0
,v
0
)|

E(u
0
,v
0
)G(u
0
,v
0
)
.
Observacao: se F(u
0
, v
0
) = 0, entao = 90

, ou seja as curvas coordenadas X(u, v

0
) e
X(u
0
, v) sao ortogonais. Quando F(u, v) = 0, (u, v) U, chamamos a parametrizacao X de
parametrizacao ortogonal.

E possvel mostrar que dada uma superfcie regular S e P S,
sempre existe uma parametrizacao em P que e ortogonal.
1.3 Algumas Transformac oes Geometricas Importantes
Nesta secao introduziremos as isometrias (global e local), as aplicacoes conformes (global e
local), as imersoes, as imersoes isometricas, os mergulhos e os mergulhos isometricos. Trans-
formacoes essas imprescidveis para os proximos captulos.
ISOMETRIAS
Denicao 1.12 Sejam S e S superfcies regulares. Uma aplica cao : S S difeomorsmo
e dita isometria entre S e S quando w
1
, w
2
)
P
= d
P
(w
1
), d
P
(w
2
))
(P)
, w
1
, w
2
T
P
S.
Duas superfcies sao isometricas quando existir uma isometria entre elas.
Proposicao 1.6 Sejam S e S superfcies regulares. Um difeomorsmo : S S e uma
isometria se, e somente se, I
P
(w) = I
(P)
(d
(P)
(w)), P S e w T
P
S.
Demonstra cao:
Se : S S e uma isometria entre as superfcies regulares S e S, entao I
P
(w) = I
(P)
(d
(P)
(w))
decorre diretamente da denicao de isometria.
Por um lado,
I
P
(w
1
+w
2
) = w
1
+w
2
, w
1
+w
2
)
P
= w
1
, w
2
)
P
+w
2
, w
2
)
P
+ 2 w
1
, w
2
)
P
= I
P
(w
1
) +I
P
(w
2
) + 2 w
1
, w
2
)
P
14
e
I
(P)
(d
P
(w
1
+w
2
)) = I
(P)
(d
P
(w
1
) +d
P
(w
2
))
= d
P
(w
1
) +d
P
(w
2
), d
P
(w
1
) +d
P
(w
2
))
(P)
= d
P
(w
1
), d
P
(w
1
))
(P)
+d
P
(w
2
), d
P
(w
2
))
(P)
+ 2 d
P
(w
1
), d
P
(w
2
))
(P)
= I
(P)
(d
P
(w
1
)) +I
(P)
(d
P
(w
2
)) + 2 d
P
(w
1
), d
P
(w
2
))
(P)
Por outro lado, por hipotese,
I
P
(w
1
+w
2
) = I
(P)
(d
P
(w
1
+w
2
))
e
I
P
(w
1
) = I
(P)
(d
P
(w
1
)) e I
P
(w
2
) = I
(P)
(d
P
(w
2
)).
Segue entao que
2 w
1
, w
2
)
P
= 2 d
P
(w
1
), d
P
(w
2
))
(P)
,
ou seja, e uma isometria.
Denicao 1.13 Sejam S e S superfcies regulares, P S e U S uma vizinhanca aberta de
P em S. Dizemos que : U S e uma isometria local em P quando existir V S, uma
vizinhan ca aberta de (P) em S tal que : U V seja uma isometria. Quando, para todo
P S, existir uma isometria local, entao dizemos que S e S sao localmente isometricas.
Nem toda isometria local e isometria global.
Exemplo:
Sejam S o plano dado pela parametrizacao
X : R
2
R
3
(u, v) (u, v, 0)
e S o cilindro dado pela parametrizacao
X : (]0, 2[ R) R
2
R
3
(u, v) (cos (u) , sen (u) , v)
.
Seja
: X(]0, 2[ R) X(]0, 2[ R)
(u, v, 0) (cos (u) , sen (u) , v)
.
Vamos mostar que I
P
(w) coincide com I
(P)
(d
P
(w)), P X(]0, 2[ R) e w T
P
S.
Sejam w T
P
S e : I R S tal que (0) = P e

(0) = w.
Como
(t) = X (u(t), v(t))

(t) = X
u
(u(t), v(t))u

(t) +X
v
(u(t), v(t))v

(t).
Em t = 0 temos

(0) = X
u
(Q)u

(0) +X
v
(Q)v

(0),
sendo Q (]0, 2[ R) tal que X(Q) = P. Mas
((t)) = (X (u(t), v(t))) = X (u(t), v(t))
d
(t)
(

(t)) = X
u
(u(t), v(t))u

(t) +X
v
(u(t), v(t))v

(t).
15
Em t = 0 temos
d
P
(

(0)) = X
u
(Q)u

(0) +X
v
(Q)v

(0).
Concluimos que

(0) = (u

(0), v

(0)) na base X
u
(Q), X
v
(Q) de T
P
S
e
d
P
(

(0)) = (u

(0), v

(0)) na base
_
X
u
(Q), X
v
(Q)
_
de T
(P)
S.
Logo,
I
P
(w) = I
P
(

(0)) = E(Q)u

(0)
2
+ 2F(Q)u

(0)v

(0) +G(Q)v

(0)
2
e
I
(P)
(d
P
(w)) = I
(P)
(d
P
(

(0))) = E(Q)u

(0)
2
+ 2F(Q)u

(0)v

(0) +G(Q)v

(0)
2
.
Mas
E(Q) = X
u
(Q), X
v
(Q))
P
= 1
E(Q) =

X
u
(Q), X
v
(Q)
_
(P)
= 1
F(Q) = F(Q) = 0
G(Q) = G(Q) = 1
Segue entao que I
P
(w) = I
(P)
(d
P
(w)), P X(]0, 2[ R) e w T
P
S, ou seja, e uma
isometria local.
A isometria local nao pode ser estendida a uma isometria global, pois nao seria difeomorsmo.
De fato, o cilindro inteiro nao e nem mesmo homeomorfo ao plano inteiro.
Proposicao 1.7 Se S e S sao superfcies regulares dadas por X : U S e X : U S com
E = E, F = F e G = G em U, entao : X X
1
: X(U) S e uma isometria local.
Portanto, S e S sao localmente isometricas.
A demonstracao pode ser encontrada no Captulo 4 de [6] (Proposicao 1).
APLICAC

OES CONFORMES
Denicao 1.14 Sejam S e S superfcies regulares e : S S um difeomorsmo. Dizemos
que e uma aplicac ao conforme quando para qualquer P S e v
1
, v
2
T
P
S tem-se
d
P
(v
1
), d
P
(v
2
))
(P)
=
2
(P) v
1
, v
2
)
P
,
sendo : S R uma funcao diferenciavel tal que (P) ,= 0, P S. Nessas condi coes,
dizemos que S e S sao superfcies conformes.
Seja V S uma vizinhanca aberta de P em S e : V S uma aplica cao diferenciavel.
Quando existe V S vizinhanca aberta de (P) tal que : V V seja conforme, dizemos
que e uma aplica c ao conforme local em P. Se, para qualquer P S, existem V S
uma vizinhanca aberta de P e : V V aplica cao conforme local, sendo V S vizinhanca
aberta de (P), entao dizemos que S e S sao localmente conformes.
Proposicao 1.8 Uma aplica cao conforme : S S entre as superfcies regulares S e S
preserva angulos.
16
Demonstra cao:
De fato, sejam : I R S e : I R S curvas parametrizadas regulares sobre S tais
que (0) = (0) = P S. Tomemos o angulo entre e em P, o qual e denido por:
cos () =
[

(0),

(0)
P
[
|

(0)|.|

(0)|
.
Sejam : I R S, : I R S as imagens de e em S. Logo, as curvas
e intersectam-se em ((0)) = ((0)) = (P) e o angulo entre e e tal que
cos
_

_
=

d
(P)
(

(0)),d
(P)
(

(0))
)
(P)

[
d
(P)
(

(0))
[
.
[
d
(P)
(

(0))
[
=
[

2
(P)

(0),

(0)
P
[

d
(P)
(

(0)),d
(P)
(

(0))
)
(P)

d
(P)
(

(0)),d
(P)
(

(0))
)
(P)
=

2
(P)
[

(0),

(0)
P
[

2
(P)|

(0)||

(0)|
= cos () .
Como 0 ,

2
, temos = ,como queramos.
Observacao: toda isometria e uma aplicacao conforme. A recproca e falsa. Um exemplo e
a projecao estereograca da esfera (menos um ponto) no plano, que e conforme, mas nao e
isometria.
Proposicao 1.9 Sejam S e S superfcies regulares X : U R
2
S e X : U R
2
S
parametriza coes. Se existe : X(U) R uma funcao diferenciavel tal que (P) ,= 0, P
X(U) e:
E(u, v) =
2
(X(u, v))E(u, v);
F(u, v) =
2
(X(u, v))F(u, v);
G(u, v) =
2
(X(u, v))G(u, v),
(u, v) U, entao : X X
1
: X(U) S S e uma aplicacao conforme local.
IMERS

AO ISOM

ETRICA - MERGULHO ISOM

ETRICO
Denicao 1.15 Uma aplica cao diferenciavel : S R
n
, n 3, de uma superfcie regular
S em R
n
e uma imersao quando a diferencial d
P
: T
P
S T
(P)
R
n
e injetiva P S.
Se, alem disto, d
P
(v), d
P
(w))
(P)
= v, w)
P
; v, w T
P
S, dizemos que e uma imersao
isometrica.
Note que o primeiro produto interno na relacao acima e o produto interno usual de R
n
, enquanto
que o segundo e o induzido de R
3
sobre T
P
S.
Denicao 1.16 Seja S uma superfcie regular. Uma aplica cao diferenciavel : S R
n
e um
mergulho quando e uma imersao e um homeomorsmo sobre sua imagem. Quando, alem
disso, e imersao isometrica, dizemos que o mergulho e mergulho isometrico.
17
Observacao: uma imersao isometrica pode nao ser um mergulho isometrico. Por exemplo,
seja S o plano R
2
, parametrizado por X (u, v) = (u, v, 0) , (u, v) R
2
, e
S R
3
R
3
(u, v, 0) (cos (u) , sen (u) , v)
.
Temos que a imagem de e o cilindro S = (x, y, z) R
3
: x
2
+y
2
= 1 . A aplicacao e
uma imersao isometrica pois nas parametrizacoes X do plano e X (u, v) = (cos (u) , sen (u) , v)
do cilindro, os coecientes das Primeiras Formas Quadraticas coincidem (ver exemplo apos
a Denicao 1.13). Mas nao e mergulho isometrico pois nao e injetiva e, portanto, nao e
homeomorsmo sobre sua imagem.
1.4 Segunda Forma Quadratica
Nesta secao estamos interessados em denir curvatura gaussiana de uma superfcie regular.
Para tanto, faremos uso de uma nova forma quadratica.
APLICAC

AO NORMAL DE GAUSS
A partir dessa secao, consideraremos apenas superfcies S orientaveis (ver [6], Captulo 2, pagina
122), ou seja, superfcies sobre as quais existe um campo diferenciavel de vetores normais e
unitarios.
Denicao 1.17 Seja S uma superfcie regular orientada e consideremos o campo diferenciavel
de vetores normais unitarios N : S S
2
, que dene a orientacao de S, sendo S
2
a esfera com
centro na origem de R
3
e raio 1. A aplica cao N e chamada de Aplica cao Normal de Gauss
de S.
Consideremos a diferencial de N em P S, dN
P
: T
P
S T
N(P)
S
2
. Visto que T
P
S e T
N(P)
S
2
sao paralelos, podemos pensar em dN
P
: T
P
S T
P
S como sendo o operador linear que age da
seguinte maneira: para cada curva parametrizada : (, ) S com (0) = P, considere a
curva parametrizada na esfera S
2
denida por N(t) = N (t). Logo, N : I R S
2
. Entao,
N

(t) = dN
(t)
(

(t)), t I, e portanto, N

(0) = dN
P
(

(0)) e um vetor de T
P
S quando
indenticamos T
P
S com T
N(P)
S
2
. Geometricamente, N

(0) e a taxa de varia cao instantanea, no

ponto P, da direcao do vetor N(P) ao longo da curva .
S
x
y
z
SS SSS
P = a(0)
a (0)
a
e
-e
0
)
(
x
y
z
S
2
N
dN
P
N(P)
N (0)

TN(P)S
2
T S p
N
N(P)
18
Exemplos:
(1) Seja S = (x, y, z) R
3
: ax +by +cz = d, a ,= 0, b ,= 0 ou c ,= 0 (um plano). Seja
N : S R
3
S
2
R
3
P = (x, y, z)
(a,b,c)

a
2
+b
2
+c
2
a Aplicacao Normal de Gauss de S. Temos
dN
P
: T
P
S T
P
S
v 0
.
Logo, todo v ,= 0 T
P
S e um autovetor de dN
P
associado ao autovalor 0.
(2) Seja S = (x, y, z) R
3
: x
2
+y
2
+z
2
= 1 a esfera unitaria em R
3
. Considere a aplicacao
N : S R
3
S
2
R
3
P = (x, y, z) (x, y, z)
e seja
: I R S
t (x(t), y(t), z(t))
uma curva parametrizada tal que (0) = P. Temos que

(t
0
) = (x

(0), y

(0), z

(0)) e o vetor
tangente a em t = 0 e, portanto, peretence `a T
P
S. Mas
x
2
(t) +y
2
(t) +z
2
(t) = 1
2x(t)x

(t) + 2y(t)y

(t) + 2z(t)z

(t) = 0
(x

(t), y

(t), z

(t)), (x(t), y(t), z(t))) = 0.

Logo, N e um campo de vetores normais unitarios em S
2
. Considerando entao S
2
orientada por
N, temos que N e a Aplicacao Normal de Gauss de S e,
dN
P
: T
P
S T
P
S
v v
.
Logo, dN
P
(v) = 1v, ou seja, todo v ,= 0 T
P
S e um autovetor de dN
P
associado ao autovalor
1.
Proposicao 1.10 A diferencial dN
P
: T
P
S T
P
S da Aplica cao Normal de Gauss N : S S
2
da superfcie regular S no ponto P S e auto-adjunta, ou seja, dN
P
(v), w) = v, dN
P
(w)) ,
v, w T
P
S.
A demonstracao pode ser encontrada em [6], Captulo 3.
Denicao 1.18 Sejam S uma superfcie regular e P S. Seja
Q : T
P
S R
v dN
P
(v), v)
P
a forma quadratica em T
P
S associada ao operador linear auto-adjunto dN
P
: T
P
S T
P
S.
`
A
forma quadratica II
P
em T
P
S dada por:
II
P
: T
P
S R
v dN
P
(v), v)
P
= Q(v)
.
chamamos de Segunda Forma Quadratica ou Segunda Forma Fundamental de S em
P.
19
CURVATURA NORMAL
Lembrete: Seja C uma curva regular em S passando por P S e K(P) a curvatura da
curva C em P. Se : I R R
3
e uma parametrizacao de C, com (t
0
) = P, entao
K(P) = K((t
0
)) =
|

(t
0
)

(t
0
)|
|

(t
0
)|
3
. Se esta parametrizada pelo comprimento de arco, entao
K(P) = K ((t
0
)) = [

(t
0
)[ e o vetor n(P) = n((t
0
)) =

(t
0
)
|

(t
0
)|
e chamado de vetor normal
a C em P. Logo,

(t
0
) = K ((t
0
)) n((t
0
)) = K(P)n(P).
x
y
z
a ( ) t0
a ( ) t0
x a a ( ) ( ) t t 0 0
a( ) t0
Denicao 1.19 Seja C curva regular em uma superfcie regular orientada passando por P
S. Seja N(P) o vetor normal e unitario `a superfcie S em P denido pela Aplica cao de Gauss
de S. Seja cos () = N(P), n(P)) , sendo n(P) vetor normal a C em P e a medida do angulo
entre N (P) e n(P) . Chamamos K
n
(P) = K(P) cos () de curvatura normal de C S em
P, onde K(P) denota a curvatura da curva C em P.
S
N(P)
n(P)
K(P).n(P)
q
K(P ) n(P) cos q = K (P)
n
P
T S p
C
Na verdade, podemos associar curvaturas normais `a direcoes no plano tangente. Esse e o
conte udo da proposicao seguinte, devida a Meusnier.
Proposicao 1.11 Todas as curvas de uma superfcie regular S que tem, em um mesmo ponto,
a mesma reta tangente tem, nesse ponto, a mesma curvatura normal, ou seja, a curvatura
normal de uma curva regular C S em P depende, na verdade, de uma dire cao (dada pela
reta tangente) e nao da curva C escolhida.
Demonstra cao:
Sejam S uma superfcie regular, P S e C uma curva regular em S passando por P,
parametrizada pelo comprimento de arco, tal que
: I R R
3
t (t)
20
seja uma parametrizacao de C. Seja N : S S
2
a Aplicacao Normal de Gauss de S e
dN
P
: T
P
S T
P
S
v dN
P
(v)
.
Considere a curva parametrizada em S
2
dada por
N : I R S
2
t N((t))
e seja
II
P
: T
P
S R
v dN
P
(v), v)
a segunda forma quadratica de S em P.
Suponhamos que 0 I e (0) = P. Temos
N(t) = N ((t)) N

(t) = dN
(t)
(

(t)) N

(0) = dN
P
(

(0)).
Observamos que

N(t),

(t)
_
= 0
_
N

(t),

(t)
_
+

N(t),

(t)
_
= 0

_
N

(0),

(0)
_
=

N(0),

(0)
_

dN
(0)
(

(0)),

(0)
_
= N((0)),

(0))
dN
P
(

(0)),

(0)) = N(P),

(0))
II
P
(

(0)) = N(P),

(0)) = N(P), K(P)n(P))

(pois n(P) =

(0)
|

(0)|
=

(0)
K(P)
N(P)K(P) = n(P); vimos que esta p.c.a.). Logo,
II
P
(

(0)) = K(P) N(P), n(P))

II
P
(

(0)) = K(P) cos () = K

n
(P),
ou seja, K
n
(P) depende apenas de

(0) , como queramos.

Sejam S uma superfcie regular, P S, v T
P
S, [v[ = 1 e N : S S
2
a Aplicacao Normal
de Gauss associada a S.
`
A interseccao de S com o plano paralelo a N(P) e v, passando por P,
chamamos de seccao normal de S em P na direcao de v.
Observacao: e possvel que a curvatura da seccao normal seja nula sem que a seccao normal
seja uma reta. De fato, isto ocorre em uma superfcie obtida pela rotacao da curva z = y
4
em
torno do eixo z no ponto P = (0, 0, 0) . De fato, mostremos que em P = (0, 0, 0) a diferencial
dN
P
= 0. Para isto, observamos que a curvatura da curva z = y
4
em P e igual a zero. Alem
disso, como o plano xy e o plano tangente `a superfcie em P, o vetor normal N(P) e paralelo
ao eixo Oz. Portanto, qualquer seccao normal em P e obtida a partir da curva z = y
4
por uma
rotacao; logo tem curvatura zero. Segue-se que todas as curvaturas normais sao nulas em P e,
assim, dN
P
= 0.
Proposicao 1.12 Sejam S superfcie regular, P S e dN
P
: T
P
S T
P
S a diferencial da
Aplica cao Normal de Gauss de S. Entao, existe uma base ortonormal e
1
, e
2
em T
P
S tal que
dN
P
(e
1
) = K
1
e
1
e dN
P
(e
2
) = K
2
e
2
, sendo K
1
K
2
o maximo e o mnimo da segunda
forma fundamental II
P
restrita ao crculo unitario de T
P
S. Isto e, K
1
e K
2
sao os valores
maximo e mnimo da curvatura normal de S em P.
21
A demonstracao pode ser encontrada no Apendice do Captulo 3 de [6].
Exemplos:
(1) Sejam S a esfera unitaria e
N : S S
2
(x, y, z) (x, y, z)
A Aplicacao de Gauss de S. Fixada e
1
, e
2
base ortonormal em T
P
S, temos
dN
P
(e
1
) = 1e
1
K
1
= 1 K
1
= 1
dN
P
(e
1
) = 1e
2
K
2
= 1 K
2
= 1
Assim,
II
P
(e
1
) = dN
P
(e
1
), e
1
)
P
= e
1
, e
1
)
P
= 1 = K
1
= K
n
(P) (na direcao de e
1
)
II
P
(e
2
) = dN
P
(e
2
), e
2
)
P
= e
2
, e
2
)
P
= 1 = K
2
= K
n
(P) (na direcao de e
2
)
Observacao: Se tomarmos S orientada por :
N : S S
2
(x, y, z) (x, y, z)
temos
dN
P
: T
P
S T
P
S
v v
e, portanto,
dN
P
(e
1
) = e
1
K
1
= 1 K
1
= 1 = K
n
(P) (direcao de e
1
),
dN
P
(e
2
) = e
2
K
2
= e
2
K
2
= 1 = K
n
(P) (direcao de e
2
).
(2) No cilindro de raio 1, S = (x, y, z) R
3
: x
2
+y
2
= 1,
N : S S
2
(x, y, z) (x, y, 0)
,
e seja e
1
, e
2
base ortonormal de T
P
S tal que e
1
aponta na direcao de um meridiano de S e e
2
aponta direcao de um paralelo de S. Temos
dN
P
(e
1
) = 0e
1
K
1
= 0 K
1
= 0 K
n
(P) = 0 (na direcao de e
1
)
dN
P
(e
2
) = 1e
2
K
2
= 1 K
2
= 1 K
n
(P) = 0 (na direcao de e
2
)
As curvaturas normais em outras direcoes diferentes de e
1
e e
2
terao valores entre 1 e 0.
Denicao 1.20 Sejam K
1
e K
2
as curvaturas normais maxima e mnima de S em P. Chama-
mos K
1
e K
2
de curvaturas principais de S em P. As dire coes ortogonais e
1
e e
2
, autove-
tores de dN
P
associados, respectivamente, a K
1
e K
2
chamamos de dire c oes principais de
S em P.
Armacao: conhecendo-se as curvaturas principais K
1
e K
2
de S em P e possvel calcular a
curvatura normal de S em P em qualquer direcao dada por v T
P
S, com [v[ = 1.
De fato, seja o angulo formado entre e
1
e v, sendo e
1
, e
2
base ortonormal de T
P
S, onde e
1
e
e
2
sao autovetores de dN
P
associados a K
1
e K
2
, isto e, dN
P
(e
1
) = K
1
e
1
e dN
P
(e
2
) = K
2
e
2
.
22
e
2
e
1
q
v
senq e
2
cosq e
1
v = + cos sen q q e e
1 2
P
Logo, v = cos () e
1
+sen () e
2
e, entao, a curvatura normal de S em P na direcao de v e dada
por
K
n
(P) = II
P
(v)
= dN
P
(v), v)
= dN
P
(cos () e
1
+ sen () e
2
), cos () e
1
+ sen () e
2
)
P
= K
1
cos () e
1
K
2
sen () e
2
, cos () e
1
+ sen () e
2
)
P
= (K
1
cos
2
() e
1,
e
1
)
P
K
2
sen
2
() e
2
, e
2
)
P

K
n
(P) = (K
1
cos
2
() K
2
sen
2
())
K
n
(P) = K
1
cos
2
() +K
2
sen
2
() (Formula de Euler)
CURVATURA M

EDIA E CURVATURA GAUSSIANA

Sejam S uma superfcie regular, P S e e
1
, e
2
base ortonormal de T
P
S tal que dN
P
(e
1
) =
K
1
e
1
e dN
P
(e
2
) = K
2
e
2
. A matriz de dN
P
: T
P
S T
P
S na base e
1
, e
2
e
[dN
P
] =
_
K
1
0
0 K
2
_
e o determinante de [dN
P
] e o traco de [dN
P
] nao dependem da base escolhida para T
P
S
(resultados de

Algebra Linear).
Denicao 1.21 Nas condi coes acima, ao determinante de [dN
P
] chamamos de curvatura
Gaussiana K de S em P.
`
A metade do oposto do tra co de [dN
P
] chamamos de curvatura
media H de S em P, ou seja,
K = K
1
K
2
H =
K
1
+K
2
2
Como dN
P
mede a taxa de variacao da direcao do vetor N (P) em uma vizinhanca de P,
podemos dizer que a curvatura Gaussiana mede, em um certo sentido, o quanto um superfcie
se afasta de seu plano tangente em uma vizinhanca do ponto P. Portanto, parece que a
curvatura Gaussiana e algo que depende do espaco ambiente R
3
no qual S esta inserida, uma
vez que envolve uma taxa de variacao de um campo de vetores no R
3
. No entanto, por incrvel
que possa ser, a curvatura e uma propriedade intrnseca de S, ou seja, nao depende da posicao
de S no espaco R
3
. Este e o conte udo do Teorema Egregium de Gauss que veremos adiante.
23
A APLICAC

AO NORMAL DE GAUSS EM COORDENADAS LOCAIS

Sejam S uma superfcie regular, P S e
X : U R
2
X(U) S R
3
(u, v) X(u, v)
parametrizacao de S em P, X(Q) = P. Seja
N : S S
2
(x, y, z) N(x, y, z)
a Aplicacao Normal de Gauss de S em X(U) S, podemos escrever N(x, y, z) = N (X(u, v)) =

N(u, v), ou seja,

N : U R
2
S
2
(u, v)

N(u, v) = N(X(u, v))
.
Sejam
: I R S
t (t)
uma curva parametrizada tal que (0) = P e (t) = X
1
(t) = (u(t), v(t)). Logo,
(t) = X (t) = X ((t)) = X (u(t), v(t))

(t) = X
u
(u(t), v(t))u

(t) +X
v
(u(t), v(t))v

(t)

(0) = X
u
(Q)u

(0) +X
v
(Q)v

(0).
Restringindo N `a curva temos
N ((t)) = N (X(u(t), v(t)) =

N(u(t), v(t))
dN
(t)
(

(t)) =

N
u
(u(t), v(t))u

(t) +

N
v
(u(t), v(t))v

(t)
dN
P
(

(0)) =

N
u
(Q)u

(0) +

N
v
(Q)v

(0).
S
x
y
z
SS SSS
x
y
z
S
2
N
dN
P
N(P)
T S= T p N(P)S
2 T S p
u
v
Q
X
X
u
(Q)
X
v
(Q)
N(P)
N
~
v
(Q)
N
~
u
(Q)
N
~
= NoX
P
24
Observemos que
_

N
u
(Q),

N
v
(Q)
_
e X
u
(Q), X
v
(Q) sao bases de T
P
S (aqui estamos identi-
cando T
P
S com T
N(P)
S
2
). Logo, podemos escrever

N
u
(Q) e

N
v
(Q) como combinacao linear dos
vetores X
u
(Q) e X
u
(Q):

N
u
(Q) = a
11
X
u
(Q) +a
21
X
v
(Q)

N
v
(Q) = a
12
X
u
(Q) +a
22
X
v
(Q)
Logo,
dN
P
(

(0)) = (a
11
X
u
(Q) +a
21
X
v
(Q))u

(0) + (a
12
X
u
(Q) +a
22
X
v
(Q))v

(0)
dN
P
(

(0)) = (a
11
u

(0) +a
12
v

(0))X
u
(Q) + (a
21
u

(0) +a
22
v

(0))X
v
(Q)
Na base B = X
u
(Q), X
v
(Q) temos
dN
P
(u

(0), v

(0))
B
= (a
11
u

(0) +a
12
v

(0), a
21
u

(0) +a
22
v

(0))
B

[dN
P
]
_
u

(0)
v

(0)
_
B
=
_
a
11
a
12
a
21
a
22
_
.
_
u

(0)
v

(0)
_
B
.
Precisamos encontrar a
ij
; i, j 1, 2 .
Consideremos a Segunda Forma Quadratica:
II
P
(

(0)) = dN
P
(

(0),

(0))
=
_

N
u
(Q)u

(0) +

N
v
(Q)v

(0), X
u
(Q)u

(0) +X
v
(Q)v

(0)
_
P
= (u

(0)
2
_

N
u
, X
u
_
P
(Q) +u

(0)v

(0)
_

N
u
, X
v
_
P
(Q) +u

(0)v

(0)
_

N
v
, X
u
_
P
(Q)
+v

(0)
2
_

N
v
, X
v
_
P
(Q)
Como
_

N, X
u
_
(Q) = 0
_

N
v
, X
u
_
(Q) +
_

N, X
uv
_
(Q) = 0,
_

N, X
v
_
(Q) = 0
_

N
u
, X
v
_
(Q) +
_

N, X
vu
_
(Q) = 0
e como X
uv
= X
vu
, pois X e diferenciavel, temos
_

N
v
, X
u
_
(Q) =
_

N
u
, X
v
_
(Q).
Temos tambem
_

N, X
u
_
(Q) = 0
_

N
u
, X
u
_
(Q) +
_

N, X
uu
_
(Q) = 0
_

N, X
v
_
(Q) = 0
_

N
v
, X
v
_
(Q) +
_

N, X
vv
_
(Q) = 0
Logo,
II(

(0)) =
_

N, X
uu
_
(Q) (u

(0))
2
+ 2
_

N, X
uv
_
(Q)u

(0)v

(0) +
_

N, X
vv
_
(Q) (v

(0))
2
.
Sejam
e(Q) =
_

N, X
uu
_
(Q);
f(Q) =
_

N, X
uv
_
(Q);
g(Q) =
_

N, X
vv
_
(Q),
25
que sao chamados de Coecientes da Segunda Forma Fundamental de S em P na
parametrizacao X.
Vimos acima que

N
u
(Q) = a
11
X
u
(Q) +a
21
X
v
(Q)

N
v
(Q) = a
12
X
u
(Q) +a
22
X
v
(Q).
Temos,
_

N, X
u
_
(Q) = 0
_

N
u
, X
u
_
(Q) +
_

N, X
uu
_
(Q) = 0
_

N
u
, X
u
_
(Q) =
_

N, X
uu
_
(Q).
Mas,
_

N
u
, X
u
_
(Q) = (a
11
X
u
+a
21
X
v
), X
u
) (Q)
= a
11
X
u
, X
u
) (Q) +a
21
X
v
, X
u
) (Q).
Entao,
e(Q) = a
11
E(Q) +a
21
F(Q).
Tambem
_

N, X
v
_
(Q) = 0
_

N
u
, X
v
_
(Q) +
_

N, X
uv
_
(Q) = 0
_

N
u
, X
v
_
(Q) =
_

N, X
uv
_
(Q).
Mas,
_

N
u
, X
v
_
(Q) = (a
11
X
u
+a
21
X
v
), X
v
) (Q)
= a
11
X
u
, X
v
) (Q) +a
21
X
v
, X
v
) (Q).
Entao,
f(Q) = a
11
F(Q) +a
21
G(Q).
Tambem
_

N, X
v
_
(Q) = 0
_

N
v
, X
v
_
(Q) +
_

N, X
vv
_
(Q) = 0
_

N
v
, X
v
_
(Q) =
_

N, X
vv
_
(Q).
Mas,
_

N
v
, X
v
_
(Q) = (a
12
X
u
+a
22
X
v
), X
v
) (Q)
= a
12
X
u
, X
v
) (Q) +a
22
X
v
, X
v
) (Q).
Entao,
g(Q) = a
12
F(Q) +a
22
G(Q).
26
Tambem
_

N, X
u
_
(Q) = 0
_

N
v
, X
u
_
(Q) +
_

N, X
uv
_
(Q) = 0
_

N
v
, X
u
_
(Q) =
_

N, X
uv
_
(Q).
Mas,
_

N
v
, X
u
_
(Q) = (a
12
X
u
+a
22
X
v
), X
u
) (Q)
= a
12
X
u
, X
u
) (Q) +a
22
X
v
, X
u
) (Q).
Entao,
fQ) = a
12
E(Q) +a
22
F(Q).
Matricialmente:

_
e(Q) f(Q)
f(Q) g(Q)
_
=
_
a
11
a
21
a
12
a
22
_ _
E(Q) F(Q)
F(Q) G(Q)
_

_
a
11
a
21
a
12
a
22
_
=
_
e(Q) f(Q)
f(Q) g(Q)
_ _
E(Q) F(Q)
F(Q) G(Q)
_
1
=
_
e(Q) f(Q)
f(Q) g(Q)
_
1
(EGF
2
)(Q)
_
G(Q) F(Q)
F(Q) E(Q)
_
=
1
(EGF
2
)(Q)
_
(fF eG) (Q) (eF fE) (Q)
(gF fG) (Q) (fF gE) (Q)
_
Observacao: temos que a matriz A(Q) =
_
E(Q) F(Q)
F(Q) G(Q)
_
e inversvel, pois det A(Q) =
EGF
2
,= 0.
Logo,
[dN
P
]
B
=
_
a
11
a
12
a
21
a
22
_
=
_
_
fFeG
EGF
2
(Q)
gFfG
EGF
2
(Q)
eFfE
EGF
2
(Q)
fFgE
EGF
2
(Q)
_
_
(Equacoes de Weingarten)
Em resumo:
II
P
(a, b) = e(Q)a
2
+ 2f(Q)ab +g(Q)b
2
,
sendo (a, b) escrito na base X
u
(Q), X
v
(Q) . As curvaturas Gaussiana e Media de S em P sao
dada por
_

_
K(P) = a
11
a
22
a
12
a
22
=
egf
2
EGF
2
(Q)
H(P) =
(a
11
+a
22
)
2
=
1
2
_
eG2fF+gE
EGF
2
_
(Q) , sendo X(Q) = P
Por m, cabe ressaltar que as curvaturas Gaussiana e Media de S em P, quando expressas pelas
formulas acima, nao dependem, naturalmente, da parametrizacao X escolhida.
27
1.5 O Teorema Egregium de Gauss
Conforme ja comentado na secao anterior, um fato impressionante da Geometria Diferencial
e que a curvatura Gaussiana e uma propriedade intrnseca da superfcie regular, ou seja, nao
depende do espaco no qual ela esteja inserida, que e o R
3
. Para provar isso, e necessario expressar
a curvatura Gaussiana apenas em funcao dos coecientes da Primeira Forma Quadratica. Esta
secao e dedicada a isso.
Sejam S uma superfcie regular e X : U R
2
X(U) S parametrizacao de S em P. Seja
Q U tal que X(Q) = P. Temos que B = X
u
(Q), X
v
(Q),

N(Q) e uma base de R
3
, sendo

N(Q) = N (Q) = N(P), N : S S

2
, N(P) =
X
u
(Q)X
v
(Q)
|X
u
(Q)X
v
(Q)|
, a Aplicacao Normal de Gauss de
S. Podemos escrever os vetores X
uu
(Q), X
uv
(Q), X
vu
(Q), X
vv
(Q),

N
u
(Q),

N
v
(Q) na base B.
Omitiremos o ponto Q para simplicar a notacao.
_

_
X
uu
=
1
11
X
u
+
2
11
X
v
+L
1

N
X
uv
=
1
12
X
u
+
2
12
X
v
+L
2

N
X
vu
=
1
21
X
u
+
2
21
X
v
+L
2

N
X
vv
=
1
22
X
u
+
2
22
X
v
+L
3

N

N
u
= a
11
X
u
+a
21
X
v
+ 0

N

N
v
= a
12
X
u
+a
22
X
v
+ 0

N
(1.1)
sendo os coecientes
k
ij
, L
i
, L
2
e a
ij
, n umeros reais a determinar.
Ja calculamos a
ij
(matriz de dN
Q
):
a
11
=
fFeG
EGF
2
, a
12
=
gFfG
EGF
2
, a
21
=
eFfE
EGF
2
, a
22
=
fFgE
EGF
2
.
(Equacoes de Weingarten)
Temos:

1
12
=
1
21
,
2
12
=
2
21
e
L
2
= L
2
pois X
uv
= X
vu
.
Denicao 1.22 Nas condi coes acima, os n umeros reais
1
11
(Q),
2
11
(Q),
1
12
(Q),
2
12
(Q),
1
21
(Q),

2
21
(Q),
1
22
(Q),
2
22
(Q) sao chamados de Smbolos de Christoel de S em P na parametriza-
cao X.
Assim, utilizando-se a primeira, segunda terceira e quarta linhas de 1.1 temos
_
X
uu
,

N
_
=
1
11
_
X
u
,

N
_
+
2
11
_
X
v
,

N
_
+L
1
_

N,

N
_
L
1
= e;
_
X
uv
,

N
_
=
1
12
_
X
u
,

N
_
+
2
12
_
X
v
,

N
_
+L
2
_

N,

N
_
L
2
= f;
L
2
= f;
_
X
vv
,

N
_
=
1
22
_
X
u
,

N
_
+
2
22
_
X
v
,

N
_
+L
3
_

N,

N
_
L
3
= g.
(1) Utilizando-se a primeira linha de 1.1 temos
X
uu
, X
u
) =
1
11
X
u
, X
u
) +
2
11
X
v
, X
u
) +e
_

N, X
u
_

E
1
11
+F
2
11
= X
uu
, X
u
) =
1
2
_
X
u
,X
u

u
_
=
1
2
E
u
.
28
e
X
uu
, X
v
) =
1
11
X
u
, X
v
) +
2
11
X
v
, X
v
) +e
_

N, X
v
_

F
1
11
+G
2
11
= X
uu
, X
v
) +X
u
, X
vu
)
1
2
(X
uv
, X
u
) +X
u
, X
uv
))
F
1
11
+G
2
11
= F
u

1
2
E
v
,
ou seja,
_
_
_
E
1
11
+F
2
11
=
1
2
E
u
F
1
11
+G
2
11
= F
u

1
2
E
v
Como det
_
E F
F G
_
,= 0, o sistema e possvel e determinado. Logo,

1
11
=
det
_
_
1
2
E
u
F
F
u

1
2
E
v
G
_
_
EGF
2
e
2
11
=
det
_
_
E
1
2
E
u
F F
u

1
2
E
v
_
_
EGF
2
.
(2) Analogamente, utilizando-se segunda linha de 1.1 temos
_
_
_
E
1
12
+F
2
12
= X
uv
, X
u
) =
1
2
E
v
F
1
12
+G
2
12
= X
uv
, X
v
) =
1
2
G
u
.
Logo,

1
12
=
det
_
_
1
2
E
v
F
1
2
G
u
G
_
_
EGF
2
e
2
12
=
det
_
_
E
1
2
E
v
F
1
2
G
u
_
_
EGF
2
(3) E, por m, utilizando-se a quarta linha de 1.1 temos
_
_
_
E
1
22
+F
2
22
= X
vv
, X
u
) = F
v

1
2
G
u
F
1
22
+G
2
22
= X
vv
, X
v
) =
1
2
G
v
.
Logo,

1
22
=
det
_
_
F
v

1
2
G
u
F
1
2
G
v
G
_
_
EGF
2
e
2
22
=
det
_
_
E F
v

1
2
G
u
F
1
2
G
v
_
_
EGF
2
.
Podemos relacionar os coecientes da primeira e da segunda formas fundamentais considerando
as seguintes identidades:
X
uuv
= X
uvu
X
vvu
= X
vuv

N
uv
=

N
vu
29
Temos,
X
uu
=
1
11
X
u
+
2
11
X
v
+e

N
X
uuv
= (
1
11
)
v
X
u
+
1
11
X
uv
+ (
2
11
)
v
X
v
+
2
11
X
vv
+e
v

N +e

N
v
e
X
uv
=
1
12
X
u
+
2
12
X
v
+f

N
X
uvu
= (
1
12
)
u
X
u
+
1
12
X
uu
+ (
2
12
)
u
X
v
+
2
12
X
vu
+f
u

N +f

N
u
Logo,
X
uuv
= (
1
11
)
v
X
u
+
1
11
(
1
12
X
u
+
2
12
X
v
+f

N) + (
2
11
)
v
X
v
+
2
11
(
1
22
X
u
+
2
22
X
v
+g

N)+
+e
v

N +e(a
12
X
u
+a
22
X
v
), visto que L
3
= g
e
X
uvu
= (
1
12
)
u
X
u
+
1
12
(
1
11
X
u
+
2
11
X
v
+e

N) + (
2
12
)
u
X
v
+
2
12
(
1
21
X
u
+
2
21
X
v
+f

N)+
+f
u

N +f(a
11
X
u
+a
21
X
v
), visto que L
1
= e, L
2
= f.
De X
uuv
= X
uvu
temos:
(i) Igualando os coecientes de X
u
:
(
1
11
)
v
+
1
11

1
12
+
2
11

1
22
+ea
12
= (
1
12
)
u
+
1
11

1
12
+
2
12

1
21
+
2
12

1
21
+fa
11

(
1
12
)
u
(
1
11
)
v
+
2
12

1
21

2
11

1
22
= fa
11
ea
12
= f
fFeG
EGF
2
e
gFfG
EGF
2
=
f
2
FfeGegF+ feG
EGF
2
= F
f
2
eg
EGF
2
= FK
Entao,
FK = (
1
12
)
u
(
1
11
)
v
+
2
12

1
21

2
11

1
22
(1.2)
(ii) Igualando os coecientes de X
v
, temos:
EK = (
2
12
)
u
(
2
11
)
v
+
1
12

2
11
+
2
12

2
21

2
11

2
22

1
11

2
12
(1.3)
(iii) Igualando os coecientes de

N, temos:
e
v
f
u
=
1
12
e + (
2
12

1
11
)f
2
11
g (1.4)
Procedendo de modo analogo com X
vvu
= X
vuv
e

N
uv
=

N
vu
encontramos apenas mais uma
equacao distinta das equacoes acima:
f
v
g
u
= e
1
22
+f(
2
22

1
12
) g(
2
12
) (1.5)
As equacoes 1.2 e 1.3 sao chamadas de Equacoes de Gauss. As equacoes 1.4 e 1.5 sao
chamadas de Equacoes de Mainardi-Codazzi. As equacoes 1.2, 1.4 e 1.5 ou 1.3, 1.4 e 1.5
sao chamadas de Equacoes de Compatibilidade.
30
Proposicao 1.13 (Teorema Egregium de Gauss) A curvatura Gaussiana de uma su-
perfcie regular e invariante por isometrias locais, ou seja, se : V S S e uma isometria
local, sendo S e S superfcies regulares e V contido em uma vizinhanca coordenada, entao
K(P) = K((P)), P V, sendo K e K as curvaturas gaussianas de S e S, respectivamente.
Demonstra cao:
Seja
X : U R
2
S
(u, v) X(u, v)
parametrizacao de S tal que X(U) V. Como e um difeomorsmo sobre sua imagem, temos
que Y = X : U R
2
S e uma parametrizacao de S.
Seja P V. Como = Y X
1
, vimos que os coecientes da primeira forma fundamental de
S em P na parametrizacao X sao os mesmos que os coecientes da primeira forma quadratica
de S em (P) na parametrizacao Y. Como os Smbolos de Christoell de S em P e S em (P)
depende apenas dos coecientes da primeira forma quadratica das superfcies e a curvatura
Gaussiana dependem apenas dos Smbolos de Christoell (formula de Gauss), conclumos que
K(P) = K((P)). Como P V e arbitrario, temos o resultado.
Observacoes:
(1) Alguns livros adotam o seguinte enunciado para o Teorema Egregium:
A curvatura Gaussiana de uma superfcie regular depende apenas da Primeira Forma Quadratica
da superfcie.
(2) Superfcies isometricas possuem a mesma curvatura Gaussiana.
(3) A recproca do Teorema Egregiume falsa, ou seja existem superfcies que possuem curvaturas
Gaussianas iguais, mas nao sao localmente isometricas.
(4) Se as curvaturas de duas superfcies forem iguais e constantes, entao vale a recproca do
Teorema Egregium, ou seja, as superfcies sao localmente isometricas.
(5) A contra-positiva do Teorema Egregium arma que se duas superfcies possuem curvaturas
Gaussianas diferentes, entao elas nao sao localmente isometricas. Por exemplo, o plano e
esfera nao sao localmente isometricos. Logo, nao e possvel planicar uma esfera mantendo-se
distancias.
1.6 Superfcies Abstratas
Denimos superfcie regular como sendo um subconjunto de R
3
satisfazendo as condicoes da
Denicao 1.1. Nosso objetivo nessa secao e generalizar a denicao de superfcie regular de tal
modo que ela nao dependa do ambiente euclidiano R
3
.
Denicao 1.23 Uma superfcie abstrata ou variedade diferenci avel de dimensao 2
e um conjunto S munido de uma famlia de aplica coes bijetivas X

: U

S de conjuntos
abertos U

R
2
em S tal que:
(1)

(U

) = S;
(2) Para cada par (, ) com X

(U

) X

(U

) = W ,= , temos que X
1

(W) e X
1

(W)
saoconjuntos abertos em R
2
. Alem disso, X
1

e X
1

sao aplica coes diferenciaveis.

O par (U

, X

) com P X

(U

) e chamado uma parametriza c ao (ou um sistema de coor-

denadas) de S em torno de P. Dizemos ainda que X

(U

) e uma vizinhanca coordenada de

P. Quando P = X

(u

, v

) S, dizemos que (u

, v

) sao as coordenadas de P neste sistema

de coordenadas. A famlia U

, X

e chamada uma estrutura diferenciavel em S.

31
W =X (U ) X (U )
a a b b

U
b
U
a
X
b
X
a
S
o X X
a
-1
b
(W) X
b
-1
(W) X
a
-1
P
Segue-se imediatamente da condicao 2 que a mudanca de parametros
X
1

: X
1

(W) X
1

(W)
e um difeomorsmo.
Observacoes:
(1) Convem, `as vezes, acrescentar um axioma `a denicao acima e dizer que a estrutura difer-
enciavel deve ser maxima em relacao `as condicoes (1) e (2) . Isto signica que a famlia U

, X

nao esta contida propriamente em nenhuma outra famlia de vizinhancas coordenadas satis-
fazendo as condicoes (1) e (2) da Denicao 1.23.
(2) Uma comparacao da denicao acima com a denicao de uma superfcie regular emR
3
mostra
que o ponto fundamental na primeira foi incluir a propriedade da mudanca de parametros na
denicao de uma superfcie abstrata. Como esta foi a propriedade que nos permitiu denir
funcoes diferenciaveis em superfcies regulares do R
3
, entao e natural propor a seguinte denicao.
Denicao 1.24 Sejam S
1
e S
2
superfcies abstratas. Uma aplica cao : S
1
S
2
e diferen-
ci avel em P S
1
quando dada uma parametriza cao Y : V R
2
S
2
em torno de (P),
existe uma parametriza cao X : U R
2
S
1
em torno de P tal que (X(U)) Y (V ) e a
aplica cao
Y
1
X : U R
2
V R
2
(1.6)
e diferenciavel em X
1
(P). A aplica cao e diferenciavel em S
1
quando for diferenciavel em
todo P S
1
.

E claro, pela condicao (2) da denicao de superfcies abstratas, que esta denicao nao de-
pende das escolhas das parametrizacoes. A aplicacao 1.6 e chamada de expressao de nas
parametrizacoes X e Y. Assim, faz sentido falar de aplicacoes diferenciaveis em superfcies
abstratas, e ja demos o primeiro passo rumo a uma generalizacao da geometria intrnseca das
superfcies abstratas.
32
P
U
j( ) P
S
1
S
2
V
j(X(U))
j
X
Y
X(U)
Y(V)
Y o o f
-1
X
Exemplos:
1) Sejam S
2
= (x, y, z) R
3
: x
2
+y
2
+z
2
= 1 a esfera unitaria e
A : S
2
S
2
(x, y, z) (x, y, z)
a aplicacao antpoda. Seja P
2
o conjunto obtido de S
2
identicando p com A(p) e consideremos
: S
2
P
2
(x, y, z) (x, y, z) , A(x, y, z)
.
Cubramos S
2
com parametrizacoes X

: U

S
2
tais que X

(U

) A(X

(U

)) = . Como
S
2
e uma superfcie e A e um difeomorsmo, segue-se que P
2
munido da famlia U

, X

e
uma superfcie abstrata, chamada de plano projetivo real.
2) Seja T R
3
um toro de revolucao com centro em (0, 0, 0) R
3
e seja
A : T T
(x, y, z) (x, y, z)
.
Seja K o espaco quociente de T pela relacao de equivalencia (x, y, z) A(x, y, z) e consideremos
: T K
(x, y, z) (x, y, z) , A(x, y, z)
.
Cubramos T com parametrizacoes X

: U

T tais que X

(U

) A(X

(U

)) = . Como
antes, no exemplo acima, e possvel mostrar que K com a famlia U

, X

e uma superfcie
abstrata, chamada de Garrafa de Klein.
Vamos denir o plano tangente `a superfcie abstrata S em um ponto P S. Para tanto,
recorremos `a nocao de plano tangente `a uma superfcie regular S em P S no R
3
. Vimos que
para uma superfcie regular S R
3
o plano tangente e o conjunto de vetores tangentes `a S em
P; lembrando que um vetor tangente a S em P e denido como sendo o vetor velocidade em P
33
de uma curva de S passando por P. Assim, precisamos denir o que e o vetor tangente de uma
curva em uma superfcie abstrata. Como nao podemos contar com R
3
, que e o ambiente natural
dos vetores tangentes `as curvas no espaco, e necessario buscar uma propriedade caracterstica
de tais vetores tangentes que nao dependam do R
3
.
As seguintes consideracoes irao motivar a denicao que sera dada abaixo.
Seja : ], [ R R
2
uma curva diferenciavel em R
2
, com (0) = P. Escrevamos (t) =
(u(t), v(t)) e

(0) = (u

(0), v

(0)) = w. Seja g uma funcao diferenciavel em uma vizinhanca de

P. Podemos restringir g a e escrever a derivada direcional de g em P na direcao de w:
d(g)
dt
(0) =
g
u
(P).u

(0) +
g
v
(P).v

(0)
def
:=
_
u

(0)

u
+v

(0)

v
_
g.
Assim, a derivada direcional de g em P na direcao do vetor w pode ser vista como um operador
sobre funcoes diferenciaveis que depende apenas de w. Assim, o vetor w pode ser visto como
um operador sobre funcoes. Esta e a propriedade caracterstica dos vetores tangentes que
estavamos buscando.
Denicao 1.25 Seja S uma superfcie abstrata. Uma aplica cao diferenciavel : ], [
R S e chamada uma curva em S. Suponha que (0) = P e seja D o conjunto de funcoes em
S que sao diferenciaveis em P. O vetor tangente `a curva em t = 0 e a funcao

(0) : D R
f

(0)f =
d(f)
dt

t=0
.
Um vetor tangente em um ponto P S e o vetor tangente em t = 0 de alguma curva
: ], [ R S com (0) = P.
Escolhendo uma parametrizacao X : U R
2
S, com (0, 0) U, em torno de P =
X(0, 0) podemos expressar a funcao f e a curva em S por f (X(u, v)) := f (u, v) e (t) =
X (u(t), v(t)) := (u(t) , v(t)) , respectivamente. Portanto,

(0)f =
d(f)
dt

t=0
=
d(f(u(t),v(t))
dt

t=0
= u

(0).
f
u
(P) +v

(0).
f
v
(P).
Isto sugere que, dadas as coordenadas (u, v) em torno de P, denotemos por
_

u
_
0
o vetor tan-
gente em P, que aplica a funcao f em
_
f
u
_
0
. Um signicado analogo sera dado ao smbolo
_
f
v
_
0
. Observemos que
_

u
_
0
e
_

v
_
0
podem ser interpretados como vetores tangentes `as cur-
vas coordenadas
u X(u, 0) e v X(0, v),
respectivamente.
Segue do que foi visto acima que o conjunto de vetores tangentes em P, com as operacoes usuais
para funcoes, e um espaco vetorial bidimensional T
P
S chamado de espaco tangente de S em
P. Tambem e claro que a escolha de uma parametrizacao X : U S em torno de P determina
uma base associada
_
_

u
_
q
,
_

v
_
q
_
de T
P
S.para todo q U.
Com a nocao de espaco tangente, podemos estender `as superfcies abstratas a denicao de
diferencial.
Denicao 1.26 Sejam S
1
e S
2
superfcies abstratas e seja : S
1
S
2
uma aplicacao diferen-
ciavel. Para cada w T
P
S
1
, considere a curva diferenciavel : ], [ R S
1
, com (0) =
P,

(0) = w. Fa ca = . A aplica cao d

P
: T
P
S
1
T
(P)
S
2
, dada por d
P
(w) =

(0) e
uma aplica cao linear bem denida, chamada de diferencial de em p.
34
Estamos agora prontos para dar o passo nal em nossa generalizacao da geometria intrnseca.
Denicao 1.27 Uma variedade Riemanniana de dimensao 2 e uma superfcie abstrata
S munida de uma escolha de um produto interno ., .)
P
em cada T
P
S, P S, que varia dife-
renciavelmente com P no seguinte sentido. Para alguma (logo, para todas, devido `a denicao
de superfcie abstrata) parametriza cao X : U S em torno de P, as funcoes
E(u, v) =

u
,

u
_
X(u,v)
F(u, v) =

u
,

v
_
X(u,v)
G(u, v) =

v
,

v
_
X(u,v)
sao funcoes diferenciaveis em U. O produto interno ., .)
P
e, freq uentemente, chamado de
metrica Riemanniana em S, que tambem e indicada por ds, sendo ds
2
= E (u, v) du
2
+
2F (u, v) dudv +G(u, v) dv
2
.
Com as denicoes acima ca simples estender `as variedades riemanianas S de di-
mensao 2 as nocoes da geometria intrnseca. Com efeito, a partir das func oes E, F
e G denimos os Smbolos de Christoel para S pelo Sistema 1.1. Como todas as
nocoes da geometria intrnseca foram denidas em torno dos Smbolos de Christof-
fel, elas podem agora ser denidas em S. A curvatura Gaussiana de S pode ser
denida pela Equacao de Gauss 1.3. Tambem as denicoes de isometria, aplicacao
conforme, imersao, imersao isometrica, mergulho e mergulho isometrico podem ser
estendidas no contexto de variedades Riemannianas.
Exemplo: O Toro Plano. (ref. [6], pag. 521)
Consideremos a aplicacao translacao
T
m,n
: R
2
R
2
(x, y) (x +m, y +n)
,
sendo m e n inteiros. Denamos a relacao de equivalencia em R
2
dada por (x, y) (x
1
, y
1
)
quando existem inteiros m e n tais que T
m,n
(x, y) = (x
1
, y
1
). Seja T = R
2
/ o espaco quociente
de R
2
por esta relacao de equivalencia, e seja : R
2
T a projecao natural (x, y) =
T
m,n
(x, y) : m, n Z. Assim, em cada quadrado de vertices com coordenadas inteiras e aberto
em dois lados adjacentes, existe apenas um representante de um elemento de T, e T pode ser
pensado como um quadrado com os lados opostos identicados (gura abaixo). Notemos que
todos os pontos de R
2
em uma mesma classe de equivalencia representam o mesmo ponto P
em T.
Seja i

: U

R
2
R
2
uma famlia de parametrizacoes de R
2
, sendo i

a aplicacao identidade,
tal que U

T
m,n
(U

) = para quaisquer m e n inteiros. Como T

m,n
e um difeomorsmo, e
facil vericar que a famlia (U

, i

) e uma estrutura diferenciavel para T. O conjunto T e

chamado um toro (diferenciavel). Segue-se da propria denicao de estrutura diferenciavel em
T que : R
2
T e uma aplicacao diferenciavel e um difeomorsmo local (a construcao feita
na gura abaixo indica que T e difeomorfo ao toro usual em R
3
).
Notemos que T
m,n
e uma isometria de R
2
e introduzimos uma metrica Riemanniana em T
da seguinte maneira. Sejam P T e v T
P
T. Sejam Q
1
, Q
2
R
2
e w
1
, w
2
R
2
tais que
(Q
1
) = (Q
2
) = P e d
Q
1
(w
1
) = d
Q
2
(w
2
) = v. Entao, Q
1
Q
2
. Logo, existe T
m,n
tal
que T
m,n
(Q
1
) = Q
2
e d(T
m,n
)
Q
1
(w
1
) = w
2
. Como T
m,n
e uma isometria, [w
1
[ = [w
2
[ . Agora,
35
denamos o comprimento de v em T
P
T por [v[ = [d
Q
(w
1
)[ = [w
1
[ . Tal denicao da origem a
um produto interno ., .)
P
em T
P
T para cada P T. Como este e essencialmente o produto
interno usual do R
2
e e um difeomorsmo local, ., .)
P
varia diferencialmente com P.
Observemos que os coecientes da Primeira Forma Quadratica de T, em qualquer uma das
parametrizacoes da famlia U

, i

, sao E = G = 1, F = 0. Assim, este toro se comporta

localmente como um espaco euclidiano. Por exemplo, a sua curvatura Gaussiana e identica-
mente nula. Isto justica o nome toro plano, que usualmente e dado a T munido do produto
interno que acabamos de descrever.
Evidentemente o toro plano nao pode ser isometricamente imerso em R
3
, pois por compacidade,
ele teria um ponto com curvatura positiva. No entanto, ele pode ser imerso isometricamente
em R
4
.
De fato, seja
F : R
2
R
4
(x, y)
1
2
(cos (2x) , sen (2x) , cos (2y) , sen (2y))
.
Como F(x+m, y +n) = F(x, y) para quaisquer m e n inteiros, podemos denir uma aplicacao
: T R
4
P F(Q)
onde Q
1
(P).

E claro que = F e, como : R
2
T e um difeomorsmo local,
e diferenciavel. Alem disto, o posto de d e igual ao posto de dF que, por sua vez, verica-
se facilmente, e igual a 2. Assim, e uma imersao. Para ver que a imersao e isometrica,
observamos primeiro que se e
1
= (1, 0), e
2
= (0, 1) sao vetores da base canonica de R
2
, os
vetores d
Q
(e
1
) = f
1
, d
Q
(e
2
) = f
2
, Q R
2
, formam uma base para T
(Q)
T. Pela denicao do
produto interno em T, f
i
, f
j
) = e
i
, e
j
) , i, j = 1, 2. Em seguida, calculamos
F
x
= dF(e
1
) = (sen (2x) , cos (2x) , 0, 0)
F
y
= dF(e
2
) = (0, 0, sen (2y) , cos (2y))
e obtemos que
dF(e
i
), dF(e
j
)) = e
i
, e
j
) = f
i
, f
j
) .
0
x
x
x
x
x
x
x x
x
x
x
x
p
x
y
P
T
x
36
Assim,
d(f
i
), d(f
j
)) = d(d(e
i
), d(d(e
j
)) = f
i
, f
j
) .
Segue-se que e uma imersao isometrica, como havamos armado.
Alem disso, : T R
4
e injetiva e um homeomorsmo sobre sua imagem. Assim sendo, e
um mergulho isometrico.
Captulo 2
O Plano Hiperbolico
Apresentamos neste captulo tres modelos para o plano hiperbolico e isometrias entre eles,
possibilitando a passagem de um modelo para o outro. As isometrias construdas aqui nao sao
muito comuns na literatura matematica especializada da area e, por esse motivo, esperamos
que sejam uma boa contribuicao para estudos relacionados `a Geometria Hiperbolica.
Tendo em vista que nosso principal objetivo nessa dissertacao e desenvolver mergulhos isometricos
envolvendo o plano hiperbolico, apresentamos a denicao formal do plano hiperbolico.
Denicao 2.1 Uma variedade riemanniana H de dimensao 2 e chamada de plano hiperb olico
quando a metrica riemanniana ds introduzida em H faz com que a curvatura Gaussiana de H
seja constante e negativa.
Observacao: como visto na denicao de variedade Riemanniana de dimensao 2, a notacao ds
e proveniente da expressao ds
2
= E (u, v) du
2
+2F (u, v) dudv +G(u, v) dv
2
, que e uma maneira
simplicada de informar que na variedade riemanniana H os coecientes da Primeira Forma
Quadratica sao E (u, v) , F (u, v) e G(u, v) .
Exemplo: Isometria entre planos hiperbolicos. (referencia [6])
Seja R
2
= (u, v) : u, v R e denamos uma metrica Riemanniana ds em R
2
dada por ds
2
=
du
2
+e
2u
dv
2
, ou seja, sendo P = (u, v) ,
E (u, v) =

u
,

u
_
P
= 1;
F (u, v) =

u
,

v
_
P
= 0;
G(u, v) =

v
,

v
_
P
= e
2u
.
O plano R
2
munido deste produto interno e uma variedade Riemanniana. A geometria desse
plano e diferente da geometria usual de R
2
. Por exemplo, sua curvatura pode ser calculada
utilizando-se a Equacao de Gauss 1.3 e e constante e igual a 1. Portanto pela denicao acima,
trata-se de um plano hiperbolico H.
Seja H
s
= (x, y) R
2
: y > 0 e denamos a aplicacao
: H H
s
(u, v) (x, y) = (v, e
u
)
.
Temos que e diferenciavel pois suas funcoes coordenadas sao diferenciaveis e como y > 0,
temos que
1
(x, y) = (ln (y) , x) e diferenciavel (pois suas funcoes coordenadas sao difer-
enciaveis). Assim, e um difeomorsmo, e podemos introduzir um produto interno em H
s
fazendo
d
P
(w
1
), d
P
(w
2
))
(P)
= w
1
, w
2
)
P
,
37
38
o que torna H
s
um plano hiperbolico e uma isometria. Para calcularmos este produto interno,
observamos que

x
= d
P
_

v
_
e

y
= e
u
d
P
_

u
_
,
sendo
_

x
,

y
_
base de T
(P)
H
s
e
_

u
,

v
_
base de T
P
H. De fato:
d
P
_

u
_
= a
11

x
+a
21

y
d
P
_

v
_
= a
12

x
+a
22

y
Mas
[d
P
] =
_
_

1
u

1
v

2
u

2
v
_
_
=
_
0 1
e
u
0
_
=
_
a
11
a
12
a
21
a
22
_
.
Entao,
d
P
_

u
_
= 0

x
e
u
y

d
P
_

u
_
= e
u
y

d
P
_

y
_
=
1
e
u

u

d
P
_

y
_
= e
u
u
e
d
P
_

v
_
= 1

x
+ 0

y
d
P
_

v
_
=

x
.
Logo,

x
,

x
_
(P)
=

d
P
_

v
_
, d
P
_

v
__
(P)
=

v
,

v
_
P
= e
2u
=
1
y
2
_

x
,

y
_
(P)
=

d
P
_

v
_
, e
u
d
P
_

u
__
(P)
=

v
, e
u
u
_
P
= e
u

v
,

u
_
P
= 0
_

y
,

y
_
(P)
=

e
u
d
P
_

u
_
, e
u
d
P
_

u
__
(P)
=

e
u
u
, e
u
u
_
P
= e
2u

u
,

u
_
P
= e
2u
=
1
y
2
,
sendo y = e
2u
.
A variedade riemanniana H
s
com esse produto interno e isometrica a H, sendo a isometria,
e e chamada de Modelo do Semiplano.de Poincare.
Observemos que no exemplo acima, a curvatura Gaussiana de H
s
e 1. Isso decorre do Teorema
Egregium de Gauss 1.13 e do fato de denida acima ser uma isometria.
2.1 Isometria entre o Modelo do Semiplano e o Modelo
do Disco de Poincare
Consideremos a variedade Riemanniana H
s
sendo
H
s
=
_
(u, v) R
2
: v > 0
_
,
munida da metrica ds
2
s
=
du
2
+dv
2
v
2
, ou seja, H
s
e o Modelo do Semiplano de Poincare para a
Geometria Hiperbolica introduzido no exemplo acima.
Como vimos, a variedade riemanniana H
s
possui curvatura Gaussiana constante igual a 1.
Vamos vericar isso, novamente, de modo direto, ou seja, sem uso de isometria.
39
A CURVATURA GAUSSIANA DE (H
s
, ds
s
)

E 1
Consideremos a Equacao de Gauss 1.3:
EK = (
2
12
)
u
(
2
11
)
v
+
1
12

2
11
+
2
12

2
21

2
11

2
22

1
11

2
12
,
sendo K a curvatura gaussiana de H
s
,
k
ij
(u, v) Smbolos de Christoel e E = E
s
(u, v) =
1
v
2
o
primeiro coeciente da Primeira Forma Quadratica de H
s
. Os demais coecientes da Primeira
Forma Quadratica sao dados por F = F
s
(u, v) = 0 e G = G
s
(u, v) =
1
v
2
. Desta forma,

1
11
(u, v) =
E
u
(u,v)
2E(u,v)
= 0;

2
11
(u, v) =
E
v
(u,v)
2G(u,v)
=
1
v
;

1
12
(u, v) =
E
v
(u,v)
2E(u,v)
=
1
v
;

1
22
(u, v) =
G
u
(u,v)
2E(u,v)
= 0;

2
12
(u, v) =
G
u
(u,v)
2G(u,v)
= 0;

2
22
(u, v) =
G
v
(u,v)
2G(u,v)
=
1
v
.
Substituindo na Equacao 1.3 temos

K
v
2
=
1
v
2
+
_

1
v
_ _
1
v
_

_
1
v
_ _

1
v
_
=
1
v
2

1
v
2
+
1
v
2
=
1
v
2
K = 1,
como queramos.
Consideremos a variedade Riemanniana H
d
, sendo
H
d
=
_
(u, v) R
2
: u
2
+v
2
< 1
_
munida da metrica ds
2
d
=
4
(
du
2
+dv
2
)
(1u
2
v
2
)
2
. Armamos que a variedade H
d
possui curvatura gaussiana
constante igual a 1, (veja demonstracao abaixo) e, portanto, tambem serve de modelo para a
Geometria Hiperbolica Plana, chamado de Modelo do Disco de Poincare.
A CURVATURA GAUSSIANA DE (H
d
, ds
d
)

E 1
Neste caso, temos os coecientes da Primeira Forma Quadratica como sendo E
d
(u, v) =
4
(1u
2
v
2
)
2
, F
d
(u, v) = 0 e G
d
(u, v) =
4
(1u
2
v
2
)
2
. Assim,

1
11
(u, v) =
E
u
(u,v)
2E(u,v)
=
2u
u
2
+v
2
1
;

2
11
(u, v) =
E
v
(u,v)
2G(u,v)
=
2v
u
2
+v
2
1

_

2
11
(u, v)
_
v
=
2
(
u
2
v
2
1
)
(u
2
+v
2
1)
2
;

1
12
(u, v) =
E
v
(u,v)
2E(u,v)
=
2v
u
2
+v
2
1
;

1
22
(u, v) =
G
u
(u,v)
2E(u,v)
=
2u
u
2
+v
2
1
;

2
12
(u, v) =
G
u
(u,v)
2G(u,v)
=
2u
u
2
+v
2
1

_

2
12
(u, v)
_
u
=
2
(
u
2
v
2
+1
)
(u
2
+v
2
1)
2
;

2
22
(u, v) =
G
v
(u,v)
2G(u,v)
=
2v
u
2
+v
2
1
.
40
Substituindo na Equacao de Gauss 1.3 temos
4
(1u
2
v
2
)
2
K =
4
(u
2
+v
2
1)
2

4v
2
(u
2
+v
2
1)
2
+
4u
2
(u
2
+v
2
1)
2
+
4v
2
(u
2
+v
2
1)
2

4u
2
(u
2
+v
2
1)
2
K = 1,
com queramos.
Uma isometria entre os Modelos do Semiplano (H
s
, ds
s
) e o Modelo do Disco de Poincare
(H
d
, ds
d
) e construda fazendo uso da projecao estereograca. Para tanto, consideremos S =
(x, y, z) R
3
: x
2
+y
2
+ (z 1)
2
= 1 com polo norte N = (0, 0, 2) e
: S N R
3
R
2
0 R
3
(x, y, z) (u, v, 0)
tal que P = (x, y, z) e (P) = (u, v, 0) estejam alinhados, ou seja ambos pertencem `a reta (em
R
3
) que passa por P e N.
A equacao da reta que passa por N e por P e dada por
r () = N +

NP r () = (0, 0, 2) +(x, y, z 2)
r () = (x, y, (z 2) + 2) .
Mas (P) pertence `a reta r() e possui a ultima coordenada igual a 0. Logo,
(P) = (u, v, 0) = (
0
x,
0
y,
0
(z 2) + 2) , para algum
0
R
e, entao,
0
=
2
2z
. Portanto,
u =
2x
2 z
e v =
2y
2 z
.
Logo,
: S N R
3
R
2
0 R
3
(x, y, z)
_
2x
2z
,
2y
2z
, 0
_
.
No entanto, e uma bijecao e, portanto, tem inversa

1
: R
2
0 R
3
S N R
3
(u, v, 0) (x, y, z)
Determinemos
1
: fazendo A = (P) , a equacao da mesma reta acima pode ser dada por
r() = N +

AN
r() = (0, 0, 2) +(u, v, 2) = (u, v, 2 + 2).
Mas P = (x, y, z) S N pertence a esta reta. Logo, x =
0
u, y =
0
v e z = 2 + 2
0
para algum
0
R. Como P S, segue que
(
0
u)
2
+ (
0
v)
2
+ (2 + 2
0
1)
2
= 1

2
0
u
2
+
2
0
v
2
+ (2
0
+ 1)
2
= 1

2
0
u
2
+
2
0
v
2
+ 4
2
0
+ 4
0
+ 1 = 1

2
0
(u
2
+v
2
+ 4) = 4
0

0
=
4
u
2
+v
2
+ 4
.
41
Logo,
x =
4u
u
2
+v
2
+ 4
, y =
4v
u
2
+v
2
+ 4
e z =
2(u
2
+v
2
)
u
2
+v
2
+ 4
,
e, portanto,

1
: R
2
0 R
3
S N R
3
(u, v, 0)
_
4u
u
2
+v
2
+4
,
4v
u
2
+v
2
+4
,
2(u
2
+v
2
)
u
2
+v
2
+4
_
.
Como os pontos do Modelo do Semiplano de Poincare coincidem com os pontos de R
2
+
0
(v > 0 no domnio acima), entao a inversa da projecao estereograca,
1
, mapeia H
s
no
hemisferio oriental de S, conforme ilustrado na gura abaixo.
x
y
Semi-planodePoincar
A = p(P)=( , ,0) uv
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
N=(0,0,2)
S
z
P =( ) x,y,z
Por outro lado, a projecao estereograca mapeia o hemisferio sul de S no disco de centro na
origem e raio 2, o qual pode ser associado ao Modelo do Disco de Poincare, conforme gura
abaixo.
N=(0,0,2)
Q=( ) x,y,z
x
y
D Q)=( ,0) =p( u,v
z
Discoderaio2
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
Portanto, se deduzirmos uma aplicacao que leva o hemisferio oriental de S no hemisferio
sul, podemos construir, via composicoes, aplicacoes de H
s
em H
d
. Para isso, consideremos
a translacao
T : R
3
R
3
(x, y, z) (x, y, z 1)
.
Logo,
T
1
: R
2
0 R
3
R
3
(u, v, 0)
_
4u
u
2
+v
2
+4
,
4v
u
2
+v
2
+4
,
u
2
+v
2
4
u
2
+v
2
+4
_
.
Consideremos a rotacao
: R
3
R
3
(x, y, z)
_
_
1 0 0
0 cos
_

2
_
sen
_

2
_
0 sen
_

2
_
cos
_

2
_
_
_
_
_
x
y
z
_
_
(x, z, y)
.
42
Logo,
T
1
: R
2
0 R
3
R
3
(u, v, 0)
_
4u
u
2
+v
2
+4
,
u
2
+v
2
4
u
2
+v
2
+4
,
4v
u
2
+v
2
+4
_
.
Consideremos a inversa da translacao T
T
1
: R
3
R
3
(x, y, z) (x, y, z + 1)
e a aplicacao h (homotetia de razao
1
2
no plano xy)
h : R
3
R
3
(x, y, z)
_
x
2
,
y
2
, z
_
Deste modo, = h T
1
T
1
e tal que
: R
2
0 R
3
R
2
0 R
3
(u, v, 0)
_
4u
u
2
+(v+2)
2
,
u
2
+v
2
4
u
2
+(v+2)
2
, 0
_
e, se restringirmos a H
s
, o qual chamaremos de , sua imagem sera H
d
, ou seja,
: H
s
H
d
(u, v)
_
4u
u
2
+(v+2)
2
,
u
2
+v
2
4
u
2
+(v+2)
2
_
.
Observemos que e diferenciavel de classe C

, bijetiva e

1
: H
d
H
s
(u, v)
_
4u
u
2
+(v1)
2
,
22
(
u
2
+v
2
)
u
2
+(v1)
2
_
,
A aplicacao
1
tambem e diferenciavel de classe C

, ou seja, e um difeomorsmo.
A APLICAC

AO

E UMA ISOMETRIA
Vamos mostrar que
d
P
(w
1
) , d
P
(w
2
))
(P)
= w
1
, w
2
)
P
; w
1
, w
2
T
P
H
s
.
Tomando P = (u, v) H
s
, w
1
= ae
1
+be
2
e w
2
= ce
1
+de
2
, sendo e
1
, e
2
base ortonormal de
T
P
H
s
e e
1
, e
2
base ortonormal de T
(P)
H
d
, temos
d
P
(ae
1
+be
2
) , d
P
(ce
1
+de
2
))
(P)
= ac d
P
(e
1
) , d
P
(e
1
))
(P)
+ (ad +bc) d
P
(e
1
) , d
P
(e
2
))
(P)
+bd d
P
(e
2
) , d
P
(e
2
))
(P)
.
Mas, sendo x
1
(u, v) e x
2
(u, v) as funcoes coordenadas de , temos
_
_
x
1
u
(P)
x
1
v
(P)
x
2
u
(P)
x
2
v
(P)
_
_
_
1
0
_
=
_
_
x
1
u
(P)
x
2
u
(P)
_
_

u
(P) = d
P
(e
1
)
e (2.1)
_
_
x
1
u
(P)
x
1
v
(P)
x
2
u
(P)
x
2
v
(P)
_
_
_
0
1
_
=
_
_
x
1
v
(P)
x
2
v
(P)
_
_

v
(P) = d
P
(e
2
)
43
Logo,
d
P
(ae
1
+be
2
) , d
P
(ce
1
+de
2
))
(P)
= ac
_
x
1
u
(P),
x
2
u
(P)
_
,
_
x
1
u
(P),
x
2
u
(P)
__
(P)
+ (ad +bc)
_
x
1
u
(P),
x
2
u
(P)
_
,
_
x
1
v
(P),
x
2
v
(P)
__
(P)
+bd
_
x
1
v
(P),
x
2
v
(P)
_
,
_
x
1
v
(P),
x
2
v
(P)
__
(P)
Fazendo = (P) =
x
1
u
(P), = (P) =
x
2
u
(P), = (P) =
x
1
v
(P) e = (P) =
x
2
v
(P) para
simplicar a notacao, temos:
d
P
(ae
1
+be
2
) , d
P
(ce
1
+de
2
))
(P)
= ac (, ) , (, ))
(P)
+ (ad +bc) (, ) , (, ))
(P)
+bd (, ) , (, ))
(P)
= ac e
1
+e
2
, e
1
+e
2
)
(P)
+ (ad +bc) e
1
+e
2
, e
1
+e
2
)
(P)
+bd e
1
+e
2
, e
1
+e
2
)
(P)
= ac
_

2
e
1
, e
1
)
(P)
+ 2 e
1
, e
2
)
(P)
+
2
e
2
, e
2
)
(P)
_
+ (ad +bc)
_
e
1
, e
1
)
(P)
+ ( +) e
1
, e
2
)
(P)
+ e
2
, e
2
)
(P)
_
+bd
_

2
e
1
, e
1
)
(P)
+ 2 e
1
, e
2
)
(P)
+
2
e
2
, e
2
)
(P)
_
Mas e
1
, e
1
)
(P)
= E
d
((P)) ; e
1
, e
2
)
(P)
= F
d
((P)) e e
2
, e
2
)
(P)
= G
d
((P)) , sendo E
d
, F
d
e G
d
os coecientes da Primeira Forma Quadratica de H
d
. Como E
d
= G
d
e F
d
= 0, temos
d
P
(ae
1
+be
2
) , d
P
(ce
1
+de
2
))
(P)
=
_
ac
_

2
+
2
_
+ (ad +bc) ( +) +bd
_

2
+
2
__
G
d
((P))
Mas
x
1
(u, v) =
8u
u
2
+(v+2)
2
(u, v) =
x
1
u
(u,v) =
8(v
2
u
2
)+32(v+1)
(u
2
+(v+2)
2
)
2
x
2
(u, v) =
2(u
2
+v
2
4)
u
2
+(v+2)
2
(u, v) =
x
2
u
(u,v) =
16u(v+2)
(u
2
+(v+2)
2
)
2
x
1
(u, v) =
8u
u
2
+(v+2)
2
(u, v) =
x
1
v
(u,v) =
16u(v+2)
(u
2
+(v+2)
2
)
2
x
2
(u, v) =
2(u
2
+v
2
4)
u
2
+(v+2)
2
(u, v) =
x
2
v
(u,v) =
8(v
2
u
2
)+32(v+1)
(u
2
+(v+2)
2
)
2
Segue das igualdades acima que
= e = .
Entao,
+ = = 0
ac(
2
+
2
) +bd(
2
+
2
) = ac(
2
+
2
) +bd(
2
+
2
) = (ac +bd)(
2
+
2
)
Calculando os valores de
2
+
2
e G
d
((u, v)) obtemos

2
+
2
=
128u
2
v
2
+512u
2
+64v
4
+64u
4
+512v
3
+1536v
2
+2048v+1024
(u
2
+(v+2)
2
)
4
=
(32+32v+8v
2
+8u
2
)
2
(u
2
+(v+2)
2
)
4
e
G
d
((u, v)) =
4
(1x
1
(u,v)
2
x
2
(u,v)
2
)
2
=
4
(
u
2
+(v+2)
2
)
4
v
2
(32+32v+8v
2
+8u
2
)
2
44
Logo,
d
P
(ae
1
+be
2
) , d
P
(ce
1
+de
2
))
(P)
=
_
ac(
2
+
2
) + (ad +bc)( +) +bd(
2
+
2
)
_
G
d
((u, v))
=
_
(ac +bd)(
2
+
2
) + (ad +bc)0
_
G
d
((u, v))
= (ac +bd)(
2
+
2
)G
d
((u, v))
=
ac+bd
v
2
d
P
(w
1
) , d
P
(w
2
))
(P)
=
ac+bd
v
2
Por outro lado,
w
1
, w
2
)
P
= ae
1
+be
2
, ce
1
+de
2
)
P
= ac e
1
, e
1
)
P
+ (ad +bc) e
1
, e
2
)
P
+bd e
2
, e
2
)
P
= acE
s
(u, v) + (ad +bc) F
s
(u, v) +bdG
s
(u, v)
= (ac +bd) G
s
(u, v)
=
ac+bd
v
2
w
1
, w
2
)
P
=
ac+bd
v
2
pois os coecientes da Primeira Forma Quadratica de H
s
sao tais que E
s
(u, v) = G
s
(u, v) =
1
v
2
e F
s
(u, v) = 0.
Portanto,
d
P
(v) , d
P
(w))
(P)
= v, w)
P
; v, w T
P
S,
como queramos.
2.2 Isometria do Plano Hiperbolico H
k
no Modelo do
Semiplano de Poincare
Para que, nos proximos captulos, possamos estudar os mergulhos isometricos de planos hiperboli-
cos em espacos euclidianos, precisamos introduzir mais um modelo para a Geometria Hiperbolica
Plana: consideremos a variedade Riemanniana H
k
= R
2
munida da metrica
ds
2
=
1
k
du
2
+
cosh
2
(u)
k
dv
2
,
sendo k uma constante real positiva.
A variedade H
k
possui curvatura gaussiana constante negativa igual a k.
De fato, E
k
(u, v) =
1
k
, F
k
(u, v) = 0 e G
k
(u, v) =
cosh
2
(u)
k
sao os coecientes da Primeira Forma
Quadratica de H
k
. Logo,

1
11
(u, v) =
E
u
(u,v)
2E(u,v)
= 0;

2
11
(u, v) =
E
v
(u,v)
2G(u,v)
= 0;

1
12
(u, v) =
E
v
(u,v)
2E(u,v)
= 0;

1
22
(u, v) =
G
u
(u,v)
2E(u,v)
= cosh (u) senh (u) ;

2
12
(u, v) =
G
u
(u,v)
2G(u,v)
= tgh (u) ;

2
22
(u, v) =
G
v
(u,v)
2G(u,v)
= 0.
Substituindo na Equacao de Gauss 1.3 temos
EK = sech
2
(u) + tgh
2
(u) =
1
cosh
2
(u)
+
senh
2
(u)
cosh
2
(u)
=
1+senh
2
(u)
cosh
2
(u)
=
cosh
2
(u)
cosh
2
(u)
= 1,
45
ou seja,
K =
1
E
= k.
Portanto, a variedade (H
k
, ds) pode ser pensada como modelo para o Plano Hiperbolico.
Consideremos a aplicacao entre as variedades riemannianas (H
k
, ds) e (H
s
, ds
s
) dada por
: H
k
H
s
(u, v)
1

k
_
e
v
tanh (u) ,
e
v
cosh(u)
_
,
cuja inversa e dada por

1
: H
s
H
k
(x, y)

k
_
senh
1
_
x
y
_
, ln
_
_
x
2
+y
2
__
,
sendo senh
1
: R R a inversa da funcao senh : R R.
Temos que ambas as aplicacao sao diferenciaveis de classe C

.
A APLICAC AO

E UMA ISOMETRIA
Vamos mostrar que d
P
(w
1
) , d
P
(w
2
))
(P)
= w
1
, w
2
)
P
; w
1
, w
2
T
P
H
k
. De maneira analoga
ao que foi feito anteriormente, tomando P = (u, v), w
1
= ae
1
+ be
2
e w
2
= ce
1
+ de
2
, sendo
e
1
, e
2
base ortonormal de T
P
H
k
e e
1
, e
2
base ortonormal de T
(P)
H
s
, temos
d
P
(ae
1
+be
2
) , d
P
(ce
1
+de
2
))
(P)
= ac d
P
(e
1
) , d
P
(e
1
))
(P)
+ (ad +bc) d
P
(e
1
) , d
P
(e
2
))
(P)
+bd d
P
(e
2
) , d
P
(e
2
))
(P)
.
Logo, utilizando o analogo das Expressoes 2.1 com no lugar de e chamando = (u, v) =
x
1
u
(u,v), = (u, v) =
x
2
u
(u,v), = (u, v) =
x
1
v
(u,v) e = (u, v) =
x
2
v
(u,v), sendo x
1
e x
2
as
funcoes coordenadas de , temos
d
P
(ae
1
+be
2
) , d
P
(ce
1
+de
2
))
(P)
= ac
_
x
1
u
(u,v),
x
2
u
(u,v)
_
,
_
x
1
u
(u,v),
x
2
u
(u,v)
__
(P)
+ (ad +bc)
_
x
1
u
(u,v),
x
2
u
(u,v)
_
,
_
x
1
v
(u,v),
x
2
v
(u,v)
__
(P)
+bd
_
x
1
v
(u,v),
x
2
v
(u,v)
_
,
_
x
1
v
(u,v),
x
2
v
(u,v)
__
(P)
= ac (, ) , (, ))
(P)
+ (ad +bc) (, ) , (, ))
(P)
+bd (, ) , (, ))
(P)
= ac e
1
+e
2
, e
1
+e
2
)
(P)
+ (ad +bc) e
1
, +e
2
, e
1
+e
2
)
(P)
+bd e
1
+e
2
, e
1
+e
2
)
(P)
= ac
_

2
e
1
, e
1
)
(P)
+ 2 e
1
, e
2
) +
2
e
2
, e
2
)
(P)
_
+ (ad +bc)
_
e
1
, e
1
)
(P)
+ ( +) e
1
, e
2
)
(P)
+ e
2
, e
2
)
(P)
_
+bd
_

2
e
1
, e
1
)
(P)
+ 2 e
1
, e
2
)
(P)
+
2
e
2
, e
2
)
(P)
_
=
_
ac(
2
+
2
) + (ad +bc)( +) +bd(
2
+
2
)

G
s
((u, v)),
46
visto que
e
1
, e
1
)
(P)
= E
s
((u, v)) = e
2
, e
2
)
(P)
= G
s
((u, v))
e
e
1
, e
2
)
(P)
= F
s
((u, v)) = 0
sao os coecientes da Primeira Forma Fundamental de H
s
.
Mas,
x
1
(u, v) =
e
v
tanh(u)

k
(u, v) =
x
1
u
(u,v) =
e
v

k cosh
2
(u)
x
2
(u, v) =
e
v

k cosh(u)
(u, v) =
x
2
u
(u,v) =
e
v

k cosh
2
(u)
senh (u)
x
1
(u, v) =
e
v
tanh(u)

k
(u, v) =
x
1
v
(u,v) =
e
v
tanh(u)

k
x
2
(u, v) =
e
v

k cosh(u)
(u, v) =
x
2
v
(u,v) =
e
v

k cosh(u)
.
Entao,
+ =
1
k
_
e
v
cosh
2
(u)
e
v
tanh (u) +
_

e
v
cosh
2
(u)
senh (u)
_
e
v
cosh(u)
_
=
1
k
0 = 0.
Logo,
+ = 0.
Calculando o valor de ac(
2
+
2
) +bd(
2
+
2
), temos
_
ac(
2
+
2
) +bd(
2
+
2
)
_
G
s
((u, v))
=
_
ac
k
_
e
2v
cosh
4
(u)
+
e
2v
cosh
4
(u)
senh
2
(u)
_
+
bd
k
_
e
2v
tanh
2
(u) +
e
2v
cosh
2
(u)
__
1
(
e
v
cosh(u)
)
2
=
ac
k
(
e
v
cosh(u)
)
2
_
e
2v
cosh
2
(u)
_
+
bd
k
(
e
v
cosh(u)
)
2
(e
2v
)
=
ac+cosh
2
(u)bd
k
Logo,
d
P
(w
1
) , d
P
(w
2
))
(P)
=
ac+cosh
2
(u)bd
k
.
Por outro lado,
v, w)
P
= ae
1
+be
2
, ce
1
+de
2
)
P
= ac e
1
, e
1
)
P
+ (ad +bc) e
1
, e
2
)
P
+bd e
2
, e
2
)
P
= acE
k
(u, v) +bdG
k
(u, v)
w
1
, w
2
)
P
=
ac+cosh
2
(u)bd
k
Portanto,
d
P
(w
1
) , d
P
(w
2
))
(P)
= w
1
, w
2
)
P
; w
1
, w
2
T
P
H
k
,
como queramos.
Com os resultados dessa secao e da anterior, temos um meio de passar de um modelo para o
outro preservando todas as propriedades metricas por meio das isometrias e . A vantagem
de trabalhar com a variedade (H
s
, ds
s
) no lugar da (H
k
, ds) e que aquela, alem de possuir um
modelo geometrico euclidiano em que retas hiperbolicas podem ser visualizadas como semicir-
cunferencias ou semi-retas, existem expressoes simples para a distancia hiperbolica, como por
exemplo
d
H
s
: H
s
H
s
R
((x, y) , (w, z)) ln
_

(xw)
2
+(y+z)
2
+

(xw)
2
+(yz)
2

(xw)
2
+(y+z)
2

(xw)
2
+(yz)
2
_
,
que pode ser encontrada em [2].
Captulo 3
Mergulho Isometrico de H
2
em R
6
Reticulados de pontos (ref. [10]) em espacos euclidianos tem aplicacoes em diversos ramos
da Matematica e da Teoria da Informacao e Codicacao. Uma das maneiras de se obter
reticulados que podem vir a ter interesse em Codicacao e por meio de mergulhos isometricos
de reticulados hiperbolicos em espacos euclidianos. Alem da possibilidade de poder comparar
reticulados provenientes do ambiente hiperbolico com reticulados euclidianos ja conhecidos,
ha uma vasta teoria de reticulados hiperbolicos ja desenvolvida e que pode ser utilizada em
mergulhos. Este captulo e o proximo sao dedicados a construcao destes mergulhos isometricos,
em R
6
e em S
8
R
9
.
Ha um resultado que pode ser encontrado no nal da referencia [6], conhecido como Teorema de
Hilbert que arma que nao existe uma imersao isometrica de todo o plano hiperbolico em R
3
.
Em particular, nao se pode encontrar um modelo completo da Geometria Hiperbolica como
uma superfcie regular de R
3
. Na verdade, o teorema arma que a existencia de tal imersao
isometrica so pode ocorrer para n 4. O problema e que expressoes analticas de imersoes
isometricas nao sao oferecidas pelo Teorema de Hilbert. Nesse sentido, nossa imersao de H
2
em R
6
esta proxima do limite inferior da dimensao imposto pelo teorema. O modelo parcial
de Geometria Hiperbolica conhecido como Modelo da Pseudo-Esfera de Beltrami, que e uma
superfcie em R
3
, nao e completo.
Comecamos adotando a variedade (H
k
, ds) introduzida no Captulo 2 com k = 1, a qual por
simplicidade de notacao denotaremos por (H, ds) , que serve de modelo para o Plano Hiperbolico
com curvatura Gaussiana constante igual a 1, e as seguintes funcoes, que podem ser encon-
tradas em [4] e [5].
3.1 A Aplicacao I
Consideremos as funcoes

1
: R R
u 3
2

|u|
2
+
1
2

+5
(3.1)
sendo z o maior n umero inteiro menor do que ou igual a z. A funcao acima e do tipo escada
com pontos de descontinuidade nos n umeros mpares, pois

1
(u) = 3
5
para 1 < u < 1,

1
(u) = 3
7
para 3 < u 1 ou 1 u < 3

1
(u) = 3
9
para 5 < u 3 ou 3 u < 5
.
.
.
47
48
3
5
3
7
1 -5 -3 -1 3
3
9
5
y
1
(u)
u
e

2
: R R
u 3
2

|u|
2

+6
(3.2)
que, tambem, e do tipo escada com pontos de descontinuidade nos n umeros pares, pois

2
(u) = 3
6
para 2 < u < 2,

2
(u) = 3
8
para 4 < u 2 ou 2 u < 4

2
(u) = 3
10
para 6 < u 4 ou 4 u < 6
.
.
.
3
6
3
8
3
10
y
2
(u)
u
-4 -2 -6 2
4 6
Seja a constante
A =
_
1
0
sen () exp
_
1
sen
2
()
_
d = 0, 14133... (3.3)
Consideremos as funcoes

1
: R R
u
_
1
A
_
u+1
0
sen () exp
_
1
sen
2
()
_
d
(3.4)
e

2
: R R
u
_
1
A
_
u
0
sen () exp
_
1
sen
2
()
_
d
. (3.5)
Neste ponto vale a pena estudar algumas propriedades de
1
e
2
.
Uma observacao interessante sobre
1
e
2
e que a primeira se anula nos pontos de descon-
tinuidade de
1
e a segunda se anula nos pontos de descontinuidade de
2
. Isso pode ser
facilmente mostrado por meio de uma manipulacao trigonometrica nas integrais que denem

1
e
2
. No entanto, essa observacao possui uma visualizacao geometrica tambem interessante,
pois considerando o graco de sen (x) exp
_
1
sen
2
(x)
_
:
49
6 5 4 3 2 1 0 -1 -2 -3 -4 -5 -6
e levando-se em conta a relacao entre as integrais acima e as areas delimitadas pelo graco, e
muito facil perceber onde estao os zeros de
1
e
2
.
Observemos tambem que

2
1
(u) +
2
2
(u) = 1. (3.6)
De fato, temos
A
2
1
(u) =
_
u+1
0
sen () exp
_
1
sen
2
()
_
d
=
_
1
0
sen () exp
_
1
sen
2
()
_
d +
_
u+1
1
sen () exp
_
1
sen
2
()
_
d
= A +
_
u+1
1
sen () exp
_
1
sen
2
()
_
d.
Fazendo a mudanca de variaveis = 1 em
_
u+1
1
sen () exp
_
1
sen
2
()
_
d temos
_
u+1
1
sen () exp
_
1
sen
2
()
_
d =
_
u
0
sen () exp
_
1
sen
2
()
_
d
A
2
1
(u) A = A
2
2
(u)

2
1
(u) +
2
2
(u) = 1,
como queramos.
Alem disso, com alguma manipulacao trigonometrica, e facil concluir que 0
1
(u) 1 e
0
2
(u) 1, u R.
De fato, observando o graco da funcao sen (x) exp
_
1
sen
2
(x)
_
, temos:
Para 0 u 1 :
_
u
0
sen () exp
_
1
sen
2
()
_
d A
0
2
(u) =
_
1
A
_
u
0
sen () exp
_
1
sen
2
()
_
d 1
Para 1 < u 2 :
_
u
0
sen () exp
_
1
sen
2
()
_
d A
0
2
(u) =
_
1
A
_
u
0
sen () exp
_
1
sen
2
()
_
d 1
E, como a funcao sen (x) exp
_
1
sen
2
(x)
_
tem periodicidade 2, temos 0
2
(u) 1, u R.
Com um racioc`nio analogo conclumos tambem que 0
1
(u) 1, u R.
Consideremos as funcoes
f
1
: R R
u

1
(u) senh(u)

1
(u)
; f
2
R R
u

2
(u) senh(u)

2
(u)
(3.7)
e
a : R R
u
_
1 (f

1
(u))
2
(f

2
(u))
2
. (3.8)
50
Observemos que as funcoes f
1
e f
2
sao contnuas pois, nos pontos de descontinuidade de
1
e
2
temos que f
1
e f
2
sao nulas, lim
u(2n+1)
+
f
1
(u) = lim
u(2n+1)

f
1
(u) = f
1
(2n + 1) = 0 e
lim
u(2n)
+
f
1
(u) = lim
u(2n)

f
2
(u) = f
2
(2u) = 0, n Z. Na verdade, f
1
e f
2
sao diferenciaveis C

,
pois possuem derivadas de qualquer ordem.
Outro fato interessante e que f
1
e f
2
sao limitadas.
De fato, para f
1
observemos que
0 lim
u+

1
(u) senh(u)

1
(u)
,
pois para u > 0, todas as funcoes envolvidas no limite sao positivas. Observemos tambem que,
como 0
1
(1) 1, temos
lim
u+

1
(u) senh(u)

1
(u)
lim
u+
senh(u)
3
2

|u|+1
2

+5
(3.9)
Mas um n umero real positivo subtrado de sua parte inteira e necessariamente menor que um,
ou seja,
|u|+1
2

_
|u|+1
2
_
1, o que implica em
_
|u|+1
2
_
1
|u|+1
2
, que escrito convenientemente,
resulta em
_
|u|+1
2
_

|u|+1
2
1,
que substitudo em 3.9 fornece
lim
u+

1
(u) senh(u)

1
(u)
lim
u+
senh(u)
3
2

|u|+1
2

+5
lim
u+
senh(u)
3
2
(
u+1
2
1
)
+5
=
1
3
4
lim
u+
e
u
e
u
2
3
u
=
1
2.3
4
lim
u+
e
u

1
e
u
3
u
=
1
2.3
4
lim
u+
_
e
u
3
u

1
(3e)
u
_
=
1
2.3
4
lim
u+
_
e
3
_
u
= 0,
ou seja, 0 lim
u+
f
1
(u) 0, o que implica em lim
u+
f
1
(u) = 0.
De modo totalmente analogo, mostra-se que lim
u
f
1
(u) = 0.
De lim
u
f
1
(u) = lim
u+
f
1
(u) = 0 e da continuidade de f
1
, conclumos a limitacao de f
1
, como
queramos.
Quanto `a funcao a, dada em 3.8, novamente, com alguma manipulacao algebrica, e possvel
concluir que (f

1
(u))
2
+ (f

2
(u))
2
< 1, ou seja, que 0 < a (u) .
Finalmente, consideremos aplicacao
I : H R
6
(u, v) (x
1
(u, v) , ..., x
6
(u, v))
51
com funcoes coordenadas x
j
: H R dadas por
x
1
(u, v) =
_
u
0
a (w) dw
x
2
(u, v) = v
x
3
(u, v) = f
1
(u) cos (v
1
(u))
x
4
(u, v) = f
1
(u) sen (v
1
(u))
x
5
(u, v) = f
2
(u) cos (v
2
(u))
x
6
(u, v) = f
2
(u) sen (v
2
(u))
A APLICAC

AO I

E UMA IMERS

AO
Seja P = (u, v) H. A aplicacao I denida acima e uma imersao devido ao fato de a matriz
jacobiana de dI
P
, cujas entradas sao as coordenadas de I
u
(P) e I
v
(P), ter posto 2. De fato,
I
u
(P) e I
v
(P) nao sao proporcionais, pois as segundas coordenadas de I
u
(P) e I
v
(P) sao 0
e 1,que nao sao proporcionais, alem disso I
u
(P) ,=

0 , visto que
x
1
u
= a(u) > 0. Portanto, a
dimensao da imagem de dI
P
e dois. Logo, pelo Teorema do N ucleo e da Imagem, a dimensao
do n ucleo de dI
P
e zero, ou seja, dI
P
e injetiva.
A APLICAC

AO I

E UMA IMERS

AO ISOM

ETRICA
Seja P = (u, v) H. Para mostrar que I e imersao isometrica precisamos mostrar que
dI
P
(w
1
) , dI
P
(w
2
))
I(P)
= w
1
, w
2
)
P
; w
1
, w
1
T
P
H. Mas antes, precisamos determinar a
metrica induzida por I em sua imagem I (H) R
6
, pois precisaremos dela para calcular a
expressao de dI
P
(v) , dI
P
(w))
I(P)
. Mais precisamente, precisamos das expressoes dos coe-
cientes da Primeira Forma Quadratica de I (H) considerando a metrica proveniente de H por
I.
Os coecientes da Primeira Forma Quadratica na imagem de I sao dados por
E
I
(I(u, v)) = I
u
, I
u
) (u, v) =
_
x
1
u
, ...,
x
6
u
_
,
_
x
1
u
, ...,
x
6
u
__
(u, v)
E
I
(I(u, v)) =
6

i=1
x
i
u
(u,v)
2
;
F
I
(I(u, v)) = I
u
, I
v
) (u, v) =
_
x
1
u
, ...,
x
6
u
_
,
_
x
1
v
, ...,
x
6
v
__
(u, v)
F
I
(I(u, v)) =
6

i=1
_
x
i
u
(u,v)
x
i
v
(u,v)
_
;
G
I
(I(u, v)) = I
v
, I
v
) (u, v) =
_
x
1
v
, ...,
x
6
v
_
,
_
x
1
v
, ...,
x
6
v
__
(u, v)
G
I
(I(u, v)) =
6

i=1
x
i
v
(u,v)
2
.
Fazendo os calculos conclumos que
E
I
(I(u, v)) =
6

i=1
_
x
i
u
_
2
= 1
F
I
(I(u, v)) =
6

i=1
_
x
i
u
_ _
x
i
u
_
= 0
G
I
(I(u, v)) =
6

i=1
_
x
i
v
_
2
= cosh
2
(u)
52
De fato mostremos a terceira igualdade.
Para isso temos
x
1
(u, v) =
_
u
0
a(w)dw
_
x
1
v
(u,v)
_
2
= 0
2
x
2
(u, v) = v
_
x
2
v
(u,v)
_
2
= 1
2
x
3
(u, v) = f
1
(u) cos(v
1
(u))
_
x
3
v
(u,v)
_
2
= (f
1
(u)
1
(u) sen (v
1
(u)))
2
x
4
(u, v) = f
1
(u) sen(v
1
(u))
_
x
4
v
(u,v)
_
2
= (f
1
(u)
1
(u) cos (v
1
(u)))
2
x
5
(u, v) = f
2
(u) cos(v
2
(u))
_
x
5
v
(u,v)
_
2
= (f
2
(u)
2
(u) sen (v
2
(u)))
2
x
6
(u, v) = f
2
(u) sen(v
2
(u))
_
x
6
v
(u,v)
_
2
= (f
2
(u)
2
(u) cos (v
2
(u)))
2
Entao,
G
I
(I(u, v)) =
6

i=1
_
x
i
v
(u,v)
_
2
= 1 +f
2
1
(u)
2
1
(u) +f
2
2
(u)
2
2
(u)
= 1 +

2
1
(u) senh
2
(u)

1
(u)
2

2
1
(u) +

2
2
(u) senh
2
(u)

2
(u)
2

2
2
(u)
= 1 +
2
1
(u) senh
2
(u) +
2
2
(u) senh
2
(u)
= 1 + senh
2
(u)(
2
1
(u) +
2
2
(u))
= 1 + senh
2
(u) ,
devido `a relacao 3.6. Portanto,
G
I
(I(u, v)) = cosh
2
(u),
como queramos.
De maneira analoga mostra-se que
F
I
(I(u, v)) =
9

i=1
_
x
i
u
(u,v)
x
i
v
(u,v)
_
= 0 e E
I
(I(u, v)) =
9

i=1
x
i
u
(u,v)
2
= 1,
ou seja, temos a metrica riemanniana ds
I
, induzida na imagem de I, como sendo
ds
2
I
= du
2
+ cosh
2
(u)dv
2
.
Uma vez encontrados os coecientes da Primeira Forma Quadratica de I (H) R
6
, considere-
mos P = (u, v), w
1
= ae
1
+be
2
e w
2
= ce
1
+de
2
, sendo e
1
, e
2
base ortonormal de T
P
H.
Temos
dI
P
(ae
1
+be
2
) , dI
P
(ce
1
+de
2
))
I(P)
= ac dI
P
(e
1
) , dI
P
(e
1
))
I(P)
+ (ad +bc) dI
P
(e
1
) , dI
P
(e
2
))
I(P)
+bd dI
P
(e
2
) , dI
P
(e
2
))
I(P)
.
Considerando as expressoes dadas em 2.1, com I no lugar de , temos
dI
P
(ae
1
+be
2
) , dI
P
(ce
1
+de
2
))
I(P)
= acE
I
(I(u, v)) + (ad +bc) F
I
(I(u, v)) +bdG
I
(I(u, v))
= ac +bd cosh
2
(u) .
53
Por outro lado,
v, w)
P
= ae
1
+be
2
, ce
1
+de
2
)
P
= ac e
1
, e
1
)
P
+ (ad +bc) e
1
, e
2
)
P
+bd e
2
, e
2
)
P
= acE (u, v) + (ad +bc) F (u, v) +bdG(u, v)
= ac +bd cosh
2
(u) ,
ou seja,
dI
P
(v) , dI
P
(w))
I(P)
= v, w)
P
; v, w T
P
H,
como queramos.
A APLICAC

AO I

E UM MERGULHO ISOM

ETRICO
Resta mostrar qua a aplicacao I e injetiva.
De fato,
x
1
u
(u,v) = a (u) > 0, u H, ou seja, x
1
e crescente, portanto, x
1
e injetiva, o que
permite concluir que I e injetiva.
Logo, I e uma bijecao diferenciavel de classe C

(pois x
i
possui derivadas parciais de qualquer
ordem) sobre sua imagem.
Como dI
P
e injetiva para qualquer P H (pois I e imersao), conclumos que I
1
: I (H) H e
contnua, ou seja, I e um homeomorsmo sobre sua imagem e, portanto, um mergulho isometrico
(de classe C

) de H em R
6
.
Observa coes:
(1) Embora o mergulho seja isometrico, I nao e analtica, pois nos pontos de descontinuidade
das funcoes-escada
1
e
2
e possvel mostrar que a funcao I nao possui desenvolvimento em
Serie de Taylor.
(2) Do ponto de vista computacional, o grande problema no mergulho isometrico I e o calculo
da primeira coordenada x
1
. Os softwares de calculo numerico e simbolico nao realizam esse
calculo para qualquer valor de u. Quando nao se quer impor restricoes a u, faz-se necessaria a
aproximacao da funcao a por uma funcao mais facil de ser manipulada na integral (um polinomio
interpolador, por exemplo). Com excessao dos pontos de descontinuidade das funcoes-escada,
a funcao a pode ser trocada por uma Serie de Taylor, o que fornece uma otima aproxima cao
de a.
3.2 Um Exemplo Simples: Mergulho Isometrico do 4-
HPSK em R
6
Uma classe de reticulados (ref. [10]) bastante fertil em propriedades de simetria e a classe dos
reticulados gerados por grupos discretos de isometrias de espacos euclidianos ou hiperbolicos.
Dentre esses, um reticulado bastante simples utilizado em modulacoes de sinais em telecomu-
nicacoes e o chamado 4-PSK (phase shift-keying). Sua representacao no espaco euclidiano
se da em dimensao 2 com pontos de coordenadas (0, 1) , (1, 0) , (0, 1) e (1, 0) . O analogo
hiperbolico desse esquema de modulacao e o chamado 4-HPSK, cujos pontos passam a ter as
seguintes coordenadas no Modelo do Semiplano (H
s
, ds
s
):
s
1
= (0 , 0.36788)
s
2
= (0.76159 , 0.64805)
s
3
= (0 , 2.7183)
s
4
= (0.76159 , 0.64805)
54
0
2
-1 1
H:Modelo
doSemiplano
dePoincar
s
3
s
1
s
2
s
4
Primeiramente, observemos que pela isometria
1
, para k = 1,

1
(0 , 0.36788)

= (0, 1)

1
(0.76159 , 0.64805)

= (1, 0)

1
(0 , 2.7183)

= (0, 1)

1
(0.76159 , 0.64805)

= (1, 0)
ou seja, as coordenadas do 4-HPSK na variedade (H, ds) sao aproximadamente as mesmas das
do 4-PSK no plano euclidiano! Esse fato e interessante pois as metricas riemannianas ds
s
e a
euclidiana dz (dz
2
= dx
2
+dy
2
) sao diferentes, ou seja, a maneira de se medir distancias nessas
variedades sao bastante distintas.
Por m, mergulhando isometricamente o 4-HPSK em R
6
, temos
I (0, 1) = (0, 1, 0, 0, 0, 0)
I (1, 0) = (0.76159 , 0 , 0 , 0 , 0.0016121 , 0)
I (0, 1) = (0, 1, 0, 0, 0, 0)
I (1, 0) = (0.76159 , 0 , 0 , 0 , 0.0016121 , 0)
Observemos tambem que o conjunto 4-HPSK mergulhado em R
6
esta contido em um espaco
euclidiano de tres dimensoes, uma vez que as terceiras, quartas e sextas coordenadas dos sinais
mergulhados sao todas nulas.
Captulo 4
Mergulho Isometrico de H
2
em S
8
R
9
4.1 A Aplicacao M
Seja (H, ds) a variedade riemanniana apresentada no Captulo 3 com curvatura constante ne-
gativa 1, ou seja, k = 1. Neste captulo estamos interessados em encontrar um mergulho
isometrico
M : H S
8
R
9
(u, v) (x
1
(u, v) , ..., x
9
(u, v))
.
Para tanto, mais uma vez utilizaremos as referencias [4] e [5].
Sejam F
1
(u), F
2
(u), funcoes reais positivas, monotonas e com primeiras derivadas limitadas
satisfazendo
F
2
1
(u) +F
2
2
(u) = 1. (4.1)
Vamos tomar, por exemplo,
F
1
: R R
u tanh (e
u
)
e F
2
: R R
u
1
cosh(e
u
)
.
Essas funcoes sao limitadas. De fato:
Para F
1
temos que e
u
> 0, u R. Logo, F
1
(u) > 0. Mas lim
u+
F
1
(u) = 1 e lim
u
F
1
(u) = 0
que, juntamente com o fato de F
1
ser contnua, permite que concluamos que F
1
e limitada.
Para F
2
temos tambem F
2
(u) > 0, pois cosh (x) > 0, x R. Mas lim
u+
F
2
(u) = 0 e
lim
u
F
2
(u) = 1 que, juntamente com o fato de F
2
ser contnua, permite que concluamos
que F
2
e limitada.
As limitacoes de F
1
e F
2
permitem que concluamos as limitacoes das derivadas de F
1
e F
2
.
Consideremos a hiperesfera S
8
R
9
com raio r e um n umero > 0 adequado de tal modo que
as expressoes abaixo denidas existam como n umero reais.
Aproveitando as funcoes 3.1, 3.2, 3.4, 3.5, 3.7 e a constante 3.3 denidas no Captulo 3 consi-
deremos tambem as funcoes
g : R R
u
_
r
2

2
(u)
, (4.2)
55
56

1
: R R

_
u
0
F
2
()
F
1
()
_
()d
, (4.3)
e

2
: R R
u
_
u
0
F
1
()
F
2
()
_
()d
, (4.4)
sendo
() = 1 g

()
2

2
_
F

1
()
2
+
1
2
F

2
()
2
+f

1
()
2
+f

2
()
2
_
e
(u) = F
2
1
(u) +
1
2
F
2
2
(u) +f
2
1
(u) +f
2
2
(u).
Considerando-se que tanto as funcoes F
1
, F
2
, f
1
e f
2
quanto suas derivadas sao todas limitadas,
com alguma manipulacao algebrica prova-se que 0 < g

()
2
< 1, Ou seja, com > 0 conveniente,
todas as funcoes acima sao reais.
Por m, a expressao de g

que aparece em e tal que

g

(u)
2
=

4
A
2
(u)
r
2

2
(u)
,
sendo
A(u) = F
1
(u)F

1
(u) +
1
2
F
2
(u)F

2
(u) +f
1
(u)f

1
(u) +f
2
(u)f

2
(u)
Como o mergulho deve ser na hiperesfera de dimensao 8 no espaco euclidiano de dimensao 9,
entao deve ocorrer
9

i=1
x
i
(u, v)
2
= r
2
, (u, v) H, (4.5)
ou, equivalentemente, [[M (u, v)[[ = r, (u, v) H.
Consideremos as coordenadas de M como sendo
_

_
x
1
(u, v) = F
1
(u) cos
_
v+
1
(u)

_
;
x
2
(u, v) = F
1
(u) sen
_
v+
1
(u)

_
;
x
3
(u, v) =

2
F
2
(u) cos
_
2(v+
2
(u))

_
;
x
4
(u, v) =

2
F
2
(u) sen
_

2(v+
2
(u))

_
;
x
5
(u, v) = f
1
(u) cos
_
v
1
(u)

_
;
x
6
(u, v) = f
1
(u) sen
_
v
1
(u)

_
;
x
7
(u, v) = f
2
(u) cos
_
v
2
(u)

_
;
x
8
(u, v) = f
2
(u) sen
_
v
2
(u)

_
;
x
9
(u, v) = g(u).
(4.6)
57
A M

ETRICA RIEMANNIANA DE M (H)

E A MESMA DE H
Fazendo os calculos conclumos que
9

i=1
x
i
u
(u,v)
2
= 1;
9

i=1
_
x
i
u
(u,v)
x
i
v
(u,v)
_
= 0;
9

i=1
x
i
v
(u,v)
2
= cosh
2
(u) .
Mostremos a primeira dessas igualdade. Para isso temos
x
1
u
(u,v) =
_
F

1
(u) cos
_
v+
1
(u)

_
F
1
(u)

1
(u)

sen
_
v+
1
(u)

__

_
x
1
u
(u,v)
_
2
=
2
_
F

1
(u)
2
cos
2
_
v+
1
(u)

_
2F

1
(u) cos
_
v+
1
(u)

_
F
1
(u)

1
(u)

sen
_
v+
1
(u)

_
+F
2
1
(u)

1
(u)
2

2
sen
2
_
v+
1
(u)

__
;
x
2
u
(u,v) =
_
F

1
(u) sen
_
v+
1
(u)

_
+F
1
(u)

1
(u)

cos
_
v+
1
(u)

__

_
x
2
u
(u,v)
_
2
=
2
_
F

1
(u)
2
sen
2
_
v+
1
(u)

_
+ 2F

1
(u) sen
_
v+
1
(u)

_
F
1
(u)

1
(u)

cos
_
v+
1
(u)

_
+F
2
1
(u)

1
(u)
2

2
cos
2
_
v+
1
(u)

__
.
Logo,
_
x
1
u
(u,v)
_
2
+
_
x
2
u
(u,v)
_
2
=
2
_
F

1
(u)
2
+F
2
1
(u)

1
(u)
2

2
_
.
Alem disso,
x
3
u
(u,v) =

2
_
F

2
(u) cos
_
2(v+
2
(u))

_
F
2
(u)

1
(u)

sen
_
2(v+
2
(u))

__

_
x
3
u
(u,v)
_
2
=

2
2
_
F

2
(u)
2
cos
2
_

2(v+
2
(u))

_
2F

2
(u) cos
_

2(v+
2
(u))

_
sen
_

2(v+
2
(u))

_
F
2
(u)

1
(u)

+F
2
2
(u)
2

1
(u)
2

2
sen
2
_
2(v+
2
(u))

__
;
x
4
u
(u,v) =

2
_
F

2
(u) sen
_
2(v+
2
(u))

_
+F
2
(u)

2
(u)

cos
_
2(v+
2
(u))

__

_
x
4
u
(u,v)
_
2
=

2
2
_
F

2
(u)
2
sen
2
_
2(v+
2
(u))

_
+ 2F

2
(u) sen
_
2(v+
2
(u))

_
cos
_
2(v+
2
(u))

_
F
2
(u)

2
(u)

+F
2
2
(u)
2

1
(u)
2

2
cos
2
_

2(v+
2
(u))

__
.
Logo,
_
x
3
u
(u,v)
_
2
+
_
x
4
u
(u,v)
_
2
=

2
2
_
F

2
(u)
2
+F
2
2
(u)
2

2
(u)
2

2
_
.
Alem disso,
x
5
u
(u,v) = f

1
(u) cos
_
v
1
(u)

_

_
x
5
u
(u,v)
_
2
=
2
f

1
(u)
2
cos
2
_
v
1
(u)

_
;
x
6
u
(u,v) = f

1
(u) sen
_
v
1
(u)

_

_
x
6
u
(u,v)
_
2
=
2
f

1
(u)
2
sen
2
_
v
1
(u)

_
.
58
Logo,
_
x
5
u
(u,v)
_
2
+
_
x
6
u
(u,v)
_
2
=
2
f

1
(u)
2
.
Alem disso,
x
7
u
(u,v) = f

2
(u) cos
_
v
2
(u)

k
_

_
x
7
u
(u,v)
_
2
=
2
f

2
(u)
2
cos
2
_
v
2
(u)

k
_
;
x
8
u
(u,v) = f

2
(u) sen
_
v
2
(u)

k
_

_
x
8
u
(u,v)
_
2
=
2
f

2
(u)
2
sen
2
_
v
2
(u)

k
_
;
x
9
u
(u,v) = g

(u)
_
x
9
u
(u,v)
_
2
= g

(u)
2
.
Logo,
_
x
7
u
(u,v)
_
2
+
_
x
8
u
(u,v)
_
2
=
2
f

2
(u)
2
.
Assim,
9

i=1
_
x
i
u
(u,v)
_
2
=
2
_
F

1
(u)
2
+F
2
1
(u)

1
(u)
2

2
_
+

2
2
_
F

2
(u)
2
+F
2
2
(u)
2

2
(u)

2
_
+
2
f

1
(u)
2
+
2
f

2
(u)
2
+g

(u)
2
=
2
F

1
(u)
2
+
2
F
2
1
(u)

1
(u)
2

2
+

2
2
F

2
(u)
2
+

2
2
F
2
2
(u)
2

2
(u)
2

2
+
2
f

1
(u)
2
+
2
f

2
(u)
2
+g

(u)
2
=
2
F

1
(u)
2
+F
2
1
(u)

1
(u)
2
+

2
2
F

2
(u)
2
+F
2
2
(u)

2
(u)
2
+
2
f

1
(u)
2
+
2
f

2
(u)
2
+g

(u)
2
.
Como
F
2
1
(u)

1
(u)
2
= F
2
1
(u)
F
2
2
(u)
F
2
1
(u)
_
1 g

(u)
2

2
_
F

1
(u)
2
+
F

2
(u)
2
2
+f

1
(u)
2
+f

2
(u)
2
__
= F
2
2
(u)
_
1 g

(u)
2

2
_
F

1
(u)
2
+
F

2
(u)
2
2
+f

1
(u)
2
+f

2
(u)
2
__
;
F
2
2
(u)

2
(u)
2
= F
2
2
(u)
F
2
1
(u)
F
2
2
(u)
_
1 g

(u)
2

2
_
F

1
(u)
2
+
F

2
(u)
2
2
+f

1
(u)
2
+f

2
(u)
2
__
= F
2
1
(u)
_
1 g

(u)
2

2
_
F

1
(u)
2
+
F

2
(u)
2
2
+f

1
(u)
2
+f

2
(u)
2
__
,
segue que
9

i=1
_
x
i
u
(u,v)
_
2
=
_
F
2
1
(u) +F
2
2
(u)
_
_
1 g

(u)
2

2
_
F

1
(u)
2
+
F

2
(u)
2
2
+f

1
(u)
2
+f

2
(u)
2
__
+
2
_
F

1
(u)
2
+
F

2
(u)
2
2
_
+
2
f

1
(u)
2
+
2
f

2
(u)
2
+g

(u)
2
= 1 g

(u)
2

2
_
F

1
(u)
2
+
F

2
(u)
2
2
+f

1
(u)
2
+f

2
(u)
2
_
+
2
_
F

1
(u)
2
+
F

2
(u)
2
2
_
+
2
f

1
(u)
2
+
2
f

2
(u)
2
+g

(u)
2
=
2
_
F

1
(u)
2
+
F

2
(u)
2
2
_
+ 1 g

(u)
2

2
_
F

1
(u)
2
+
F

2
(u)
2
2
_

2
_
f

1
(u)
2
+f

2
(u)
2
_
+
2
_
f

1
(u)
2
+f

2
(u)
2
_
+g

(u)
2
= 1,
como queramos.
De maneira analoga mostra-se que
9

i=1
_
x
i
u
(u,v)
x
i
v
(u,v)
_
= 0 e
9

i=1
_
x
i
v
(u,v)
_
2
= cosh
2
(u) ,
59
ou seja, temos a metrica riemanniana ds
M
, induzida na imagem de M, como sendo
ds
2
M
= du
2
+ cosh
2
(u) dv
2
,
pois os coecientes da Primeira Forma Quadratica na imagem de M sao dados por
E
M
(M(u, v)) = M
u
, M
u
) (u, v) =
_
x
1
u
, ...,
x
9
u
_
,
_
x
1
u
, ...,
x
9
u
__
(u, v)
E
M
(M(u, v)) =
9

i=1
_
x
i
u
(u,v)
_
2
;
F
M
(M(u, v)) = M
u
, M
v
) (u, v) =
_
x
1
u
, ...,
x
9
u
_
,
_
x
1
v
, ...,
x
9
v
__
(u, v)
F
M
(M(u, v)) =
9

i=1
_
x
i
u
(u, v)
x
i
v
(u, v)
_
;
G
M
(M(u, v)) = M
v
, M
v
) (u, v) =
_
x
1
v
, ...,
x
9
v
_
,
_
x
1
v
, ...,
x
9
v
__
(u, v)
G
M
(M(u, v)) =
9

i=1
_
x
i
v
(u,v)
_
2
,
ou seja, a metrica Riemanniana ds
M
em M(H)e a mesma metrica Riemanniana ds em H.
A APLICAC

AO M

E UMA IMERS

AO
Seja P = (u, v) H. A aplicacao M e uma imersao devido ao fato de a matriz jacobiana
de dM
P
, cujas entradas sao as coordenadas de M
u
(P) e M
v
(P), ter posto 2, (as ultimas
coordenadas desses vetores nunca sao proporcionais e ambos sao sempre nao nulos) ou seja, a
dimensao da imagem de dM
P
e dois. Logo, pelo Teorema do N ucleo e da Imagem, a dimensao
do n ucleo de dM
P
e zero, ou seja, dM
P
e injetiva.
A IMERS

AO M

E ISOM

ETRICA
Se considerarmos o domnio H de M como sendo a variedade riemaniana (H, ds) , temos que
M e imersao isometrica, ou seja, dM
P
(w
1
) , dM
P
(w
2
))
M(P)
= w
1
, w
2
)
P
; w
1
, w
2
T
P
H.
De fato, tomando P = (u, v) H, w
1
= ae
1
+ be
2
e w
2
= ce
1
+ de
2
, sendo e
1
, e
2
base
ortonormal de T
P
H temos
dM
P
(ae
1
+be
2
) , dM
P
(ce
1
+de
2
))
M(P)
= ac dM
P
(e
1
) , dM
P
(e
1
))
M(P)
+ (ad +bc) dM
P
(e
1
) , dM
P
(e
2
))
M(P)
+bd dM
P
(e
2
) , dM
P
(e
2
))
M(P)
.
Mas, utilizando as expressoes 2.1 com M no lugar de , temos
dM
P
(ae
1
+be
2
) , dM
P
(ce
1
+de
2
))
M(P)
= acE
M
(M(u, v)) + (ad +bc) F
M
(M(u, v))
+bdG
M
(M(u, v))
= ac +bd cosh
2
(u)
Por outro lado,
w
1
, w
2
)
P
= ae
1
+be
2
, ce
1
+de
2
)
P
= ac e
1
, e
1
)
P
+ (ad +bc) e
1
, e
2
)
P
+bd e
2
, e
2
)
P
= acE (u, v) + (ad +bc) F (u, v) +bdG(u, v)
= ac +bd cosh
2
(u)
60
ou seja,
dM
P
(w
1
) , dM
P
(w
2
))
M(P)
= w
1
, w
2
)
P
; w
1
, w
2
T
P
H.
A IMERS

AO ISOM

ETRICA M

E UM MERGULHO ISOM

ETRICO

E facil ver que dois pares diferentes (u

1
, v
1
) e (u
2
, v
2
) em H nao podem corresponder aos mesmos
valores M (u
1
, v
1
) e M (u
2
, v
2
) . Realmente, de (4.6) deduzimos
x
1
(u, v)
2
+x
2
(u, v)
2
=
2
F
2
1
(u) =
2
tanh
2
(e
u
) .
Assim, para que M (u
1
, v
1
) = M (u
2
, v
2
) , devemos ter
x
1
(u
1
, v
1
) = x
1
(u
2
, v
2
)
e (4.7)
x
2
(u
1
, v
1
) = x
2
(u
2
, v
2
)
Logo,
x
1
(u
1
, v
1
)
2
+x
2
(u
1
, v
1
)
2
=
2
tanh
2
(e
u
1
)
e
x
1
(u
2
, v
2
)
2
+x
2
(u
2
, v
2
)
2
=
2
tanh
2
(e
u
2
)
ou seja,

2
tanh
2
(e
u
1
) =
2
tanh
2
(e
u
2
)
tanh
2
(e
u
1
) = tanh
2
(e
u
2
)
tanh (e
u
1
) = tanh (e
u
2
) ,
pois e
u
1
, e
u
2
> 0. Mas tanh (x) e monotona para x > 0. Logo, a equacao acima esta satisfeita
apenas quando e
u
1
= e
u
2
, ou seja, quando u
1
= u
2
.
Sob a condicao u
1
= u
2
, teremos as equacoes (4.7) satisfeitas quando
v
2
= v
1
+2K
1
,
sendo K
1
um inteiro qualquer. De fato, de x
1
(u
1
, v
1
) = x
1
(u
2
, v
2
) temos
cos
_
v
1
+
1
(u
1
)

_
= cos
_
v
2
+
1
(u
2
)

_

v
2
+
1
(u
2
)

=
v
1
+
1
(u
1
)

+ 2K
1

v
2
+
1
(u
2
) = v
1
+
1
(u
1
) +2K
1

v
2
= v
1
+2K
1
. (4.8)
Como M (u
1
, v
1
) = M (u
2
, v
2
) tambem implica em x
4
(u
1
, v
1
) = x
4
(u
2
, v
2
) , temos
sen
_
2(v
1
+
2
(u
1
))

_
= sen
_
2(v
2
+
2
(u
2
))

2(v
2
+
2
(u
2
))

2(v
1
+
2
(u
1
))

+ 2K
2

v
2
= v
1
+
2K
2

2
, (4.9)
61
sendo K
2
um inteiro qualquer.
Igualando as equacoes (4.8) e (4.9) temos
K
1
=
K
2

2
.
Como K
1
e K
2
sao inteiros, a equacao acima so e possvel para K
1
= K
2
= 0, ou seja, v
1
= v
2
.
Assim a superfcie M (H) nao possui auto-interseccao, ou seja, M e injetiva.
A conclusao de que M e mergulho isometrico segue do mesmo raciocnio feito para o mergulho
isometrico I do captulo anterior.
A condicao (4.5) e facilmente vericada, isto e, a superfcie e um mergulho dentro do espaco
esferico de dimensao 8 e raio r.
Observa cao: O mergulho e de classe C

, pois as funcoes x
1
, ..., x
9
admitem derivadas parciais
de qualquer ordem. Assim como no mergulho isometrico I do captulo anterior, M nao e
analtica em todos os pontos pois as funcoes x
1
, ..., x
9
nao admitem desenvolvimento em Serie
de Taylor para os valores de u onde as funcoes-escada
1
e
2
sao descontnuas. Observemos
tambem que o mergulho M nao e unico, pois depende de .
4.2 Um Exemplo Simples: Mergulho Isometrico do 4-
HPSK em S
8
R
9
Tomemos novamente o conjunto de pontos 4-HPSK apresentad o na Secao 3.2.
Iremos considerar o espaco esferico S
8
com raio r = 1 e mergulhar o 4-HPSK em S
8
con-
siderando dois mergulhos distintos:
Tomando = 0, 1 e utilizando um software de calculo numerico e simbolico, como por exemplo,
o Maple, as funcoes coordenadas nos pontos s
1
= (0, 1); s
2
= (1, 0); s
3
= (0, 1) e s
4
= (1, 0)
de H sao tais que:
(i) Calculo das funcoes coordenadas no ponto s
1
= (0, 1):
x
1
(s
1
) = 0.063903
x
2
(s
1
) = 0.041432
x
3
(s
1
) = 0.00022769
x
4
(s
1
) = 0.045824
x
5
(s
1
) = 0
x
6
(s
1
) = 0
x
7
(s
1
) = 0
x
8
(s
1
) = 0
x
9
(s
1
) = 0.99564
Assim,
M(s
1
) = (0.063903 , 0.041432 , 0.00022769 , 0.045824 , 0 , 0 , 0 , 0 , 0.99564)
e
9

i=1
x
i
(s
1
)
2
= (0.063903)
2
+ (0.041432)
2
+ (0.00022769)
2
+ (0.045823)
2
+ (0.99604)
2
= 1
= r
2
62
(ii) Calculo das funcoes coordenadas no ponto s
2
= (1, 0):
x
1
(s
2
) = 0.039869
x
2
(s
2
) = 0.090762
x
3
(s
2
) = 0.0069850
x
4
(s
2
) = 0.0061274
x
5
(s
2
) = 0
x
6
(s
2
) = 0
x
7
(s
2
) = 0.00016121
x
8
(s
2
) = 0
x
9
(s
2
) = 0.9926
Entao,
M(s
2
) = (0.039869 , 0.090762 , 0.0069850 , 0.0061274 , 0 , 0 , 0.00016121 , 0.9926)
e
9

i=1
x
i
(s
2
)
2
= (0.039869)
2
+ (0.090762)
2
+ (0.0069850)
2
+ (0.0061274)
2
+ (0.00016121)
2
+ (0.9926)
2
= 1
= r
2
(iii) Calculo das funcoes coordenadas no ponto s
3
= (0, 1):
x
1
(s
3
) = 0.063903
x
2
(s
3
) = 0.041432
x
3
(s
3
) = 0.00022769
x
4
(s
3
) = 0.045824
x
5
(s
3
) = 0
x
6
(s
3
) = 0
x
7
(s
3
) = 0
x
8
(s
3
) = 0
x
9
(s
3
) = 0.99564
Assim,
M(s
3
) = (0.063903 , 0.041432 , 0.00022769 , 0.045824 , 0 , 0 , 0 , 0 , 0.99564)
e
9

i=1
x
i
(s
3
)
2
= (0.063903)
2
+ (0.041432)
2
+ (0.00022769)
2
+ (0.045823)
2
+ (0.99604)
2
= 1
= r
2
63
(iv) Calculo das funcoes coordenadas no ponto s
4
= (1, 0):
x
1
(s
4
) = 0.031599
x
2
(s
4
) = 0.015539
x
3
(s
4
) = 0.063737
x
4
(s
4
) = 0.01782
x
5
(s
4
) = 0
x
6
(s
4
) = 0
x
7
(s
4
) = 0.00016121
x
8
(s
4
) = 0
x
9
(s
4
) = 0.99907
Entao,
M(s
4
) = (0.031599 , 0.015539 , 0.063737 , 0.01782 , 0 , 0 , 0.00016121 , 0 , 0.99907)
e
9

i=1
x
i
(s
4
)
2
= (0.031599)
2
+ (0.015539)
2
+ (0.063737)
2
+ (0.01782)
2
+ (0.00016121)
2
+ (0.99907)
2
= 1
= r
2
Captulo 5
Conclusoes e Perspectivas Futuras
Na presente dissertacao desenvolvemos um estudo sobre mergulhos isometricos do plano hiperboli-
co H em R
6
e de H em S
8
R
9
baseados nas referencias [4] e [5]. Procuramos tornar o texto
auto-suciente desenvolvendo varias passagens obscuras presentes em tais artigos. No entanto,
como trabalhos futuros, alguns estudos podem feitos, como por exemplo, descrever (ou investi-
gar) a existencia de um metodo para geracao de mergulhos isometricos de H
n
(espaco hiperbolico
de dimensao n) em S
m
R
m+1
, m > n. Alem disso, do ponto de vista da Teoria da Informacao
e Codicacao, a implementacao de reticulados hiperbolicos mergulhados isometricamente em
ambientes euclidianos pode ser muito interessante, pois possibilita novas formas de alocacao de
pontos com uniformidade e controle de erro em dimensoes mais altas. Esperamos tambem que
em trabalhos futuros seja investigado o papel geometrico do no mergulho isometrico de H em
S
8
R
9
e como sao as geodesicas no modelo H apresentado.
64
Referencias Bibliogracas
[1] Agustini, E. & Costa, S. I. R. AWGN-Signal Transmission in Hyperbolic Spaces.
In Proc. of IEEE-International Symposyum on Infomation Theory ISIT-2005, Adelaide,
Australia, 2005, (4 p.)
[2] Beardon, A. The Geometry of Discrete Groups. New York: Springer-Verlag. 1982.
[3] Blanusa, D. Eine isometrische und sigularitatenfreie Einbettung des n-dimensionalen
hyperbolischen Raumes im Hilbertischen Raum. Monatshefte f ur Mathematik, 57, 1953,
pp. 102-108.
[4] Blanusa, D.

Uber die Einbettung hyperbolischer Ra ume in euklidische Ra ume. Monat-

shefte f ur Mathematik, 59 Band, 3 Heft, 1955, pp. 217-229.
[5] Blanusa, D. C

-isometric imbeddings of the hyperbolic plane and of cylinders with

hyperbolic metric in spherical spaces. Annali di Matematica Pure et Applicata (Springer-
Verlag), vol 4, n. 57, 1962, pp.321-337.
[6] Carmo, M. P. Geometria Diferencial de Curvas e Superfcies. Rio de Janeiro: Sociedade
Brasileira de Matematica-SBM, 2005. (colecao Textos Universitarios)
[7] Carmo, M. P. Geometria Riemanniana. 3a. ed. Rio de Janeiro: Sociedade Brasileira de
Matematica-SBM, 2005. (colecao Projeto Euclides)
[8] Cavalcante, R. G., Lazari, H. Lima, J. D. & Palazzo Jr., R. A New Approach to
the Design of Digital Communication Systems. DIMACS Series in Discrete Mathematics
and Theoretical Computer Science- AMS. Vol. 68, 2005. (33 p.)
[9] Chern, S. & Kuiper, N. H. Some Theorems on the Isometric Imbedding of Compact
Riemann Manifold in Euclidean Space. Annals of Mathematics, Vol. 56, No. 3, Nov. 1952,
pp. 422-430.
[10] Conway, J. H. & Sloane, N. J. A. Sphere packings, Lattices, and Groups. 3
th
. ed.
New York: Springer-Verlag, 1999.
[11] Costa, S. I. R., Santos, S. A., & Strapasson, J. E. Fisher Information Matrix and
Hyperbolic Geometry. In the Proc. of IEEE ISOC ITW2005 on Coding and Complexity,
2005, 34-36.
[12] Gallot, S., Hullin, D. & Lafontaine, J. Riemannian Geometry. 3rd. ed. Springer-
Verlag: Berlin-Heidelberg, 2004. (UTX - Universitext colection)
[13] Gromov, M. L. & Rokhlin, V. A. Embeddings and Immersions in Riemannian Ge-
ometry. Russian Mathematical Surveys, 25, 1970, pp. 1-57.
[14] Lazari, H. & Palazzo Jr. R. Geometrically uniform hyperbolic codes. Computational
and Applied Mathematics. Vol. 24, No. 2, 2005, pp. 173-192.
65
66
[15] Nash, J. Real Algebraic Manifolds. Annals of Mathematics, Vol. 56, No. 3, Nov. 1952,
pp. 405-421.
[16] Nash, J. C
1
Isometric Imbeddings. Annals of Mathematics, Vol. 60, No. 3, Nov. 1954,
pp. 383-396.
[17] Nash, J. The Imbedding Problem for Riemannian Manifolds. Annals of Mathematics,
Vol. 63, No. 1, Jan. 1956, pp. 20-63.
[18] Silva, E. B., Firer, M., Costa, S. R. & Palazzo Jr., R. Signal constellations in
the hyperbolic plane: A proposal for new communication systems. Journal of the Franklin
Institute, No. 343, 2006, pp. 69.