Documenti di Didattica
Documenti di Professioni
Documenti di Cultura
ao Paulo
Departamento de Fsica Matematica
2012
Curso de Fsica-Matem
atica
Captulos Selecionados
Jo
ao Carlos Alves Barata
Vers
ao de 28 de marco de 2012
2/1979
Indice
Pref
acio . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 20
Bons Mots . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 21
Como Ler Este Livro . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 23
Nota
c
ao e Advert
encias . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 24
Captulos Introdut
orios
27
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 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 29
1.1.1.1
1.1.1.2
Relaco
es de Compatibilidade e de Incompatibilidade (ou de Depend
encia) . . . . . . . . . . . . . . . . . . . . . 36
1.1.1.3
Relaco
es de Equival
encia . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 36
1.1.1.4
Relaco
es de Ordem
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 41
Cardinalidade . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 47
Infimos e Supremos de Famlias de Conjuntos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 52
Sistemas de Conjuntos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 54
1.2.1
Semi-An
eis de Conjuntos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 55
1.2.2
An
eis de Conjuntos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 55
Algebras
de Conjuntos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 57
1.2.3
1.A
28
Conjuntos, Relaco
es e Funco
es . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 28
1.2.4
-An
eis de Conjuntos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 58
1.2.5
-Algebras
de Conjuntos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 59
1.2.6
Sistemas Mon
otonos de Conjuntos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 60
1.2.7
Topologias . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 63
1.2.8
Filtros e Ultra-Filtros . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 64
APENDICES
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 67
A F
ormula de Invers
ao de M
obius . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 67
2 Estruturas Alg
ebricas B
asicas
2.1
69
Estruturas Alg
ebricas B
asicas . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 70
Semigrupos, Mon
oides e Grupos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 79
2.1.4
Corpos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 84
2.1.5
Espacos Vetoriais . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 87
An
eis, M
odulos e Algebras
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 89
2.1.6
2.1.6.1
An
eis . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 90
2.1.6.2
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 90
2.1.6.3
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 91
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 . . . . .
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 92
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 92
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 95
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 95
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 96
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 97
2.1.8
Mais sobre An
eis . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 97
2.1.9
Aco
es e Representaco
es . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 99
4/1979
2.1.9.1
2.1.9.2
Aco
es de Grupos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 99
Representaco
es de Grupos e de Algebras
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 103
2.2.3
2.2.4
2.3
Cosets . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 110
Subgrupos Normais e o Grupo Quociente . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 112
2.2.2.1
2.2.2.2
2.2.4.2
2.2.4.3
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 121
Bases Alg
ebricas de um Espaco Vetorial . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 127
2.3.2
O Dual Alg
ebrico de um Espaco Vetorial . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 131
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 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 156
An
eis e Algebras. Estruturas e Construco
es B
asicas . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 157
2.4.1 Ideais em An
eis e Algebras
Associativas . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 157
2.4.1.1
2.5
Ideais em An
eis . . . . . . . . . . . .
Algebras
Tensoriais e Algebras
Exteriores . . . . . . .
2.6
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 158
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 162
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 164
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 165
Algebras
Exteriores . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 166
T
opicos Especiais . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 167
2.6.1
2.6.2
Grup
oides . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 169
2.6.3
Quat
ernios . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 171
177
. . . . . . . . . . . . . . . . . . . . . . . . . . . . 177
3.1.1
3.1.2
3.1.3
3.1.4
Exemplos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 188
3.2
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 189
3.3
3.4
3.5
APENDICES
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 210
5/1979
3.A
Equival
encia de Normas em Espacos Vetorias de Dimens
ao Finita . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 210
3.B
Prova do Teorema de Fr
echet, von Neumann e Jordan . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 211
II
T
opicos de An
alise Real e Complexa
4 Recorda
co
es de C
alculo Vetorial em Tr
es Dimens
oes
214
215
4.1
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 215
4.2
Teoremas Cl
assicos sobre Integrais de Volume e de Superfcie . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 219
4.3
5 Fun
co
es Convexas
5.1
5.2
224
Funco
es Convexas. Definico
es e Propriedades B
asicas . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 224
5.1.1
Funco
es Convexas de uma Vari
avel . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 225
5.1.2
Funco
es Convexas de V
arias Vari
aveis . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 235
Algumas Conseq
u
encias da Convexidade e da Convavidade . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 238
5.2.1
5.2.2
5.2.3
M
edias Geom
etricas, Aritm
eticas e Desigualdades Correlatas . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 241
5.2.3.1
6 Fun
co
es Geratrizes. Produt
orias Complexas
247
6.1
Funco
es Geratrizes
6.2
6.1.1
6.2.1
6.3
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 247
N
umeros de Bernoulli . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 253
Uma Deduca
o Elementar do Produto de Wallis
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 256
7 A Fun
c
ao Gama de Euler
261
7.1
Introduca
o e Motivaca
o . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 261
7.2
A Funca
o Gama. Definica
o e Primeiras Propriedades . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 263
7.3
Outras Representaco
es para a Funca
o Gama . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 268
7.4
A Funca
o Beta e Propriedades Adicionais da Funca
o Gama . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 272
7.5
7.4.1
A F
ormula de Reflex
ao de Euler . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 273
7.4.2
A F
ormula de Duplicaca
o de Legendre . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 277
7.5.2
F
ormulas de Duplicaca
o e Unicidade . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 280
7.5.3
7.6
7.7
III
A F
ormula de Multiplicaca
o de Gauss da Funca
o Gama . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 282
A Aproximaca
o de Stirling e suas Correco
es . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 284
7.6.1
A Aproximaca
o de Stirling para Fatoriais e suas Correco
es. A S
erie de Gudermann . . . . . . . . . . . . . . . . . . . 286
7.6.2
A Aproximaca
o de Stirling para a Funca
o Gama e suas Correco
es. A S
erie de Gudermann . . . . . . . . . . . . . . . 292
T
opicos de Algebra
Linear
8 T
opicos de Algebra
Linear. I
302
303
8.1
Propriedades B
asicas de Determinantes e Inversas de Matrizes . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 304
8.2
Noco
es B
asicas sobre o Espectro de uma Matriz . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 314
6/1979
8.2.1
Autovalores e Polin
omios Caractersticos de Matrizes . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 314
8.2.2
Autovetores . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 317
8.2.3
8.3
8.3.1
8.4
Matrizes Diagonaliz
aveis e o Teorema Espectral . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 328
8.4.1
8.5
Algumas Relaco
es entre Determinantes e Tracos de Matrizes . . . . . . . . . . . . . . . . . . . . . . . . . . . . 321
Polin
omios de Matrizes . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 322
Diagonalizaca
o Simult
anea de Matrizes . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 340
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 343
8.5.1
8.5.2
O Teorema de In
ercia de Sylvester. Superfcies Quadr
aticas
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 351
8.6
8.7
O Teorema de Decomposica
o de Jordan e a Forma Can
onica de Matrizes . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 357
8.8
8.9
8.7.1
Resultados Preparat
orios . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 359
8.7.2
O Teorema da Decomposica
o de Jordan . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 363
8.7.3
8.7.4
A Forma Can
onica de Matrizes . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 368
Algumas Representaco
es Especiais de Matrizes . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 371
8.8.1
A Decomposica
o Polar de Matrizes . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 371
8.8.2
A Decomposica
o em Valores Singulares . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 373
8.8.3
O Teorema da Triangularizaca
o de Schur . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 373
8.8.4
A Decomposica
o QR e a Decomposica
o de Iwasawa (KAN) . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 376
A Regularizaca
o de Tikhonov. Exist
encia . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 383
8.9.1.2
8.9.2
8.9.3
Exist
encia e Decomposica
o em Valores Singulares . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 387
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 389
9 T
opicos de Algebra
Linear. II
396
9.1
Uma Topologia M
etrica em Mat (C, n) . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 397
9.2
9.3
A F
ormula de Lie-Trotter e a F
ormula do Comutador . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 410
9.4
Aplicaco
es Lineares em Mat (C, n)
9.2.1
A Exponenciaca
o de Matrizes e os Grupos GL(C, n) e GL(R, n) . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 407
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 412
9.4.1
9.4.2
9.5
A F
ormula de Baker, Campbell e Hausdorff . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 423
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
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 428
434
435
10.1 Definica
o e Alguns Exemplos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 435
7/1979
10.1.1 Equaco
es Diferenciais Ordin
arias Lineares . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 438
10.1.2 Equaco
es Ordin
arias de Segunda Ordem. Exemplos de Interesse . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 441
10.2 Sistemas de Equaco
es Diferenciais Ordin
arias . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 443
10.3 Discuss
ao sobre Problemas de Valor Inicial . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 448
10.3.1 Problemas de Valor Inicial. Patologias e Exemplos a se Ter em Mente . . . . . . . . . . . . . . . . . . . . . . . . . . . 449
10.3.2 Teoremas de Exist
encia e Unicidade de Soluco
es . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 452
10.3.3 Soluco
es Globais . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 454
10.3.4 Depend
encia Contnua de Condico
es Iniciais e de Par
ametros
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 456
11 Alguns M
etodos de Resolu
c
ao de Equa
co
es Diferenciais Ordin
arias
458
11.1 Soluca
o de Equaco
es Ordin
arias Lineares de Primeira Ordem . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 458
11.2 As Equaco
es de Bernoulli e de Riccati . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 459
11.3 Integraca
o de Equaco
es Separ
aveis . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 461
11.4 O M
etodo de Variaca
o de Constantes . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 462
11.5 O M
etodo de Substituica
o de Pr
ufer . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 463
11.6 O M
etodo de Invers
ao . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 465
11.7 Soluca
o de Equaco
es Exatas e o M
etodo dos Fatores Integrantes . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 466
11.8 Soluco
es das Equaco
es de DAlembert-Lagrange e Clairaut . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 470
12 Sistemas de Equa
co
es Diferenciais Ordin
arias Lineares
474
12.1 Introduca
o . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 475
12.2 Unicidade e Exist
encia de Soluco
es
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 475
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 478
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 482
12.3 Equaco
es com Coeficientes Constantes
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 485
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 517
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 521
553
13.1 Soluco
es em S
eries de Pot
encias para Equaco
es Regulares . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 554
13.1.1 A Equaca
o do Oscilador Harm
onico Simples . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 555
8/1979
13.1.2 A Equaca
o de Legendre . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 556
13.1.3 A Equaca
o de Hermite . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 559
13.1.4 A Equaca
o de Airy . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 561
13.1.5 A Equaca
o de Tchebychev . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 563
13.1.6 O Caso de Equaco
es Regulares Gerais . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 566
13.2 Soluca
o de Equaco
es Singulares Regulares. O M
etodo de Frobenius . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 568
13.2.1 Equaco
es Singulares Regulares. O Caso Geral . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 571
13.2.2 A Equaca
o de Euler Revisitada . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 578
13.2.3 A Equaca
o de Bessel . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 580
13.2.4 Equaco
es Relacionadas `
a de Bessel. A Equaca
o de Bessel Esf
erica . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 590
13.2.5 Equaco
es Relacionadas `
a de Bessel. A Equaca
o de Bessel Modificada . . . . . . . . . . . . . . . . . . . . . . . . . . . 592
13.2.6 A Equaca
o de Laguerre . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 593
13.2.7 A Equaca
o Hipergeom
etrica . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 595
13.2.8 A Equaca
o Hipergeom
etrica Confluente . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 599
13.3 Algumas Equaco
es Associadas . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 601
13.3.1 A Equaca
o de Legendre Associada . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 601
13.3.2 A Equaca
o de Laguerre Associada . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 603
13.4 Exerccios Adicionais . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 605
APENDICES
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 606
13.A Prova da Proposica
o 13.1. Justificando os Polin
omios de Legendre . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 606
13.B Polin
omios de Legendre: Provando (13.14) . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 607
13.C Justificando os Polin
omios de Hermite . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 609
13.D Polin
omios de Hermite: Provando (13.20) . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 610
13.E Porque deve ser um Inteiro Positivo na Equaca
o de Laguerre . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 611
13.F Polin
omios de Tchebychev: Obtendo (13.39) a Partir de (13.36)(13.38) . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 613
14 Propriedades de Algumas Fun
co
es Especiais
615
14.1 Discuss
ao Preliminar . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 615
14.1.1 Relaco
es de Ortogonalidade . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 616
14.1.1.1 Condico
es de Contorno e a Origem das Relaco
es de Ortogonalidade . . . . . . . . . . . . . . . . . . . . . . . . 621
14.1.2 F
ormulas de Rodrigues . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 625
14.2 Propriedades de Algumas Funco
es Especiais . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 627
14.2.1 Propriedades dos Polin
omios de Legendre . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 627
14.2.2 Propriedades dos Polin
omios de Legendre Associados . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 631
14.2.2.1 As Funco
es Harm
onicas Esf
ericas
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 637
14.2.2.2 F
ormula de Adica
o de Funco
es Harm
onicas Esf
ericas
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 640
APENDICES
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 677
14.A Provando (14.54) a Forca Bruta . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 677
15 Rudimentos da Teoria das Equa
co
es a Derivadas Parciais
15.1 Definico
es, Notaco
es e Alguns Exemplos
679
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 680
9/1979
. . . . . . . . . . . . . . . . . . . . . . . . . . 697
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 711
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 723
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 724
753
16.1 Coment
arios Iniciais . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 753
16.2 O Problema de Sturm . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 758
16.2.1 Soluco
es Fundamentais e Funco
es de Green . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 759
16.2.2 A Funca
o de Green. Resolvendo o Problema de Sturm . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 760
16.2.3 O Teorema de Green . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 763
16.3 O Problema de Sturm-Liouville . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 765
16.3.1 Propriedades B
asicas dos Auto-Valores e Auto-Funco
es de Problemas de Sturm-Liouville . . . . . . . . . . . . . . . . 767
16.3.1.1 A Simplicidade dos Auto-Valores . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 767
16.3.1.2 O Lema de Green . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 768
16.3.1.3 Realidade dos Auto-Valores e Auto-funco
es. Ortogonalidade de Auto-funco
es . . . . . . . . . . . . . . . . . . . 770
16.3.1.4 Propriedades dos Autovalores . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 771
16.3.2 A Equaca
o Integral de Fredholm . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 775
16.3.3 Uma Aplicaca
o do Problema de Sturm-Liouville . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 778
16.3.4 M
etodos Variacionais de Determinaca
o de Autovalores . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 781
16.4 Coment
arios Finais . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 783
16.4.1 Um Problema de Sturm-Liouville Singular . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 783
16.5 Exerccios Adicionais . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 786
APENDICES
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 790
16.A Prova do Teorema 16.1. Exist
encia e Unicidade
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 790
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 796
798
17.1 Descrica
o . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 798
17.2 O M
etodo dos Determinantes de Fredholm . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 800
17.2.1 A Equaca
o Integral de Fredholm Linear N
ao-Homog
enea . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 800
10/1979
17.2.2 A Equaca
o Integral de Fredholm Linear Homog
enea . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 804
17.3 Exerccios Adicionais . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 806
APENDICES
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 807
17.A Obtendo os Determinantes de Fredholm . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 807
18 Rudimentos da Teoria do Potencial
813
18.1 A Equaca
o de Poisson em Tr
es Dimens
oes . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 813
18.1.1 A Equaca
o de Laplace em Domnios Limitados de R3 . O Problema de Dirichlet . . . . . . . . . . . . . . . . . . . . . 817
18.1.2 A Equaca
o de Poisson em R3 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 817
18.1.3 A Equaca
o de Poisson Dommios Limitados de R3 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 818
18.1.3.1 O Caso de Condico
es de Dirichlet . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 818
18.1.3.2 O Caso de Condico
es de Neumann . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 819
18.1.3.3 Exist
encia de Soluca
o . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 819
18.1.4 Aplicaco
es `
a Eletrost
atica: Capacit
ancia . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 819
18.2 O Teorema de Decomposica
o de Helmholtz . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 819
18.2.1 Aplicaco
es ao Eletromagnetismo . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 823
18.3 Propriedades B
asicas de Funco
es Harm
onicas em R3
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 824
826
19.1 Deduca
o de Algumas Equaco
es Diferenciais de Interesse . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 827
19.1.1 Deduca
o Informal da Equaca
o de Difus
ao de Calor . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 827
19.1.2 Deduca
o Informal da Equaca
o da Corda Vibrante . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 831
19.2 As Equaco
es de Helmholtz e de Laplace . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 837
19.2.1 Problemas em Duas Dimens
oes em Coordenadas Polares . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 839
19.2.2 Problemas em Tr
es Dimens
oes em Coordenadas Esf
ericas . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 841
19.3 Problemas de Difus
ao em uma Dimens
ao . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 844
19.3.1 A Evoluca
o da Temperatura de uma Barra Finita . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 844
19.3.2 A Evoluca
o da Temperatura de uma Barra Infinita . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 848
19.3.3 A Evoluca
o da Temperatura de uma Barra Semi-Infinita . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 853
19.4 A Equaca
o de Ondas . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 858
19.4.1 A Equaca
o de Ondas em 1 + 1 Dimens
oes . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 859
19.4.2 Interl
udio: Ondas Caminhantes e a Equaca
o do Tel
egrafo . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 862
19.4.3 Outro Interl
udio: S
olitons . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 864
19.4.3.1 S
olitons na Equaca
o de Korteweg-de Vries
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 865
19.4.3.2 S
olitons na Equaca
o de Sine-Gordon . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 867
19.4.3.3 S
olitons no Modelo de Poco-Duplo . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 868
19.4.3.4 S
olitons na Equaca
o de Schr
odinger N
ao-Linear
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 870
19.4.4 A Equaca
o de Ondas e Transformadas de Fourier . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 874
19.4.4.1 A Equaca
o de Ondas em 3 + 1 Dimens
oes. A Soluca
o de Kirchhoff . . . . . . . . . . . . . . . . . . . . . . . . . 877
19.4.4.2 A Equaca
o de Ondas em 2 + 1 Dimens
oes . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 878
19.5 O Problema da Corda Vibrante . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 880
19.5.1 Corda Vibrante Homog
enea . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 881
19.5.2 O Problema da Corda Homog
enea Pendurada . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 883
19.5.3 Corda Vibrante N
ao-Homog
enea . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 885
19.5.4 O Problema da Membrana Retangular Homog
enea
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 888
19.8 O Atomo
de Hidrog
enio e a Equaca
o de Laguerre Associada . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 894
19.9 Propagaca
o de Ondas em Tanques Cilndricos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 897
11/1979
19.10 Equaco
es Hiperb
olicas Lineares em 1+1 Dimens
oes e Equaco
es Integrais
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 905
19.11 Aplicaco
es do M
etodo da Funca
o de Green . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 912
19.11.1 A Equaca
o de Poisson em Tr
es Dimens
oes . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 913
19.11.2 A Equaca
o de Difus
ao N
ao-Homog
enea . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 914
19.11.3 A Equaca
o de Ondas N
ao-Homog
enea em n + 1-Dimens
oes . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 916
19.11.3.1 A Equaca
o de Ondas N
ao-Homog
enea em 3 + 1-Dimens
oes . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 920
19.11.3.2 Aplicaco
es `
a Eletrodin
amica. Potenciais Retardados . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 922
19.11.3.3 A Equaca
o de Ondas N
ao-Homog
enea em 2 + 1-Dimens
oes . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 925
19.11.3.4 A Equaca
o de Ondas N
ao-Homog
enea em 1 + 1-Dimens
oes . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 927
19.12 Exerccios Adicionais . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 929
19.12.1 Problemas Selecionados de Eletrost
atica . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 929
19.12.2 Barras Condutoras de Calor em uma Dimens
ao . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 932
19.12.3 Cordas Vibrantes em uma Dimens
ao . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 935
19.12.4 Modos de Vibraca
o de Membranas
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 939
APENDICES
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 947
19.A Duas Transformadas de Laplace . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 947
Grupos
949
950
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 955
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 958
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 969
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1013
12/1979
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1021
APENDICES
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1048
20.A Prova do Teorema 20.9 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1048
20.B Um Isomorfismo entre SL(2, C) / {1, 1} e L+ . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1058
1065
21.4 A Relaca
o entre Grupos de Lie Matriciais e suas Algebras
de Lie . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1082
21.4.2 Quest
oes sobre a Exponenciaca
o de Algebras
de Lie . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1085
21.4.3 Alguns Exemplos Especiais . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1087
22 Uma Breve Introdu
c
ao `
a Teoria das Representa
co
es de Grupos
1093
22.1 Representaco
es de Grupos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1093
22.2 M
edias Invariantes. A Medida de Haar . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1099
22.3 Representaco
es de Grupos Compactos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1101
22.3.1 Representaco
es de Grupos Compactos em Espacos de Hilbert Separ
aveis . . . . . . . . . . . . . . . . . . . . . . . . . 1102
22.4 O Teorema de Peter-Weyl
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1108
22.5 Representaco
es Irredutveis de Dimens
ao Finita de SU(2) . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1116
22.6 Representaco
es Irredutveis de Dimens
ao Finita de L+
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1120
VI
23 Espa
cos M
etricos
1139
1140
23.1 M
etricas e Espacos M
etricos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1141
23.1.1 Completeza e o Completamento Can
onico . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1148
23.2 A Noca
o de Topologia de Espacos M
etricos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1154
23.3 Pseudo-M
etricas . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1158
23.4 Espacos de Funco
es Limitadas e Completeza . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1160
23.5 Espacos de Banach e de Hilbert . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1163
23.5.1 Espacos de Banach em Espacos de Seq
u
encias . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1165
23.6 Teorema do Melhor Aproximante em Espacos Normados Uniformemente Convexos . . . . . . . . . . . . . . . . . . . . . . . . . 1176
13/1979
APENDICES
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1183
23.A N
umeros reais e p-
adicos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1183
23.B Aproximaco
es para . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1188
24 O Teorema do Ponto Fixo de Banach e Algumas de Suas Conseq
u
encias
1194
APENDICES
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1223
24.A O Lema de Gr
onwall . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1223
25 Espa
cos Topol
ogicos e Espa
cos Mensur
aveis. Defini
co
es e Propriedades B
asicas
1224
25.1 Definico
es, Propriedades Elementares e Exemplos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1224
25.2 Algumas Construco
es Especiais e Exemplos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1230
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1238
1249
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1262
APENDICES
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1272
26.A Prova das F
ormulas de Inclus
ao-Exclus
ao . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1272
27 A Medida de Lebesgue e a Medida de Hausdorff
27.1 A Construca
o da Medida de Lebesgue em Rn
1274
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1274
27.1.1 A -
algebra de Borel em Rn e a Medida de Borel-Lebesgue . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1276
27.2 As Medidas de Hausdorff . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1278
27.3 Conjuntos de Cantor . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1282
27.4 Bases de Hamel e a Medida de Lebesgue . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1291
27.5 Exerccios Adicionais . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1293
28 Continuidade e Converg
encia em Espa
cos Topol
ogicos
1298
14/1979
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1304
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1310
1315
29.1 Coment
arios Preliminares . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1315
29.2 A Integraca
o no Sentido de Riemann . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1317
29.2.1 A Integral de Riemann Impr
opria . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1325
29.2.2 Diferenciaca
o e Integraca
o em Espacos de Banach . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1327
29.3 A Integraca
o no Sentido de Lebesgue . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1331
29.3.1 Funco
es Mensur
aveis e Funco
es Simples . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1331
29.3.2 A Integral de Lebesgue. Integraca
o em Espacos Mensur
aveis . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1336
29.3.3 A Integral de Lebesgue e sua Relaca
o com a de Riemann . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1343
29.3.4 Teoremas B
asicos sobre Integraca
o e Converg
encia . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1345
29.3.5 Alguns Resultados de Interesse . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1348
29.4 Os Espacos Lp e Lp . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1350
29.4.1 As Desigualdades de H
older e de Minkowski . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1352
29.4.2 O Teorema de Riesz-Fischer. Completeza . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1355
APENDICES
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1356
29.A Mais sobre a Integral de Darboux . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1356
29.A.1 Equival
encia das Definico
es II e III da Integrabilidade de Riemann
. . . . . . . . . . . . . . . . . . . . . . . . . . . . 1357
29.B Caracterizaco
es e Propriedades de Funco
es Mensur
aveis . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1358
29.C Prova do Lema 29.3 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1363
29.D Demonstraca
o de (29.26) . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1364
29.E A Equival
encia das Definico
es (29.27) e (29.28) . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1364
29.F Prova do Teorema da Converg
encia Mon
otona . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1366
29.G Prova do Lema de Fatou . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1367
29.H Prova do Teorema da Converg
encia Dominada . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1368
29.I
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1369
1375
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1397
15/1979
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1407
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1414
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1415
30.3.4.1 Equilimitaca
o e Equicontinuidade de Famlias de Funco
es . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1416
30.3.4.2 Os Teoremas de Ascoli de Arzel`
a para Famlias de Funco
es de um Compacto sobre um Espaco M
etrico . . . . 1417
30.3.4.3 O Teorema de Peano
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1420
APENDICES
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1451
30.A Prova da Proposica
o 30.31 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1451
VII
31 Variedades
1453
1454
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1461
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1467
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1476
31.2.4 Aplicaco
es entre Variedades Diferenci
aveis . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1476
31.3 Campos Vetoriais e Tensoriais . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1479
16/1979
31.4 M
etricas Riemannianas e Semi-Riemannianas . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1481
31.5 Conex
oes Afins . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1489
31.5.1 O Tensor de Torca
o . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1494
31.5.2 Conex
oes Afins em Tensores . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1496
31.5.3 Conex
oes Sim
etricas
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1496
31.5.4 Conex
oes M
etricas e Conex
oes de Levi-Civita . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1497
31.5.5 Gradiente, Divergente e Laplaciano . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1503
31.6 Geod
esicas . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1507
31.6.1 O Lema de Gauss . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1507
31.7 O Tensor de Curvatura . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1511
31.7.1 A Curvatura Seccional . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1517
31.7.2 O Tensor de Ricci e a Curvatura Escalar . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1520
31.8 Pontos Conjugados e a Equaca
o de Jacobi . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1522
31.8.1 A Equaca
o de Jacobi . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1522
31.8.2 Pontos Conjugados . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1525
31.8.3 A Equaca
o de Raychaudhuri . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1526
31.9 A Estrutura Causal de Variedades Lorentzianas . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1528
APENDICES
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1532
31.A Demonstraca
o de Algumas Propriedades do Tensor de Curvatura
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1532
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1538
31.B.2 Conex
oes em Superfcies Regulares . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1538
VIII
S
eries e Transformadas de Fourier. Distribuic
oes
32 Aproxima
c
ao de Fun
co
es. Aproxima
co
es Polinomiais e S
eries de Fourier
1539
1540
32.1 Noco
es de Converg
encia para Seq
u
encias de Funco
es . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1541
32.1.1 Import
ancia da Converg
encia Uniforme . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1542
32.1.1.1 Troca de Ordem entre Limites e Integrais . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1543
32.1.1.2 Troca de Ordem entre Limites e Derivadas . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1544
32.1.1.3 Troca de Ordem entre Derivadas e Integrais . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1545
32.2 Seq
u
encias Delta de Dirac . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1547
32.3 Aproximaca
o de Funco
es por Polin
omios . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1553
32.3.1 O Teorema de Weierstrass . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1553
32.3.2 O Teorema de Taylor . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1560
32.4 Aproximaca
o de Funco
es por Polin
omios Trigonom
etricos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1567
32.4.1 Preliminares . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1567
32.4.2 A S
erie de Fourier de Funco
es Peri
odicas de Perodo T . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1570
32.4.3 Polin
omios Trigonom
etricos e Funco
es Contnuas e Peri
odicas . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1571
32.4.4 Converg
encia de S
eries de Fourier . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1576
32.4.4.1 S
eries de Fourier em Senos ou Co-Senos para Funco
es Definidas em Intervalos Compactos . . . . . . . . . . . . 1582
32.4.5 Revisitando a Aproximaca
o Uniforme de Funco
es Contnuas e Peri
odicas por Polin
omios Trigonom
etricos . . . . . . . 1586
32.4.6 S
eries de Fourier e o Espaco de Hilbert L2 ([, ], dx) . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1589
17/1979
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1597
APENDICES
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1610
32.A Prova do Teorema de Weierstrass Usando Polin
omios de Bernstein . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1610
32.B A Demonstraca
o de Weierstrass do Teorema de Weierstrass . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1614
33 Introdu
c
ao `
as Distribui
co
es e `
as Transformadas de Fourier
33.1 Funco
es de Schwartz e Funco
es de Teste
1616
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1617
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1670
33.3.4.2 C
alculo da Derivada de Algumas Distribuico
es de Interesse . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1671
33.3.5 Alguns Resultados Estruturais sobre Distribuico
es . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1673
33.3.6 Transformadas de Fourier de Distribuico
es Temperadas . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1674
33.3.6.1 C
alculo de Transformadas de Fourier de Algumas Distribuico
es Temperadas
. . . . . . . . . . . . . . . . . . . 1674
APENDICES
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1702
33.A Prova de (33.18) . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1702
33.B Prova da Proposica
o 33.15 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1703
IX
An
alise Funcional
34 No
co
es B
asicas Sobre Espa
cos de Hilbert
1708
1709
18/1979
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1726
1734
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1760
. . . . . . . . . . . . . . 1763
. . . . . . . . . . . . . . 1771
. . . . . . . . . . . . . . 1771
. . . . . . . . . . . . . . 1774
35.3.2.1 Algebras
com Involuca
o e a Unidade . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1775
35.3.3 A Inversa de Operadores Limitados . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1778
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1788
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1792
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1794
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1796
35.3.9.1 Relaca
o de Ordem Decorrente da Positividade em Algebras
C .
35.5.2 Representaco
es de Algebras C . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . . . . . . . 1800
. . . . . . . . . . . . . . . . . . . . . . . . . 1802
. . . . . . . . . . . . . . . . . . . . . . . . . 1805
. . . . . . . . . . . . . . . . . . . . . . . . . 1809
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1810
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1813
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1813
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1816
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1861
19/1979
. . . . . . . . . . . . . . . . . . . . . . . . . . 1914
APENDICES
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1920
35.A Prova do Teorema 35.19
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1920
1924
APENDICES
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1947
36.A Prova do Lema 36.6 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1947
1948
Bibliografia
1955
Indice Remissivo
1963
20/1979
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 certos
cursos ditos 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, Geometria Dife
rencial, Teoria de Grupos, Teoria de Distribuicoes, Analise Funcional e Algebras
de Operadores sao hoje imprescindveis
ao trabalho de um fsico teorico.
Este livro cresceu a partir de notas de aula escritas pelo autor em diversas disciplinas de graduacao e p
os-graduacao.
Diversos de seus captulos podem ser empregados em disciplinas de graduacao ou p
os-graduacao, mas o mesmo foi
concebido primordialmente para servir ao auto-estudo de estudantes e docentes. De modo geral, o nvel varia entre
intermedi
ario a avancado. Tambem de modo geral, o texto e de leitura auto-suficiente, mas vez por outra algum estudo
complementar e sugerido. A melhor maneira de um estudante conduzir-se no estudo de assuntos matematicos e munindose de uma boa colecao de exemplos e contra-exemplos de varias situacoes especiais, patologias, casos especiais etc. Alem
de servirem de auxlio `
a mem
oria, exemplos ajudam a melhor entender a motivacao de certas definicoes e a compreender
restricoes mencionadas em enunciados de teoremas. Dessa forma, procuramos sempre que possvel apresentar (muitas
vezes em exerccios!) um bom n
umero de exemplos e contra-exemplos para as varias situacoes tratadas.
Este texto, porem, n
ao e substituto `
a leitura dos bons livros especializados nos diversos assuntos aqui tratados.
Parte do material aqui apresentado pode ser encontrada em diversas fontes, citadas na bibliografia (pagina 1956), mas a
apresentacao e sua ordem sao proprias. H
a tambem neste texto demonstracoes do proprio autor de resultados conhecidos
que sao, por alguma raz
ao, dificilmente encontradas na literatura. Mas como comenta o autor de [128] em seu pref
acio,
qualquer livro-texto deve mais aos livros e notas de outros do que a seu autor nominal.
Fazemos notar que este livro est
a ainda sendo trabalhado e alguns captulos e secoes podem vir a ser alterados,
corrigidos, eliminados ou acrescidos de material. Alem disso, novos captulos serao escritos. O material ja presente e,
porem, u
til a todos aqueles que queiram iniciar-se nos assuntos aqui expostos. Versoes atualizadas serao colocadas na
rede (no endereco acima indicado) sempre que possvel.
O autor agradece a todos os que apresentarem sugestoes. Fabulosas somas em dinheiro sao oferecidas a todos aqueles
que encontrarem erros no texto. Entre os j
a aquinhoados encontram-se Matheus Grasselli, Alexandre T. Baraviera,
Marcos V. Travaglia, Daniel Augusto Cortez, Djogo F. C. Patr
ao, Cleber de Mico Muramoto, Kati
uscia Nadyne Cassemiro, Urbano Lopes Franca Junior, Gustavo Barbagallo de Oliveira, Priscila Vieira Franco Gondeck, Darielder Jesus
Ribeiro, Henrique Scemes Xavier, Daniel Augusto Turolla Vanzella, Leonardo Fernandes Dias da Motta, Krishnamurti
Jose de Andrade, Pedro Tavares Paes Lopes, Diego Cortegoso Assencio, Fleury Jose de Oliveira Filho, Paulo Henrique
Reimberg, Fabola Diacenco Xavier, M
arcio Andre Prieto Aparcio Lopez, Dorival Goncalves Netto, Celia Santos Jordao
Alves, Bruno Lima de Souza, Leandro Saccoletto, Joao Pedro Jerico de Andrade, Ronaldo da Silva Alves Batista, Carolina Dias Alexiou, Ar
ao Benjamin Garcea, Claudio Mayrink Verdun, Leonardo Hanao Gabriel, Felipe Contatto e Victor
Bernando Chabu, aos quais somos muito gratos por correcoes e sugestoes.
As Secoes 20.B, p
agina 1058, e 24.4.1, p
agina 1210, foram originalmente escritas por Daniel Augusto Cortez. A Secao
19.9, p
agina 897, foi originalmente escrita por Andre M. Timpanaro, Fleury J. Oliveira e Paulo H. Reimberg. A eles
dedicamos agradecimentos especiais.
Jo
ao Carlos Alves Barata
S
ao Paulo, 28 de marco de 2012
Departamento de Fsica Matem
atica
Universidade de S
ao Paulo
21/1979
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 [84].
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 [84].
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
22/1979
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:
23/1979
24/1979
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
25/1979
26/1979
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.
Parte I
Captulos Introdut
orios
27