1 Variedades Diferenciveis (1/5)

Neste curso, vamos estudar conjuntos com propriedades globais (que dizem
respeito ao todo) e locais (que dizem respeito a uma vizinhana de um ponto)
que dicultam a sua abordagem desde o ponto de vista da Geometria Euclid-
eana e do Clculo diferencial e integral. Procuraremos generalizar as noes
necessrias ao desenvolvimento de uma Geometria e de um Clculo que pos-
sibilitem o estudo destes conjuntos, que chamaremos de variedades difer-
enciveis. Iniciaremos com uma reviso de alguns conceitos matemticos
simples que sero bastante teis no estudo que faremos a seguir.

1.1 Espaos topolgicos

O conceito de espao topolgico visa denir a estrutura mais bsica na qual
possamos estabelecer o conceito de continuidade e tomar limites. Ele a
base para todo o estudo posterior de variedades diferenciveis e brados, que
encontram numerosas aplicaes na Fsica. Vamos sua denio: consider-
emos um conjunto X e um conjunto T de subconjuntos Ui X, no sendo
necessrio ser um nmero nito de subconjuntos. O par (X; T ) chamado
de espao topolgico se as seguintes propriedades forem satisfeitas:

1. O conjunto vazio ; e o prprio X pertencem a T .

2. Qualquer unio de qualquer nmero (nito ou innito) de subconjuntos

Ui pertence a T .

3. Qualquer interseo, de qualquer nmero nito de subconjuntos Ui

pertence a T .

Usualmente chamamos o prprio X de espao topolgico. Os Ui so

chamados conjuntos abertos e T dita a topologia de X. Existem sempre
duas topologias bvias para qualquer conjunto X: a topologia discreta, na
qual T tomado como sendo o conjunto de todos os subconjuntos de X, e a
topologia trivial, na qual T = f;; Xg. Pode-se mostrar facilmente que estas
duas denies de T satisfazem s trs propriedades que denem um espao
topolgico.
Vamos estabelecer uma srie de conceitos relacionados denio de con-
junto aberto. Num espao topolgico X, chamamos V X de vizinhana de
um ponto x se V contm algum conjunto aberto que, por sua vez, contenha

1
x. Se, alm disso, o prprio V for um conjunto aberto, chama-lo-emos de
vizinhana aberta. Um espao topolgico dito um espao de Hausdor se,
para quaisquer dois x e x0 2 X, sempre existirem vizinhanas Vx e Vx0 , de x
e x0 respectivamente, tais que Vx \ Vx0 = ;.
Prosseguindo, denimos um subconjunto A de um espao topolgico X
como fechado se o seu complemento em X for um conjunto aberto. Observe
que X e ; so tanto abertos como fechados e que podem existir conjuntos
que no so nem abertos nem fechados. Dado um conjunto arbitrrio A
(aberto, fechado ou nenhum dos dois) denimos o fecho de A como o menor
(no sentido de estar contido em todos e no conter nenhum) conjunto fechado
que contm A e o denotaremos por A. O interior de A denido como o
maior subconjunto aberto de A e indicado por A . A fronteira b (A)
denida como o complemento de A em A: b (A) = A A . fcil ver que
um conjunto aberto sempre disjunto de sua fronteira e que um conjunto
fechado sempre a contm.
A ltima srie de conceitos que explicitaremos principia com o de cober-
tura: uma famlia fAi ; i 2 Ig (o conjunto I dito um conjunto de ndices;
ele pode ser, por exemplo, o conjunto dos nmeros inteiros) de subconjuntos
de um espao topolgico X chamada assim se
[
Ai = X.
i2I

Se todos os Ai so abertos, a cobertura chamada de cobertura aberta. Ob-

serve que o nmero dos Ai pode ser nito ou innito e que podem haver
muitas (at mesmo innitas) coberturas para um dado X. Isto nos leva ao
conceito de espao compacto: um espao topolgico X dito compacto se,
para toda cobertura aberta fUi ; i 2 Ig, existir um subconjunto nito J I
tal que fUi ; i 2 Jg tambm uma cobertura aberta de X.

1.2 Espaos mtricos, funes contnuas e homeomor-

smos
Tendo considerado os pontos acima, relativos estrutura de conjuntos aber-
tos num espao topolgico, passamos a estudar espaos especcos, chamados
espaos mtricos, nos quais existe uma denio natural de conjunto aberto.
Um espao X chamado de espao mtrico se podemos denir uma funo
d : X 2 ! R, chamada de mtrica, satisfazendo s seguintes condies:

2
 1. d (x; y) = d (y; x);

2. d (x; y) 0, com a igualdade valendo apenas se x = y;

3. d (x; y) + d (y; z) d (x; z).

Num espao mtrico, existe uma escolha simples para a topologia: os

conjuntos abertos so denidos como

U" (x) = fy 2 Xjd (x; y) < "g

e todas as suas possveis unies. Os conjuntos U" (x) so chamados de bolas

abertas de raio " em torno de x (chamado de centro da bola aberta).
simples vericar que as bolas abertas (com todos os raios e centros) e todas as
suas possveis unies fornecem uma topologia para X, denominada topologia
mtrica.
Podemos mostrar facilmente a seguinte propriedade de todos os conjuntos
abertos desta topologia: todo elemento x de um conjunto aberto (que pode
ser algum dos U" ou alguma unio arbitrria deles) centro de uma bola
aberta inteiramente contida nele. De fato, se x 2 Ur (a), ento " = r
d (x; a) > 0. Vamos, ento, mostrar que U" (x) Ur (a). Suponha que y 2
U" (x). Ento, d (y; x) < ", e ento d (y; a) d (y; x)+d (x; a) < "+d (x; a) =
r d (x; a) + d (x; a) = r. Portanto, U" (x) Ur (a). Reciprocamente, se todo
elemento de um conjunto U X centro de uma bola aberta contida em U ,
ento U aberto, pois U pode ser visto como a unio de todos estes conjuntos
abertos (o que, pelos axiomas que denem a topologia, um aberto).
Dado um mapeamento f de um espao topolgico X em outro espao
topolgico Y , vamos denir por f (U ) o conjunto de todos os pontos de Y
obtidos pela aplicao de f a todos os pontos de U . Vamos tambm denir o
conceito de imagem inversa f 1 (y) de um ponto y 2 Y : trata-se do conjunto
de pontos de X que so levados em y pela ao de f . Observe que, se f no
sobrejetiva, f 1 (y) pode ser o conjunto vazio. Indo um pouco mais longe,
podemos denir f 1 (V ), com V sendo um subconjunto de Y , como a unio
das imagens inversas de todos os pontos de V .
Voltando a um espao mtrico, denimos de maneira direta uma funo
contnua, usando a mtrica: uma funo f : X ! Y (X e Y sendo espaos
mtricos) dita contnua no ponto x se, para um " > 0, real e arbitrrio,
sempre possvel encontrar um > 0, real, de modo que, dado um y que
satisfaa dX (y; x) < , ento dY (f (y) ; f (x)) < ", onde dX e dY so mtricas

3
denidas em X e Y . Dito de outra forma, dada uma bola aberta V" (f (x))
Y , sempre possvel encontrar um tal que f (U (x)) V" (f (x)). Dizemos
que f contnua em X se ela for contnua em todos os pontos de X.
Podemos, agora, mostrar a seguinte proposio: para que um mapea-
mento de um espao mtrico X em outro Y seja contnuo (no sentido mtrico),
necessrio e suciente que a imagem inversa de todo subconjunto aberto V
de Y , f 1 (V ), seja um subconjunto aberto de X. Para ver isso, primeira-
mente suponhamos que f seja contnua e tomemos um aberto V Y . Va-
1
mos mostrar que U = f (V ) um aberto em X. Para cada ponto x 2 U ,
f (x) 2 V . Como V aberto, existe um " > 0 tal que f (x) 2 V" (f (x)), com
a bola aberta V" (f (x)) V . Sendo f contnua em x, existe > 0 tal que

f (U (x)) V" (f (x)) V.

Mas, f (U (x)) V implica em U (x) f 1 (V ) = U . Logo, U aberto

pois, contendo um ponto x, contm tambm uma bola U (x). Para mostrar
a volta, supomos agora que f : X ! Y tal que, para todo aberto V Y,
1
U = f (V ) aberto em X. Considere um ponto genrico x de X. V" (f (x))
um aberto de Y contendo f (x). Ento, f 1 (V" (f (x))) um aberto em X
contendo x. Conclui-se que existe uma bola aberta U (x) f 1 (V" (f (x))),
o que implica em f (U (x)) V" (f (x)). Isto conclui a demonstrao.
As consideraes acima permitem que formulemos a questo da con-
tinuidade de uma funo f : X ! Y em termos apenas das topologias
dos espaos em considerao. A funo f : X ! Y ser dita contnua no
ponto x se, para cada aberto V de Y , com f (x) 2 V , existir um aberto U
de X, com x 2 U e f (U ) V . Chamamos um mapeamento f : X ! Y de
contnuo se, dado um aberto V Y , f 1 (V ) for um conjunto aberto em X.
Pode-se mostrar que uma funo f : X ! Y contnua se e somente se ela
contnua em cada ponto x 2 X. Esta denio, independente da denio
de uma mtrica, claramente torna mais ampla a classe de espaos para os
quais podemos discutir questes ligadas continuidade.
Tendo denido os conceitos acima, estamos em posio para considerar o
conceito de homeomorsmo entre espaos topolgicos X e Y , no necessaria-
mente mtricos: um mapeamento f : X ! Y chamado de homeomorsmo
se ele contnuo e sua inversa existe e tambm contnua. imediato no-
tar que a relao entre X e Y denida como X homeomorfo a Y (ou
seja, existe um homeomorsmo entre X e Y ) uma relao de equivaln-
cia (ver denio mais adiante). Ela divide todos os espaos topolgicos em

4
classes de equivalncia que levam em conta essencialmente se possvel ou
no deformarcontinuamente um espao no outro.
Se os espaos topolgicos nos permitiam a considerao de mapeamentos
contnuos, as variedades diferenciveis vo tornar possvel a considerao
de mapeamentos suaves. Dizemos que um mapeamento f : Rn ! Rm
suave (ou de classe C 1 ) se suas derivadas de ordem arbitrria existem e so
contnuas. O estudo das variedades diferenciveis ir nos dar instrumentos
para denir e utilizar mapeamentos suaves no contexto mais geral possvel,
qual seja, o de substituir Rn e Rm por variedades diferenciveis arbitrrias
M e N.

1.3 Denio de variedades diferencivel e exemplos

Uma variedade diferencivel um espao topolgico M que satisfaz s seguintes
propriedades:

1. M localmente homeomorfo a algum aberto de Rm , para algum m <

1. Isso quer dizer que, ao redor de qualquer elemento p de M existe
um aberto U e um homeomorsmo de U num aberto de Rm . O valor
de m o mesmo para todos os elementos de M . O par (U; ) chamado
de carta coordenada. A unio de todas as cartas chamada de atlas de
M.

2. Se (U1 ; 1 ) e (U2 ; 2 ) so duas cartas tais que U1 \ U2 6= ;, notamos, da

propriedade acima, que um ponto p 2 U1 \ U2 pode ser mapeado em
Rm usando 1 ou 2 . Vamos, ento, requerer que as aplicaes 1 2 1
1 m
e 2 1 , de R em Rm , sejam suaves. Estas aplicaes (chamadas
de funes de transio) tm a funo de prover uma mudana de de-
scrio (ou de coordenadas) do ponto p (veja a gura 1). Com este
requerimento, esperamos que tal mudana se d de modo suave.

5
 Funo de transio entre um aberto Uj0 e outro Ui0 , ambos contidos em Rm .

Empregaremos a seguinte notao: a aplicao de em p tem como resultado

o ponto (x1 ; :::; xm ) 2 Rm . Frequentemente iremos nos referir a uma das
coordenadas do ponto de Rm , digamos x . Indicaremos este fato escrevendo
(p) ou x (p). Passamos, a seguir, a considerar alguns exemplos:

O crculo S 1 : podemos dotar S 1 de uma estrutura de variedade difer-

encivel de vrias maneiras, mas uma bem comum a projeo estere-
ogrca. S 1 pode ser considerado como UN [ US , onde

UN = S 1 polo Norte ,
1
US = S polo Sul .

Para todo ponto p 2 UN , consideramos o mapeamento N : UN ! R

descrito na gura 2, que associa xN a p. Da mesma forma, se p 2 US ,
S : US ! R, lhe dar uma coordenada xS . Com exceo dos plos
Norte e Sul, todos os pontos tm duas coordenadas xN e xS .

6
 Projeo estereogrca para S 1 .

1
A funo S N nos d a relao entre essas coordenadas, xS (xN ).
Usando semelhana de tringulos (gura 3), obtemos que
2 xS
tan = = ,
xN 2
o que implica em xS = 4=xN , para um crculo de raio 1. Vemos que
a funo de transio bem denida em todos os pontos de UN \ US ,
do qual no fazem parte nem o plo Norte nem o Sul (o plo Norte
tem coordenada xS = 0, mas no tem um valor correspondente em UN ,
nem precisa ter, pois no faz parte deste aberto; isto torna a regra de
transio bem denida para todos os pontos que tm duas coordenadas,
o que no o caso do plo Norte nem do Sul).

7
 Relao entre xN e xS .

Outra coisa que podemos reparar que todos os pontos tm apenas

uma coordenada, dentro de uma mesma carta. Isto no ocorreria se
tentssemos coordenatizar S 1 com apenas uma carta (o prprio S 1 ,
no caso). Usando o ngulo ' denido na gura 4, veramos que os
pontos imediatamente acima do equador teriam coordenadas prximas
de 0, enquanto os pontos imediatamente abaixo teriam coordenadas
prximas a 2 . Assim, haveria uma descontinuidade em funes de ',
todas as vezes que ele passasse por 0. Este problema est ausente na
coordenatizao usando duas cartas.

Coordenatizao nica de S 1 .

8
 O espao RP n : denimos o espao projetivo real RP n atravs de uma
relao de equivalncia1 entre pontos de Rn+1 f0g. Dizemos que x y
se existe a 2 R f0g tal que y = ax. Assim, RP n = (Rn+1 f0g) = .
Denotamos o representativo da classe de equivalncia por [(x0 ; :::; xn )]
onde xk a k-sima coordenada do ponto x 2 Rn+1 . Os n + 1 nmeros
x0 , x1 ,..., xn so chamados de coordenadas homogneas e no podem nos
dar boas coordenadas para RP n , desde que representam ambigamente
a classe de equivalncia. Alm disso, seriam n + 1 coordenadas para
um espao n-dimensional. Para obter boas coordenadas, notamos que
1
Uma relao R num conjunto X um subconjunto de X X X 2 . Se um ponto
2
(a; b) de X est em R, dizemos que a se relaciona com b pela relao R, ou ainda aRb.
Um exemplo de relao o subconjunto de R2

R = f(a; b) ja e b 2 R e a < bg .

A relao entre a e b denotada, nesse caso, como a < b. Uma relao dita de equivalncia
se satisfaz s seguintes propriedades
1. (a; a) sempre pertence a R, para todo a 2 X;
2. Se (a; b) 2 R, (b; a) 2 R;
3. Se (a; b) 2 R e (b; c) 2 R, ento (a; c) 2 R.
Uma relao de equivalncia (observe que o exemplo citado no satisfaz os requisitos
acima) usualmente denotada pelo smbolo . Assim, se (a; b) pertence relao,
escrevemos a b e lemos a equivalente a b. Como exemplo, tomemos o conjunto
X = fa; b; cg. simples ver que R = f(a; a) ; (b; b) ; (c; c) ; (a; b) ; (b; a)g uma relao de
equivalncia sobre X.
A existncia de uma relao de equivalncia num conjunto X faz com que ele se par-
ticione naturalmente em subconjuntos onde, em cada um, todos os elementos so equiv-
alentes uns aos outros. Estes subconjuntos so chamados de classes de equivalncia. A
classe de equivalncia de um elemento a denotada por [a]. O elemento a usado para deno-
tar a classe de equivalncia [a] (poderia ser qualquer elemento equivalente a a) chamado
de representativo da classe. No exemplo dado acima temos duas classes de equivalncia,
[a] e [c]. Mostramos muito facilmente que:
1. As classes de equivalncia so disjuntas ou coincidem (se duas classes tm interseo
no nula, no pode haver elemento de uma que no pertena tambm outra).
2. Todo elemento de X est em uma e apenas uma classe de equivalncia.
O conjunto formado por todas as classes de equivalncia chamado conjunto quociente
de X pela relao R (ou espao quociente, ou grupo quociente, dependendo da estrutura
que ele acomodar) e denotado como X= .

9
 (tomando xi 6= 0)
xj yj
= ,
xi yi
se y = ax. A seguir, denimos as coordenadas inomogneas
j xj
(i) = .
xi
As coordenadas independentes so apenas as n que tm i 6= j. claro,
ento, que cada classe [(x0 ; :::; xn )] (com xi 6= 0) ser caracterizada
j
por um conjunto nico de valores dos (i) . Vamos denir abertos Ui
exatamente como o conjunto de classes para as quais xi 6= 0 (esta
condio pode ser imposta de maneira independente do representativo,
j que, se xi 6= 0, qualquer y i = axi tambm o ser). O mapa i : Ui
RP n ! Rn , ento,
x0 xi 1 xi+1 xn
i : x0 ; :::; xn ! ; :::; ; ; :::; .
xi xi xi xi
Se [(x0 ; :::; xn )] 2 Ui \ Uj , ele tambm ter a possibilidade de ser coor-
denatizado por
x0 xj 1 xj+1 xn
j : x0 ; :::; xn ! ; :::; ; ; :::; .
xj xj xj xj
A relao entre as duas coordenatizaes ser

k xi k
(j) = (i) ,
xj
1
que representa j i . As funes de transio so suaves, e temos
uma estrutura de variedade diferencivel associada a RP n .

1.4 Clculo sobre Variedades: Vetores

Considere duas variedades, M e N , m- e n-dimensionais respectivamente, e
um mapeamento f : M ! N . Atravs de f , um ponto p pertencente carta
(U; ) de M levado a f (p), que pertence a (V; ) em N . As imagens de p e
f (p) em Rm e Rn tambm so relacionadas pelo mapeamento F : Rm ! Rn
dado por (veja a gura 5)
1
F = f .

10
 Mapa associado a f , conectando Rm e Rn .

Chamando as coordenadas de p em M de x e as coordenadas de f (p) em

N de y , claro que y = F (x), onde, como usual, estamos designando
por x a n-upla (x1 ; :::; xm ). Muitas vezes, quando a coordenatizao estiver
clara, escreveremos y = f (x), o que constitui um abuso de linguagem mas
uma simplicao na notao. Diremos que o mapeamento f diferencivel
de classe C 1 (ou suave) se F o for. Se, alm disso, ele for inversvel e sua
inversa tambm for suave, f ser chamado de difeomorsmo e M ser dito
difeomorfo a N e vice-versa. claro que as dimenses de M e N devero ser
as mesmas, neste caso.
H vrios tipos de mapeamentos suaves importantes, em se tratando de
variedades. Uma curva aberta numa variedade M um mapeamento suave
: (a; b) ! M , onde supomos que a < 0 < b, por convenincia. Uma curva
fechada um mapeamento suave de S 1 em M . Uma funo f sobre M um
mapeamento suave de M em R. Vamos denotar o espao de todas as funes
sobre M por M. Um conjunto muito importante de funes o das funes
coordenadas, denidas como : M ! R da seguinte maneira: (p) =
P (p) = x , onde P a aplicao de Rm ! R que associa ao ponto
(x1 ; :::; xm ) a -sima coordenada do ponto p, x . Quando no for necessrio
especicar a coordenatizao, iremos denot-las por x (p) diretamente.

11
 Podemos, agora, denir um vetor tangente X a uma curva num ponto
p de M : supondo que (0) = p, vamos denir o vetor tangente como uma
aplicao de M em R, dada por

df ( (t))
X [f ] = .
dt t=0

A interpretao geomtrica ca clara quando usamos uma coordenatizao

(observe que a denio acima no faz uso de nenhuma!). Considere o trecho
da curva (t) sob considerao (aquele na vizinhana de p) como estando
dentro de uma carta (U; ). Podemos ver que
1
f ( (t)) = f (t)
= F ( ( (t)))
= F x1 (t) ; :::; xm (t) .

Dessa forma, vemos que a funo f tem uma anloga F que imita, na im-
agem da curva em Rm , (x1 (t) ; :::; xm (t)), tudo o que ela faz. Prosseguindo
no clculo,

dF (x1 (t) ; :::; xm (t)) X

m
dx @F (x )
X [f ] = =
dt t=0 =1
dt @x t=0

dx @F (x )
:= ,
dt @x t=0

onde estamos empregando a notao de Einstein, segundo a qual, ndices

repetidos implicam em somas. Vamos identicar cada pedao da expresso
acima: @F (x ) =@x representa o gradiente da funo escalar F : Rm ! R,
induzida por f . Este termo independente da curva (t), podendo ser
substitudo por @F (x ) =@x , contanto que (0) = (0). Mantida esta
restrio, podemos ento escrever @F (x) =@x . O conjunto de quantidades
dx =dt representa as componentes do vetor tangente curva induzida em
Rm pela curva (t) (vamos chamar esta curva de c (t) = (t)). Com isso,
vemos que a expresso
dx @F
dt @x
representa o produto escalar, em Rm , entre o vetor tangente a c (t) e o
gradiente da funo escalar F . Assim, X [f ] tem a interpretao (em Rm )

12
de derivada direcional de F ao longo da tangente a c em (p). claro que
a derivada direcional completamente caracterizada pelas m quantidades
dx
.
dt
Conseguimos, assim, trabalhando com quantidades induzidas em Rm , asso-
ciar um vetor a uma curva (t) na variedade. claro que existem innitas
curvas passando por p que estaro associadas ao mesmo X. O vetor tangente
, ento, mais apropriadamente associado classe de equivalncia de curvas
que passam por p e tm a mesma derivada direcional (no sentido mencionado
acima). O conjunto de todos os vetores tangentes , claramente, um espao
vetorial, chamado de espao tangente a M em p, e simbolizado por Tp M .
Na denio do vetor tangente, vemos que a funo f no desempenha
nenhum papel na sua caracterizao, da mesma forma que um ponto x em R
no importa para caracterizar uma funo f (x). Para caracterizar comple-
tamente um vetor tangente, precisamos apenas fornecer m nmeros X , que
chamamos de componentes do vetor, sendo o restante das operaes a serem
realizadas, comum a qualquer vetor tangente. Considere agora os vetores
@F
e (f ) = .
@x
Suas componentes so Xe = . claro que qualquer vetor pode ser escrito
de modo nico como combinao linear dos e 2

X (f ) = X e (f ) ,

o que permite que consideremos os e como uma base do espao tangente.

Abstraindo a funo f sobre a qual o vetor est operando, escrevemos

X=X e ,
@
e = .
@x
Nesta notao est implcita uma coordenatizao , que conduz s coorde-
nadas x . E se mudarmos de coordenatizao? Suponha que o ponto p em
2
Para uma outra demonstrao deste fato, veja o captulo 1 de Isham.

13
questo est em uma regio de interseo de duas cartas, uma com coordena-
tizao e outra com (que conduz a coordenadas y ). Vemos que o vetor
tangente curva em p pode ser escrito da mesma forma como
dx @F (x )
X (f ) = X e (f ) =
dt @x t=0
dy @ F (y )
=X e = ,
dt @y t=0
1 1
onde y (t) = P (t) e F = f . Inserindo ,
1
y (t) = P (t)
= (x (t)) ,
1
onde denimos y = P , como a -sima componente da funo de
1
transio . Alm disso,
1
x (t) = P (t)
= (y (t)) .
Estas duas relaes nos dizem que podemos considerar y como funo de x
e vice-versa, graas ao fato de que a funo de transio um difeomorsmo.
Obtemos, tambm, a relao entre F e F :
1
F (y ) = f (p)
1
=f (p)
= F (x ) .
Assim,
@ F (y ) @x @F (x )
e (f ) = =
@y @y @x
@x
= e (f )
@y
e
dy @y dx
X = =
dt @x dt
@y
= X .
@x

14
Vemos que as componentes e os vetores da base transformam-se inversamente
uns aos outros, de modo que a expresso do vetor que independente da
coordenatizao. A matriz Jacobiana da transformao denida como
@x
J = .
@y
Devido ao fato de as componentes de um vetor tangente transformarem-se
atravs da inversa da matriz Jacobiana, chamamos estas componentes de
contravariantes.
No que se segue, quando estiverem claras as coordenadas em jogo, usare-
mos freqentemente a notao @=@x @ e apenas em caso de ambigidade
voltaremos a mencionar a funo f sobre a qual atua o vetor X.

1.5 Exerccios
1. Mostre que a funo f : R ! R, dada por

x+1 x 0
f (x) = ,
x + 12 x>0

descontnua no ponto x = 0, levando em considerao a topologia

usual em R, qual seja, a de que qualquer intervalo aberto (a; b) um
conjunto aberto (os abertos seriam os intervalos e todas as suas unies).
Investigue a mesma questo dotando R primeiramente da topologia
trivial e depois da discreta.

2. Mostre que, se uma funo f : M ! N diferencivel em dois dados

sistemas de coordenadas em M e N , ela o em todos os outros.

3. Considere M e N como variedades diferenciveis. Mostre que M N

uma variedade diferencivel. Dada uma curva (t) em M e outra (t)
em N , com (0) = p e (0) = q, monte a curva correspondente em
M N e calcule o vetor tangente a ela em (p; q), exibindo explicitamente
as suas componentes numa base adequada.

1.6 Referncias
1. E. Lages Lima, Elementos de Topologia Geral, Ao Livro Tcnico, 1970,
Rio de Janeiro (captulos 1 a 3).

15
2. C. J. Isham, Modern Dierential Geometry for Physicists, World Sci-
entic, 1989, Cingapura (captulo 1).

3. M. Nakahara, Geometry, Topology and Physics, IOP, 1990, Bristol (ca-

ptulo 5).

4. C. Nash e S. Sen, Topology and Geometry for Physicists, Academic

Press, 1983, Londres (captulo 2).

5. S. W. Hawking e G. F. R. Ellis, The Large Scale Structure Of Space-

Time, Cambridge University Press, 1984, Inglaterra (captulo 2).

16