Escolar Documentos
Profissional Documentos
Cultura Documentos
NC Cap00 PDF
NC Cap00 PDF
ao Paulo
Departamento de Fsica Matematica
2013
Curso de Fsica-Matem
atica
Jo
ao Carlos Alves Barata
Vers
ao de 18 de julho de 2013
2/2070
Indice
Pref
acio . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 21
Bons Mots . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 22
Como Ler Este Livro . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 24
Nota
c
ao e Advert
encias . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 25
Captulos Introdut
orios
30
1 No
co
es Conjuntivistas B
asicas
1.1
1.1.1
1.1.2
1.1.3
1.2
Relaco
es e Funco
es . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 32
1.1.1.1
1.1.1.2
Relaco
es de Incompatibilidade (ou de Depend
encia) . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 39
1.1.1.3
Relaco
es de Equival
encia . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 39
1.1.1.4
Relaco
es de Ordem
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 43
Cardinalidade . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 50
Infimos e Supremos de Famlias de Conjuntos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 55
Sistemas de Conjuntos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 57
1.2.1
Semi-An
eis de Conjuntos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 58
1.2.2
An
eis de Conjuntos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 59
Algebras
de Conjuntos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 60
1.2.3
1.A
31
Conjuntos, Relaco
es e Funco
es . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 31
1.2.4
-An
eis de Conjuntos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 61
1.2.5
-Algebras
de Conjuntos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 62
1.2.6
Sistemas Mon
otonos de Conjuntos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 63
1.2.7
Topologias . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 67
1.2.8
Filtros e Ultra-Filtros . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 67
APENDICES
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 70
A F
ormula de Invers
ao de M
obius . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 70
2 Estruturas Alg
ebricas B
asicas
2.1
72
Estruturas Alg
ebricas B
asicas . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 73
Semigrupos, Mon
oides e Grupos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 82
2.1.4
Corpos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 86
2.1.5
Espacos Vetoriais . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 90
An
eis, M
odulos e Algebras
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 92
2.1.6
2.1.6.1
An
eis . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 92
2.1.6.2
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 93
2.1.6.3
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 93
M
odulos . . . . . . . . . . . .
Algebras
. . . . . . . . . . . .
2.1.7.1 Algebras
de Lie . . . . . . . .
2.1.7.2
2.1.7.3
2.1.7.4
2.1.7.5
Algebras
de Poisson . . . . .
Algebras de Jordan . . . . .
Algebras
de Grassmann . . .
Algebras de Clifford . . . . .
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 95
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 95
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 98
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 98
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 99
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 100
2.1.8
Mais sobre An
eis . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 100
2.1.9
Aco
es e Representaco
es . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 102
4/2070
2.1.9.1
2.1.9.2
Aco
es de Grupos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 102
Representaco
es de Grupos e de Algebras
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 106
2.2.3
2.2.4
2.3
Cosets . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 113
Subgrupos Normais e o Grupo Quociente . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 115
2.2.2.1
2.2.2.2
2.2.4.2
2.2.4.3
Bases Alg
ebricas de um Espaco Vetorial . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 133
2.3.2
O Dual Alg
ebrico de um Espaco Vetorial . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 137
2.3.3
2.3.4
2.3.5
2.3.5.1
2.3.6
2.3.7
2.3.8
2.4
O Produto Tensorial de M
odulos. Derivaco
es . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 164
An
eis e Algebras. Estruturas e Construco
es B
asicas . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 165
2.4.1 Ideais em An
eis e Algebras
Associativas . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 165
2.4.1.1
2.5
Ideais em An
eis . . . . . . . . . . . .
Algebras
Tensoriais e Algebras
Exteriores . . . . . . .
2.6
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 166
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 170
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 172
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 173
Algebras
Exteriores . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 174
T
opicos Especiais . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 175
2.6.1
2.6.2
Grup
oides . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 177
2.6.3
Quat
ernios . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 179
185
. . . . . . . . . . . . . . . . . . . . . . . . . . . . 185
3.1.1
3.1.2
3.1.3
3.1.4
Exemplos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 196
3.2
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 197
3.3
3.4
3.5
APENDICES
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 218
5/2070
3.A
Equival
encia de Normas em Espacos Vetorias de Dimens
ao Finita . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 218
3.B
Prova do Teorema de Fr
echet, von Neumann e Jordan . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 219
II
T
opicos de An
alise Real e Complexa
4 Recorda
co
es de C
alculo Vetorial em Tr
es Dimens
oes
223
224
4.1
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 224
4.2
Teoremas Cl
assicos sobre Integrais de Volume e de Superfcie . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 228
4.3
5 Fun
co
es Convexas
5.1
5.2
233
Funco
es Convexas. Definico
es e Propriedades B
asicas . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 233
5.1.1
Funco
es Convexas de uma Vari
avel . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 234
5.1.2
Funco
es Convexas de V
arias Vari
aveis . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 244
Algumas Conseq
u
encias da Convexidade e da Convavidade . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 247
5.2.1
5.2.2
5.2.3
M
edias Geom
etricas, Aritm
eticas e Desigualdades Correlatas . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 250
5.2.3.1
6 Fun
co
es Geratrizes. Produt
orias Complexas
256
6.1
Funco
es Geratrizes
6.2
6.1.1
6.2.1
6.3
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 256
N
umeros de Bernoulli . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 262
Uma Deduca
o Elementar do Produto de Wallis
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 265
7 A Fun
c
ao Gama de Euler
270
7.1
Introduca
o e Motivaca
o . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 270
7.2
A Funca
o Gama. Definica
o e Primeiras Propriedades . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 272
7.3
Outras Representaco
es para a Funca
o Gama . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 277
7.4
A Funca
o Beta e Propriedades Adicionais da Funca
o Gama . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 281
7.5
7.4.1
A F
ormula de Reflex
ao de Euler . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 282
7.4.2
A F
ormula de Duplicaca
o de Legendre . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 286
7.5.2
F
ormulas de Duplicaca
o e Unicidade . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 289
7.5.3
7.6
7.7
III
A F
ormula de Multiplicaca
o de Gauss da Funca
o Gama . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 291
A Aproximaca
o de Stirling e suas Correco
es . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 293
7.6.1
A Aproximaca
o de Stirling para Fatoriais e suas Correco
es. A S
erie de Gudermann . . . . . . . . . . . . . . . . . . . 295
7.6.2
A Aproximaca
o de Stirling para a Funca
o Gama e suas Correco
es. A S
erie de Gudermann . . . . . . . . . . . . . . . 301
T
opicos de Algebra
Linear
8 T
opicos de Algebra
Linear. I
312
313
8.1
Propriedades B
asicas de Determinantes e Inversas de Matrizes . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 314
8.2
Noco
es B
asicas sobre o Espectro de uma Matriz . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 324
6/2070
8.2.1
Autovalores e Polin
omios Caractersticos de Matrizes . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 325
8.2.2
Autovetores . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 328
8.2.3
8.3
8.3.1
8.4
Matrizes Diagonaliz
aveis e o Teorema Espectral . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 339
8.4.1
8.5
Algumas Relaco
es entre Determinantes e Tracos de Matrizes . . . . . . . . . . . . . . . . . . . . . . . . . . . . 332
Polin
omios de Matrizes . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 333
Diagonalizaca
o Simult
anea de Matrizes . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 351
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 354
8.5.1
8.5.2
O Teorema de In
ercia de Sylvester. Superfcies Quadr
aticas
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 362
8.6
8.7
O Teorema de Decomposica
o de Jordan e a Forma Can
onica de Matrizes . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 368
8.8
8.9
8.7.1
Resultados Preparat
orios . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 370
8.7.2
O Teorema da Decomposica
o de Jordan . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 373
8.7.3
8.7.4
A Forma Can
onica de Matrizes . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 380
Algumas Representaco
es Especiais de Matrizes . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 382
8.8.1
A Decomposica
o Polar de Matrizes . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 382
8.8.2
A Decomposica
o em Valores Singulares . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 384
8.8.3
O Teorema da Triangularizaca
o de Schur . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 384
8.8.4
A Decomposica
o QR e a Decomposica
o de Iwasawa (KAN) . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 387
A Regularizaca
o de Tikhonov. Exist
encia . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 394
8.9.1.2
8.9.2
8.9.3
Exist
encia e Decomposica
o em Valores Singulares . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 398
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 402
9 T
opicos de Algebra
Linear. II
410
9.1
Uma Topologia M
etrica em Mat (C, n) . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 411
9.2
A Exponenciaca
o de Matrizes e os Grupos GL(C, n) e GL(R, n) . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 421
9.3
A F
ormula de Lie-Trotter e a F
ormula do Comutador . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 424
9.4
Aplicaco
es Lineares em Mat (C, n)
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 426
9.4.1
9.4.2
9.5
A F
ormula de Baker, Campbell e Hausdorff . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 437
9.6
A F
ormula de Duhamel e Algumas de suas Conseq
u
encias
9.7
IV
Equac
oes Diferenciais
10 Equa
co
es Diferenciais Ordin
arias. Uma Introdu
c
ao
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 442
450
451
7/2070
10.1 Definica
o e Alguns Exemplos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 451
10.1.1 Equaco
es Diferenciais Ordin
arias Lineares . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 454
10.1.2 Equaco
es Ordin
arias de Segunda Ordem. Exemplos de Interesse . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 457
10.2 Sistemas de Equaco
es Diferenciais Ordin
arias . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 459
10.3 Discuss
ao sobre Problemas de Valor Inicial . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 464
10.3.1 Problemas de Valor Inicial. Patologias e Exemplos a se Ter em Mente . . . . . . . . . . . . . . . . . . . . . . . . . . . 465
10.3.2 Teoremas de Exist
encia e Unicidade de Soluco
es . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 468
10.3.3 Soluco
es Globais . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 470
10.3.4 Depend
encia Contnua de Condico
es Iniciais e de Par
ametros
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 472
11 Alguns M
etodos de Resolu
c
ao de Equa
co
es Diferenciais Ordin
arias
474
11.1 Soluca
o de Equaco
es Ordin
arias Lineares de Primeira Ordem . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 474
11.2 As Equaco
es de Bernoulli e de Riccati . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 475
11.3 Integraca
o de Equaco
es Separ
aveis . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 477
11.4 O M
etodo de Variaca
o de Constantes . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 478
11.5 O M
etodo de Substituica
o de Pr
ufer . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 479
11.6 O M
etodo de Invers
ao . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 481
11.7 Soluca
o de Equaco
es Exatas e o M
etodo dos Fatores Integrantes . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 482
11.8 Soluco
es das Equaco
es de DAlembert-Lagrange e Clairaut . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 486
12 Sistemas de Equa
co
es Diferenciais Ordin
arias Lineares
490
12.1 Introduca
o . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 491
12.2 Unicidade e Exist
encia de Soluco
es
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 491
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 494
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 498
12.3 Equaco
es com Coeficientes Constantes
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 501
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 533
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 537
569
13.1 Soluco
es em S
eries de Pot
encias para Equaco
es Regulares . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 570
8/2070
13.1.1 A Equaca
o do Oscilador Harm
onico Simples . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 571
13.1.2 A Equaca
o de Legendre . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 572
13.1.3 A Equaca
o de Hermite . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 575
13.1.4 A Equaca
o de Airy . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 577
13.1.5 A Equaca
o de Tchebychev . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 579
13.1.6 O Caso de Equaco
es Regulares Gerais . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 582
13.2 Soluca
o de Equaco
es Singulares Regulares. O M
etodo de Frobenius . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 584
13.2.1 Equaco
es Singulares Regulares. O Caso Geral . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 587
13.2.2 A Equaca
o de Euler Revisitada . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 594
13.2.3 A Equaca
o de Bessel . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 596
13.2.4 Equaco
es Relacionadas `
a de Bessel. A Equaca
o de Bessel Esf
erica . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 606
13.2.5 Equaco
es Relacionadas `
a de Bessel. A Equaca
o de Bessel Modificada . . . . . . . . . . . . . . . . . . . . . . . . . . . 608
13.2.6 A Equaca
o de Laguerre . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 609
13.2.7 A Equaca
o Hipergeom
etrica . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 611
13.2.8 A Equaca
o Hipergeom
etrica Confluente . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 615
13.3 Algumas Equaco
es Associadas . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 617
13.3.1 A Equaca
o de Legendre Associada . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 617
13.3.2 A Equaca
o de Laguerre Associada . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 619
13.4 Exerccios Adicionais . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 621
APENDICES
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 622
13.A Prova da Proposica
o 13.1. Justificando os Polin
omios de Legendre . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 622
13.B Polin
omios de Legendre: Provando (13.14) . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 623
13.C Justificando os Polin
omios de Hermite . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 625
13.D Polin
omios de Hermite: Provando (13.20) . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 626
13.E Porque deve ser um Inteiro Positivo na Equaca
o de Laguerre . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 627
13.F Polin
omios de Tchebychev: Obtendo (13.39) a Partir de (13.36)(13.38) . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 629
14 Propriedades de Algumas Fun
co
es Especiais
631
14.1 Discuss
ao Preliminar . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 631
14.1.1 Relaco
es de Ortogonalidade . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 632
14.1.1.1 Condico
es de Contorno e a Origem das Relaco
es de Ortogonalidade . . . . . . . . . . . . . . . . . . . . . . . . 637
14.1.2 F
ormulas de Rodrigues . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 641
14.2 Propriedades de Algumas Funco
es Especiais . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 643
14.2.1 Propriedades dos Polin
omios de Legendre . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 643
14.2.2 Propriedades dos Polin
omios de Legendre Associados . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 647
14.2.2.1 As Funco
es Harm
onicas Esf
ericas
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 653
14.2.2.2 F
ormula de Adica
o de Funco
es Harm
onicas Esf
ericas
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 656
APENDICES
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 693
14.A Provando (14.54) a Forca Bruta . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 693
15 Rudimentos da Teoria das Equa
co
es a Derivadas Parciais
695
9/2070
15.1 Definico
es, Notaco
es e Alguns Exemplos
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 696
. . . . . . . . . . . . . . . . . . . . . . . . . . 713
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 727
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 739
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 740
769
16.1 Coment
arios Iniciais . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 769
16.2 O Problema de Sturm . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 774
16.2.1 Soluco
es Fundamentais e Funco
es de Green . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 775
16.2.2 A Funca
o de Green. Resolvendo o Problema de Sturm . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 776
16.2.3 O Teorema de Green . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 779
16.3 O Problema de Sturm-Liouville . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 781
16.3.1 Propriedades B
asicas dos Auto-Valores e Auto-Funco
es de Problemas de Sturm-Liouville . . . . . . . . . . . . . . . . 783
16.3.1.1 A Simplicidade dos Auto-Valores . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 783
16.3.1.2 O Lema de Green . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 784
16.3.1.3 Realidade dos Auto-Valores e Auto-funco
es. Ortogonalidade de Auto-funco
es . . . . . . . . . . . . . . . . . . . 786
16.3.1.4 Propriedades dos Autovalores . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 787
16.3.2 A Equaca
o Integral de Fredholm . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 791
16.3.3 Uma Aplicaca
o do Problema de Sturm-Liouville . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 794
16.3.4 M
etodos Variacionais de Determinaca
o de Autovalores . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 797
16.4 Coment
arios Finais . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 799
16.4.1 Um Problema de Sturm-Liouville Singular . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 799
16.5 Exerccios Adicionais . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 802
APENDICES
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 806
16.A Prova do Teorema 16.1. Exist
encia e Unicidade
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 806
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 812
814
17.1 Descrica
o . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 814
17.2 O M
etodo dos Determinantes de Fredholm . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 816
10/2070
17.2.1 A Equaca
o Integral de Fredholm Linear N
ao-Homog
enea . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 816
17.2.2 A Equaca
o Integral de Fredholm Linear Homog
enea . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 820
17.3 Exerccios Adicionais . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 822
APENDICES
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 823
17.A Obtendo os Determinantes de Fredholm . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 823
18 Rudimentos da Teoria do Potencial
829
18.1 A Equaca
o de Poisson em Tr
es Dimens
oes . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 829
18.1.1 A Equaca
o de Laplace em Domnios Limitados de R3 . O Problema de Dirichlet . . . . . . . . . . . . . . . . . . . . . 833
18.1.2 A Equaca
o de Poisson em R3 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 833
18.1.3 A Equaca
o de Poisson Dommios Limitados de R3 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 834
18.1.3.1 O Caso de Condico
es de Dirichlet . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 834
18.1.3.2 O Caso de Condico
es de Neumann . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 835
18.1.3.3 Exist
encia de Soluca
o . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 835
18.1.4 Aplicaco
es `
a Eletrost
atica: Capacit
ancia . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 835
18.2 O Teorema de Decomposica
o de Helmholtz . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 835
18.2.1 Aplicaco
es ao Eletromagnetismo . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 839
18.3 Propriedades B
asicas de Funco
es Harm
onicas em R3
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 840
842
19.1 Deduca
o de Algumas Equaco
es Diferenciais de Interesse . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 843
19.1.1 Deduca
o Informal da Equaca
o de Difus
ao de Calor . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 843
19.1.2 Deduca
o Informal da Equaca
o da Corda Vibrante . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 847
19.2 As Equaco
es de Helmholtz e de Laplace . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 853
19.2.1 Problemas em Duas Dimens
oes em Coordenadas Polares . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 855
19.2.2 Problemas em Tr
es Dimens
oes em Coordenadas Esf
ericas . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 857
19.3 Problemas de Difus
ao em uma Dimens
ao . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 860
19.3.1 A Evoluca
o da Temperatura de uma Barra Finita . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 860
19.3.2 A Evoluca
o da Temperatura de uma Barra Infinita . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 864
19.3.3 A Evoluca
o da Temperatura de uma Barra Semi-Infinita . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 869
19.4 A Equaca
o de Ondas . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 874
19.4.1 A Equaca
o de Ondas em 1 + 1 Dimens
oes . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 875
19.4.2 Interl
udio: Ondas Caminhantes e a Equaca
o do Tel
egrafo . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 878
19.4.3 Outro Interl
udio: S
olitons . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 880
19.4.3.1 S
olitons na Equaca
o de Korteweg-de Vries
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 881
19.4.3.2 S
olitons na Equaca
o de Sine-Gordon . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 883
19.4.3.3 S
olitons no Modelo de Poco-Duplo . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 884
19.4.3.4 S
olitons na Equaca
o de Schr
odinger N
ao-Linear
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 886
19.4.4 A Equaca
o de Ondas e Transformadas de Fourier . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 890
19.4.4.1 A Equaca
o de Ondas em 3 + 1 Dimens
oes. A Soluca
o de Kirchhoff . . . . . . . . . . . . . . . . . . . . . . . . . 893
19.4.4.2 A Equaca
o de Ondas em 2 + 1 Dimens
oes . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 894
19.5 O Problema da Corda Vibrante . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 896
19.5.1 Corda Vibrante Homog
enea . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 897
19.5.2 O Problema da Corda Homog
enea Pendurada . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 899
19.5.3 Corda Vibrante N
ao-Homog
enea . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 901
19.5.4 O Problema da Membrana Retangular Homog
enea
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 904
11/2070
19.9 Propagaca
o de Ondas em Tanques Cilndricos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 913
19.10 Equaco
es Hiperb
olicas Lineares em 1+1 Dimens
oes e Equaco
es Integrais
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 921
19.11 Aplicaco
es do M
etodo da Funca
o de Green . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 928
19.11.1 A Equaca
o de Poisson em Tr
es Dimens
oes . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 929
19.11.2 A Equaca
o de Difus
ao N
ao-Homog
enea . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 930
19.11.3 A Equaca
o de Ondas N
ao-Homog
enea em n + 1-Dimens
oes . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 932
19.11.3.1 A Equaca
o de Ondas N
ao-Homog
enea em 3 + 1-Dimens
oes . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 936
19.11.3.2 Aplicaco
es `
a Eletrodin
amica. Potenciais Retardados . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 938
19.11.3.3 A Equaca
o de Ondas N
ao-Homog
enea em 2 + 1-Dimens
oes . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 941
19.11.3.4 A Equaca
o de Ondas N
ao-Homog
enea em 1 + 1-Dimens
oes . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 943
19.12 Exerccios Adicionais . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 945
19.12.1 Problemas Selecionados de Eletrost
atica . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 945
19.12.2 Equaca
o de Difus
ao em uma Dimens
ao . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 948
19.12.3 Equaca
o de Ondas em uma Dimens
ao . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 951
19.12.4 Modos de Vibraca
o de Membranas
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 955
APENDICES
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 963
19.A Duas Transformadas de Laplace . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 963
Grupos
966
967
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 972
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 975
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 986
12/2070
20.6.2 A Invari
ancia do Intervalo . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1039
20.6.3 O Grupo de Lorentz . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1041
20.6.4 Alguns Subgrupos do Grupo de Lorentz
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1042
APENDICES
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1063
20.A Prova do Teorema 20.9 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1063
1074
21.4 A Relaca
o entre Grupos de Lie Matriciais e suas Algebras
de Lie . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1091
21.4.1 Algebras
de Lie Nilpotentes, Sol
uveis, Simples e Semi-Simples . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1092
21.4.2 Quest
oes sobre a Exponenciaca
o de Algebras
de Lie . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1094
21.4.3 Alguns Exemplos Especiais . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1096
22 Uma Breve Introdu
c
ao `
a Teoria das Representa
co
es de Grupos
1102
22.1 Representaco
es de Grupos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1102
22.2 M
edias Invariantes. A Medida de Haar . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1108
22.3 Representaco
es de Grupos Compactos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1110
22.3.1 Representaco
es de Grupos Compactos em Espacos de Hilbert Separ
aveis . . . . . . . . . . . . . . . . . . . . . . . . . 1110
22.4 O Teorema de Peter-Weyl
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1116
22.5 Representaco
es Irredutveis de Dimens
ao Finita de SU(2) . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1125
23 Spinores e o Grupo de Lorentz
1131
23.2 Representaco
es Irredutveis de Dimens
ao Finita de L+
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1138
APENDICES
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1157
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1157
23.A Um Isomorfismo entre SL(2, C) / {1, 1} e L+
VI
24 Espa
cos M
etricos
1165
1166
24.1 M
etricas e Espacos M
etricos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1167
24.1.1 Completeza e o Completamento Can
onico . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1174
13/2070
24.2 A Noca
o de Topologia de Espacos M
etricos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1181
24.3 Pseudo-M
etricas . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1184
24.4 Espacos de Funco
es Limitadas e Completeza . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1186
24.5 Espacos de Banach e de Hilbert . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1189
24.5.1 Espacos de Banach em Espacos de Seq
u
encias . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1191
24.6 Teorema do Melhor Aproximante em Espacos Normados Uniformemente Convexos . . . . . . . . . . . . . . . . . . . . . . . . . 1202
24.7 Exerccios Adicionais . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1207
APENDICES
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1210
24.A N
umeros Reais e p-
adicos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1210
24.B Aproximaco
es para . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1216
25 O Teorema do Ponto Fixo de Banach e Algumas de Suas Conseq
u
encias
1221
APENDICES
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1250
25.A O Lema de Gr
onwall . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1250
26 Espa
cos Topol
ogicos e Espa
cos Mensur
aveis. Defini
co
es e Propriedades B
asicas
1251
26.1 Definico
es, Propriedades Elementares e Exemplos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1251
26.2 Algumas Construco
es Especiais e Exemplos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1257
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1265
1276
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1289
APENDICES
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1299
27.A Prova das F
ormulas de Inclus
ao-Exclus
ao . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1299
28 A Medida de Lebesgue e a Medida de Hausdorff
28.1 A Construca
o da Medida de Lebesgue em Rn
1301
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1301
14/2070
28.1.1 A -
algebra de Borel em Rn e a Medida de Borel-Lebesgue . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1303
28.2 As Medidas de Hausdorff . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1305
28.3 Conjuntos de Cantor . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1309
28.4 Bases de Hamel e a Medida de Lebesgue . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1318
28.5 Exerccios Adicionais . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1320
29 Continuidade e Converg
encia em Espa
cos Topol
ogicos
1325
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1337
1342
30.1 Coment
arios Preliminares . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1342
30.2 A Integraca
o no Sentido de Riemann . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1344
30.2.1 A Integral de Riemann Impr
opria . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1352
30.2.2 Diferenciaca
o e Integraca
o em Espacos de Banach . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1354
30.3 A Integraca
o no Sentido de Lebesgue . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1358
30.3.1 Funco
es Mensur
aveis e Funco
es Simples . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1358
30.3.2 A Integral de Lebesgue. Integraca
o em Espacos Mensur
aveis . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1363
30.3.3 A Integral de Lebesgue e sua Relaca
o com a de Riemann . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1370
30.3.4 Teoremas B
asicos sobre Integraca
o e Converg
encia . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1372
30.3.5 Alguns Resultados de Interesse . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1375
30.4 Os Espacos Lp e Lp . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1377
30.4.1 As Desigualdades de H
older e de Minkowski . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1379
30.4.2 O Teorema de Riesz-Fischer. Completeza . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1382
APENDICES
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1383
30.A Mais sobre a Integral de Darboux . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1383
30.A.1 Equival
encia das Definico
es II e III da Integrabilidade de Riemann
. . . . . . . . . . . . . . . . . . . . . . . . . . . . 1384
30.B Caracterizaco
es e Propriedades de Funco
es Mensur
aveis . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1385
30.C Prova do Lema 30.3 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1390
30.D Demonstraca
o de (30.26) . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1391
30.E A Equival
encia das Definico
es (30.27) e (30.28) . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1391
30.F Prova do Teorema da Converg
encia Mon
otona . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1393
30.G Prova do Lema de Fatou . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1394
30.H Prova do Teorema da Converg
encia Dominada . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1395
30.I
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1396
1402
15/2070
31.1.2 A Noca
o de Conjunto Conexo em Espacos Topol
ogicos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1404
31.2 Axiomas de Separabilidade . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1407
31.2.1 Algumas Propriedades de Separaca
o em Espacos M
etricos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1408
31.2.2 Postulados de Separabilidade em Espacos Topol
ogicos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1409
31.2.3 O Lema de Urysohn . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1417
31.2.3.1 O Teorema de Extens
ao de Tietze . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1422
31.2.4 A Propriedade de Hausdorff como Propriedade Herdada
31.3 Compacidade, Compacidade Local e Paracompacidade
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1424
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1425
Rn
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1435
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1442
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1443
31.3.4.1 Equilimitaca
o e Equicontinuidade de Famlias de Funco
es . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1444
31.3.4.2 Os Teoremas de Ascoli de Arzel`
a para Famlias de Funco
es de um Compacto sobre um Espaco M
etrico . . . . 1445
31.3.4.3 O Teorema de Peano
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1448
APENDICES
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1480
31.A Prova da Proposica
o 31.33 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1480
VII
32 Variedades
1483
1484
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1498
16/2070
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1515
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1525
32.4.2 O Gr
afico de uma Funca
o Real em Rn . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1527
32.4.2.1 Cones. E Um Estudo de Caso . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1529
32.4.3 Superfcies Regulares em Rn . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1530
32.4.4 As Esferas Sn . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1533
32.4.5 Toros (e Algumas Generalizaco
es) . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1535
32.4.6 Espacos Projetivos Reais . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1538
32.4.7 Grupos de Lie . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1541
32.4.8 Fibrados, Fibrados Vetoriais e Principais . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1541
APENDICES
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1543
32.A Derivadas de Lie. Prova das Relaco
es (32.70) e (32.81) . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1543
32.B Derivadas de Lie. Prova da Relaca
o (32.88) . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1544
33 No
co
es Geom
etricas em Variedades
1547
33.1 M
etricas Riemannianas e Semi-Riemannianas . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1547
33.1.1 Transposica
o em Relaca
o a Tensores M
etricos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1557
33.2 Conex
oes Afins . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1561
33.2.1 Conex
oes Afins em Campos Vetoriais . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1561
33.2.1.1 Conex
oes Afins em Campos Tensoriais . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1566
33.2.2 O Tensor de Torca
o . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1569
33.2.3 Tipos Especiais de Conex
oes Afins
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1570
33.2.3.1 Conex
oes Sim
etricas (ou Livres de Torca
o) . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1570
33.2.3.2 Conex
oes M
etricas (ou Riemannianas) . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1572
33.2.3.3 Conex
oes de Levi-Civita . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1577
33.2.4 Gradiente, Divergente e Laplaciano . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1578
33.3 O Tensor de Curvatura . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1581
33.3.1 A Curvatura Seccional . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1588
33.3.2 O Tensor de Ricci e a Curvatura Escalar . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1591
33.4 Geod
esicas . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1593
33.4.1 O Lema de Gauss . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1597
33.4.2 Pontos Conjugados e a Equaca
o de Jacobi . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1600
33.4.2.1 A Equaca
o de Jacobi . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1600
33.4.2.2 Pontos Conjugados
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1603
APENDICES
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1617
33.A Demonstraca
o de Algumas Propriedades do Tensor de Curvatura
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1617
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1619
17/2070
VIII
S
eries e Transformadas de Fourier. Distribuic
oes
34 Aproxima
c
ao de Fun
co
es. Aproxima
co
es Polinomiais e S
eries de Fourier
1625
1626
34.1 Noco
es de Converg
encia para Seq
u
encias de Funco
es . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1627
34.1.1 Import
ancia da Converg
encia Uniforme . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1628
34.1.1.1 Troca de Ordem entre Limites e Integrais . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1629
34.1.1.2 Troca de Ordem entre Limites e Derivadas . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1631
34.1.1.3 Troca de Ordem entre Derivadas e Integrais . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1631
34.2 Seq
u
encias Delta de Dirac . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1633
34.3 Aproximaca
o de Funco
es por Polin
omios . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1639
34.3.1 O Teorema de Weierstrass . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1639
34.3.2 O Teorema de Taylor . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1646
34.4 Aproximaca
o de Funco
es por Polin
omios Trigonom
etricos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1653
34.4.1 Preliminares . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1654
34.4.2 A S
erie de Fourier de Funco
es Peri
odicas de Perodo T . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1656
34.4.3 Polin
omios Trigonom
etricos e Funco
es Contnuas e Peri
odicas . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1658
34.4.4 Converg
encia de S
eries de Fourier . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1663
34.4.4.1 S
eries de Fourier em Senos ou Co-Senos para Funco
es Definidas em Intervalos Compactos . . . . . . . . . . . . 1669
34.4.5 Revisitando a Aproximaca
o Uniforme de Funco
es Contnuas e Peri
odicas por Polin
omios Trigonom
etricos . . . . . . . 1672
34.4.6 S
eries de Fourier e o Espaco de Hilbert L2 [, ], dx
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1675
34.5 O Teorema de Stone-Weierstrass . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1677
34.6 Completeza de Algumas Famlias de Funco
es . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1681
34.6.1 Completeza de Polin
omios Ortogonais em Intervalos Compactos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1681
34.6.2 Completeza de Polin
omios de Hermite
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1683
APENDICES
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1696
34.A Prova do Teorema de Weierstrass Usando Polin
omios de Bernstein . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1696
34.B A Demonstraca
o de Weierstrass do Teorema de Weierstrass . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1700
35 Introdu
c
ao `
as Distribui
co
es e `
as Transformadas de Fourier
35.1 Funco
es de Schwartz e Funco
es de Teste
1702
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1703
18/2070
35.3.2.2
Distribuico
es do Tipo Parte Finita de Hadamard . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1747
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1756
35.3.4.2 C
alculo da Derivada de Algumas Distribuico
es de Interesse . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1757
35.3.5 Alguns Resultados Estruturais sobre Distribuico
es . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1759
35.3.6 Transformadas de Fourier de Distribuico
es Temperadas . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1760
35.3.6.1 C
alculo de Transformadas de Fourier de Algumas Distribuico
es Temperadas
. . . . . . . . . . . . . . . . . . . 1761
APENDICES
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1788
35.A Prova de (35.18) . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1788
35.B Prova da Proposica
o 35.15 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1789
IX
An
alise Funcional
1795
36 No
co
es B
asicas Sobre Espa
cos de Hilbert
1796
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1813
1821
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1849
37.3.1 Algebras
de Banach . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . 1851
. . . . . . . . . . . 1859
. . . . . . . . . . . 1859
. . . . . . . . . . . 1862
37.3.2.1 Algebras
com Involuca
o e a Unidade . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1863
19/2070
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1876
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1880
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1882
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1884
37.3.9.1 Relaca
o de Ordem Decorrente da Positividade em Algebras
C .
37.4 Algebras
de von Neumann. Um Mnimo . . . . . . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . . . . . . . 1888
. . . . . . . . . . . . . . . . . . . . . . . . . 1890
. . . . . . . . . . . . . . . . . . . . . . . . . 1893
. . . . . . . . . . . . . . . . . . . . . . . . . 1897
37.5.2 Representaco
es de Algebras C . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1901
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1901
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1904
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1905
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1949
. . . . . . . . . . . . . . . . . . . . . . . . . . 2002
APENDICES
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 2008
37.A Prova do Teorema 37.19
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 2008
2012
20/2070
APENDICES
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 2035
38.A Prova do Lema 38.6 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 2035
2036
Bibliografia
2044
Indice Remissivo
2053
21/2070
Pref
acio
intencao b
asica deste livro e fornecer a estudantes de Fsica nocoes matematicas importantes para uma melhor
compreensao de desenvolvimentos modernos da Fsica Te
orica e da Matem
atica. Longe vai o tempo em que o
conhecimento matematico requerido a um fsico teorico restringia-se a certos metodos de resolucao de equacoes
diferenciais ordin
arias e parciais. Essa visao, porem, infelizmente impregna ate o presente a concepcao de
certas disciplinas ditas de Fsica-Matem
atica (ou de Metodos Matem
aticos da Fsica Te
orica) e de certos maus livros
sobre o tema. Em contraste, nocoes sobre Estruturas Algebricas, Topologia Geral, Teoria da Medida e da Integracao,
Jo
ao Carlos Alves Barata
S
ao Paulo, 18 de julho de 2013
Departamento de Fsica Matem
atica
Universidade de S
ao Paulo
22/2070
Bons Mots
O comportamento de um fsico em relac
ao `
a Matem
atica e similar a de um ladr
ao inteligente em relac
ao ao c
odigo
penal: ele estuda apenas o suficiente para evitar punic
oes.
I. M. Gelfand (19132009).
A mente n
ao e um vaso a ser repleto, mas uma tocha a ser acesa.
Plutarco (46?120).
The public has a distorted view of science, because children are taught in school that science is a collection of firmly
established truths. In fact, science is not a collection of truths. It is a continuing exploration of mysteries.
Freeman Dyson (1923), in How We Know, The New York Review of Books, March 10, 2011.
When a theoretical physicist can not solve a problem he goes for the next more difficult one.
Sir Michael Francis Atiyah (1929).
My friend G. H. Hardy1 , who was professor of pure mathematics, enjoyed this pleasure [in mathematical demonstrations]
in a very high degree. He told me once that if he could find a proof that I was going to die in five minutes he would of
course be sorry to lose me, but this sorrow would be quite outweighed by pleasure in the proof .
Bertrand Russell (18721970).
Mathematics is not a deductive science thats a cliche. When you try to prove a theorem, you dont just list the
hypotheses, and then start to reason. What you do is trial and error, experimentation, guesswork.
Paul R. Halmos, in [94].
The source of all great mathematics is the special case, the concrete example. It is frequent in mathematics that every
instance of a concept of seemingly great generality is in essence the same as a small and concrete special case.
Paul R. Halmos, in [94].
Mathematics is a part of physics. Physics is an experimental science, a part of natural science. Mathematics is the part
of physics where experiments are cheap.
Vladimir I. Arnold (19372010).
In science, self-satisfaction is death. Personal self-satisfaction is the death of the scientist. Collective self-satisfaction
is the death of the research. It is restlessness, anxiety, dissatisfaction, agony of mind that nourish science.
Jacques Lucien Monod (19101976), in New Scientist, 1976.
N
ao existe nenhuma categoria da Ciencia `
a qual se possa dar o nome de Ciencia Aplicada. O que existe s
ao a Ciencia
e as aplicac
oes da Ciencia, intimamente ligadas, como frutos `
a
arvore que os gerou.
Louis Pasteur (18221895), in Pourquoi la France na pas trouve dhommes superieurs au moment du peril, Revue
Scientifique (Paris, 1871).
Disse Kant2 : Eu afirmo que em cada Ciencia Natural especfica pode-se atingir somente tanto Conhecimento verdadeiro
quanto nela houver de Matem
atica. De fato, somente dominamos uma teoria das ciencias naturais quando expomos seu
n
ucleo matem
atico e o desvendamos completamente.
David Hilbert (18621943) em Naturerkennen und Logik, palestra apresentada em setembro de 1930, em
1 Godfrey
2 Immanuel
23/2070
K
onigsberg, em Congresso da Associacao Alem
a de Cientistas Naturais e Medicos.
N
ao podemos nos permitir acreditar naqueles que em nossos dias, com cenho filos
ofico e em tom de superiodidade,
profetizam a decadencia cultural e apologizam o Ignorabimus. Para n
os n
ao existe o Ignorabimus e, em minha opini
ao,
tambem n
ao para as Ciencias Naturais. Em lugar do tolo Ignorabimus nosso lema e N
os devemos saber, n
os iremos
saber.
David Hilbert. ibidem.
A geometry implies the heterogeneity of locus, namely that there is a locus of the Other. Regarding this locus of the
Other, of one sex as Other, as absolute Other, what do the most recent developments in topology allow us to posit? I will
posit here the term compactness. Nothing is more compact than a fault, assuming that the intersection of everything that
is enclosed therein is accepted as existing over an infinite number of sets, the result being that the intersection implies
this infinite number. That is the very definition of compactness.
Jacques Lacan (19011981), em Le Seminaire Jacques Lacan, Livre XX:
24/2070
25/2070
Nota
c
ao e Advert
encias
Para facilitar a consulta e a leitura, listamos aqui sem muitos comentarios um pouco da notacao que empregaremos
nestas Notas.
Se z e um n
umero complexo denotaremos seu complexo conjugado por z. A notacao z (mais comum em textos
de Fsica) pode ocorrer mais raramente.
O smbolo A := B ou B =: A denota que A e definido pela expressao B. O smbolo A B indica que A e B sao
duas notacoes distintas para o mesmo objeto.
Sejam A e B conjuntos. Se A e um subconjunto de B, denotamos esse fato por A B ou por B A. Por A $ B
ou B % A denotamos o fato de A ser um subconjunto proprio de B, ou seja, A B, mas A 6= B.
Se x = (x1 , . . . , xn ) e y = (y1 , . . . , yn ) sao vetores reais com n componentes (ou seja, elementos de Rn ) ent
ao
definimos
hx, yiR := x1 y1 + + xn yn .
Trata-se do produto escalar usual em Rn .
Se x = (x1 , . . . , xn ) e y = (y1 , . . . , yn ) sao vetores complexos com n componentes (ou seja, elementos de Cn )
ent
ao definimos
hx, yiC := x1 y1 + + xn yn .
Trata-se do produto escalar usual em Cn .
Se x = (x1 , . . . , xn ) e y = (y1 , . . . , yn ) sao vetores complexos com n componentes (ou seja, elementos de Cn )
ent
ao definimos
hx, yiR := x1 y1 + + xn yn .
Trata-se de uma forma bilinear em Cn .
Mat(R, m, n) ou Mat(m, n, R) designa o conjunto de todas as matrizes reais m n (m linhas e n colunas).
Analogamente, Mat(C, m, n) ou Mat(m, n, C) designa o conjunto de todas as matrizes complexas m n. O
conjunto de todas as matrizes quadradas n n com entradas reais (complexas) sera denotado simplesmente por
Mat (R, n) (por Mat (C, n)).
Se A e um elemento de Mat(R, n) oude Mat(C, n), ent
ao AT designa a matriz transposta de A, ou seja, a matriz
T
cujos elementos de matriz ij sao A ij = Aji .
Se A e um operador linear em um espaco vetorial complexo (com um certo produto escalar), seu adjunto e denotado
por A . Em textos de Fsica e mais comum denota-lo por A , mas n
ao usaremos isso aqui.
Assim, se A Mat(C, n), ent
ao A sera a adjunta de A (em relacao ao produto escalar usual, acima). O elemento
26/2070
27/2070
Delta de Kr
onecker
De i e j pertencem a um conjunto cont
avel C, definimos o chamado delta de Kr
onecker por
1 , se i = j ,
ij ij ij ji :=
0 , se i 6= j .
para todos i, j C. As diferentes notacoes ij , ij , ij e ji ocorrem, por exemplo, na Geometria Diferencial e na Teoria
da Relatividade.
A esfera unit
aria
Para n N0 , denotaremos por Sn a chamada esfera unit
aria em Rn+1 : o lugar geometrico de todos os pontos de
R
situados a uma distancia Euclidiana igual a 1 da origem:
p
o
n
(y 1 )2 + + (y n+1 )2 = 1 .
y 1 , . . . , y n+1 Rn+1
Sn :=
n+1
28/2070
29/2070
Parte I
Captulos Introdut
orios
30