Documentos de Académico
Documentos de Profesional
Documentos de Cultura
ANLISE E TOPOLOGIA
EM VARIEDADES
Armando Machado
UNIVERSIDADE DE LISBOA
Faculdade de Cincias
Departamento de Matemtica
1997
ii
Introduo v
Captulo I. Medida e Integrao em Variedades 1
1. Medida de Lebesgue sobre os espaos euclidianos 1
2. Medida de Lebesgue sobre as variedades 6
3. Teoremas de Fubini e da mudana de variveis 13
4. Coordenadas polares generalizadas e medidas das esferas 18
5. Teorema de Sard 21
Exerccios 27
Captulo II. Tpicos de lgebra Multilinear 37
1. Relaes entre espaos vectoriais reais e complexos 37
2. Espaos de aplicaes multilineares 39
3. Grupo simtrico e sinal de uma permutao 45
4. Aplicaes multilineares alternadas. O determinante 48
5. Produto exterior 57
6. Produto interior 64
7. Orientao de espaos vectoriais reais 67
8. Elemento de volume e operadores 79
Exerccios 88
Captulo III. Formas Diferenciais e Teorema de Stokes 99
1. Campos tensoriais e formas diferenciais 99
2. Derivada exterior duma forma diferencial 107
3. Derivada de Lie duma forma diferencial 120
4. Integral duma forma diferencial 130
5. Teorema de Stokes 133
6. Verses clssicas do teorema de Stokes 140
7. Operador prismtico e lema de Poincar 143
8. Aplicao demonstrao de resultados topolgicos 149
9. Teorema de Stokes singular. ngulo slido orientado 156
Exerccios 170
Captulo IV. Introduo cohomologia de de Rham 195
1. Cohomologia de de Rham 195
2. Produtos e somas de complexos de cocadeias 202
3. Sucesso exacta de Mayer-Vietoris 213
4. Cohomologia com suporte compacto 225
5. Dualidade de Poincar 234
6. Aplicao demonstrao de resultados topolgicos 251
7. Invarincia topolgica da cohomologia 261
Exerccios 268
iv ndice
Este texto teve a sua origem num curso semestral de Anlise em Variedades
destinado aos estudantes do ltimo ano da licenciatura em Matemtica da Facul-
dade de Cincias da Universidade de Lisboa. Uma verso anterior foi publicada
nos Textos e Notas do CMAF em dois volumes h cerca de vinte anos ([13])
mas sucessivas mudanas na organizao do curso e na sensibilidade do autor
conduziram necessidade de uma reformulao de quase todos os assuntos.
De certo modo, o texto constitui uma sequncia do livro [10], do qual retoma
as notaes e a filosofia: As variedades estudadas so sempre variedades
concretas, ou seja, subvariedades de um certo espao vectorial de dimenso
finita. Como ento, a razo por que nos limitamos ao estudo destas est no
desejo de chegarmos to depressa quanto possvel aos resultados interessantes,
sem perder tempo com definies e resultados que, apesar de triviais, demoram a
explicar e so, por vezes, frustrantes. Temos ainda em conta que este texto se
destina tambm a estudantes cuja rea principal de interesse no a Geometria e
que poderiam ser desencorajados por um tratamento desde o incio demasiado
abstracto; o ponto de vista que, para estes, queremos sublinhar o de que a
Geometria pode ser olhada, em parte, como o estudo da Anlise no quadro dos
conjuntos no abertos.
claro que um estudante no deve terminar a licenciatura em Matemtica,
especialmente se os seus interesses se centrarem na rea da Geometria, sem
saber o que uma variedade abstracta, quais os exemplos fundamentais desta
importante estrutura e como, no quadro destas, se generaliza a Geometria
Clssica; trata-se de uma noo fundamental em muitos ramos da Matemtica
contempornea, que impossvel ignorar. Se verdade que, na estrutura actual
da licenciatura em Matemtica sem dvida na disciplina em que este curso se
baseia que essa noo deve ser abordada, pensamos que isso pode ser feito de
forma paralela ao desenvolvimento fundamental do curso, dando em cada caso
indicaes sumrias sobre o modo como as noes apresentadas no quadro
concreto podem ser adaptadas ao quadro abstracto. De qualquer modo, somos de
opinio que a abordagem, mesmo que resumida, do conceito de variedade
abstracta iria prejudicar a coerncia interna deste texto, pelo que preferimos
apresent-la noutro lugar.
No primeiro captulo abordamos o estudo da medida de Lebesgue sobre as
variedades contidas num espao euclidiano. Colocamo-nos, para isso, no quadro
da integrao em espaos de medida abstracta, tal como pode ser encontrada, por
exemplo, nos livros de Rudin [16] ou Lang [9] ou no texto [11] do autor.
Supomos, em particular, conhecida a medida de Lebesgue nos borelianos de 8 ,
incluindo a frmula de integrao por mudana de variveis, e passamos da,
primeiro, de forma trivial, para os borelianos de um espao euclidiano
vi Introduo
.0 E ( 0 B . .B.
E
( 1B . .0 B ( 1B0 B . .B,
\ \
uma frmula idntica sendo vlida, no caso em que a funo 0 toma valores
em ! _ e a funo 1 integrvel e toma valores em ou, mais
geralmente, num espao vectorial I de dimenso finita.
I.1.2 (Teorema trivial de mudana de variveis) Sejam \ e \s espaos topol-
gicos e . e .s medidas definidas nos borelianos de \ e de \s , respectiva-
mente. Seja : \ \ s um homeomorfismo compatvel com as medidas, no
sentido que, para cada boreliano E \ , se tenha .s:E .E. Para
s ! _, tem-se ento
cada funo mensurvel 1 \
( 1C . .
sC ( 1:B . .B,
s
\ \
.8 :E ( -H:B . .8 B.
E
( 1C . .8 C ( 1:B-H:B . .8 B,
Z Y
Repare-se que I.1.5 se pode deduzir muito facilmente a partir de I.1.4, por
utilizao dos resultados I.1.1 e I.1.2 enunciados atrs. Com efeito,
podemos definir uma medida .w nos borelianos de Y , pondo
.w E .8 :E, tendo-se ento que : Y Z automaticamente um
homeomorfismo compatvel, quando se considera em Y a medida .w e em
Z a medida .8 . Resulta ento de I.1.4 que .w tambm a medida definida
raciocnio deste tipo vai ser repetido em vrias situaes ao longo deste
captulo.
Seja I um espao vectorial de dimenso 8. Sabemos que I tem uma
topologia cannica, a saber, a associada a qualquer das suas normas, pelo
que faz sentido falar dos borelianos de I . Alm disso, se 0 I 8 um
isomorfismo, ento 0 tambm um homeomorfismo, pelo que um
conjunto E I boreliano se, e s se, 0E um boreliano de 8 . Uma
1. Medida de Lebesgue sobre os espaos euclidianos 3
como queramos.
1. Medida de Lebesgue sobre os espaos euclidianos 5
seJ
I.1.13 Sejam os espaos euclidianos I , J , I s , e os isomorfismos ! I I
s
s s
e " J J . Considerando ento o isomorfismo ! " I J I J ,s
tem-se -!" -! -" .
Dem: Sejam E I e F J borelianos de medida finita e no nula. Tem-se
ento
-!" .I E.J F -!" .IJ E F .IJ
s s ! " E F
.IJ
s s !E " F .I
s !E.J
s " F -! -" .I E.J F.
.8 :E ( -H:B . .8 B,
E
( 1C . .8 C ( 1:B-H:B . .8 B,
] \
finita.
Dem: Tal como nas observaes que foram feitas a seguir a I.1.5,
consideramos a medida .w , sobre os borelianos de \ , definida por
.w E .8 :E, tendo-se ento que o difeomorfismo : , por definio,
compatvel, quando se considera em \ a medida .w e em ] a medida .8 .
Resulta de I.2.3 que .w tambm a medida definida pela funo mensurvel
: Z Y e : s Y
s Z s . Sendo ento F :" E e F
s: s" E, tem-se
2. Medida de Lebesgue sobre as variedades 9
( -H:B . .7 B ( -H:sB . .7 B,
F s
F
( ;Fs : "
:
sB-H::" :sB -H:" :sB . .7 B
s
Z
( -H:sB . .7 B.
s
F
.Q E ( -H:B . .7 B,
F
8
Suponhamos que o boreliano E de Q se decompe de duas maneiras
distintas como unio numervel de borelianos pequenos disjuntos dois a dois:
E E8 F5 . Tem-se ento que cada E8 a unio em 5 dos E8 F5 ,
8 5
que so disjuntos dois a dois, e cada F5 a unio em 8 dos E8 F5 , que so
disjuntos dois a dois, pelo que, tendo em conta o lema anterior,
2. Medida de Lebesgue sobre as variedades 11
8
lianos pequenos disjuntos dois a dois e de unio E. claro que, se o
boreliano E fosse pequeno, a definio de .Q E coincide com a j
conhecida, visto que se pode considerar a decomposio em que um dos E8
E e os restantes so vazios. tambm fcil constatar que a aplicao .Q ,
assim definida no conjunto de todos os borelianos de E, uma medida.
I.2.12 Sejam I um espao euclidiano e Q I uma variedade de dimenso !,
isto , um subconjunto de I cuja topologia induzida a topologia discreta.
Tem-se ento que todos os subconjuntos E Q so abertos em Q , em
particular borelianos, e um tal boreliano pequeno se, e s se, ele vazio ou
constitudo por um nico elemento. claro que, uma vez que o coeficiente
de dilatao de um isomorfismos entre espaos vectoriais de dimenso !
sempre igual a ", vem .Q g ! e .Q + ", pelo que podemos
concluir que a medida de Lebesgue .Q nos borelianos de Q a medida de
contagem, isto , que .Q E o nmero de elementos de E, se este finito,
e que .Q E _, se E infinito. Conclumos, ao mesmo tempo, tendo
em conta a alnea a) do resultado anterior, que toda a variedade de dimenso
!, Q I , finita ou numervel, o que podia evidentemente ser tambm
demonstrado de modo directo.
I.2.13 Sejam I um espao euclidiano e Q I uma variedade de dimenso 7.
Seja Qs Q outra variedade com a mesma dimenso. Para cada boreliano
EQ s , tem-se ento . s E .Q E.
Q
Dem: Para cada + Q s , podemos considerar um aberto Y de Q , com
+ Y , um boreliano Z de 7 e um difeomorfismo : Z Y . Tem-se
ento que Y Q s um aberto de Q s , contendo +, e a restrio de : vai ser
"
um difeomorfismo do boreliano : Y Q s , de 7 , sobre Y Qs . Resulta
daqui, e da frmula de I.2.8, que, para cada boreliano E Y Q s , que
automaticamente pequeno, tanto para Q como para Q s , tem-se
.Q E .Qs E. A assero do enunciado agora uma consequncia do
lema I.2.1.
I.2.14 Dados o espao euclidiano I e a variedade de dimenso 7, Q I ,
nota-se simplesmente .Q a medida de Lebesgue .Q Q , da variedade
Q , considerada como boreliano nela mesma. Repare-se que, tendo em conta
o resultado anterior, tem-se tambm .Q .Qs Q , qualquer que seja a
variedade Qs I com a mesma dimenso e contendo Q .
12 Cap. I. Medida e Integrao em Variedades
.Q \ Y ( -H:B . .7 B !.
]
.Q Y .Q Y w ( -H:B . .7 B !.
Zw
.Q Y ( -H:B . .7 B V .7 Z _.
Z
.Q O " .Q Y+ _.
+N
s (
.Q Qs E E -H::sBC . .78 B C
s
FF
( -H:B ( -H:sC . .8 C . .7 B
F s
F
( -H:B .Qs E
s . .7 B .Q E . s E
Q
s .
F
Para terminar a demonstrao, tudo o que temos que ver que a igualdade
s, e no apenas para
anterior vlida para borelianos arbitrrios E e E
3. Teoremas de Fubini e da mudana de variveis 15
s ".
.Q Qs E E s E4 E5 " .Q E4 .Q
s s
s E4
Q Q
45 45
( 1C . .Q C ( 1:B-H:B . .7 B.
Y Z
w
Dem: Consideremos a medida . , definida nos borelianos de Z , por
.w F .Q :F. Por definio, vem que o difeomorfismo : Z Y
compatvel com as medidas, quando se considera em Z a medida .w e em Y
' 1:B . .w B.
uma consequncia de que, por I.1.1 e I.1.2, ambos os membros so iguais a
Z
.Qs :E ( -H:B . .Q B,
E
( -H:!BH!B . .7 B ( -H:!B . .7 B
F F
.Qs : !F .Qs :E.
( 1C . .Qs C ( 1:B-H:B . .Q B,
s
Q Q
' 1:B . .w B.
ento que ambos os membros da igualdade do enunciado vo ser iguais a
Q
3. Teoremas de Fubini e da mudana de variveis 17
( 1C . .Qs C ( 1:B . .Q B,
s
Q Q
: ! _ W I !, :< B <B,
cujo inverso est definido por
C
:" C mCm .
mCm
Alm disso, para cada < B ! _ W , tem-se, para o coeficiente de
dilatao,
-H:<B <7" .
58
.I F .
8"
Dem: Considerando o difeomorfismo : ]0,_[ S E {0}, que define
as coordenadas polares generalizadas, tem-se B {0} :(]0,1] S), pelo
que, tendo em conta o facto de se ter .I ! !, por ! ser uma
variedade de dimenso inferior de I , e aplicando o teorema de Fubini e a
frmula de integrao por mudana de variveis, obtemos
( ( >8 . .W B .> (
" "
58
58 >8 .> .
! W ! 8"
Vamos agora estabelecer uma frmula que nos permite calcular recursi-
vamente as constantes 58 . Uma vez que essa frmula vai dar 58# a partir
de 58 , comeamos por determinar 5! e 5" , obtendo resultados que no
espantaro ningum
5# .W :! #1 (
#1
" .> #1.
!
vazio, se B F" , e igual a F<w , com < " mBm# , se B F" , caso em
tivamente. Uma vez que, para cada B I , o conjunto C J B C F"ww
5. Teorema de Sard.
s para
A importncia dos valores regulares que eles so os pontos C Q
os quais se pode garantir que a imagem recproca 0 " C uma
subvariedade, eventualmente vazia, de Q . O teorema de Sard, de que nos
ocupamos nesta seco, vai garantir a existncia de muitos valores
regulares, provando mesmo que o conjunto dos valores crticos de
medida nula. Repare-se que, no caso em que 7 8, todos os pontos de
Q so crticos, pelo que os valores regulares de 0 so simplesmente
aqueles que no pertencem a 0 Q .
posta
H: s" 0Y :+, J
s0 :+, H0:+, H:+, H: s K J
s
vai ser uma aplicao linear sobrejectiva. Conclumos assim que Y est
contido no conjunto dos pontos regulares de 0 , o que mostra que este
conjunto aberto em Q e portanto que G fechado em Q . Em particular, G
localmente fechado pelo que, pelo lema anterior, 0 G um boreliano de
Qs .
que vai ser assim uma variedade de dimenso 7 ". Suponhamos que
C C" C4" , C4" C8 um valor crtico de 0Z Z 8 ; vemos
ento que, existe B Q, tal que 0 B C e H0B 7 8 e portanto, uma
vez que H0B 7 contm o vector H0B A, que no pertence ao hiperplano
4" ! 84 de 8 , H0B 7 no vai conter esse hiperplano, que no
mais do que XC 4" , 84 ; C portanto tambm um valor crtico
da aplicao suave
0Q, Q, 4" , 84 ;
.8 0 G Z ( .8" H, ., !,
Uma vez que, para cada B Z , H1B A" !, vemos que o conjunto
Q B Z 1B ! uma variedade de dimenso 7 ". Mais uma
vez pela hiptese de induo, o conjunto dos valores crticos de
0Q Q 8 tem medida nula. Mas, para cada B Z G: G:" , vem
H: 0B !, em particular 1B !, donde B Q , e o facto de se ter
H0B ! implica que B um ponto crtico de 0Q e portanto 0 B um valor
crtico desta aplicao. Vemos portanto que .8 0 Z G: G:" !
pelo que, mais uma vez pelo lema anterior, 0 G: G:" tem medida nula.
g) Vamos utilizar nesta alnea as normas do mximo de 7 e 8 como
normas de trabalho, reparando que, se B B" B7 7 e < !, a
bola fechada F < B no mais do que o produto de intervalos #
7
4"
B4 < B4 <.
Seja B! B! " B ! 7 G_ arbitrrio e fixemos < ! tal que
F < B! Y . Mostremos, por induo em :, a existncia, para cada : !,
de um nmero real V: ! tal que, sempre que B F < B! G_ e
C F < B! , se tenha
m0 C 0 Bm V: mC Bm: .2
2Estademonstrao por induo podia ser substituda por uma aplicao da frmula de
Taylor numa verso conveniente.
26 Cap. I. Medida e Integrao em Variedades
#< : 8
.8 0 F <R B! #V:
R
(atender, mais uma vez, caracterizao das bolas de 8 como produtos de
intervalos). Somando as desigualdades anteriores, para os ndices ! tais que
F <R B! G_ no vazio, conclumos que
#< : 8
.8 0 F < B! G_ R 7 #V: #V: #<: 8 R 7:8 .
R
Fixando : tal que 7 :8 !, o segundo membro da desigualdade anterior
converge para ! quando R converge para _, pelo que, passando ao limite
essa desigualdade, conclumos que .8 0 F < B! G_ !, donde
tambm, para a bola aberta, .8 0 F< B! G_ !. Aplicando o lema
anterior, conclumos agora que 0 G_ tem medida nula.
h) Tal como observmos em d), o que vimos nas trs ltimas alneas mostra
que o teorema de Sard, com Q de dimenso 7, est demonstrado no caso
particular em que Q um aberto de 7 e Q s 8 . Passemos, por fim,
demonstrao no caso geral. Seja B! G arbitrrio. Sejam Z s um aberto de
Qs , com 0 B! Z
s, Y
s um aberto de 8 e < Z s Y s um difeomorfismo.
Sejam Z um aberto de Q , com B! Z , Y um aberto de 7 e : Y Z um
5. Teorema de Sard 27
EXERCCIOS
que Q ento uma variedade de dimenso " e que .Q 'N m0 w >m .>.
valo com mais que um elemento, e 0 N Q um difeomorfismo. Mostrar
.K ( "
`0 `0
B# B# . .7 B" B7 .
Q `B " `B 7
.I \ (
_
.W> W> \ .>,
!
onde, para cada < !, W< a hipersuperfcie esfrica de centro ! e raio <
(variedade de dimenso 7 ").
Ex I.8 Sejam I um espao euclidiano e G I um cone boreliano. Define-se
ento o ngulo slido de G (ou simplesmente ngulo, se I tem dimenso #)
como sendo o nmero real maior ou igual a !
Exerccios 29
+81G .W W G,
onde W a hipersuperfcie esfrica de centro ! e raio " de I . Suponhamos
agora que I tem dimenso #, e sejam B e C dois vectores linearmente inde-
pendentes de I . Seja G o conjunto dos vectores =B >C , com
= > ! _. Mostrar que G um cone boreliano, que ! +81G 1 e
que
B C
cos+81G .
mBmmCm
( / .B 1,
#
B
# # # #
tendo em conta a identidade /B C /B /C e calculando o integral
desta funo em # de dois modos distintos, utilizando, por um lado, o
teorema de Fubini e, por outro lado, coordenadas polares (eventualmente
30 Cap. I. Medida e Integrao em Variedades
( B . .Q B
"
,+<Q
.Q Q
(reparar que se trata de um integral de uma funo vectorial).
a) Mostrar que a definio anterior no apresenta problemas, isto , que
.Q finito e no nulo e que a funo integranda efectivamente
integrvel;
b) Mostrar que, se + I , ento ,+<+ Q + ,+<Q
(comportamento do baricentro com as translaes);
c) Mostrar que, se 0 I I um isomorfismo ortogonal ou uma homotetia,
ento ,+<0Q 0,+<Q ;
d) Mostrar que, se 0 I I um isomorfismo arbitrrio, e se 7 8, ento
,+<0Q 0,+<Q ;
e) No caso em que a variedade Q tem um certo grau de simetria, pode-se,
em geral, garantir a priori que o baricentro de Q se localiza num certo
subconjunto de I . Assim, por exemplo, ningum ter a mnima dvida em
prever que o baricentro de um tringulo issceles se encontra sobre a
mediatriz da base e que o baricentro de um crculo ou de um quadrado se
encontra no respectivo centro. Dar uma definio conveniente de elemento
de simetria de uma variedade Q I , de modo a poder garantir que, se uma
variedade Q possui um tal elemento de simetria, ento o seu baricentro
pertence a esse elemento de simetria. No sentido de simplificar, limitar a
definio ao caso em que o elemento de simetria um subespao vectorial de
I, o caso geral, em que ele pode ser um subespao afim, reduzindo-se a este,
tendo em conta o comportamento do baricentro com as translaes.
Ex I.12 Seja E ! _ uma variedade de dimenso 8 (onde 8 pode ser
!, " ou #). Seja F $ o conjunto de revoluo definido por E:
F B C D B# C# D E
(uma superfcie de revoluo, se 8 ", um slido de revoluo se 8 #).
Exerccios 31
Figura 1
Mostrar que, sendo W a circunferncia de centro ! e raio " de # , F uma
variedade de dimenso 8 ", difeomorfa a W E, e que
.F #1( B . .E B C
E
0 8 W 8 ! _,
definida por
Figura 2
(aplicao inversa da projeco central). Mostrar que 0 um difeomorfismo
e calcule o coeficiente de dilatao -H0 B (Sugesto: Exerccio I.4). Utilizar
este resultado para mostrar que se tem, para cada 8 ",
58 58" (
_
#>8"
" ># 8"
.>.
!
Figura 3
Mostrar que 0 um difeomorfismo, e utilizar o difeomorfismo inverso para
provar que
58 (
#8
.C.
8 " mCm# 8
Utilizando coordenadas esfricas generalizadas para calcular o integral ante-
rior, obter a seguinte frmula de recorrncia:
58 58" (
_
#8 >8"
.>.
! " ># 8
b) Utilizar a alnea anterior para mostrar que, para cada 8 ", tem lugar a
34 Cap. I. Medida e Integrao em Variedades
58 58" (
1
#
cos>8" .>.
1#
1C ( 0 B C . .Q B,
Q
s e A XC Q
e que, para cada C Q s , tem-se
H1C A ( H# 0BC A . .Q B.
Q
3Para quem no tenha medo de raciocinar com o conjunto vazio, este resultado tambm
verdadeiro, e trivial, no caso em que : !. Comparar com as observaes feitas em
II.2.1, a propsito de P! I J .
42 Cap. II. Tpicos de lgebra Multilinear
Tem-se ento que a famlia das aplicaes lineares 04" 4: uma base do
espao vectorial P: I w , sobre w (dita base associada s bases de
partida), e, para cada 0 P: I w , tem-se
B " 04 B B4 .
4Como anteriormente, e desde que olhemos as coisas com suficiente cuidado, este
resultado tambm vlido, e trivial, para : !. A base correspondente de
P! I w w simplesmente constituda pelo nico elemento " w .
2. Espaos de aplicaes multilineares 43
II.2.7. Seja I um espao vectorial sobre . Existe ento uma aplicao linear
injectiva " I PPI , de I no seu bidual, definida por
" B0 0B,
aplicao essa que um isomorfismo, no caso em que I tem dimenso finita.
Dem: imediato que " uma aplicao linear. Para vermos que "
injectiva, basta vermos que, dado B ! em I , existe 0 PI tal que
0B !, o que uma consequncia de II.2.4, visto que podemos considerar
uma base de I tendo B como um dos seus elementos e tomar para 0 a
aplicao linear definida pela condio de aplicar B em " e os restantes
elementos da base em !. Por fim, no caso em que I tem dimenso finita 7,
resulta do que vimos atrs que PPI tem tambm dimenso 7,
pelo que a aplicao linear injectiva " tem que ser um isomorfismo.
II.2.8. Sejam I um espao vectorial sobre , w e : ! e ; ! dois
inteiros. Existe ento uma aplicao bilinear, entre espaos vectoriais
sobre w ,
P: I w P; I w P:; I w ,
que a cada par 0 ( de aplicaes multilineares 0 I : w e ( I ; w ,
associa a aplicao multilinear 0 ( I :; w , definida por
0 (A" A:; 0A" A: (A:" A:; .
II.2.12. No caso em que o espao vectorial I tem dimenso finita e est munido
de uma base B4 4N , imediato constatar que os elementos 04" 4: da base
associada de P: I w esto tambm definidos por
04" 4: 04" 04: .
a) 4 5 " 7# 4 5 e 5 4 5 5;
b) 4 5 7 " 7 8# 4 5 e 5 4 5 5;
c) 45 " 7 7 " 7 8 5 4 5 5.
Os nmeros de elementos do primeiro e do segundo conjuntos so, respecti-
vamente, inv5/"7 e inv5/7"78 . Ficamos portanto reduzidos a
provar que " elevado ao nmero de elementos do terceiro conjunto igual
a sg5 " 5 7. Escrevamos, para isso,
5 " 5 7 5 3" 5 37 ,
com 5 3" 5 37 . Constatamos ento que o nmero de pares 4 5
em c) com 4 3" 5 3" " (correspondentes aos 5 tais que 5 5 est entre
" e 5 3" , excluindo este), o nmero de pares com 4 3# 5 3# #
(correspondentes aos 5 tais que 5 5 est entre " e 5 3# , excluindo 5 3" e
53# ), e assim sucessivamente, pelo que o nmero de elementos do conjunto
em questo igual a 5 3" " 5 3# # 5 37 7 e "
elevado a este nmero de elementos , por II.3.8, igual a
sg5 " 5 7.
s P: I J P: I J
II.4.2. Sendo M. : a permutao idntica, ento M.
a aplicao idntica. Sendo 5 3 : duas permutaes, tem-se que
5 3s 5 3 P: I J P: I J .
s s
Em consequncia, tem-se 5 " s 5 s " .
Dem: A primeira afirmao trivial e a terceira uma consequncia das
duas primeiras. Quanto segunda, dados A" A: em I , podemos notar,
para cada " 4 :, C4 A54 , e obtemos
5 30A" A: s
ss 30A5" A5: s30C" C:
0C3" C3: 0A53" A53:
5 3s 0A" A: .
4. Aplicaes multilineares alternadas. O determinante 49
" sg5 5
"
Alt0 s 0.
:x 5
:
e, do mesmo modo,
De modo anlogo se pode mostrar que tem lugar uma aplicao linear
Sym P: I J W : I J ,
Sym5
s 0 5
s Sym0 Sym0.
Tem-se ento 0 (.
Dem: Considerando a aplicao multilinear alternada 0 (, vemos que basta
demonstrar que, se 0 E: I J tal que, quaisquer que sejam
4" 4: em " 7, se tenha 0B4" B4: !, ento 0 !.
Considerando um tal 0, sabemos, por II.2.4, que, para ver que 0 !, basta
ver que, quaisquer que sejam 4" 4: em " 7, se tem
0B4" B4: !. Ora, se os elementos 4! no forem todos distintos, isso
uma consequncia de II.4.6 e, se eles forem distintos, podemos escrever
4" 4: 5" 5: , com 5" 5: , existindo ento uma permu-
tao 5 : tal que 4! 55! , o que implica que
0B4" B4: sg5 0B5" B5: !
ento 0 (.
Tem-se ento:
a) Dados 4" 4: e 5" 5: em " 7,
04" 4: B5" B5: $4" 5" $4: 5: ;
uma vez que, por as sucesses 4" 4: e 5" 5: serem estritamente cres-
centes, no somatrio anterior s a parcela correspondente permutao
5 M. pode ser eventualmente no nula e que, mesmo essa, s no nula no
caso em que cada 43 53 , caso em que ela igual a ". Aplicando o lema
anterior, vemos agora que cada 0 E: I w combinao linear dos
04" 4: , com os coeficientes definidos no enunciado, visto que ambos os
membros da igualdade respectiva so elementos de E: I w , que do o
mesmo valor quando aplicados a cada B5" B5: , com 5" 5: . A
unicidade de uma tal combinao linear estabelece-se do mesmo modo, pelo
que conclumos b). Por fim, c) resulta de que o nmero de sucesses
estritamente crescentes de elementos de " 7 igual ao nmero de
combinaes de 7 elementos, tomados : a :.
5
("7 os elementos das bases associadas de E7 I , tem-se
0"7 det+54 ("7 .
5
Tem-se ento det- det+54 .
Dem: Aplicando II.4.11 e II.4.15, obtemos
det-0"7 - 0"7 - 0"7 B" B7 0"7
0"7 -B" -B7 0"7
det+54 0"7 B" B7 0"7
det+54 0"7 ,
donde o resultado.
56 Cap. II. Tpicos de lgebra Multilinear
pelo que
- 0 - 0B" B:; 0 0-B" -B:; 0
det-J det-K 0,
donde o resultado.
5. Produto exterior.
" sg5 w
"
5 / (C5w " 5 / " C5w " 5 / ;
5 w
;x Alt(C" C; !,
que a fizmos foi mostrar que o resultado era vlido para 3 factores, a partir
do facto de ele ser vlido para 2 factores).
II.5.8. Um caso particular importante da frmula anterior aquele em que todos
os :4 so ". Dado portanto, para cada " 4 8, 04 E" I w , obtemos a
seguinte frmula para o tensor alternado 0" 08 E8 I w :
0" 08 8x Alt0" 08 .
6. Produto interior.
5
se 5 4.
se 5 4
5 w 5
5 5 " se 5 4
.
5 5 " " se 5 4
donde
como queramos.
II.6.4. Em particular, se 0 E: I J , com : ", e se B I , tem-se
intB 0 E:" I J .
66 Cap. II. Tpicos de lgebra Multilinear
Dem: Embora este resultado tenha uma demonstrao directa trivial, ele
tambm uma consequncia do resultado anterior, visto que, uma vez que 0
alternado, tem-se Alt0 0 e s7 4 0 "4" 0.
II.6.5. (Lema) Sejam I um espao vectorial sobre e w . Dados
0 P: I w , ( P; I w e B I , tem-se ento:
a) Se " 4 :,
intB s7 4 0 ( intB s7 4 0 (;
b) Se : " 4 : ; ,
intB s7 4 0 ( 0 intB s7 4: (.
(na passagem da terceira para a quarta linha, pensar talvez em pr C" B" e,
para # 5 ; , C5 B:5 ).
II.6.6. (Resultado fundamental) Sejam I um espao vectorial sobre e
w . Se 0 E: I w e ( E; I w , com : ; ", ento
intB 0 ( intB 0 ( ": 0 intB (.
6. Produto interior 67
5
det+54 !; caso contrrio, isto , se se tiver det+54 !, dizemos
que elas esto negativamente relacionadas.9
9A razo porque s faz sentido apresentar esta noo para os espaos vectoriais reais est
em que, no caso dos espaos vectoriais complexos, o determinante da matriz de mudana
de base ser, em geral, um nmero complexo, no fazendo portanto sentido pedir que ele
68 Cap. II. Tpicos de lgebra Multilinear
seja positivo ou negativo. Repare-se tambm que, nesta definio, importante a ordem
pela qual consideramos os elementos da base, ordem que est implcita ao considerarmos
as bases indexadas em " 8. No faz sentido falar de bases positiva ou
negativamente relacionadas, quando estas estiverem indexadas em conjuntos arbitrrios.
7. Orientao de espaos vectoriais reais 69
Dem: Fixando uma base C" C8 de I , podemos definir sg- pela condi-
o de ser " -C" -C8 sg- !C" C8 . Para verificarmos a
5 5
Ficou portanto provada a existncia de sg-, nas condies do enunciado. A
unicidade, assim como o facto de sg- vir trocado, se trocarmos uma das
orientaes, de I ou de J , trivial.
II.7.14. Nas condies anteriores, diz-se que sg- o sinal do isomorfismo -,
entre os espaos vectoriais reais de dimenso finita e orientados I e J . Se -
um isomorfismo tal que sg- ", diz-se que - um isomorfismo posi-
tivo, ou que conserva as orientaes. Dos outros isomorfismos, diz-se que
so negativos, ou que invertem as orientaes.
II.7.15. Sejam I , J e K espaos vectoriais reais orientados de dimenso 8 e
- I J e . J K dois isomorfismos. Tem-se ento:
a) O isomorfismo M.I I I conserva as orientaes, isto , sgM.I ".
b) sg. - sg. sg-.
c) sg-" sg-.
Dem: A alnea a) trivial e a alnea c) uma consequncia de a) e b). Para
verificarmos b), basta fixar uma base B" B8 de I e verificar que,
notando !, " e # as orientaes de I , J e K, respectivamente,
sg. - !B" B8 # .-B" .-B8
sg. " -B" -B8 sg. sg- !B" B8 .
de I , podemos escrever
sg- sg0 !B" B8 sg- 0 !B" B8
" - 0B" B8 " 0-B" -B8
sg0 " -B" -B8 sg0 sg- !B" B8 .
seguintes:
a) - I J uma aplicao linear injectiva;
b) . J K uma aplicao linear sobrejectiva;
c) -I ker..
s sucesses exactas deste tipo costuma-se dar o nome de sucesses exactas
curtas.
II.7.21. Como exemplos tpicos de sucesses exactas curtas temos:
a) Se I e J so espaos vectoriais, podemos considerar o produto cartesiano
I J , assim com as projeces cannicas
1" I J I , 1# I J J ,
11A ordenao dos elementos desta base no parece talvez a mais natural, mas a que se
revela mais til nas aplicaes.
7. Orientao de espaos vectoriais reais 75
vemos que (2) vai ser uma consequncia de (1) e destas duas ltimas
frmulas, tendo em conta II.7.2. Vejamos agora que, sendo Bw" B7
w
outra
base de I , tem-se ainda
(3) " C"w C8w -B"w -B7
w
!B"w B7
w
# D"w D8w ,
!Bw" B7
w
det+34 !B" B7 ,
pelo que (3) vai ser uma consequncia de (2) e das duas igualdades
anteriores, tendo mais uma vez em conta II.7.2.
12Mais uma vez, a ordem dos termos nesta sucesso exacta a inversa daquela que
pareceria mais natural, o que se destina a compensar o atropelo ordem natural feito na
definio II.7.23. Esta segunda inverso permite que a caracterizao do sinal das bases
naturais do produto cartesiano seja aquela que seria de esperar. claro que, se tivssemos
usado uma ordem diferente, tanto em II.7.23 como aqui, obteramos o mesmo resultado
de um modo aparentemente mais elegante, mas isso ir-nos-ia criar problemas nas outras
aplicaes da situao geral descrita em II.7.23.
7. Orientao de espaos vectoriais reais 77
do produto I J ,
# B" ! B7 ! ! C" ! C8
!B" B7 " C" C8 .
aberto positivo (resp. negativo), ento uma base B" B8" de J directa
se, e s se, a base B B" B8" de I for directa (resp. retrgrada).
comutativo.
II.7.30. Sob as hipteses de II.7.29, suponhamos que todos os espaos vectoriais
so reais, de dimenso finita e munidos de orientaes e que estas so
compatveis com cada uma das sucesses exactas. Suponhamos ainda que as
aplicaes lineares 3 I I w , 5 J J w e 7 K Kw so isomorfismos13.
Tem-se ento
sg3 sg5 sg7 ".
13Pode-se provar que, se duas delas o forem, a terceira tambm o (cf. o exerccio II.27),
mas isso no nos vai interessar de momento.
7. Orientao de espaos vectoriais reais 79
Z 96I
0"8 , se a base directa
0"8 , se a base retrgrada.
Z 96I "8
( , se a base directa
("8 , se a base retrgrada,
5
8. Elemento de volume e operadores 81
4
ento, sendo .I a medida de Lebesgue nos borelianos de I , Z 96I aplica
B" B8 em .I T , mais precisamente,
Z 96I B" B8 !B" B8 .I T .
pelo que, uma vez que este espao vectorial sobre tem dimenso " e
82 Cap. II. Tpicos de lgebra Multilinear
(cf. II.3.9), pelo que esta composta igual aplicao identidade. Do mesmo
modo se verifica que a composta
":8:
E8: I qqqqqp E: I qqqqqp E8: I
igual aplicao identidade, o que termina a demonstrao de a).
II.8.14. (Corolrio) Nas hipteses do resultado anterior, dados ( E: I e
4" 4: em " 8, vem, notando 4:" 48 os restantes
ndices de " 8,
84 Cap. II. Tpicos de lgebra Multilinear
vemos que
donde
- 0B" B8: sg- 0-B" -B8:
sg- - 0B" B8: .
b) Se 0 E: I , com ! : 8,
intB 0 "8" 0 )B E8:" I .
o que prova a). Quanto a b), podemos aplicar a concluso a que acabamos de
chegar a 0 E8: I e concluir que
":8: intB 0 intB 0 0 )B,
donde, aplicando a ambos os membros,
86 Cap. II. Tpicos de lgebra Multilinear
EXERCCIOS
A5 " +45 B4
8
4"
vectores B" B: ,
! 0B" B3" B3 B3" B3 B3" B3# B: .
! F
E !
! F
E G
-w B -1J B 1K -1K B,
verificar que det- det-w e aplicar II.4.23 a -w .
Ex II.12 Sejam I um espao vectorial complexo de dimenso 8 e - I I
uma aplicao linear. Sabemos que tambm podemos olhar para I como
espao vectorial real de dimenso #8 e ento - I I tambm uma
aplicao linear no sentido real. Notemos det - e det - o determinante
de -, quando se olha para I como espao vectorial complexo, e o determi-
nante de -, quando se olha para I como espao vectorial real15. Verificar
que se tem
det - ldet -l# .
4
E uma matriz do tipo 7 8 e se F uma matriz do tipo 8 7, ento
trE F trF E.
4 4
c) Sejam I e J espaos vectoriais sobre , com dimenses 7 e 8,
respectivamente, e - I J e . J I duas aplicaes lineares. Mostrar
que se tem
tr- . tr. -.
0B 0" B 0: B,
para cada 4, utilizar II.5.10 para mostrar que, quaisquer que sejam B# B: ,
0" 0: B B# B: !.
16Por outras palavras que permita prolongar o diagrama sem perda da comutatividade
deste.
96 Cap. II. Tpicos de lgebra Multilinear
- .
! I J K !
33 55 7 7 ,
-w .w
! I w J w Kw !
)B C intC )B.
campo tensorial suave se, e s se, o for como aplicao (mais uma vez, o
prolongamento 0 de 0 nico e igual ao prprio 0).
III.1.5. Sejam I w I dois espaos vectoriais de dimenso finita e Q I w uma
variedade. Se 0 0B BQ um campo tensorial de grau :, sobre Q , com
valores no espao vectorial J , tem-se que 0 suave, quando se considera Q
como parte de I w , se, e s se, isso acontece quando se considera Q como
parte de I .
Dem: Suponhamos que 0 suave, quando se considera Q como parte de I .
Podemos ento considerar uma aplicao suave 0 0B BQ , de Q em
P: I J , tal que cada 0B seja uma restrio de 0B , e, compondo com a
aplicao linear de P: I J em P: I w J , que a cada ( associa a restrio
de ( a I w : , obtemos um prolongamento suave de 0 com valores em
P: I w J , o que mostra que 0 suave, quando se considera Q como parte
de I w . Suponhamos, reciprocamente, que 0 suave, quando se considera Q
como parte de I w . Seja s0 s0B BQ uma aplicao suave de Q em
P: I w J , tal que cada 0B seja uma restrio de s0B . Escolhamos uma
aplicao linear 1 I I w , tal que 1? ?, para cada ? I w (por
exemplo, a projeco ortogonal, para um produto interno que se fixe em I ).
Podemos ento considerar a aplicao linear imagem recproca
1 P: I w J P: I J e verifica-se imediatamente que a famlia
1 s0B BQ um prolongamento suave de 0, quando se considera Q como
parte de I .
III.1.6. Sejam Q I uma variedade, J um espao vectorial de dimenso finita
sobre e J w J um subespao vectorial. Seja 0 0B BQ um campo
tensorial de grau :, sobre Q , com valores em J w . Tem-se ento que 0
tambm um campo tensorial com valores em J e 0 suave como campo
tensorial com valores em J se, e s se, o for como campo tensorial com
valores em J w .
Dem: A demonstrao tem o mesmo esprito que a do resultado precedente:
Uma das implicaes trivial e resulta simplesmente de que P: I J w um
subespao vectorial de P: I J ; Para a outra implicao, consideramos uma
aplicao linear 1 J J w , tal que 1@ @, para cada @ J w , e reparamos
que, se s0 s0B BQ for um prolongamento suave de 0, com valores em
P: I J , a famlia dos 1 s0B um prolongamento suave de 0, com valores
em P: I J w .
Como no captulo precedente, e uma vez que esse ser o quadro que nos
vai interessar principalmente, vamos, a partir de agora, concentrar a nossa
ateno no caso dos campos tensoriais e formas diferenciais reais ou
complexos.
102 Cap. III. Formas diferenciais e teorema de Stokes
c) Sendo Q s Is e Q I variedades, 0 Q
s Q uma aplicao suave e
0 0B BQ e ( (B BQ campos tensoriais de graus : e ; sobre Q ,
tem-se
0 0 ( 0 0 0 (
(cf. II.2.16).
d) Sendo Q s I
s e Q I variedades, 0 Q
s Q uma aplicao suave e
0 0B BQ e ( (B BQ formas diferenciais de graus : e ; sobre Q ,
104 Cap. III. Formas diferenciais e teorema de Stokes
tem-se
0 0 ( 0 0 0 (
(cf. II.5.14).
5
s 0 5
s 0B BQ ;
b) Tem lugar uma forma diferencial suave
Alt0 Alt0B BQ .
\B " \B \4 B \4 B
7
4"
bm suave.
Dem: Seja B! Q arbitrrio. Seja Y um aberto de Q , com B! Y , tal que
exista sobre Y um campo de referenciais ortonormado suave \" \7 . O
facto de a orientao de Q ser suave implica que, se necessrio restringindo
os campos vectoriais a um aberto mais pequeno que ainda contenha B! ,
pode-se j supor que os campos vectoriais constituem em cada B Y uma
base directa de XB Q ou constituem em cada B Q uma base retrgrada
de XB Q . Notemos & ", no primeiro caso, e & ", no segundo. Uma
vez que, tendo em conta II.8.5 e II.5.9, os elementos da base de
E: XB Q associados base \" B \7 B de XB Q so os
)B \3" B )B \3: B , sabemos que se tem, para cada B Y ,
. =B ?" ?:"
4"
4"
4"
4"
podemos escrever
H=B ?4 ?" ?s4 ?:" .
2. Derivada exterior duma forma diferencial 109
4"
4"
4"
" "4" " =B! ?" ?5" H\5 B! ?4 ?5" ?s4 ?:"
:"
4" 54
" "4" " =B! ?" ?s4 ?5" H\5 B! ?4 ?5" ?:"
:"
4" 54
4"
4"
4"
4"
19O raciocnio aqui aquele que leva a concluir que, se tivermos duas aplicaes
0 E G e 1 F G tais que, quaisquer que sejam B E e C F , 0 B 1C, ento
0 e 1 so constantes e com um valor constante comum.
110 Cap. III. Formas diferenciais e teorema de Stokes
elemento esse que portanto alternado nas ltimas : variveis, pelo que,
tendo em conta o lema II.5.11, conclumos que
. =B! : " Alt3,
4"
4"
podemos escrever
112 Cap. III. Formas diferenciais e teorema de Stokes
podemos escrever
.0 =B ?" ?:"
" "4" H=0 B H0B ?4 H0B ?" H0B ?4 H0B ?:"
s
4
lado, 0 = a restrio de 0 = a Q s (trivial ou, se preferirmos, podemos
reparar que a restrio a mesma coisa que a imagem recproca pela
incluso), e portanto, pelo lema III.2.4, .0 = a restrio de .0 = a Qs
e, por outro lado, . = a restrio de . = a Q e portanto 0 . = a restrio
s .
de 0 . = a Q
III.2.8. Sejam Q I uma variedade e = =B BQ uma forma diferencial
suave de grau :. Tem-se ento .. = !.
Dem: Como anteriormente, suficiente fazer a demonstrao no caso
particular em que Q um aberto de I . Podemos ento escrever
.. =B ?" ?:#
4"
4"
obtemos agora
.. =B ?" ?:#
" "45# H# =B ?4 ?5 ?" ?s5 ?s4 ?:#
54
Dem: Mais uma vez, basta demonstrar o resultado no caso particular em que
Q um aberto de I . Fixando uma base A" A8 de I , sabemos que, para
cada B Q , =B E: I e 5B E; I se decompem nas bases
associadas daqueles espaos:
": " 0! -! " .1" ." " .0! -! " 1" ."
! " ! "
": = . 5 . = 5,
donde o resultado.
20Repare-se que )\ uma forma diferencial real suave de grau " pelo que )\
uma forma diferencial suave de grau 7 ", .)\ uma forma diferencial suave de
grau 7 e, finalmente, .)\ uma forma diferencial suave de grau !, isto , uma
aplicao suave Q .
116 Cap. III. Formas diferenciais e teorema de Stokes
4"
e, no caso em que ,
21Repare-se que .0 uma forma diferencial suave de grau ", com valores em , pelo que
.0 uma forma diferencial suave de grau 7 " ..0 uma forma diferencial suave
de grau 7 e, finalmente, ..0 uma forma diferencial de grau !, isto , uma
aplicao suave Q .
22Ao contrrio do que sucedia com a divergncia e o laplaciano, a orientao de Q
essencial para a definio do rotacional. Repare-se que )\ uma forma diferencial
suave de grau ", pelo que .)\ uma forma diferncial suave de grau #, .)\
uma forma diferencial suave de grau $ # " e, finalmente, )" .)\ um
campo vectorial suave sobre Q .
2. Derivada exterior duma forma diferencial 117
4"
.0B "
7
`0
B )A4 ,
4"
`B4
`0 `0
grad0 B B B.
`B" `B7
Dem: Uma vez que a base ortonormada, sabemos que os )A4 so os
elementos da base de PI associada base A" A7 de I pelo que,
uma vez que .0B A4 H0B A4 , a primeira frmula simplesmente um
caso particular de II.2.5. A segunda frmula resulta da primeira por aplicao
do isomorfismo )" a ambos os membros desta.
III.2.15. (Nota) Ainda no caso em que I 7 e a base considerada a
cannica, costume usar as notaes .B" .B7 em vez de
)A" )A7 . Estas notaes, cujas motivaes seria longo discutir,
podem ser justificadas no quadro anterior desde que olhemos para cada B4
como sendo a aplicao linear que a cada B 7 associa a sua componente
de ordem 4, visto que o respectivo diferencial .B4 ento igual, em cada
ponto, a )A4 . Com estas notaes pode-se portanto escrever a frmula
clssica
.0B "
7
`0
B .B4 .
4"
`B4
III.2.16. Seja I um espao euclidiano, com dimenso 7 ", com uma base
ortonormada A" A7 , e seja Q I um aberto ou, mais geralmente, uma
variedade com dimenso 7 em cada ponto. Seja \ \B BQ um campo
4"
118 Cap. III. Formas diferenciais e teorema de Stokes
div\B "
7
`04
B.
4"
`B4
4"
donde
4" 4"
4"
III.2.17. Seja I um espao euclidiano, com dimenso 7 ", com uma base
ortonormada A" A7 , e seja Q I um aberto ou, mais geralmente, uma
variedade com dimenso 7 em cada ponto. Seja 0 Q uma aplicao
suave. Considerando ento em Q a orientao associada a uma das
orientaes de I , tem-se
?0B " H# 0B A4 A4 .
7
4"
?0B "
7
` #0
B.23
4"
`B4 `B4
4"
donde
..0 B
4" 4"
4"
23A definio de derivada de segunda ordem de uma funo num ponto costuma por
vezes ser apresentada apenas no caso em que o domnio da funo um conjunto aberto.
no entanto imediato constatar-se que essa definio faz perfeitamente sentido no caso
mais geral em que o domnio total, no sentido que o espao vectorial tangente a este em
cada um dos seus pontos o espao todo, visto que isso garante que a primeira derivada
uma aplicao suave com valores num espao vectorial fixado.
120 Cap. III. Formas diferenciais e teorema de Stokes
4" 4"
4"
H0" B A# )A# )A" H0" B A$ )A$ )A"
H0# B A" )A" )A# H0# B A$ )A$ )A#
H0$ B A" )A" )A$ H0$ B A# )A# )A$
H0# B A" H0" B A# )A" )A#
H0" B A$ H0$ B A" )A" )A$
H0$ B A# H0# B A$ )A# )A$
e daqui resulta a concluso pretendida tendo em conta a caracterizao do
rotacional em III.2.13 e o facto de se ter
)A" )A# sg" # )A$ )A$ ,
)A" )A$ sg" $ )A# )A# ,
)A# )A$ sg# $ )A" )A" .
4"
4"
4"
4"
4"
4"
4"
122 Cap. III. Formas diferenciais e teorema de Stokes
4"
4"
4"
4"
_\ 10B ?" ?: 1B _\ 0B ?" ?: H1B \B 0B ?" ?: .
4"
H0B \B (B ?" ?:; 0B H(B \B ?" ?:;
4"
4:"
H0B \B ?" ?: (B ?:" ?:;
0B ?" ?: H(B \B ?:" ?:;
4"
4:"
_\ 0B ?" ?: (B ?:" ?:;
0B ?" ?: _\ (B ?:" ?:;
_\ 0B (B 0B _\ (B ?" ?:; ,
donde o resultado.
III.3.8. Sejam Q I uma variedade, \ \B BQ um campo vectorial suave
e 0 0B BQ um campo tensorial suave de grau :, com valores em .
Tem-se ento:
a) Para cada permutao 5 : , _\ 5 s 0 5
s _\ 0;
b) _\ Alt0 Alt_\ 0;
c) Em particular, se 0 uma forma diferencial de grau :, com valores em ,
tambm _\ 0 uma forma diferencial.
Dem: Como anteriormente, basta considerarmos o caso particular em que Q
um aberto de I . Notando @4 ?54 , vem
3. Derivada de Lie duma forma diferencial 125
_\ 5
s 0B ?" ?: H5
s 0B \B ?" ?: blablablablablblabla
"5
:
s 0B ?" ?4" H\B ?4 ?4" ?:
4"
H5
s 0?" ?: B \B
4"
H0@" @: B \B
4"
H0@" @: B \B
5"
_\ 0B @" @: 5
s _\ 0B ?" ?: ,
o que prova a). A alnea b) resulta de a), tendo em conta a definio do
operador Alt de antissimetrizao, e a alnea c) uma consequncia simples
de b).
III.3.9. Sejam Q I uma variedade, \ \B BQ um campo vectorial suave
e = =B BQ e 3 3B BQ duas formas diferenciais suaves de grau :,
com valores em . Tem-se ento
_\ = 3 _\ = 3 = _\ 3.
s em P: I
considerar uma aplicao suave de Q s ,
0 0 H0 B 00 B BQs 00 B H0 B H0 B BQs ,
_\ 0 0B ?" ?: H0 0B \B ?" ?:
4"
" 00 B H0 B ?" H# 0 B \B ?4 H0 B ?:
:
4"
4"
4"
_] 00 B H0B ?" H0B ?: 0 _] 0B ?" ?: ,
" 0?" H] ?4 ?: ,
:
4"
pelo que
_\ _] 0?" ?: H_] 0?" ?: \
5"
H# 0\ ] ?" ?: H0H] \?" ?:
4"
5"
5"
" 0?" H# ] \ ?4 H# \] ?4 ?:
:
4"
5"
H0\ ] ?" ?:
5"
4"
_\] 0?" ?: .
obtemos
3. Derivada de Lie duma forma diferencial 129
4"
4"
0B H]B \B H\B ]B ?" ?:" H0B \B ]B ?" ?:"
4"
0B \ ] B ?" ?:" _\ 0B ]B ?" ?:"
int\] B 0B ?" ?:" int]B _\ 0B ?" ?:" ,
donde o resultado
4"
0 B _\ =B ?" ?:
4"
0 B _\ =B ?" ?: .0B int\B =B ?" ?: .
int\ . = . int\ = _\ =.
pelo que
4"
4"
. =B \B ?" ?: H=B \B ?" ?:
4"
int\ . =B ?" ?: _\ =B ?" ?: ,
donde o resultado.
III.3.17. (Nota) No resultado anterior exigimos que o grau : da forma dife-
rencial = fosse maior ou igual a ", sem o que int\ = no fazia sentido. no
entanto imediato constatar que, no caso em que temos uma forma diferencial
de grau !, isto , uma aplicao suave 0 Q , tem-se
int\ .0 _\ 0 ,
pelo que tudo se passa como se o resultado anterior fosse ainda vlido para as
formas diferenciais de grau ! desde que, para uma tal forma diferencial, se
defina int\ = !.
III.3.18. Sejam Q I uma variedade, \ \B BQ um campo vectorial
suave e = =B BQ uma forma diferencial suave de grau :, com valores
em . Tem-se ento
. _\ = _\ . = . int\ . =.
elemento de
( = ( 0 B . .Q B.25
Q Q
( = ( 0 B . .Q B.
E E
24Veremos adiante que esta definio no depende do produto interno que se considera
em I , pelo que ela far sentido no quadro de uma subvariedade suavemente orientada de
um espao vectorial de dimenso finita, no forosamente dotado a priori de um produto
interno.
25Repare-se que s se define o integral de uma forma diferencial cujo grau seja igual
dimenso da variedade.
132 Cap. III. Formas diferenciais e teorema de Stokes
( : = & ( =.
s
Q Q
( : = & ( =.26
s
E E
( : = ( 0 :B -H:B . .Qs B ( 0 C . .Q C ( =.
s
Q s
Q Q Q
( = 5 ( = ( 5, ( + = + ( =.
Q Q Q Q Q
( l0 Bl . .Q B ( l0 Bl . .Q B , .Q O _,
Q O
5. Teorema de Stokes.
s , e
conserva as orientaes se, e s se, as bases A" A7" , de XB `" Q
H:B A" H:B A7" , de X:B `" Q , tiverem a mesma orientao,
ou seja, se, e s se, as bases A A" A7" , de XB Q s , e
H:B A H:B A" H:B A7" , de X:B Q , tiverem a mesma
orientao, isto , se, e s se, H:B XB Q s X:B Q conservar as
orientaes.
II.5.5 Seja Q I uma variedade de dimenso 7 suavemente orientada.
Tem-se ento que a orientao induzida em `" Q tambm suave.
5. Teorema de Stokes 135
Q $ +4 ,4 ,
4
( .= ( =`" Q .27
Q `" Q
e, do mesmo modo,
:4w 0"5"5"7 $45 Z 967" .
=B " 05 B 0"5"5"7 ,
7
5"
5"
e que
.05 B "
7
`05
B )/4 ,
4"
`B4
5"
"
7
`05
B )/5 )/" )/5" )/5" )/7
5"
`B5
" "5"
7
`05
B Z 967
5"
`B5
e portanto
138 Cap. III. Formas diferenciais e teorema de Stokes
( . = ( " "
7
5" `05
B .B
Q Q 5" `B5
" "5" ( (
7 ,5
`05
B .B5 .B" B5" B5" B7
5" E5 +5 `B5
" "5" (
7
05 B" ,5 B7 05 B" +5 B7 .B" Bs5 B7
5" E5
" "5" (
7
05 :5w C 05 :5 C .C 28
5" E5
( .= ( =`" Q .29
Q `" Q
( .= ( .= ( .=Q w ( =`" Q w
Q 7
: Qw `" Q w
( =`" 7: ( =`" Q .
`" 7
: `" Q
b) Vamos supor agora que, mais geralmente, a variedade Q tal que existe
um aberto Y de 7 : e um difeomorfismo : Y Q que ou conserva ou
inverte as orientaes. Uma vez que, se o teorema vlido para Q com uma
certa orientao, -o trivialmente tambm para Q com a outra orientao (a
orientao induzida no bordo vem tambm trocada pelo que ambos os
membros da igualdade vm multiplicados por "), podemos j supor que :
conserva as orientaes. Obtemos agora, uma vez que o difeomorfismo
:`" Y `" Y `" Q tambm conserva as orientaes,
( . = ( : . = ( . : = (
: =`" Y
Q Y Y `" Y
( :`" Y =`" Q (
=`" Q .
`" Y `" Q
( . = ( . =Z ( =`" Z ( =`" Q .
Q Z `" Z `" Q
BN
(considerar a cobertura aberta de Q formada pelos ZB , com B N , e por
Q O e deitar fora a funo da partio da unidade correspondente a este
ltimo aberto). Sendo, para cada B N , =B a forma diferencial suave !B =,
BN BN
pelo que escrevemos finalmente
( . = !.
Q
5. Teorema de Stokes 141
B B D D " B A4 A4 .
4
e portanto
)BJ )BA" A7" Z 96J B D Z 96J .
142 Cap. III. Formas diferenciais e teorema de Stokes
( div\B . .Q B ( \B ^B . .`" Q B,
Q `" Q
( .= ( =`" Q ,
Q `" Q
( =`" Q ( \B ^B . .`" Q B.
`" Q `" Q
30Pode-se demonstrar este resultado sem a hiptese de Q estar suavemente orientada (cf.
as observaes feitas a seguir a III.2.11) mas no temos ento um simples corolrio do
teorema de Stokes e somos obrigados a repetir parte da respectiva demonstrao,
nomeadamente o argumento de partio da unidade para passar do local para o global.
Com o objectivo de manter a exposio mais simples, preferimos fazer aqui a exigncia
simplificadora.
31De facto, e embora isso no nos v fazer falta, pode-se ver mesmo que suave a
aplicao de `" Q em I , que a B associa ^B .
6. Verses clssicas do teorema de Stokes 143
donde, finalmente
( . = ( div\B . .Q B.
Q Q
( rot\B ^B . .Q w B ( \B [B . .`" Q w B,
Qw `" Q w
( . )\Q w ( )\`" Q w ,
Qw `" Q w
e tudo o que temos que fazer, tal como no resultado anterior, interpretar
ambos os membros desta igualdade em termos de integrais de funes
relativamente s medidas .Q w e .`" Q w . Pela definio do rotacional, em
III.2.13, tem-se . )\ )rot\ pelo que o lema III.6.1 garante que,
para cada B Q w ,
. )\B XB Q w rot\B ^B Z 96B ,
32No caso mais clssico, Q um aberto de $ ou, mais geralmente, dum espao
euclidiano orientado de dimenso $.
33Tal como no resultado anterior, pode-se provar que so mesmo suaves as aplicaes de
Q w em I e de `" Q w em I , que a B associam ^B e [B , respectivamente.
144 Cap. III. Formas diferenciais e teorema de Stokes
( . )\Q w ( rot\B ^B . .Q w B.
Qw Qw
Por outro lado, para cada B `" Q w , o facto de [B constituir uma base
ortonormada directa de XB `" Q w implica que a componente de
)\B XB `" Q w no elemento de volume Z 96wB de XB `" Q w igual a
)\B [B \B [B , o que nos permite concluir a suavidade da
aplicao de `" Q w em , que a B associa \B [B assim como o facto de
se ter
( )\`" Q w ( \B [B . .`" Q w .
`" Q w `" Q w
1B ( 0 > B .>,
,
1B ( 0 > B .>,
,
+
7. Operador prismtico e lema de Poincar 145
1B ( 0 > B .>,
,
+ +
T =B ?" ?: (
"
=>B " ! ! ?" ! ?: .>.
!
0B (
"
=>B .>,
!
e
146 Cap. III. Formas diferenciais e teorema de Stokes
+ E: I E: I
(onde + I I a aplicao linear, +B ! B), obtemos uma
aplicao suave T =, de Q em E: I , onde
T =B ?" ?: 0B " ! ! ?" ! ?:
(
"
=>B " ! ! ?" ! ?: .>.
!
Dem: Comecemos por tratar o caso em que a forma diferencial = tem grau
: ", com : !. Seja = =>B >B!"Q uma aplicao suave de
! " Q em E:" I , tal que cada =>B seja uma restrio de
=>B . Podemos ento considerar, como na demonstrao de III.7.2, uma
aplicao suave T =, de Q em E: I , definida por
T =B ?" ?: (
"
=>B " ! ! ?" ! ?: .>,
!
4"
" "4" (
:" "
s
H# =>B ?4 " ! ! ?" ! ?4 ! ?:" .>.
4" !
(
"
. =>B " ! ! ?" ! ?:" .>
!
(
"
H=>B " !! ?" ! ?:" .>
!
" "4 (
:" "
s
H=>B ! ?4 " ! ! ?" ! ?4 ! ?:" .>
4" !
(
"
`
=>B ! ?" ! ?:" .>
! `>
="B ! ?" ! ?:" =!B ! ?" ! ?:"
:" = :! =B ?" ?:" ,
e, se : ",
1 = 0 = :" L = :! L = T .L = .T L = . 5,
s C 0 L> 0 " C,
L>
s C C e L"
aplicao que verifica L! s C 0 B! , pelo que L s uma
homotopia suave de M.Qs para a aplicao constante de valor 0 B! .
Relativamente a c), reparamos que o ponto B! admite um sistema
fundamental de vizinhanas abertas, que so difeomorfas interseco de um
sector de um espao vectorial de dimenso finita com uma bola aberta de
centro em ! (relativamente a uma certa norma), bastando ento reparar que
uma tal interseco estrelada relativamente a ! (alis mesmo convexa).
III.7.9. Sejam Q I uma variedade e = =B BQ uma forma diferencial
suave de grau :. Como referimos atrs, diz-se que = fechada se se tem
. = ! e, no caso em que : ", diz-se que = exacta se existe uma forma
diferencial suave 5 5B BQ , de grau : ", tal que = . 5 . A identidade
.. 5 ! mostra-nos que toda a forma diferencial exacta fechada. O lema
de Poincar, que demonstramos em seguida, diz-nos que a recproca
tambm verdadeira, no caso em que a variedade Q suavemente contrctil.
Apresentamos a seguir um exemplo de uma situao em que essa recproca
no verdadeira, o que nos dar, em particular, um exemplo de uma
variedade que no suavemente contrctil.
III.7.10. (Lema de Poincar) Sejam Q I uma variedade suavemente
contrctil e = =B BQ uma forma diferencial suave, de grau : ",
verificando . = !. Existe ento uma forma diferencial suave de grau : ",
5 5B BQ , tal que = . 5 .
Dem: Uma vez que a aplicao M.Q Q Q suavemente homotpica a
uma aplicao constante 0 Q Q , vimos em III.7.6 que existe uma forma
diferencial suave 5 , de grau : ", tal que 0 = M.Q
= . 5 . O facto de se
ter : " e H0B !, para cada B Q , implica que
0 =B ?" ?: =0 B H0B ?" H0B ?: !,
.Q Q ( " . .Q B ( Z 96 ( . = ( =`" Q !,
Q Q Q `" Q
o que absurdo.
III.7.12. Como exemplo de variedade nas condies anteriores, temos a hipersu-
perfcie esfrica W de um espao euclidiano I , com dimenso 8 " (8 !),
W B I mBm ".
O facto de W ser orientvel vem de que podemos considerar em W a
orientao que resulta de W ser o bordo de ndice " da bola fechada
F B I mBm ",
que uma variedade de dimenso 8 ", sobre a qual podemos considerar
uma orientao constante.
.0 Z 96 0 . Z 96 !.
Aplicando o teorema de Stokes, vem
! ( .0 Z 96 ( 0 Z 96W .
Q W
( 0 Z 96W ( + 0 Z 96 ( 0 + Z 96
W W W
( M.W Z 96 ( Z 96 .W W !,
W W
CQ CQ
aplicao suave definida por
1B " :C B 0 C
CQ
m" :C B 0 C 0 Bm
CQB
" :C B m0 C 0 Bm " :C B $ $ .
CQB CQB
se B Y, tem-se simultaneamente s B 0 Bm $
m0 e
m1B
s 0 Bm $, pelo que, mais uma vez,
s B 0 B " :B1B
m1B 0 Bm m:B0 s 0 Bm
s B 0 Bm " :Bm1B
:Bm0 s 0 Bm
:B $ " :B $ $.
Figura 4
Esta ltima condio equivalente equao do segundo grau em :B
0 B B 0 B B :B# # 0 B B B :B " B B !.
Reparemos que, se B W , a desigualdade de Cauchy-Schwartz garante-nos
que
0 B B l0 B Bl m0 Bm " B B
e que, se fosse 0 B B B B, 0 B e B seriam linearmente dependentes
e ter-se-ia m0 Bm ", pelo que, uma vez que, por hiptese, 0 B B, viria
0 B B, o que era absurdo, por se ter ento 0 B B "
" B B. Conclumos assim que, se B W , tem-se 0 B B B B,
portanto 0 B B B !. Podemos agora examinar de novo a equao do
segundo grau em :B atrs referida para concluir que, se B W , aquela
equao admite uma soluo nula e a outra estritamente positiva e que, se
B F W, aquela equao admite duas razes reais, uma estritamente
positiva e a outra estritamente negativa; em qualquer caso, existe uma nica
soluo menor ou igual a !, a saber,
0 B B B 0 B B B# " mBm# m0 B Bm#
:B .
m0 B Bm#
A aplicao : F , assim definida, contnua, ficando portanto contnua
a correspondente aplicao 1 F W , definida por
1B B :B 0 B B,
aplicao que vai ser uma retrao de F sobre W , visto que, para cada B W ,
tem-se :B !, portanto 1B B.
III.8.9. (Teorema da esfera despenteada) Seja I um espao euclidiano de
dimenso 8 mpar e seja W I a hipersuperfcie esfrica,
8. Aplicao demonstrao de resultados topolgicos 155
W B I mBm ".
Se \ W I uma aplicao suave, ento existe B W tal que \B B.
Em particular, se \ \B BW um campo vectorial suave sobre W , ento
existe B W tal que \B !.
Dem: Pode-se evidentemente j supor que a dimenso 8 de I maior que ",
sem o que o resultado trivial. Suponhamos que \ W I uma aplicao
suave tal que, para cada B W , \B B, isto , B e \B so linearmente
independentes. Podemos ento considerar uma aplicao suave
L ! " W W, definida por
cos1> B sin1> \B
L> B ,
mcos1> B sin1> \B m
a qual verifica L! B B e L" B B, sendo portanto uma homotopia
suave de M.W para M.W . Fixemos uma orientao de I e consideremos
sobre W a orientao suave que lhe vem de ser o bordo da bola
F B I mBm ",
com a orientao constante. O facto de a dimenso de I ser mpar implica
que o isomorfismo M.I I I inverte as orientaes, visto que, se
A" A8 for uma base directa de I , a base A" A8 de I vai ser
retrgrada. Segue-se daqui que M.F F F um difeomorfismo
invertendo as orientaes, pelo que o difeomorfismo M.W W W tambm
inverte as orientaes (cf. III.5.4). Sendo Z 96 a forma diferencial elemento
de volume de W , que, por ter grau igual dimenso de W vai ser
automaticamente fechada, podemos aplicar III.7.6 para garantir a existncia
de uma forma diferencial suave 5 , de grau 8 # sobre W , tal que
M.W Z 96 M.W Z 96 . 5.
.W W ( Z 96 ( M.W Z 96 ( . 5
W W W
( M.W Z 96 ( Z 96 .W W,
W W
W B I mBm ".
156 Cap. III. Formas diferenciais e teorema de Stokes
( = ( 0 =.
E0 E
( =( =.
0 E0
( 1 " &B 10 B.
0 BE
integrvel em E 0 e 'E0 = !.
de dimenso 8 em Q , com 0 aplicao constante, tem-se ento que =
158 Cap. III. Formas diferenciais e teorema de Stokes
( = ( 1 =.
10 0
( =( = (resp. ( = ( =).
E1 s
E10 E1 s
E10
( = ( =F (resp. ( = ( =F ).
0 F 0 F
( .= ( =.
0 `0
Dem: Este resultado vai ser uma consequncia simples do teorema de Stokes,
demonstrado em III.5.8. Com efeito, esse resultado, aplicado forma diferen-
cial suave de grau 8 sobre E, 0 =, garante-nos que se tem
( .0 = (
0 =`" E ,
E `" E
( .0 = ( . =,
E 0
( 0 =`" E ( + 0 = ( `0 = ( =.
`" E `" E `" E `0
( .1 10 , 10 +.
0
claro que este resultado tem tambm uma justificao trivial, independente
do teorema de Stokes geral.
( = ( =.
0 1
( = ( = ( 1 = 0 = ( .5 (
5`" E !,
1 0 E E `" E
donde o resultado.
Do ponto de vista formal o resultado anterior intil, visto que ele uma
caso particular do que apresentamos em seguida. Pareceu-nos til
comear por esse caso particular, tendo em conta a sua simplicidade e o
facto de conter as ideias que nos conduziro ao caso geral.
( = ( =.
0 1
(
"
L =>B " ! ! A" ! A8" .>
!
(
"
=L>B HL>B " ! HL>B ! A" HL>B ! A8" .> !,
!
( = ( = ( 1 = 0 = ( .T L = (
T L =`" E !,
1 0 E E `" E
donde o resultado.
III.9.13. Sejam Q I uma variedade e = =C CQ uma forma diferencial
suave, fechada e de grau 8, com valores em . Seja E 0 uma variedade
singular suave, sem bordo, de dimenso 8 em Q . Suponhamos que existe
uma variedade compacta F , de dimenso 8 " e suavemente orientada, tal
que E `" F e que a orientao de E seja a induzida pela de F , e que
existe um prolongamento suave s0 F Q de 0 . Tem-se ento
( = !.
E0
( =( = ( . = !.
0 s
`0 s0
s F . `! G5 .
F
5
Figura 5
s uma variedade de
Tem-se ento que cada `! G5 aberto em F e que F
dimenso 8, fechada em F , para a qual se tem
s `! F . G5 ,
`! F s `" F . `" G5
`" F
5 5
s , pelo que F
tem-se B intF F s vai ser no ponto B uma variedade com a
mesma dimenso e ndice que F . Do mesmo modo, no caso em que F est
orientada, evidente que, para B `" F, a orientao induzida em
XB F XB Fs pela orientao de F coincide com a induzida pela
orientao de F s . Resta-nos examinar o que sucede a F s num ponto
B! `" G5 .
Aplicando o resultado bem conhecido que caracteriza o modo como uma
subvariedade, eventualmente com bordo, est inserida dentro da variedade
sem bordo ambiente, variedade G5 contida em `! F, conclumos a
existncia de um espao vectorial J , com uma base A" A8 , de um aberto
9. Teorema de Stokes singular 163
s F - `! G5 , seja s0 F
variedades compactas, sem cantos, de dimenso 8 ", contidas em `! F e
disjuntas duas a duas e, sendo F s Q uma apli-
cao suave. Considerando ento em `" F e em cada `" G5 as orientaes
induzidas pelas de F e G5 , respectivamente, tem-se
( = "(
:
=.
s ` F
`" F0 s ` G
`" G5 0
" 5" " 5
( = !,
s s
`" F0 s
` " F
164 Cap. III. Formas diferenciais e teorema de Stokes
( =( = "(
:
=.
s s
`" F0 s
s ` F
`" F0 s ` G
`" G5 0
` " F " 5" " 5
1
Caminho 1: $ radianos
1
Caminho 2: $ radianos
1
Caminho 3: $ #1 radianos
1
Caminho 4: $ %1 radianos
Figura 6
W Z 96W .
Dem: Uma vez que, sobre a variedade W , de dimenso 8 ", todas as
formas diferenciais de grau 8 so nulas, vemos que . Z 96W !; daqui se
deduz que . H . 3 Z 96W 3 . Z 96W !, o que mostra que a forma
diferencial H fechada. Por fim, sendo + W I ! a incluso, tem-se
3 + M.W , pelo que
HW + 3 Z 96W 3 + Z 96W M.W Z 96W Z 96W .
nE 0 ( H,
E0
nE ( HE .
E
nE 0 ( 0 H ( 0 3 Z 96W ( 3 0 Z 96W F
E E E
Figura 7
5"
"
Dem: Vem que s0 ! um subconjunto fechado de F , e portanto um
compacto. Por outro lado, o facto de supormos s0 B !, para cada
B `F implica que aquele compacto est contido em `! F. O facto de !
"
ser um valor regular da restrio de s0 a `! F implica agora que s0 !
uma variedade de dimenso !, a qual, sendo compacta, vai ser um conjunto
finito B" B: (a famlia dos conjuntos unitrios vai ser uma cobertura
aberta, de onde se pode extrair uma subcobertura finita). Pelo teorema da
funo inversa, podemos escolher, para cada " 5 :, um aberto Y5 de
`! F, com B5 Y5 , e um aberto Z5 de I , com ! Z5 , tal que 0Y5 seja um
difeomorfismo de Y5 sobre Z5 e, se necessrio reduzindo estes abertos,
podemos j supor que os Y5 so disjuntos dois a dois e que cada um dos
III.5.7). Vem que +Z5 um aberto de I , contendo !, pelo que existe < !
difeomorfismos 0Y5 Y5 Z5 ou conserva ou inverte as orientaes (cf.
tal que a bola fechada F < ! esteja contida naquela interseco. Sendo
W< C I mCm <, que uma variedade de dimenso 8 ",
consideramos em W< a orientao que lhe vem de ser o bordo de F < ! e
reparamos que a restrio de 3 a W< , definida por 3C C<, vai ser um
difeomorfismo de W< sobre W W" , que conserva as orientaes, por ser a
restrio do difeomorfismo de F < ! sobre F " !, definido pela mesma
frmula, que conserva claramente as orientaes.
Notemos, para cada 5 , G5 0Y5 " F < !, que portanto uma variedade
s F - `! G5 em I !, podemos
compacta, sem cantos, de dimenso 8, contida em Y5 . Uma vez que a apli-
cao suave s0 F I aplica F
5
deduzir de III.9.15 que o ngulo slido orientado da restrio de s0 a `" F
igual soma dos ngulos slidos orientados das restries de s0 aos `" G5 e
tudo o que temos que demonstrar que o ngulo slido orientado da restrio
de s0 a cada `" G5 &5 58" . Ora, tendo em conta o facto de a restrio de s0
168 Cap. III. Formas diferenciais e teorema de Stokes
4"
`" F a orientao induzida pela de F , tem-se ento que o ngulo slido
orientado de `" F ! ou 58" , conforme se tenha ! F ou ! `! F.
Dem: Basta aplicar o resultado anterior incluso de F em I .
III.9.22 Seja I um espao euclidiano orientado de dimenso 8 ". Sejam F
uma variedade compacta, suavemente orientada, de dimenso 8 e s0 F I
uma aplicao suave tal que, para cada B em `F - `4 F, s0 B !.
4"
Tem-se ento que o ngulo slido orientado da restrio de s0 a `" F um
mltiplo inteiro de 58" .
Dem: claro que, se ! fosse um valor regular da restrio de s0 a `! F,
tnhamos uma consequncia trivial de III.9.20.
Vamos comear por demonstrar o resultado com a hiptese suplementar de a
variedade F no ter cantos, caso em que `" F, sendo uma subvariedade
fechada de F , uma variedade compacta e sem bordo. Seja < ! tal que a
bola aberta F< ! no intersecte o compacto s0 `" F. Pelo corolrio do
teorema de Sard (cf. I.5.8), podemos considerar C F< !, que seja um valor
regular da restrio de s0 a `! F e ento, sendo 0 F I a aplicao suave
definida por 0 B s0 B C, tem-se que ! 0 `" F e ! um valor
regular da restrio de 0 a `! F, o que, por III.9.20, implica que o ngulo
slido orientado da restrio de 0 a `" F um mltiplo inteiro de 58" .
Mas, tem lugar uma aplicao suave L ! " `" F I !, definida
por L> B s0 B >C, para a qual se tem L! B s0 B e
L" B 0 B, pelo que deduzimos de III.9.11 que o ngulo slido
orientado da restrio de s0 a `" F coincide com o da restrio de 0 , sendo
assim um mltiplo inteiro de 58" .
Passemos, por fim, demonstrao do caso geral em que a variedade F pode
ter cantos. Seja O B F s0 B !, que um conjunto compacto
contido em `! F. O facto de `! F ser localmente compacto implica a
existncia de um aberto Y de `! F, contendo O e contido numa parte
compacta O w de `! F; pelo teorema da partio da unidade, relativo
cobertura de F formada pelos abertos Y e F O , podemos considerar uma
9. Teorema de Stokes singular 169
aplicao suave : F ! ", nula fora de Y e tal que :B ", para cada
B O. Outra vez pelo mesmo corolrio do teorema de Sard, podemos consi-
derar um valor regular = ! " da restrio de : a `! F. Seja
G B F :B = B `! F :B =.
Vem que G vai ser uma variedade compacta, sem cantos, com dimenso 8,
contida em `! F, tendo como bordo `" G B F :B =. Uma
vez que O `! G, e portanto a aplicao suave s0 F I aplica
F `! G em I !, conclumos de III.9.15 que o ngulo slido orientado
da restrio de s0 a `" F coincide com o da sua restrio a `" G, o qual,
pelo caso particular estudado no incio, um mltiplo inteiro de 58" .
III.9.23 Seja I um espao euclidiano orientado de dimenso 8 ". Seja E uma
variedade compacta, suvemente orientada, de dimenso 8 " e sejam
0 1 E I ! duas aplicaes suaves tais que, para cada B `" E,
0 B 1B. Tem-se ento que n1 n0 um mltiplo inteiro de 58" .
4"
compacta de dimenso 8, F ! " E. Para cada > B F , tem-se
X>B F XB E
36Repare-se que, ao contrrio dos resultados anteriores, necessrio exigir aqui que I
tenha dimenso pelo menos #. No caso em que I tem dimenso ", obtm-se um con-
tra-exemplo simples tomando para E um conjunto unitrio.
Exerccios 171
EXERCCIOS
.. :4" . :4: !
onde H0D P e
1 P P , 1 P P
so as projeces associadas soma directa
P P P
(cf. o exerccio II.1).
Mostrar que a aplicao 0 holomorfa (no sentido que, para cada D , a
aplicao linear real H0D mesmo uma aplicao linear complexa) se, e s
se, `0
`D ! e que 0 anti-holomorfa (no sentido que, para cada D , H0D
antilinear) se, e s se, `0
`D !.
Mostrar que se tem
`0 " `0 `0
3 ,
`D # `B `C
`0 " `0 `0
3 ,
`D # `B `C
`0 `0
.0 .D .D .
`D `D
c) Mostrar que se tem .D .D #3 .B .C e deduzir daqui que .D .D
uma base do espao vectorial complexo A# de dimenso ".
d) Mostrar que a forma diferencial =, de grau ", definida por =D 0 D .D ,
fechada, isto , verifica . = !, se, e s se, a aplicao 0 holomorfa.
e) Quando a aplicao 0 holomorfa, define-se 0 w D H0D " .
Mostrar que se tem ento .0D 0 w D .D .
Ex III.4 Sejam Y um aberto num sector de $ e 0 1 2 Y trs aplicaes
suaves. Seja = a frmula diferencial de grau # sobre Y , definida por
=BCD 0 B C D .C .D 1B C D .B .D 2B C D .B .C.
4"
( 0 B C .B 1B C .C (
`1 `0
B C B C .B .C,
`" Q Q `B `C
(
"
:> 0 B . .W> + B .
>7" W> +
(
"
0 + 0 B . .W< + B.
.W< + W< + W< +
(
"
0 + 0 B . .I B.
.I F < + F < +
0+ B 7#
"
57" mB+m 7# , se 7 #
"
,
#1 ln mB +m, se 7 #
( 0+ B ?:B . .I B :+,
I
(
^B B +
. .`" Q B !
`" Q mB +m7
e que, se + `! Q ,
(
^B B +
. .`" Q B 57" .
`" Q mB +m7
a) Se + Q , ento
(
0 D
.D !.
`" Q D+
b) Se + `! Q , ento
(
0 D
.D #130 +
`" Q D+
( 0 D .D #3(
`0
B C .B .C.
`" Q Q `D
( .D #3(
0 D " `0
D .B .C #130 +,
`" Q D+ Q D + `D
Figura 8
deduzindo da, mais uma vez, o facto de a variedade W B ser suavemente
contrctil.
184 Cap. III. Formas diferenciais e teorema de Stokes
+.B C D Z 96J B C D,
quaisquer que sejam C D J , ou, equivalentemente,
+.B C B C,
onde nota o produto externo usual em J .
Mostrar que este isomorfismo permite relacionar naturalmente o produto
externo usual com o produto externo alternativo e o rotacional usual com o
rotacional alternativo.
Deduzir as frmulas
+.BC +.B +.C +.C +.B B C
0 B
mBmw B
mBm , se B !
.
!, se B !
B 0 B
1B .
mB 0 Bm
Sendo Z 96 a forma diferencial elemento de volume de W , utilizar III.7.6 e o
teorema de Stokes para a variedade sem bordo W , para deduzir que
.W W ( 1 Z 96;
W
( 1 Z 96 ( 1 Z 96 !,
W W
( 0 D .D.
#
( = !,
0
HB " "4"
8
B#"
B4
B#8
8 .B" .B4" .B4" .B8 .
4"
Exerccios 189
nE (
"
^B B . .E B.
E mBm8
Utilizar esta concluso para reintrepretar a concluso do exerccio III.31,
luz de III.9.21. Sugesto: Utilizar a caracterizao de HB dada na alnea b)
do exerccio III.49.
Ex III.52 No caso em que I um espao euclidiano orientado de dimenso ",
explicitar o que o ngulo slido orientado de uma variedade singular
compacta de dimenso !, E 0 , onde 0 uma aplicao de E em I !.
Ex III.53 Consideremos em o seu produto interno e a sua orientao cannicos
( # ).
a) Mostrar que a forma diferencial ngulo slido
H ! E"
est definida por
A
HD A e .
D
onde eA denota a parte imaginria de um nmero complexo A.
Sugesto: Utilizar a caracterizao de H dada na alnea b) do exerccio
III.49.
190 Cap. III. Formas diferenciais e teorema de Stokes
n0 e(
"
.D.
E0 D
(
" 0 ,
.D logl l 3 n0 .
0 D 0 +
1C ( =.
E0C
$
mgrad0 B grad0 + m
#
e que, para cada B F& + E, com B +, exista A X+ E com mAm "
e
B+ "
m Am ,
mB +m #
deduzindo daqui que, sempre que B F& + E, com B +,
$
lgrad0 + B +l mB +m,
#
lgrad0 B B +l $ mB +m,
donde grad0 B B +.
b) Sendo & ! escolhido nas condies de a), mostrar que existe ! &w &
tal que, quaisquer que sejam , - F&w +, tais que 0 , ! e 0 - !, se
tenha
n, E n- E 58" .
Sugesto: Fixar ! < &. Mostrar que E fica unio disjunta das duas
subvariedades abertas de dimenso 8 ",
E! B E mB +m <, E" B E mB +m <,
e do conjunto de medida .E nula B E mB +m <.
Figura 9
Considerar ento a variedade compacta de dimenso 8
F B Y mB +m <, 0 B !,
Exerccios 193
s! e F
onde A s ! so variedades compactas convenientes, que diferem de E! e
de F! por conjuntos de medida nula.
c) Deduzir que o conjunto aberto I E tem, pelo menos, duas componentes
conexas.
Ex III.59 (O ngulo slido de uma aplicao contnua) Seja I um espao
euclidiano orientado de dimenso 8 ". Seja E uma variedade compacta,
suavemente orientada, de dimenso 8 " e notemos `E a unio dos
bordos `4 E, com 4 ", que um subconjunto compacto de E (o
complementar do aberto `! E de E). Seja 0 E I ! uma aplicao
contnua tal que 0`E `E I ! seja uma aplicao suave (esta
ltima condio est automaticamente verificada se 8 # ou se a variedade
E no tem bordo). Mostrar que:
a) Existe uma aplicao suave 2 E I !, tal que a restrio de 2 a
`E coincida com a de 0 e que, para cada B E,
m2B 0 Bm m0 Bm. Sugesto: Lembrar III.8.6.
s E I !, cujas restries a `E
b) Dadas duas aplicaes suaves 2 2
coincidam com a de 0 e tais que, para cada B E,
m2B 0 Bm m0 Bm, s
m2B 0 Bm m0 Bm
s . Sugesto: Definir
tem-se que nE 2 nE 2
s
L> B " > 2B > 2B
e ter em conta III.9.12.
Nota: Nas condies anteriores, define-se o ngulo slido orientado de
E 0 , notado ainda nE 0 ou, simplesmente n0 , como sendo igual a
nE 2, qualquer que seja a aplicao suave 2 E I !, cuja restrio
a `E coincida com a de 0 e tal que, para cada B E, se tenha
m2B 0 Bm m0 Bm. claro que esta noo de ngulo slido orientado
generaliza a j conhecida no caso em que a aplicao 0 suave.
194 Cap. III. Formas diferenciais e teorema de Stokes
s F - `! G5 , seja s0 F
dimenso 8, contidas em `! F e disjuntas duas a duas (: !). Sendo
F s I ! uma aplicao contnua. Mostrar
5
que se tem ento
s ww `! Q
s `! Q
O s w ,
s `! Q
1. Cohomologia de de Rham.
38Ou, mais geralmente, de mdulos sobre um anel, mas o caso dos espaos vectoriais o
que nos interessa de momento.
198 Cap. IV. Introduo cohomologia de de Rham
os espaos de cohomologia L : H
Q , a que se d o nome de espaos de
cohomologia de de Rham da variedade Q . Como anteriormente, omitimos
com frequncia das notaes a referncia ao corpo , quando da no advier
perigo de confuso.
40No caso em que M infinito, o problema est em que esta soma no tem que ter apenas
um nmero finito de parcelas no nulas.
200 Cap. IV. Introduo cohomologia de de Rham
L : - " L : - " L : G w L : G .
morfismo de complexos de cocadeias M.Q H Q H Q o morfismo
identidade, e portanto tambm cada L M.Q L : Q L : Q a apli-
:
"
L:#> B, se > #
B
L> ,
s :#> " B,
L se > "
#
5N
5N
#
espao vectorial I e aplicaes lineares 1 s4 I I4 , ficamos com uma
aplicao linear . I I5 , definida por .B 1
s5 B5N (a nica que
5N
verifica 14 . 1
s4 ), sendo imediato constatar, a partir da definio, que I
5N
menos precisa, podemos dizer que os produtos de uma famlia de espaos
vectoriais so precisamente os espaos vectoriais que so isomorfos ao
produto cartesiano usual dessa famlia.
:
s4 1
lineares 1 s4 : constitua um morfismo de complexos de cocadeias de
G para G4 . Mais precisamente, para cada B G : , . : B o nico elemento
de G :" tal que, para cada 4,
:" : : :"
s4 . : B .4 1
1 s4 B G4 .
45Repare-se que, mesmo no caso em que cada G : o produto cartesiano dos G4: , definido
pelas projeces cannicas, L : G no ser, em geral, o produto cartesiano dos L : G4 ,
embora este resultado garanta que isomorfo a este produto cartesiano. a existncia de
fenmenos deste tipo que nos levou a discutir a noo geral de produto que apresentmos
atrs.
2. Produtos e somas de complexos de cocadeias 207
IV.2.7. Dada uma famlia I4 4N de espaos vectoriais, vamos dizer que uma
famlia B4 4N , com B4 I4 , essencialmente finita se se tem B4 !, com
um nmero finito de excepes possveis, isto , se existe uma parte finita N!
de N tal que B4 !, para cada 4 N! . Repare-se tambm que, no caso em
que todos os I4 so iguais a um mesmo espao vectorial I , para cada famlia
4N!
que B4 !, para cada 4 N! .
Repare-se que, como trivial, quando o conjunto N finito, toda a famlia
indexada em N essencialmente finita e, quando todos os espaos vectoriais
coincidem, a sua soma, no sentido anterior, coincide com a sua soma, no
sentido usual.
IV.2.8. Sejam I4 4N uma famlia de espaos vectoriais, I um espao vectorial
e, para cada 4 N , s+4 I4 I uma aplicao linear. Vamos dizer que I
uma soma da famlia dos I4 , definida pelas injeces s+4 , se, qualquer que
4N
pode ser enunciada, de modo equivalente, exigindo que cada s+4 seja uma
aplicao linear injectiva e que I seja soma directa dos seus subespaos
vectoriais s+4 I4 .
IV.2.9. Como primeiro exemplo, trivial, de soma, no sentido anterior, temos as
somas directas usuais de subespaos vectoriais: Se I4 4N uma famlia de
subespaos vectoriais de I e se +4 I4 I so as incluses, ento I uma
soma dos I4 com as injeces +4 se, e s se I soma directa dos I4 .
s5 s+4 C
C, se 5 4
1
!, se 5 4,
2. Produtos e somas de complexos de cocadeias 209
s5 "s+4 B4 " 1
1 s5 s+4 B4 B5 1
s5 B
4 4
B !s+4 B4 .
implica, pela parte de unicidade na definio de produto, que se tem
B !s+4 B4 .
onde B4 4N a nica famlia essencialmente finita, com B4 I4 , tal que
s5 s+4 C
C, se 5 4
1
!, se 5 4.
B "s+4 1
s4 B.
4N
s5 s+4 C
C, se 5 4
1
!, se 5 4.
B "s+4 1
s4 B.
4N
Tem-se ento que I uma soma da famlia dos I4 , com as injeces s+4 , e as
aplicaes lineares 1s4 so as projeces associadas.
Dem: O facto de se ter, por a), 1 s4 s+4 M.I4 implica que cada aplicao
46Ou, mais geralmente, N pode ser infinito, mas I4 !, salvo para um nmero finito
de ndices.
2. Produtos e somas de complexos de cocadeias 211
s5 s+4 C
C, se 5 4
1
!, se 5 4.
b) Para cada B I ,
B "s+4 1
s4 B.
4N
s5 "s+4 1
1 s4 B 1
s5 B.
4N
s5 s+4 C
C, se 5 4
1
!, se 5 4.
b) Para cada B I ,
B "s+4 1
s4 B.
4N
B "s+4 1
s4 B "s+4 B4 .
4N 4N
1
s5 B B5 . Ficou assim provado que I efectivamente um produto dos I4 ,
com as projeces 1 s4 I I4 , e o facto de as injeces associadas serem os
s+4 uma mera reformulao de a).
IV.2.15. Seja N um conjunto de ndices e seja, para cada 4 N , G4 um
complexo de cocadeias, definido pelos espaos vectoriais G4: , com : , e
pelas aplicaes lineares cobordo .4: G4: G4:" . Suponhamos que, para
cada : , se considera uma soma G : da famlia dos G4: , definida pelas
injeces s+:4 G4: G : . Existe ento uma, e uma s, maneira de definir
aplicaes lineares . : G : G :" , de modo a obter um complexo de
cocadeias G , constitudo pelos espaos vectoriais G : e pelas aplicaes
lineares de cobordo . : , para o qual, para cada 4 N , a famlia de aplicaes
lineares s+4 s+:4 : constitua um morfismo de complexos de cocadeias de
G4 para G . Mais precisamente, para cada B G : , com B !s+:4 B4 , onde
B4 G4: , . : B o elemento de G :" ,
. : B "s+:" :
4 .4 B4 .
4
. : B "s+:" :
4 .4 B4 ,
4
s5 s+4 C
: : C, se 5 4
1
!, se 5 4
B "s+:4 1 :
s4 B,
4
s4 L : s+4 C
C, se 5 4
L : 1
!, se 5 4
B " L : s+4 L : 1
s4 B,
4
IV.2.19. (O dual dum produto finito uma soma) Seja I4 4N uma famlia
finita de espaos vectoriais sobre e seja I um produto desta famlia, com
as projeces 1 s4 I I4 . Seja w e consideremos, para cada 4 N , a
aplicao linear dual 1 s4 PI4 w PI w . Tem-se ento que PI w
uma soma da famlia dos PI4 w , tendo como injeces as aplicaes
s4 PI4 w PI w e, sendo s+4 I4 I as injeces associa-
lineares 1
das ao produto referido, as projeces associadas a esta soma so as apli-
caes lineares s+4 PI w PI4 w .
Dem: Por IV.2.13, tem-se 1 s4 s+4 M. I4 I4 , 1s4 s+5 !, se 4 5 , e
47Pelo contrrio, em geral, o dual dum produto no ser uma soma. Isso acontece, no
entanto, no caso em que N finito (cf. o prximo resultado).
2. Produtos e somas de complexos de cocadeias 215
!s+4 1
s4 M. I I . Daqui se deduz que
s+4 1
s4 1
s4 s+4 M. PI4 w PI4 w ,
s+5 1
s4 1
s4 s+5 !, se 4 5 ,
s4 s+4 "s+4 1
"1 s4 M. PI w PI w ,
4 4
48A explicao para o nome Lema da Serpente est no diagrama que apresentamos no
incio da demonstrao e no modo como nos movimentamos ao longo dele no decurso
desta.
3. Sucesso exacta de Mayer-Vietoris 217
-:" .:"
! qp G :" qqp G w :" qqp G ww :" qp !
.:" .w :" .ww :"
-: .:
! qp G :" qqp G w :" qqp G ww :" qp !
.:" .w :" .ww :"
-:" .:"
! qp G :" qqp G w :" qqp G ww :" qp !
.:" .w :" .ww :"
-:# .:#
! qp G :# qqp G w :# qqp G ww :# qp !
L : . Bw -: C .: Bw .: -: C Bww ,
o que mostra que Bww est na imagem de L : . .
d) Vamos verificar, por fim, a exactido da sucesso exacta de cohomologia
em L :" G , isto , que a imagem de ` : L : G ww L :+1 G coincide
com o ncleo de L :" - L :" G L :" G w .
3. Sucesso exacta de Mayer-Vietoris 219
!B "B
<B #B , se B Z :B #B , se B Y
!, se B Z !, se B Y
1 D , 1 D .
#D D D " #D " D D
" D D " D D " D D " D D
: " ".
Dem: Este resultado no mais do que um caso particular de IV.1.4, se
repararmos que W ! uma variedade de dimenso !, cujas componentes
conexas so " e ".
IV.3.10. Sejam I um espao euclidiano e Q I uma variedade de dimenso
7 compacta, sem bordo, suavemente orientada. Sendo , igual a ou , o
( = ( = ( .3 (
w
3`" Q !,
Q Q Q `" Q
4"
Dem: a) Sendo J w J o subespao vectorial imagem de -, que coincide
com o ncleo de ., obtemos, por passagem ao quociente de ., uma aplicao
s J J w K, o que implica que J J w tem dimenso finita
linear injectiva .
menor ou igual a ; . O facto de J w ser a imagem da aplicao linear - implica
que J w tem dimenso finita menor ou igual a :. Considerando agora a
sucesso exacta curta
224 Cap. IV. Introduo cohomologia de de Rham
! qp J w qp J qp J J w qp !,
deduzimos de II.7.22 que J tem dimenso finita igual soma das dimenses
de J w e de J J w , portanto menor ou igual a : ; .
b) Comecemos por ver que esta afirmao trivialmente verdadeira nos
casos em que 8 " ou 8 #, no primeiro caso, uma vez que, para uma
sucesso exacta do tipo ! qp I" qp !, a segunda aplicao linear
injectiva e portanto I" !, e, no segundo caso, uma vez que, para uma
-"
sucesso exacta do tipo ! qp I" qp I# qp !, -" um isomorfismo. A
afirmao tambm verdadeira para 8 $, tendo em conta II.7.22. Faamos
ento a demonstrao por induo em 8, supondo que o resultado vlido
para um certo 8 $ e examinando o que sucede quando temos uma sucesso
exacta do tipo
-" -# -$ -8# -8" -8
! qp I" qp I# qp I$ qp qp I8" qp I8 qp I8" qp !.
Consideramos ento o subespao vectorial I8w I8 imagem da aplicao
linear -8" , que tambm o ncleo da aplicao linear -8 , e reparamos que
se podem ento considerar as sucesses exactas
-" -# -$ -8# -8"
! qp I" qp I# qp I$ qp qp I8" qp I8w qp !
+ -8
! qp I8w qp I8 qp I8" qp !.
4"
que :8w :8 :8" . Substituindo esta ltima igualdade na anterior, obtemos
finalmente o resultado.
IV.3.12. Seja 8 ! e consideremos na hipersuperfcie esfrica W 8 8" a
orientao suave que lhe vem de ser bordo da bola fechada de centro ! e raio
". Tem-se ento:
a) Se 8 !, L ! W ! L ! " " um espao vectorial de dimenso #,
admitindo uma base : : , onde : : W ! so as aplicaes
definidas por : " : " " e : " : " !.
b) Se 8 ", L ! W 8 um espao vectorial de dimenso ", admitindo como
base a classe de equivalncia da funo W 8 de valor constante ".
c) Se 8 ", L 8 W 8 um espao vectorial de dimenso ", admitindo como
base a classe de equivalncia do elemento de volume de W 8 e
L 8 W 8 um isomorfismo.
d) Para cada : ! 8, L : W 8 !.
Dem: A concluso de a), tal como a concluso de d), no caso em que 8 !,
j foi estabelecida em IV.3.9. Supomos assim, a partir de agora, que se tem
8 ". A concluso de b) uma consequncia de W 8 ser uma variedade
conexa e no vazia, tendo em conta, IV.1.4. Reparemos tambm que, para a
3. Sucesso exacta de Mayer-Vietoris 225
alnea c), tudo o que temos que verificar que L 8 W 8 tem dimenso ", visto
que o facto de a aplicao linear L 8 W 8 ser sobrejectiva implica
ento que ela um isomorfismo e o facto de a classe de equivalncia do
elemento de volume ser aplicada por em 58 ! implica ento que essa
classe de equivalncia constitui uma base. A fim de demonstrarmos as
alneas c) e d), utilizando a sucesso exacta de Mayer-Vietoris, vamos olhar
para W 8 como unio dos subconjuntos abertos W W 8 /8" e
W W 8 /8" , que vo ser variedades contrcteis, por serem
difeomorfas a 8 atravs das projeces estereogrficas 0 e 0 referidas em
IV.3.8 (cf. as alneas a) e b) de III.7.8). Por IV.1.13, sabemos assim que
L ! W e L ! W so espaos vectoriais de dimenso " e que os restantes
espaos de cohomologia destas variedades so !. No que diz respeito
interseco W W W 8 /8 /8 , vemos que ela contm a variedade
W 8" !, naturalmente difeomorfa a W 8" , e vamos verificar que, para a
incluso + W 8" ! W W , cada
L : + L : W W L : W 8" !
um isomorfismo, o que provar que cada L : W W isomorfo a
L : W 8" . Para o verificarmos, identificamos, do modo usual, 8" a
8 e consideramos a aplicao suave 3 W W W 8" !
B
definida por 3B > mBm !. Vem 3 + M. W 8" ! W 8" !
e a aplicao + 3 W W W W suavemente homotpica
B" =# >#
L= B > =>.
mBm
Conclumos daqui que
L : + L : 3 L : 3 + L : W 8" ! L : W 8" !
L : 3 L : + L : + 3 L : W W L : W W
L : + L : 0 M. L : W 8" L : W 8"
e, uma vez que + 0 8 ! 8 ! suavemente homotpica
identidade, pela homotopia L ! " 8 ! 8 ! definida por
B
L= B ,
" = =mBm
tem-se tambm
L : 0 L : + M. L : 8 ! L : 8 !,
donde o resultado.
IV.4.1. Seja Q I uma variedade. Diz-se que uma forma diferencial suave de
grau :, = =B BQ tem suporte compacto se existir um compacto O Q
tal que =Q O !. claro que, quando a variedade Q for compacta, toda
a forma diferencial suave tem suporte compacto (tomar O Q ).
Para cada : !, notamos H:- Q o subconjunto de H: Q constitudo pelas
formas diferenciais suaves de grau : com suporte compacto
(acrescentando-se uma referncia a ou quando for importante sublinhar
qual o corpo que se est a considerar), sendo imediato realizar-se que H:- Q
um subespao vectorial de H: Q (lembrar que o vazio um compacto
contido em Q e que a unio de dois subconjuntos compactos de Q ainda
um subconjunto compacto de Q ). Para cada : !, pomos, naturalmente,
H:- Q H: Q !.
Se = H:- Q , ento . : = H-:" Q , visto que, se O Q um
compacto tal que =Q O !, tem-se tambm . =Q O
.=Q O !. Podemos assim considerar um novo complexo de cocadeias
H- Q definido pela famlia dos subespaos vectoriais H:- Q H: Q e
pelos operadores de cobordo restries dos operadores de cobordo
. : H: Q H:" Q 52 complexo de cocadeias a que se d o nome de
complexo de de Rham com suporte compacto de Q . Os espaos vectoriais
^ : H- Q , F : H- Q e L : H- Q so notados com frequncia mais
simplesmente ^-: Q , F-: Q e L-: Q e diz-se que os espaos vectoriais
L-: Q so os espaos de cohomologia de de Rham com suporte compacto
da variedade Q .
claro que, se Q tem dimenso 7 vem ainda L-: Q !, para : 7 e
: !, e que, se Q compacta, os espaos de cohomologia com suporte
=Q B
=B , se B Y
!, se B Y
" 54 +4 =B =B
4N w
( = ( = ( .3 (
w
3`" Q !,
Q Q Q `" Q
= ( = ( :B . .Q B !,
Q Q
Y< e portanto que tem lugar uma aplicao suave " , identicamente
nula em Y< , e portanto de suporte compacto, definida por " > !> - ,
tendo-se assim " H!- e . " =, pelo que = F-" , o que termina a
demonstrao neste caso. Podemos assim, a partir de agora, supor que
8 : #.
h) Sejam 0 W 8" Y< e 1 Y< W 8" as aplicaes suaves definidas por
0 B #<B e 1B BmBm.57 Tem-se 1 0 M. e 0 1 Y< Y<
suavemente homotpica identidade, pela homotopia suave
L ! " Y< Y< definida por
L> B > B.
#<" >
mBm
Daqui se deduz, para os correspondentes L : 0 L : Y< L : W 8" e
L : 1 L : W 8" L : Y< , que L : 1 L : 0 L : 0 1 a
identidade de L : Y< e L : 0 L : 1 L : 1 0 a identidade de
L : W 8" , o que mostra que L : 0 L : Y< L : W 8" um
isomorfismo, tendo como isomorfismo inverso
L : 1 L : W 8" L : Y< .
i) Vamos mostrar a existncia de " H:# Y< tal que . " !Y< , ou seja,
uma vez que .!Y< !, que se tem !Y< ! em L :" Y< . No caso em
que : 8, isso resulta de que L :" Y< isomorfo a L :" W 8" !.
Supondo ento : 8, tendo em conta o isomorfismo referido em h), ficamos
reduzidos a provar que 0 !Y< L :" 0 !Y< ! o que, tendo em
conta IV.3.12, equivalente a provar que
( 0 !Y< !,
W 8"
( !W#< !.
W#<
Mas isso uma consequncia do teorema de Stokes, visto que, por = ser nula
fora de F#< , podemos escrever
!( =( =( .! ( !W#< .
8 F#< F#< W#<
s B :B "B ,
"
se B Y<
,
!, se B Y<
s resultando de que ela vai ter restries suaves aos abertos
a suavidade de "
Y< e G , de unio 8 , a segunda por ser identicamente nula. Sendo agora
8
!
s ! ."s H:" 8 , tem-se ainda . ! s . ! = e, uma
s . ! .. "
8
vez que, para cada B no aberto Y#< B mBm #<, " s B "B , e
s
portanto tambm . " B . "B !B , conclumos que, para cada B Y#< ,
!
sB !, o que mostra que ! s H:" 8
- . Ficou assim provado que se tem
efectivamente = F- , o que termina a demonstrao.
: 8
4"
L-: Q !, para cada : 8, e L-8 Q um espao vectorial de
dimenso ", a aplicao linear L-8 Q sendo um isomorfismo.
Dem: Comeamos por notar que, para cada 4, existe um difeomorfismo
" " +4 ,4 definido por
+4 ,4 ,4 +4
> > ,
# #
cujo inverso est definido por
#= +4 ,4
= .
,4 +4
" >#
>
> ,
" =#
=
= .
5. Dualidade de Poincar.
!4 B5
", se 5 4
.
!, se 5 4
Para alm disso, podemos mesmo afirmar que, se I tem dimenso infinita,
ento PI tem tambm dimenso infinita.
Dem: Basta repararmos que, se B4 4N uma base de I , podemos definir as
aplicaes lineares !4 PI , para cada 4 N , pela mesma condio
que no caso da dimenso finita, e, embora estas no constituam uma base de
+5 !.
5. Dualidade de Poincar 237
"4 C5
", se 5 4
.
!, se 5 4
0B4 C5
", se 5 4
.
!, se 5 4
cialmente finita, a frmula anterior implica que 0B4 C ,4 . Uma vez que
B4 4N uma famlia linearmente independente de vectores de I , podemos
prolong-la numa base de I e construir, a partir da, uma aplicao linear
! PI tal que !B4 ", para todo o 4. Seja C J o elemento corres-
pondente a ! pelo inverso do isomorfismo J PI associado a 0.
Tem-se assim, para cada 4, 0B4 C !B4 ", o que um absurdo, tendo
em conta a concluso anterior de que devia ser finito o conjunto dos 4 com
esta propriedade.
IV.5.7. Seja Q uma variedade sem bordo, de dimenso 7, suavemente
orientada. Para cada ! : 7, tem ento lugar uma aplicao bilinear
0: L : Q L-7: Q ,
definida por
0: = 3 ( = 3,
Q
3"
onde, para cada " 3 7, +3 ,3 so nmeros reais, em ambos os casos
com a orientao cannica.
Dem: A alnea a) trivial, na medida em que se tem L : Q ! e
L-7: Q !, para cada :. Provemos ento b). Uma vez que Q
convexa em 7 e no vazia, e portanto suavemente contrctil, sabemos, por
IV.1.13, que se tem L : Q ! para cada : ! e que L ! Q um
espao vectorial de dimenso ". Por outro lado, por IV.4.11 e IV.4.12,
sabemos que se tem L-7: Q !, para : !, e que L-7 Q um
espao vectorial de dimenso ", com L-7 Q isomorfismo. A nica
verificao no trivial que temos que fazer portanto a de que a aplicao de
Poincar 0! L ! Q L-7 Q define o primeiro espao como dual do
240 Cap. IV. Introduo cohomologia de de Rham
segundo e, uma vez que os dois factores do domnio tm dimenso ", basta
provarmos que a aplicao linear associada, de L ! Q para PL-7 Q ,
no identicamente nula. Ora, isso resulta de que, sendo 0 ^ ! Q a
aplicao de Q para identicamente igual a " e = L-7 Q um elemento
no nulo, tem-se
0! 0 = = !.
0: L : 0 L-7: 0 = 3 ( 0 = 0 3 ( 0 = 3
Q Q
( :
= 3 0 = 3.
Qw
0: L : +4 = 3 ( =Y4 3 ( = 3Q 0: = 54 3,
Y4 Q
58Esta igualdade exprime que a aplicao linear F o produto das aplicaes lineares F4 ,
no sentido do exerccio IV.9 adiante, pelo que, se tivssemos levado mais longe o estudo
geral da noo de produto, o resto da demonstrao resumir-se-ia a aplicar um resultado
geral que garante que um produto de isomorfismos um isomorfismo.
242 Cap. IV. Introduo cohomologia de de Rham
59Este resultado tem uma caracterstica pouco comum em Matemtica: As hipteses que
fazemos podiam claramente ser enfraquecidas sem ter que mudar nada demonstrao
(por exemplo, bastaria pedir que a aplicao linear :" fosse sobrejectiva e a aplicao
linear :& fosse injectiva. A razo por que se procede deste modo que o enunciado
apresentado mais simples de ser fixado e as hipteses feitas so as que se verificam nas
aplicaes tpicas deste lema em Topologia Algbrica.
5. Dualidade de Poincar 243
jectiva, existe B" I" tal que :" B" C" e vemos que
:# -" B" ." :" B" ." C" :# B# ,
donde, por :# ser injectiva, -" B" B# , e portanto
B$ -# B# -# -" B" !,
o que prova a injectividade de :$ . Vamos provar agora que a aplicao linear
:$ sobrejectiva. Seja ento C$ J$ arbitrrio. O facto de a aplicao linear
:% ser sobrejectiva garante a existncia de B% I% tal que :% B% .$ C$ .
Vem ento
:& -% B% .% :% B% .% .$ C$ !,
donde, por :& ser injectiva, -% B% ! e a exactido da primeira linha em
I% implica a existncia de B$ I$ tal que -$ B$ B% ; vemos agora que
.$ C$ :$ B$ .$ C$ :% -$ B$ .$ C$ :% B% !,
pelo que o facto de a primeira linha ser exacta em J$ implica a existncia de
C# J# tal que C$ :$ B$ .# C# ; o facto de a aplicao linear :# ser
sobrejectiva permite fixar B# I# tal que :# B# C# e obtemos agora
:$ B$ -# B# :$ B$ .# :# B# :$ B$ .# C# C$ ,
o que termina a prova da sobrejectividade de :$ .
IV.5.15. Sejam Q I uma variedade e Y e Z abertos de Q tais que
Y Z Q . Notemos H- Y H- Z o complexo de cocadeias produto de
H- Y e H- Z construdo a partir dos produtos cartesianos
H:- Y H-: Z . Tem ento lugar uma sucesso exacta curta de complexos
de cocadeias
. -
! qp H- Y Z qp H- Y H- Z qp H- Q qp !,
em que as aplicaes lineares
.: H-: Y Z H-: Y H-: Z
-: H-: Y H-: Z H-: Q
61A lgebra Homolgica a parte da matemtica que estuda, do ponto de vista geral os
complexos de cocadeias e os espaos de cohomologia associados, assim como outras
questes relacionadas. Nela se inserem naturalmente o estudo das sucesses exactas e
resultados como o lema da serpente ou o lema dos cinco. Em aplicaes mais profundas
da lgebra Homolgica Topologia Algbrica, revela-se necessrio trabalhar, mais
geralmente, com mdulos sobre um anel, em vez dos espaos vectoriais. Nesse quadro, o
resultado que acabamos de enunciar , em geral, falso.
246 Cap. IV. Introduo cohomologia de de Rham
portanto ! . " .
IV.5.19. Sejam Q uma variedade sem bordo, de dimenso 7, suavemente orien-
tada e Y e Z abertos de Q tais que Y Z Q . Suponhamos que Y , Z e
Y Z , com as orientaes correspondentes, so variedades de Poincar.
Tem-se ento que Q uma variedade de Poincar.
Dem: Consideremos as seces das sucesses exactas de Mayer-Vietoris,
ordinria e de suporte compacto, associadas cobertura de Q pelos abertos
Y e Z , representadas no diagrama 1 da pgina seguinte, a segunda das quais
est escrita da direita para a esquerda (cf. IV.3.5 e IV.5.16).
L 7:" . ` 7: L 7: - L 7: .
L 7:" H- Y H- Z oq L-7:" Y Z oq L-7: Q oq L 7: H- Y H- Z oq L-7: Y Z
Diagrama 1
Diagrama 2
248 Cap. IV. Introduo cohomologia de de Rham
5. Dualidade de Poincar 249
Para cada par de espaos vectoriais na mesma coluna, temos uma aplicao
bilinear, do respectivo produto cartesiano para , nomeadamente a aplicao
de Poincar, que notaremos 0, no caso da segunda, terceira e quinta colunas,
e a aplicao, que notaremos s0, construda a partir das aplicaes de Poincar
de Y e de Z , no caso da primeira e da quarta (cf. IV.5.17). Reparemos agora
que as referidas aplicaes bilineares verificam as seguintes condies:
a) Para cada = 7 L : H Y H Z e 3 L-7: Y Z ,
:
0: L : . = 7 3 s0 = 7 L 7: . 3
(e analogamente com : " no lugar de :). Com efeito, podemos escrever
0: 7Y Z =Y Z 3 ( 7Y Z =Y Z 3
Y Z
( 7Y Z 3 ( =Y Z 3
Y Z Y Z
( 7 3Z ( = 3Y
Z Y
s0: = 7 3Y 3Z .
b) Para cada = L : Q e 3 5 L 7: H- Y H- Z ,
s0: L : - = 3 5 0: = L 7: . 3 5 .
0: =Y 3 0: =Z 5 ( =Y 3 ( =Z 5
Y Z
( = 3Q ( = 5Q
Q Q
( = 3Q 5Q
Q
0: = 3Q 5Q .
0: ` :" = 3 ( 7 3 ( 7 3" Q ( 7 3# Q
Q Q Q
( 7Y 3" ( 7Z 3#
Y Z
( . =" 3" ( . =# 3#
:
" ( =" 5Y ( =# 5Z
Y Z
Y Z
": ( =" Y Z 5 =# Y Z 5
Y Z
": ( = 5 0:" = ` 7: 3,
Y Z
$ +4 ,4 ,
8
4"
8
para cada 8.
Dem: Seja h uma base contvel de abertos de \ e seja i a parte de h consti-
tuda pelos Z h tais que adZ seja compacto. O conjunto i ainda uma
base contvel de abertos de \ , visto que, se Y um aberto de \ e se B Y ,
ento existe uma vizinhana compacta E de B, com E Y e o facto de
intE ser um aberto de \ , contendo B, implica a existncia de Z h tal
que B Z intE, em particular B Z Y , tendo-se ento, por E ser
fechado, adZ E e portanto adZ compacto, ou seja, Z i .
Afastando j o caso trivial em que \ g, parametrizemos os conjuntos de i
como os termos de uma sucesso Z8 8 . Definimos agora recursivamente
um compacto O8 , para cada 8 ", de modo que Z8 O8 e que
E# . Y$8" Y# Y& Y)
8"
E$ . Y$8# Y$ Y' Y* ,
8"
8"
$ +4 ,4 ,
7
4"
65Com tcnicas um pouco mais elaboradas, pode-se provar que, mesmo que Q no seja
orientvel, o facto de Q ser compacta e sem bordo implica que L : Q tem dimenso
finita (cf., por exemplo [7]).
5. Dualidade de Poincar 255
\ $ +4 ,4
8
4"
:B B lBl
!, se B !
mBm , se B !
<B BmBm
!, se B !
lBl , se B !
sobre W" W 8" B 8 mBm ", o que implica que F " um cubo
topolgico de dimenso 8 e que `" "8 uma esfera topolgica de
dimenso 8 " (que o que nos faltava para terminar a demonstrao de a)).
A concluso de b) agora uma consequncia de a homotetia B < B, ser um
homeomorfismo de F " sobre F < , que aplica W" W 8" sobre W< .
Para verificarmos c), comeamos por lembrar que, considerando
W 8 B > 8 mB >m ",
tem lugar o homeomorfismo 0 W 8 /8" 8 (projeco estereogr-
B
fica), definido por 0 B > "> (cf. IV.3.8). Uma vez que
66No caso em que 8 ", W 8 , como sabemos, conexo e esta concluso costuma ser
expressa pela afirmao de que um cubo topolgico nunca destri a conexo de W 8 .
258 Cap. IV. Introduo cohomologia de de Rham
! ", notar
\+, :! "5 + ,,
pondo, em particular
\+ \++ :! "5 +.
que =W 8 \+ !, em L-: W 8 \+ .
g) Vamos melhorar um pouco a concluso de f), mostrando que, para cada
+ ! ", existe um aberto M+ de ! ", com + M+ , tal que, com
\s + :! "5 M+ , se tenha j = 8 s ! em L-: W 8 \ s + .
W \ +
Para isso, comeamos por reparar que o facto de se ter =W 8 \+ !, em
L-: W 8 \+ , garante a existncia de 3 H-:" W 8 \+ tal que
=W 8 \+ . 3, existindo portanto um compacto O W 8 \+ tal que
3B !, para cada B O . Tem-se ento \+ W 8 O pelo que o aberto
:" W 8 O de ! "5" contm o compacto ! "5 +, o que nos
permite considerar & ! menor que o mnimo das distncias dos pontos de
! "5 + ao complementar de :" W 8 O (mtrica do mximo de
! "5" ). Sendo
M+ > ! " l> +l &,
mtrico compacto ! " pelos conjuntos M+ .67 Seja R " tal que "R $ .
Para cada ! 4 R , seja +4 4R ! ". Reparando que cada intervalo
+4" +4 tem dimetro menor que $ , e est, portanto, contido nalgum dos
s + , e portanto
conjuntos M+ , conclumos que \+4" +4 \
s + W 8 \+4" +4 ,
W8 \
Figura 10
264 Cap. IV. Introduo cohomologia de de Rham
"
L#> B, se > #
B
L> ,
s
L#> " B, se > "
#
aplicao que contnua por ter restries contnuas aos dois subconjuntos
fechados ! "# \ e "# " \ com unio ! " \ , e que verifica
B 0 B e L"
L! B 2B.
BO
chegar a um absurdo. Para cada natural 8 ", podemos considerar ento o
aberto
Y8 C . YB .C O
"
,
BO
8
69O teorema da aplicao inversa usual no mais do que o caso particular do resultado
anterior em que tomamos para O um conjunto reduzido a um elemento.
7. Invarincia topolgica da cohomologia 267
Figura 11
Dem: Podemos afastar o caso trivial em que O g, caso em que podemos
tomar Y [ g e < ! arbitrrio. Recordemos que, uma vez que Q
uma variedade contida num espao euclidiano de dimenso 8, podemos
considerar o fibrado vectorial de base Q , que a cada B Q associa o
complementar ortogonal XB Q do espao tangente, e que, por
conseguinte, o seu espao total
268 Cap. IV. Introduo cohomologia de de Rham
X Q B A I I B Q , A XB Q
uma variedade sem bordo (cf., por exemplo [10]). Para alm disso, sendo 8
a dimenso de I , se Q tem dimenso 7 em B, XB Q tem dimenso
8 7, pelo que X Q tem dimenso 8 em cada B A. Recordemos ainda
que, por uma propriedade geral dos espaos totais dos fibrados vectoriais,
para um ponto de X Q da forma B !, tem-se
XB! X Q XB Q XB Q
est definida por ? @ ? @ pelo que o facto de ter lugar a soma directa
I XB Q XB Q implica que esta aplicao linear um isomorfismo.
Uma vez que GB ! B, e portanto a restrio de G a O ! injectiva,
podemos aplicar IV.7.3 para concluir a existncia de um aberto h w de
X Q , contendo O !, e de um aberto [ w de I tais que a restrio de
G seja um difeomorfismo de h w sobre [ w . Consideremos em I I a norma
do mximo e seja < ! menor que a distncia estritamente positiva do
compacto O ! ao fechado X Q h w .70 Sendo
Y B Q .B O <, Y um aberto de Q contendo O e, para cada
B Y e A XB Q , com mAm <, vem .B A O ! <, portanto
B A h w . Podemos ento considerar o aberto
h B A X Q B Y , mAm <
de X Q , que contm O ! e est contido em h w , e a restrio de G vai
ser um difeomorfismo de h sobre um aberto [ de I , contido em [ w , aberto
que contm Y , e portanto tambm O , uma vez que GB ! B. As alneas
a) e b) do enunciado so agora triviais e a alnea c) resulta de que a aplicao
F no mais do que a composta do difeomorfismo G" [ h com a
primeira projeco h Y , desde que se repare que, para B Y ,
GB ! B.
Ficou assim provado que C B! XB! Q , o que, por a), implica que
C B! C B! [ . Pela definio em c), vemos que B! FC, o que
mostra que FC realmente o nico ponto de Q a distncia mnima de C .
IV.7.6. Sejam Q w I w uma variedade compacta e Q I uma variedade sem
bordo. Sejam 0 1 Q w Q duas aplicaes suaves homotpicas. Tem-se
ento que 0 e 1 so mesmo suavemente homotpicas.
Dem: Podemos j afastar o caso trivial em que Q w g. Seja ento
L ! " Q w Q uma aplicao contnua tal que L! B 0 B e
L" B 1B. Em particular a restrio de L ao subconjunto fechado
! " Q w de ! " Q w suave, por ter restrio suave a cada um dos
abertos ! Q w e " Q w de ! " Q w . Considerando o subconjunto
compacto L! " Q w de Q , deduzimos de IV.7.4 a existncia de um
aberto [ de I , contendo esse compacto e de uma aplicao suave
F [ Q tal que, para cada C L! " Q w , FC C. Seja $ !
71Se no quisermos afastar o caso trivial em que Q g, temos que usar a conveno que
a distncia de C ao conjunto vazio _ (o nfimo do conjunto do vazio, sendo o mximo
dos seus minorantes, s pode ser olhado como _).
270 Cap. IV. Introduo cohomologia de de Rham
pelo que L> B [ , o que nos permite definir uma aplicao contnua
L ! " Q w Q por L> B FL> B. Tem-se ento L! B
F0 B 0 B e L" B F1B
1B, o que mostra que a aplicao
contnua 0 Q w Q realmente homotpica aplicao suave
1 Q w Q . Por fim, se 1 s1 Q w Q so duas aplicaes suaves, ambas
homotpicas a 0 , concluamos, por transitividade, que 1 e s1 so homotpicas
e portanto, por IV.7.6, tambm suavemente homotpicas o que, por IV.1.12,
s L : Q L : Q w .
implica que, para cada :, L : 1 L : 1
L : 1 0 L : 1 s0 L : 0
s L : 1 L : 0 L : 1.
L : 1 0 L : 1
s 0 L : 0 L : 1
s L : 0 L : 1.
Para a alnea c), combinamos os processos anteriores, considerando aplica-
es suaves s0 Q ww Q w e s1 Q w Q e aplicaes contnuas
L ! " Q ww Q w , s ! " Q w Q ,
L
verificando L! B 0 B, L" B s0 B, L!
s C 1C e L"
s C
s1C e reparamos que tem ento lugar uma aplicao contnua
! " Q ww Q ,
L s L> B,
B L>
L>
B s1 s0 B, de onde
B 1 0 B e L"
para a qual se tem L!
deduzimos que
s s0 L : 0
L : 1 0 L : 1 s L : 1
s L : 0 L : 1.
donde o resultado.
EXERCCIOS
Ex IV.6 O que ser uma soma de uma famlia de espaos vectoriais constituda
por um nico elemento (isto , em que o conjunto dos ndices seja unitrio)?
E uma soma de uma famlia vazia de espaos vectoriais?
Ex IV.7 Sejam I4 4N uma famlia de espaos vectoriais, I um espao
vectorial e, para cada 4 N , s+4 I4 I uma aplicao linear.
a) Suponhamos que I uma soma dos I4 , com as injeces s+4 . Mostrar que,
dados um espao vectorial J e, para cada 4, uma aplicao linear
-4 I4 J , existe uma, e uma s, aplicao linear - I J tal que, para
cada 4, - s+4 -4 , nomeadamente a definida por
-" +4 B4 " -4 B4 ,
4 4
s # I4 a soma construda a
- I J tal que, para cada 4, - s+4 -4 . Mostrar que I uma soma dos
I4 , com as injeces s+4 . Sugesto: Sendo I
74Esta condio exprime que, no sentido da teoria das categorias, I um produto dos I4 ,
com as projeces 1 s 4 I I4 .
75Esta condio exprime que, no sentido da teoria das categorias, I uma soma dos I ,
4
com as injeces s+4 I4 I .
Exerccios 275
-w B " +4 -4 1
s4 B,
4N
a qual tem dois termos de dimenses ainda no conhecidas pelo que, por si
s, no determina essas dimenses. Estas ficam, no entanto determinadas, se,
por um estudo mais aprofundado da aplicao linear entre espaos vectoriais
de dimenso #, L " L " L " , se concluir que esta
aplicao linear tem um ncleo com dimenso ". Nesse estudo atender ao
exerccio anterior que garante que, se = o elemento de volume de W " , para
cada variedade suavemente contrctil Q w , com projeco 3 W " Q w W " ,
3 = constitui uma base de L " W " Q w .
Ex IV.16 Continuemos a considerar a variedade W " # , com a orientao
usual, e, para simplificar as notaes, identifiquemos, do modo usual, # a
. Consideremos, como no exerccio precedente, o toro
W " W " . O objectivo deste exerccio a obteno de uma
informao mais completa sobre o espao de cohomologia L " . Notemos
1" 1# W " as projeces, definidas por 1" B C B e 1# B C C, e
5" 5# W " as injeces, definidas por 5" B B " e 5# C " C.
Notemos Z 96 H" W " a forma diferencial elemento de volume de W " .
a) Verificar que se pode definir uma aplicao linear 0 L " # por
0= ( 5" = ( 5# =.
W" W"
" mBm#
B
0 B ,
" mCm#
C
1C .
( 0 = - ( =.
Qw Q
3"
'
: Q ! ", nula fora de uma parte compacta de Z e tal que :C! " e,
'
sendo ento = H7 - Q , =C :C Z 96XC Q , mostrar que Q = ! e cal-
cular Q w 0 =.
e) Deduzir das alneas anteriores e do teorema de Sard que, qualquer que seja
a aplicao suave prpria 0 Q w Q , tem-se deg0 e que, se 0 no
sobrejectiva, tem-se mesmo deg0 !.
f) Mostrar que, se 0 Q w Q um difeomorfismo, ento deg0 ".
Ex IV.23 (Outra vez o teorema fundamental da lgebra)
a) Sendo 8 ", mostrar que tem lugar uma aplicao suave prpria
08 , definida por 08 D D 8 , para a qual se tem deg08 8.
Sugesto: Verificar que cada D ! um ponto regular de 08 , e com o
isomorfismo H08 D a conservar as orientaes.
b) Sejam 8 " e, para cada ! 3 8 ", +3 e consideremos a corres-
pondente aplicao polinomial 0 , definida por
0 D D 8 +8" D 8" +" D +! .
Mostrar que 0 uma aplicao suave prpria e que 0 suave e propriamente
homotpica aplicao 08 referida em a) pela homotopia
L ! " definida por
L> D D 8 >+8" D 8" +" D +! ,
e deduzir que se tem deg0 8.
c) Concluir de b) que a aplicao 0 sobrejectiva e, em particular,
que existe D tal que 0 D !.
Ex IV.24 Seja Q I uma variedade sem bordo, de dimenso 7, suavemente
contrctil e suavemente orientada. Mostrar que se tem L-: Q !, para
cada : !, e que L-7 Q um espao vectorial de dimenso " (generaliza-
o de IV.4.11)77. Sugesto: Utilizar o teorema de dualidade de Poincar,
lembrando IV.1.13.
L 75 1" L 75 Q L 75 Q Q w
(cf. o exerccio IV.14) e as aplicaes bilineares de Poincar
075 L 75 Q L-5 Q
075 L 75 Q Q w L-:5 Q Q w ,
que '! :> .> ", mostrar que tem lugar uma forma diferencial fechada
sendo : ! _ ! _ uma aplicao suave, de suporte compacto, tal
_
( 3E ( = 3
E Q
( 3 H .W 8" .
I!
( 3E "
E
78 claro que, reciprocamente, toda a aplicao bilinear alternada que defina um dos
espaos como dual do outro, no degenerada, no sentido anterior.
286 Cap. IV. Introduo cohomologia de de Rham
--
II J J
0 0 ( ( .
-
I J
80Ao contrrio do que possa eventualmente parecer a um leitor mais apressado, este
resultado no uma trivialidade topolgica.
81Este facto costuma ser expresso pela afirmao de que a topologia de ] a topologia
final determinada pela topologia de \ e pela aplicao :.
82Por vezes tambm se usa o nome curva de Jordan, mas preferimos aquele porque
estamos a dar outro siginificado palavra curva.
Exerccios 291
definido por
" mBm#
B
:B ,
0 B
0" :B, se mBm "
.
/8" , se mBm "
Figura 12
Alis, pensando na projeco estereogrfica, fcil de constatar que a inexis-
tncia de soluo no quadro de W # arrasta a inexistncia de soluo no
quadro de # . Podemos ento formalizar o enunciado deste exerccio do
seguinte modo:
So dados seis pontos distintos B" B# B$ C" C# C$ em W # . Mostrar que no
existem aplicaes contnuas 034 ! " W # , onde " 3 $ e " 4 $,
com 034 ! B3 , 034 " C4 , 034 ! " W # B" B# B$ C" C# C$ e
com os conjuntos 034 ! " disjuntos dois a dois.
Sugesto: Supor que existiam aplicaes 034 nas condies anteriores e
tentar chegar a um absurdo seguindo os seguintes passos.
a) Notemos E34 034 ! " e
\ E"" E"# E"$ E#" E## E#$ ,
\" E"# E## E#$ E"$ ,
A 2,3
x1 x2 x3
A 1,1
A 1,3 A 2,2 A 2,1
A 1,2
y1 y2 y3
Figura 13
b) Tendo em conta o teorema de Jordan-Brouwer, considerar
A componente conexa, ]" , de W # \" , que no contm C" ,
A componente conexa, ]# , de W # \# , que no contm C# ,
A componente conexa, ]$ , de W # \$ , que no contm C$ .
86A hiptese de a subvariedade ser conexa claramente dispensvel, uma vez que
podemos sempre aplicar a concluso a cada uma das componentes conexas desta.
ndice de Smbolos
.0 E 1
.8 E 2
-0 2, 3
.I E 3
B C Bw Cw 4
134 5
.Q E 9
W B I mBm " 18
: ! _ W I ! 18
58 19
W< , F< 20
+81G 28
,+<Q 29
37
I 38
P: I J 39
PI J 39
P! I J J 40
P: I J 40
P: I J 40
04" 4: I : w 41
" I PPI 43
0 ( I :; w 43
-" -# -5 P:" :# :5 I w 44
- 0, - P: J w P: I w 44
0I 45
8 45
inv5 45, 46
sg5 45, 46
4 5 45
sgN 47
5
s 0, 5s P: I w P: I w 48
E: I J 49
W : I J 49
Alt0, Alt P: I J E: I J 50
Sym0, Sym P: I J W : I J 51
04" 4: E: I w 52
det E7 7 54
det- 55
298 ndice de Smbolos
0 ( E:; I w 57
0 ( W :; I w 58
0" 08 E:" :8 I w 60
0" 08 W :" :8 I w 61
intB 0, intB P: I J P:" I J 64
74 : 64
!B" B8 68
sgB, sg I ! " " 69
sg- 71
Z 96I E8 I 79
) I PI 80
0, E: I E8: I 81
) I E8" I 86
B" B8" 87
det - 91
det - 91
trG 91
tr- 91
tr - 91
tr - 91
0 0B BQ 99
0 0 H0B 00 B BQs 102
0Qs 102
)\, )" = 105
H0 H0B BQ 106
grad0 )" H0 106
Z 96 Z 96B BQ 106
\ ] 107
.= 107
div\ 115
?0 116
rot\ 116
_\ 0 120
' =, ' =
int\ 0 int\B 0B BQ 128
Q 131
^B 141
[B 142
T = T =B BQ 144
:! :" Q ! " Q 145
nE 0 'E0 H, n0
H I ! E8" I 164
164
ndice de Smbolos 299
nE 164
`
`:4 170
`
`B4 171
.D .B 3 .C, .D .B 3 .C 171
`0 `0
`D , `D 171
= H Q 175
:= Y= Y= 175
_\ ] 176
`0
`8 179
F > +, W> + 179
# P++ J J E# J 183
rot\ 183
f\B XB Q XB Q 183
B C P++ J J 183
+. J P++ J J 184
nC E 0 , nC 0 , nC E 190, 192
H: Q , H: Q 195
. : H: Q H:" Q 195
G G : : 195
^ : G , F : G 195
^ : G
L : G F : G 196
B L : G 196
H Q 196
^: Q , F :
Q 196
^: Q
L: Q F:
Q
196
:
- - : 198
L : - L : G L : G w 198
` : L : G ww L :" G 214
H Y H Z 217
-: H: Q H: Y H: Z 217
.: H: Y H: Z H: Y Z 217
0 0 W 8" /8 8" 220
1 1 8" W 8" /8 220
L 7 Q 220
H:- Q 225
H- Q 225
^-: Q , F-: Q , L-: Q 225
L-: 0 L-: Q L-: Q w 227
=Q 227
L-7 Q 230
0: L : Q L-7: Q 236
.: H-: Y Z H-: Y H-: Z 241
-: H-: Y H-: Z H-: Q 241
300 ndice de Smbolos
h0 248
h= 248
ndice Remissivo