NC Cap00

Universidade de S
ao Paulo
Departamento de Fsica Matematica
2009
Curso de Fsica-Matem
atica
Jo
ao Carlos Alves Barata
Vers
ao de 27 de marco de 2009
Estas notas ou sua vers

ao mais recente podem ser encontradas no seguinte endereco WWW:
http://denebola.if.usp.br/jbarata/Notas de aula
2/1625
Indice
Pref
acio . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 17
Bons Mots . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 18
Como Ler Este Livro . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 19
Nota
c
ao e Advert
encias . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 20
Captulos Introdut
orios
23
1 No
c
oes B
asicas
1.1
1.1.1
1.1.2
1.1.3
1.2
Relaco
es e Funco
es . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 25
1.1.1.1
Produtos Cartesianos Gerais . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 30
1.1.1.2
Relaco
es de Compatibilidade e de Incompatibilidade . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 31
1.1.1.3
Relaco
es de Equival
encia . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 32
1.1.1.4
Relaco
es de Ordem
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 33
Cardinalidade . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 39
Infimos e Supremos de Famlias de Conjuntos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 44
Sistemas de Conjuntos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 46
1.2.1
Semi-An
eis de Conjuntos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 47
1.2.2
An
eis de Conjuntos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 47
Algebras
de Conjuntos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 49
1.2.3
1.A
24
Conjuntos, Relaco
es e Funco
es . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 24
1.2.4
-An
eis de Conjuntos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 50
1.2.5
-Algebras
de Conjuntos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 50
1.2.6
Topologias . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 51
1.2.7
Filtros e Ultra-Filtros . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 52
APENDICES
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 55
A F
ormula de Invers
ao de M
obius . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 55
2 Estruturas Alg
ebricas B
asicas
2.1
57
Estruturas Alg
ebricas B
asicas . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 58
2.1.1 Algebras
Universais . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 60
2.1.2 Reticulados e Algebras

Booleanas . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 62
2.1.3
Semi-Grupos, Mon
oides e Grupos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 67
2.1.4
Corpos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 71
2.1.5
Espacos Vetoriais . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 74
An
eis, M
odulos e Algebras
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 76
2.1.6
2.1.6.1
An
eis . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 76
2.1.6.2
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 76
M
odulos . . . . . . . . . . . .
2.1.6.3 Algebras . . . . . . . . . . . .
2.1.7 Exemplos Especiais de 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 . . . . .
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 77
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 78
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 78
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 81
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 81
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 82
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 83
2.1.8
Mais sobre An
eis . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 83
2.1.9
Aco
es e Representaco
es . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 85
2.1.10 Morfismos, Homomorfismos, Epimorfismos, Isomorfismos, Monomorfismos, Endomorfismos e Automorfismos . . . . . 87
4/1625
2.1.11 Induzindo Estruturas Alg

ebricas . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 89
2.2
Grupos. Estruturas e Construco

es B
asicas . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 93
2.2.1
Cosets . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 93
2.2.2
Subgrupos Normais e o Grupo Quociente . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 95
2.2.3
O Centro de um Grupo. Centralizadores e Normalizadores . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 96
2.2.4
Grupos Gerados por Conjuntos. Grupos Gerados por Relaco

es . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 98
2.2.5
2.3
O Produto Direto de Grupos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 99
2.2.5.2
O Produto Semi-Direto Grupos
2.2.5.3
Produtos Tensoriais de Grupos Abelianos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 102
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 100
Espacos Vetoriais. Estruturas e Construco

es B
asicas . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 104
2.3.1
Bases Alg
ebricas de um Espaco Vetorial . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 104
2.3.2
O Dual Alg
ebrico de um Espaco Vetorial
2.3.3
Subespacos e Espacos Quocientes . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 114
2.3.4
Somas Diretas de Espacos Vetoriais . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 115
2.3.5
2.4
O Produto Direto e o Produto Semi-Direto de Grupos. O Produto Tensorial de Grupos Abelianos . . . . . . . . . . . 99

2.2.5.1
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 108
Produtos Tensoriais de Espacos Vetoriais . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 115

2.3.5.1
Duais Alg
ebricos e Produtos Tensoriais . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 120
2.3.5.2
Produtos Tensoriais de um mesmo Espaco Vetorial. Espacos Sim

etrico e Anti-Sim
etrico . . . . . . . . . . . . . 121
2.3.5.3 O Produto Tensorial de M

odulos. Derivaco
es . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 123
An
eis e Algebras. Estruturas e Construco
es B
asicas . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 124
2.4.1 Ideais em An
eis e Algebras
Associativas . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 124
2.4.1.1
2.5
Ideais em An
eis . . . . . . . . . . . .
2.4.1.2 Ideais em Algebras Associativas . . .
Algebras
Tensoriais e Algebras
Exteriores . . . . . . .
2.5.1 Algebras Tensoriais . . . . . . . . . . . . . .

2.5.2
2.6
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 125
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 129
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 131
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 132
Algebras
Exteriores . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 133
T
opicos Especiais . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 134
2.6.1
O Grupo de Grothendieck . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 135
2.6.2
Grup
oides . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 136
2.6.3
Quat
ernios . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 138
3 Formas Lineares e Normas em Espa

cos Vetoriais
3.1
Formas Lineares, Sesquilineares e Produtos Escalares em Espacos Vetoriais

3.1.1
142
. . . . . . . . . . . . . . . . . . . . . . . . . . . . 142
Formas Multilineares . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 142

3.1.1.1
Formas Multilineares em Dimens

ao Finita e Produtos Tensoriais . . . . . . . . . . . . . . . . . . . . . . . . . . 147
3.1.2
Formas Sesquilineares e as Desigualdades de Cauchy-Schwarz e Minkowski . . . . . . . . . . . . . . . . . . . . . . . . 147
3.1.3
Produtos Escalares . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 150
3.1.4
Exemplos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 152
3.2
Normas em Espacos Vetoriais
3.3
Ortogonalidade, Conjuntos Ortonormais e o Procedimento de Gram-Schmidt . . . . . . . . . . . . . . . . . . . . . . . . . . . . 160
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 154
3.4
Formas Bilineares e Sesquilineares e Produtos Escalares em Espacos de Dimens

ao Finita . . . . . . . . . . . . . . . . . . . . . 162
3.5
Estruturas Complexas sobre Espacos Vetoriais Reais . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 165
APENDICES
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 172
3.A
Equival
encia de Normas em Espacos Vetorias de Dimens
ao Finita . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 172
3.B
Prova do Teorema de Fr
echet, von Neumann e Jordan . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 173
4 Recorda
c
oes de C
alculo Vetorial em Tr
es Dimens
oes
176
4.1
Alguns Operadores Diferenciais de Interesse
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 176
4.2
Teoremas Cl
assicos sobre Integrais de Volume e de Superfcie . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 180
5/1625
4.3
O Laplaciano em Sistemas de Coordenadas Gerais . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 182
T
opicos de Algebra
Linear
II
184
5 T
opicos de Algebra
Linear. I
185
5.1
Propriedades B
asicas de Determinantes e Inversas de Matrizes . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 186
5.2
Noco
es B
asicas sobre o Espectro de uma Matriz . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 193
5.2.1
Autovalores e Polin
omios Caractersticos de Matrizes . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 193
5.2.2
Autovetores de Matrizes . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 196
5.2.3
O Traco de uma Matriz . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 199

5.2.3.1
Algumas Relaco
es entre Determinantes e Tracos de Matrizes . . . . . . . . . . . . . . . . . . . . . . . . . . . . 200
5.3
Polin
omios de Matrizes . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 201
5.4
Matrizes Diagonaliz
aveis e o Teorema Espectral . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 207
5.5
Matrizes Auto-adjuntas, Normais e Unit

arias . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 222
5.3.1
5.4.1
O Teorema de Hamilton-Cayley . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 203

Diagonalizaca
o Simult
anea de Matrizes . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 219
5.5.1
Matrizes Positivas . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 227
5.5.2
O Teorema de In
ercia de Sylvester. Superfcies Quadr
aticas
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 229
5.6
Matrizes Triangulares . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 234
5.7
O Teorema de Decomposica
o de Jordan e a Forma Can
onica de Matrizes . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 236
5.8
5.9
5.7.1
Resultados Preparat
orios . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 237
5.7.2
O Teorema da Decomposica
o de Jordan . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 241
5.7.3
Matrizes Nilpotentes e sua Representaca

o Can
onica . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 243
5.7.4
A Forma Can
onica de Matrizes . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 247
Algumas Representaco
es Especiais de Matrizes . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 248
5.8.1
A Decomposica
o Polar de Matrizes . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 248
5.8.2
A Decomposica
o em Valores Singulares . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 250
5.8.3
O Teorema da Triangularizaca
o de Schur . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 250
5.8.4
A Decomposica
o QR e a Decomposica
o de Iwasawa (KAN) . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 252
A Pseudo-Inversa de Moore-Penrose. Optimizaca

o Linear . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 255
5.9.1
Outras Propriedades da Pseudo-Inversa de Moore-Penrose . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 257

5.9.1.1
A Regularizaca
o de Tikhonov. Exist
encia . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 259
5.9.1.2
A Pseudo-Inversa de Moore-Penrose e o Teorema Espectral . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 262
5.9.2
A Pseudo-Inversa de Moore-Penrose e Problemas de Optimizaca

o Linear . . . . . . . . . . . . . . . . . . . . . . . . . 263
5.9.3
Exist
encia e Decomposica
o em Valores Singulares . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 264
5.10 Propriedades Especiais de Determinantes . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 265

5.10.1 Expans
ao do Polin
omio Caracterstico
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 265
5.10.2 A Desigualdade de Hadamard . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 266

5.11 Exerccios Adicionais . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 269
6 T
opicos de Algebra
Linear. II
271
6.1
Uma Topologia M
etrica em Mat (C, n) . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 272
6.2
Exponenciais, Logaritmos e Funco

es Analticas de Matrizes . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 275
6.2.1
A Exponenciaca
o de Matrizes e os Grupos GL(C, n) e GL(R, n) . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 282
6.3
A F
ormula de Lie-Trotter e a F
ormula do Comutador . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 284
6.4
Aplicaco
es Lineares em Mat (C, n)
6.5
A F
ormula de Baker, Campbell e Hausdorff . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 292
6.6
A F
ormula de Duhamel e Algumas de suas Conseq
u
encias
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 287
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 297
6/1625
III
Equac
oes Diferenciais
301
7 Equa
c
oes Diferenciais Ordin
arias. Uma Introdu
c
ao
7.1
302
Definica
o e Alguns Exemplos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 302
7.1.1
Equaco
es Diferenciais Ordin
arias Lineares . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 304
7.1.2
Equaco
es Ordin
arias de Segunda Ordem. Exemplos de Interesse . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 307
7.2
Sistemas de Equaco
arias . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 309
7.3
Discuss
ao sobre Problemas de Valor Inicial . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 313
7.3.1
Problemas de Valor Inicial. Patologias e Exemplos a se Ter em Mente . . . . . . . . . . . . . . . . . . . . . . . . . . . 315
7.3.2
Teoremas de Exist
encia e Unicidade de Soluco
es . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 318
7.3.3
Soluco
es Globais . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 320
7.3.4
Depend
encia Contnua de Condico
es Iniciais e de Par
ametros
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 322
8 Alguns M
etodos de Resolu
c
ao de Equa
c
arias
323
8.1
Soluca
o de Equaco
es Ordin
arias Lineares de Primeira Ordem . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 323
8.2
As Equaco
es de Bernoulli e de Riccati . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 324
8.3
Integraca
o de Equaco
es Separ
aveis . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 326
8.4
O M
etodo de Variaca
o de Constantes . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 327
8.5
O M
etodo de Substituica
o de Pr
ufer . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 328
8.6
O M
etodo de Invers
ao . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 330
8.7
Soluca
o de Equaco
es Exatas e o M
etodo dos Fatores Integrantes . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 331
8.8
Soluco
es das Equaco
es de DAlembert-Lagrange e Clairaut . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 335
9 Sistemas de Equa
c
arias Lineares
339
9.1
Introduca
o . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 340
9.2
Unicidade e Exist
encia de Soluco
es
9.3
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 340
9.2.1
Unicidade . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 340
9.2.2
Exist
encia. A S
erie de Dyson
9.2.3
Propriedades de D(s, t)
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 347
Equaco
es com Coeficientes Constantes
9.3.1
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 343
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 349
Alguns Exemplos e Aplicaco

es . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 351
9.4
Perturbaco
es de Sistemas Lineares . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 355
9.5
Mais sobre a S
erie de Dyson. Produtos de Tempo Ordenado . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 358
9.6
Sistemas de Equaco
es Diferenciais Lineares no Plano Complexo . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 360
9.7
9.8
9.6.1
O Caso Analtico . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 361
9.6.2
Resoluca
o por S
eries de Pot
encias . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 365
9.6.3
Sistemas com Pontos Singulares. Monodromia . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 367
9.6.4
Sistemas com Pontos Singulares Simples . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 375
Sistemas Provenientes de EDOs de Ordem m . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 379

9.7.1
Pontos Singulares Simples em EDOs de Ordem m
9.7.2
Singularidades no Infinito
9.7.3
Alguns Exemplos de Interesse . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 384
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 383
Equaco
es Fuchsianas. Smbolos de Riemann . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 389
9.8.1
Equaco
es Fuchsianas de Primeira Ordem . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 389
9.8.2
Equaco
es Fuchsianas de Segunda Ordem . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 393
9.8.3
9.9
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 380
A Equaca
o de Riemann-Papperitz. Smbolos de Riemann . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 401
9.8.3.1
Transformaco
es de Simetria dos Smbolos de Riemann . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 403
9.8.3.2
Equaco
es Fuchsianas com tr
es pontos singulares e a equaca
o hipergeom
etrica . . . . . . . . . . . . . . . . . . . 406
Exerccios Adicionais . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 409
7/1625
10 Solu
c
oes de Equa
c
arias Lineares no Plano Complexo
413
10.1 Soluco
es em S
eries de Pot
encias para Equaco
es Regulares . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 414
10.1.1 A Equaca
o do Oscilador Harm
onico Simples . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 415
10.1.2 A Equaca
o de Legendre . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 416
10.1.3 A Equaca
o de Hermite . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 419
10.1.4 A Equaca
o de Airy . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 421
10.1.5 A Equaca
o de Chebyshev . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 423
10.1.6 O Caso de Equaco
es Regulares Gerais . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 426
10.2 Soluca
o de Equaco
es Singulares Regulares. O M
etodo de Frobenius . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 427
10.2.1 Equaco
es Singulares Regulares. O Caso Geral . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 430
10.2.2 A Equaca
o de Euler Revisitada . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 438
10.2.3 A Equaca
o de Bessel . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 440
10.2.4 Equaco
es Relacionadas a
` de Bessel. A Equaca
o de Bessel Esf
erica . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 450
10.2.5 Equaco
es Relacionadas a
` de Bessel. A Equaca
o de Bessel Modificada . . . . . . . . . . . . . . . . . . . . . . . . . . . 451
10.2.6 A Equaca
o de Laguerre . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 452
10.2.7 A Equaca
o Hipergeom
etrica . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 454
10.2.8 A Equaca
o Hipergeom
etrica Confluente . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 458
10.3 Algumas Equaco
es Associadas . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 460
10.3.1 A Equaca
o de Legendre Associada . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 460
10.3.2 A Equaca
o de Laguerre Associada . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 462
10.4 A Funca
o Gama. Definica
o e Propriedades . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 463
APENDICES
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 478
10.A Prova da Proposica
o 10.1. Justificando os Polin
omios de Legendre . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 478
10.B Provando (10.14)
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 479
10.C Justificando os Polin

omios de Hermite . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 481
10.D Provando (10.20)
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 482
10.E Porque deve ser um Inteiro Positivo na Equaca

o de Laguerre . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 483
11 Propriedades de Algumas Fun
c
oes Especiais
486
11.1 Discuss
ao Preliminar . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 486
11.1.1 Relaco
es de Ortogonalidade . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 487
11.1.1.1 Condico
es de Contorno e a Origem das Relaco
es de Ortogonalidade . . . . . . . . . . . . . . . . . . . . . . . . 491
11.1.2 F
ormulas de Rodrigues . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 495
11.1.3 Funco
es Geratrizes . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 497
11.2 Propriedades de Algumas Funco
es Especiais . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 505
11.2.1 Propriedades dos Polin
omios de Legendre . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 505
omios de Legendre Associados . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 510
11.2.2.1 As Funco
es Harm
onicas Esf
ericas
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 516
11.2.2.2 F
ormula de Adica
o de Funco
es Harm
onicas Esf
ericas
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 518

omios de Hermite . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 522
omios de Laguerre . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 526
omios de Laguerre Associados . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 530
11.2.6 Propriedades das Funco
es de Bessel . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 533
11.2.7 Propriedades das Funco
es de Bessel Esf
ericas . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 547
APENDICES
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 554
11.A Provando (11.70) a
` Forca Bruta . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 554
8/1625
12 Rudimentos da Teoria das Equa

c
oes a Derivadas Parciais
12.1 Definico
es, Notaco
es e Alguns Exemplos
556
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 557
12.2 Algumas Classificaco

es de Equaco
es a Derivadas Parciais . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 565
12.2.1 Equaco
es Lineares, N
ao-Lineares, Semi-Lineares e Quase-Lineares . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 565
12.2.2 Classificaca
o de Equaco
es de Segunda Ordem. Equaco
es Parab
olicas, Elpticas e Hiperb
olicas . . . . . . . . . . . . . 567
12.3 O M
etodo de Separaca
o de Vari
aveis . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 570
12.3.1 O M
etodo de Separaca
o de Vari
aveis. Caso de Equaco
es Lineares . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 571
12.3.2 O M
etodo de Separaca
o de Vari
aveis. Caso de Equaco
es N
ao-Lineares
. . . . . . . . . . . . . . . . . . . . . . . . . . 574
12.4 O M
etodo das Caractersticas . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 576
12.4.1 Exemplos de Aplicaca
o do M
etodo das Caractersticas
12.4.2 Caractersticas. Coment
arios Adicionais
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 580
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 592
12.5 Problemas de Cauchy e Superfcies Caractersticas. Definico

es e Exemplos B
asicos . . . . . . . . . . . . . . . . . . . . . . . . . 594
12.6 Alguns Teoremas de Unicidade de Soluco
es de Equaco
es a Derivadas Parciais . . . . . . . . . . . . . . . . . . . . . . . . . . . . 603
12.6.1 Casos Simples. Discuss
ao Preliminar . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 603
12.6.2 Unicidade de Soluca
o para as Equaco
es de Laplace e Poisson . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 607
12.6.3 Unicidade de Soluco
es. Generalizaco
es . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 610
13 Introdu
c
ao ao Problema de Sturm-Liouville
617
13.1 Coment
arios Iniciais . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 617
13.2 O Problema de Sturm . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 622
13.2.1 Soluco
es Fundamentais e Funco
es de Green . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 623
13.2.2 A Funca
o de Green. Resolvendo o Problema de Sturm . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 624
13.2.3 O Teorema de Green . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 627
13.3 O Problema de Sturm-Liouville . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 629
13.3.1 Propriedades B
asicas dos Auto-Valores e Auto-Funco
es de Problemas de Sturm-Liouville . . . . . . . . . . . . . . . . 631
13.3.1.1 A Simplicidade dos Auto-Valores . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 631
13.3.1.2 O Lema de Green . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 632
13.3.1.3 Realidade dos Auto-Valores e Auto-funco
es. Ortogonalidade de Auto-funco
es . . . . . . . . . . . . . . . . . . . 634
13.3.1.4 Propriedades dos Autovalores . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 635
13.3.2 A Equaca
o Integral de Fredholm . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 639
13.3.3 Uma Aplicaca
o do Problema de Sturm-Liouville . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 642
13.3.4 M
etodos Variacionais de Determinaca
o de Autovalores . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 645
13.4 Coment
arios Finais . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 647
13.4.1 Um Problema de Sturm-Liouville Singular . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 647
APENDICES
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 653
13.A Prova do Teorema 13.1. Exist
encia e Unicidade
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 653
13.B Prova da Proposica

o 13.2 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 654
13.C Coment
ario Sobre o Determinante Wronskiano . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 655
13.D Demonstraca
o do Teorema 13.3 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 656
13.D.1 Prova da Desigualdade (13.D.17)
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 659
14 Alguns Resultados sobre Equa

c
oes Integrais
661
14.1 Descrica
o . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 661
14.2 O M
etodo dos Determinantes de Fredholm . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 663
14.2.1 A Equaca
o Integral de Fredholm Linear N
ao-Homogenea . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 663
14.2.2 A Equaca
o Integral de Fredholm Linear Homog
enea . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 667
9/1625
APENDICES
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 670
14.A Obtendo os Determinantes de Fredholm . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 670
15 Rudimentos da Teoria do Potencial
15.1 A Equaca
o de Poisson em
R3
676
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 676
15.2 O Teorema de Decomposica

o de Helmholtz . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 679
15.3 Propriedades B
asicas de Funco
es Harm
onicas em R3
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 684
16 Alguns Problemas Selecionados de Interesse Fsico
687
16.1 Deduca
o de Algumas Equaco
es Diferenciais de Interesse . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 688
16.1.1 Deduca
o Informal da Equaca
o de Difus
ao de Calor . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 688
16.1.2 Deduca
o Informal da Equaca
o da Corda Vibrante . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 692
16.2 As Equaco
es de Helmholtz e de Laplace . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 698
16.2.1 Problemas em Duas Dimens
oes em Coordenadas Polares . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 700
16.2.2 Problemas em Tr
es Dimens
oes em Coordenadas Esf
ericas . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 702
16.3 Problemas de Difus
ao em uma Dimens
ao . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 705
16.3.1 A Evoluca
o da Temperatura de uma Barra Finita . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 705
16.3.2 A Evoluca
o da Temperatura de uma Barra Infinita . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 709
16.3.3 A Evoluca
o da Temperatura de uma Barra Semi-Infinita . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 714
16.4 A Equaca
o de Ondas . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 718
16.4.1 A Equaca
o de Ondas em 1 + 1 Dimens
oes . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 719
16.4.2 Interl
udio: Ondas Caminhantes e a Equaca
o do Telegrafo . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 722
16.4.3 Outro Interl
udio: S
olitons . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 724
16.4.3.1 S
olitons na Equaca
o de Korteweg-de Vries
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 725
16.4.3.2 S
olitons na Equaca
o de Sine-Gordon . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 726
16.4.3.3 S
olitons no Modelo de Poco-Duplo . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 728
16.4.3.4 S
olitons na Equaca
o de Schr
odinger N
ao-Linear
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 730
16.4.4 A Equaca
o de Ondas e Transformadas de Fourier . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 734
16.4.4.1 A Equaca
oes. A Soluca
o de Kirchhoff . . . . . . . . . . . . . . . . . . . . . . . . . 736
16.4.4.2 A Equaca
oes . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 738
16.5 O Problema da Corda Vibrante . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 739
16.5.1 Corda Vibrante Homog
enea . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 740
16.5.2 O Problema da Corda Homog
enea Pendurada . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 742
16.5.3 Corda Vibrante N
ao-Homog
enea . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 745
16.5.4 O Problema da Membrana Retangular Homog
enea
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 748
16.6 O Problema da Membrana Circular Homog

enea . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 750
16.7 O Oscilador Harm
onico na Mec
anica Qu
antica e a Equaca
o de Hermite . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 752
16.8 O Atomo de Hidrog

enio e a Equaca
o de Laguerre Associada . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 753
16.9 Propagaca
o de Ondas em Tanques Cilndricos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 756
16.10 Equaco
es Hiperb
olicas Lineares em 1+1 Dimens
oes e Equaco
es Integrais
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 763
16.11 Aplicaco
es do M
etodo da Funca
o de Green . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 770
16.11.1 A Equaca
o de Poisson em Tr
es Dimens
oes . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 771
16.11.2 A Equaca
o de Difus
ao N
ao-Homog
enea . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 772
16.11.3 A Equaca
o de Ondas N
ao-Homog
enea em n + 1-Dimens
oes . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 774
16.11.3.1 A Equaca
o de Ondas N
ao-Homog
enea em 3 + 1-Dimens
oes . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 779
16.11.3.2 Aplicaco
es a
` Eletrodin
amica. Potenciais Retardados . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 781
16.11.3.3 A Equaca
o de Ondas N
ao-Homog
oes . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 784
16.11.3.4 A Equaca
o de Ondas N
ao-Homog
oes . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 786
10/1625
16.12.1 Problemas Selecionados de Eletrost

atica . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 787
16.12.2 Barras Condutoras de Calor em uma Dimens
ao . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 790
16.12.3 Cordas Vibrantes em uma Dimens
ao . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 793
16.12.4 Modos de Vibraca
o de Membranas
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 797
16.12.5 Problemas sobre Ondas e Difus

ao em Tr
es Dimens
oes Espaciais . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 801
16.12.6 Problemas Envolvendo Funco
es de Green . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 803
APENDICES
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 804
16.A Duas Transformadas de Laplace . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 804
IV
Grupos
806
17 Grupos. Alguns Exemplos

17.1 O Grupo de Permutaco
es
807
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 807
17.1.1 Ciclos, Transposico

es e Transposico
es Elementares . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 808
17.2 Alguns Grupos Matriciais
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 812
17.2.1 Os Grupos GL(n) e SL(n) . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 812

17.2.2 O Grupo de Borel e o Grupo de Heisenberg
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 815
17.2.3 Grupos Associados a Formas Bilineares e Sesquilineares . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 821

17.2.4 Os Grupos Ortogonais . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 822
17.2.5 Os Grupos Unit
arios . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 823
17.3 Os Grupos SO(2), SO(3), SU(2) e SL(2, C)
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 824
17.3.1 Os Grupos SO(2), O(2), SO(1, 1) e O(1, 1) . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 825

17.3.2 O Grupo SO(3) . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 828
17.3.3 O Grupo SU(2) . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 834
17.3.4 A Relaca
o entre SO(3) e SU(2)
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 837
17.3.5 O Grupo SL(2, C) . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 839

17.4 Generalidades sobre os grupos SU(n) e SO(n)
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 841
17.4.1 Os Grupos SU(n) . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 841

17.4.2 O Grupo SU(3) . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 843
17.4.3 Os Grupos SO(n) . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 844
17.5 O Grupo Afim e o Grupo Euclidiano . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 849
17.6 O Grupo de Lorentz
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 853
17.6.1 O Espaco-Tempo, a Noca

o de Intervalo e a Estrutura Causal . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 853
17.6.2 A Invari
ancia do Intervalo . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 858
17.6.3 O Grupo de Lorentz . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 860
17.6.4 Alguns Subgrupos do Grupo de Lorentz
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 861
17.6.5 A Estrutura do Grupo de Lorentz . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 864

17.6.6 Os Geradores do Grupo de Lorentz . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 869
17.7 O Grupo de Poincar
e . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 872
17.8 SL(2, C) e o Grupo de Lorentz . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 876
APENDICES
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 883
17.A Prova do Teorema 17.8 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 883
17.B Um Isomorfismo entre SL(2, C) / {1, 1} e L+ . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 893
18 Grupos de Lie e Algebras

de Lie. Uma Breve Introdu
c
ao
901
18.1 Variedades e Grupos de Lie . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 901

18.2 Breves Consideraco
es sobre Grupos Topol
ogicos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 903
18.3 Grupos de Lie Matriciais . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 905
11/1625
18.3.1 Uma Topologia M

etrica em GL(C, n) . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 905
18.3.2 O Grupo de Lie GL(C, n) . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 906
18.3.3 Subgrupos Uniparam
etricos e seus Geradores . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 908
18.3.4 Subgrupos Uniparam

etricos e Algebras
de Lie . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 911
18.3.5 Subgrupos Fechados de GL(C, n) . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 915
18.4 A Relaca
o entre Grupos de Lie Matriciais e suas Algebras
de Lie . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 918
18.4.1 Algebras
de Lie Nilpotentes, Sol
uveis, Simples e Semi-Simples . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 919
18.4.2 Quest
oes sobre a Exponenciaca
o de Algebras
de Lie . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 921
18.4.3 Alguns Exemplos Especiais . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 923
19 Uma Breve Introdu
c
ao `
a Teoria das Representa
c
oes de Grupos
929
19.1 Representaco
es de Grupos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 929
19.2 Representaco
es Irredutveis de SO(3) . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 934
19.3 A Medida de Haar . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 938
19.4 Representaco
es de Grupos Compactos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 939
19.5 O Teorema de Peter-Weyl
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 940
Topologia Geral, Teoria da Medida e Integrac

ao
20 Espa
cos M
etricos
945
946
20.1 M
etricas e Espacos M
etricos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 947
20.2 Topologia de Espacos M
etricos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 960
20.3 Pseudo-M
etricas . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 963
20.4 Espacos de Funco
es Limitadas e Completeza . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 965
20.5 Espacos de Banach e de Hilbert . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 968
20.5.1 Espacos de Banach em Espacos de Seq
u
encias . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 970
APENDICES
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 981
20.A Algumas Desigualdades B
asicas . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 981
20.B N
umeros reais e p-
adicos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 983
20.C Aproximaco
es para . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 988
21 O Teorema do Ponto Fixo de Banach e Algumas de Suas Conseq
u
encias
993
21.1 O Teorema de Ponto Fixo de Banach . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 994

21.1.1 Generalizaco
es do Teorema de Ponto Fixo de Banach . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 996
21.2 Aplicaca
o a Equaco
es Num
ericas. O M
etodo de Newton . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 998
21.3 Aplicaca
o a
`s Equaco
es Integrais de Fredholm e de Volterra . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1002
21.4 Aplicaco
es a
` Teoria das Equaco
arias . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1008
21.4.1 O Teorema de Picard-Lindel
of . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1008
21.4.2 Generalizando o Teorema de Picard-Lindel
of. Soluco
es Globais . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1012
21.4.3 Um Teorema de Comparaca
o de Soluco
es de EDOs . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1013
21.5 O Teorema da Funca
o Implcita e o Teorema da Funca
o Inversa . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1016
21.5.1 O Teorema da Funca
o Implcita . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1016
21.5.2 O Teorema da Funca
o Inversa . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1020
APENDICES
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1021
21.A O Lema de Gr
onwall . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1021
22 Espa
cos Topol
ogicos e Espa
cos Mensur
aveis. Defini
c
oes e Propriedades B
asicas
1022
22.1 Definico
es, Propriedades Elementares e Exemplos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1022
22.2 Algumas Construco
es Especiais e Exemplos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1027
12/1625
22.2.1 Topologias e -
algebras Geradas . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1027
22.2.2 Bases de Espacos Topol
ogicos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1031
algebras Induzidas . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1033
algebras Produto . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1035
22.3 Interior e Fecho de Conjuntos em Espacos Topol
ogicos
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1035
22.3.1 Fecho de Conjuntos em Espacos M

etricos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1041
22.4 Espacos Topol
ogicos Separ
aveis e Segundo-Cont
aveis . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1042
23 Medidas
1045
23.1 O Problema da Teoria da Medida . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1045

23.2 Medidas de Conjuntos. Definica
o, Exemplos e Propriedades B
asicas . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1048
23.3 Construindo Medidas. A Medida Exterior e o Teorema de Carath
eodory . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1051
23.3.1 Medidas Exteriores M
etricas e Conjuntos Borelianos
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1058
23.4 Um Esquema de Construca

o de Medidas Exteriores . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1061
APENDICES
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1064
23.A Prova das F
ormulas de Inclus
ao-Exclus
ao . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1064
24 A Medida de Lebesgue e a Medida de Hausdorff
24.1 A Construca
o da Medida de Lebesgue em Rn
1066
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1066
24.1.1 A -
algebra de Borel em Rn e a Medida de Borel-Lebesgue . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1068
24.2 As Medidas de Hausdorff . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1070
24.3 Conjuntos de Cantor . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1074
24.4 Bases de Hamel e a Medida de Lebesgue . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1083
25 Continuidade e Converg
encia em Espa
cos Topol
ogicos
1090
25.1 Primeiras Definico

es . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1090
25.2 Espacos Hausdorff . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1092
25.3 Redes e o Caso de Espacos Topol
ogicos Gerais . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1093
25.3.1 Redes em Espacos M
etricos
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1096
25.4 O Limite do Infimo e o Limite do Supremo . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1096

25.5 Continuidade de Funco
es em Espacos Topol
ogicos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1100
25.5.1 Outras Noco
es Associadas a de Continuidade . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1102
25.5.1.1 Homeomorfismos e Mergulhos
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1102
25.5.2 Outras Caracterizaco

es do Conceito de Continuidade em Espacos Topol
ogicos . . . . . . . . . . . . . . . . . . . . . . 1103
25.5.3 Continuidade e Converg
encia . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1105
26 Elementos da Teoria da Integra
c
ao
1107
26.1 Coment
arios Preliminares . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1107
26.2 A Integraca
o no Sentido de Riemann . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1109
26.2.1 A Integral de Riemann Impr
opria . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1117
26.2.2 Diferenciaca
o e Integraca
o em Espacos de Banach . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1119
26.3 A Integraca
o no Sentido de Lebesgue . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1123
26.3.1 Funco
es Mensur
aveis e Funco
es Simples . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1123
26.3.2 A Integral de Lebesgue. Integraca
o em Espacos Mensur
aveis . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1128
26.3.3 A Integral de Lebesgue e sua Relaca
o com a de Riemann . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1135
26.3.4 Teoremas B
asicos sobre Integraca
o e Converg
encia . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1137
26.3.5 Alguns Resultados de Interesse . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1140
26.4 Os Espacos Lp e Lp . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1142
26.4.1 As Desigualdades de H
older e de Minkowski . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1144
13/1625
26.4.2 O Teorema de Riesz-Fischer. Completeza . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1147
APENDICES
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1148
26.A Equival
encia das Definico
es II e III da Integrabilidade de Riemann . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1148
26.B Caracterizaco
es e Propriedades de Funco
es Mensur
aveis . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1149
26.C Prova do Lema 26.3 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1153
26.D Demonstraca
o de (26.22) . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1154
26.E A Equival
encia das Definico
es (26.23) e (26.24) . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1155
26.F Prova do Teorema da Converg
encia Mon
otona . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1157
26.G Prova do Lema de Fatou . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1157
26.H Prova do Teorema da Converg
encia Dominada . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1158
26.I
Prova dos Teoremas 26.2 e 26.3
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1159
26.J Prova das Desigualdades de H

older e Minkowski . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1161
26.K Prova do Teorema de Riesz-Fischer . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1163
27 Aproxima
c
ao de Fun
c
oes. Aproxima
c
oes Polinomiais e S
eries de Fourier
1165
27.1 Noco
es de Converg
encia para Seq
u
encias de Func
oes . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1166
27.1.1 Import
ancia da Converg
encia Uniforme . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1167
27.1.1.1 Troca de Ordem entre Limites e Integrais . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1168
27.1.1.2 Troca de Ordem entre Limites e Derivadas . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1169
27.1.1.3 Troca de Ordem entre Derivadas e Integrais . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1170
27.2 Seq
u
encias Delta de Dirac . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1172
27.3 Aproximaca
o de Funco
es por Polin
omios . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1178
27.3.1 O Teorema de Weierstrass . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1178
27.3.2 O Teorema de Taylor . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1185
27.4 Aproximaca
o de Funco
es por Polin
omios Trigonometricos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1192
27.4.1 Preliminares . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1192
27.4.2 A S
erie de Fourier de Funco
es Peri
odicas de Perodo T . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1195
27.4.3 Polin
omios Trigonom
etricos e Funco
es Contnuas e Peri
odicas . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1196
27.4.4 Converg
encia de S
eries de Fourier . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1201
27.4.5 Revisitando a Aproximaca
o Uniforme de Funco
es Contnuas por Polin
omios Trigonom
etricos . . . . . . . . . . . . . . 1207
27.4.6 S
eries de Fourier e o Espaco L2 ([, ], dx) . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1210
27.5 O Teorema de Stone-Weierstrass . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1212
27.6 Completeza de Algumas Famlias de Funco
es . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1216
27.6.1 Completeza de Polin
omios Ortogonais em Intervalos Compactos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1216
27.6.2 Completeza de Polin
omios de Hermite
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1218
27.6.3 Completeza dos Polin

omios Trigonom
etricos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1220
APENDICES
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1229
27.A Prova do Teorema de Weierstrass Usando Polin
omios de Bernstein . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1229
27.B A Demonstraca
o de Weierstrass do Teorema de Weierstrass . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1233
28 Introdu
c
ao `
as Distribui
c
oes e Transformadas de Fourier
28.1 Funco
es de Schwartz e Funco
es de Teste
1235
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1236
28.2 Transformadas de Fourier . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1244

28.2.1 Transformadas de Fourier no Espaco de Schwartz . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1247
28.2.1.1 Transformadas de Fourier, Produtos de Convoluc
ao e Identidade de Parseval . . . . . . . . . . . . . . . . . . . 1253
28.2.1.2 A Transformada de Fourier em L2 (Rn , dx) e suas Propriedades Espectrais . . . . . . . . . . . . . . . . . . . . 1256
28.2.2 Transformadas de Fourier. T
opicos Suplementares . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1258
28.2.2.1 A F
ormula de Soma de Poisson . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1258
14/1625
28.2.2.2 Transformadas de Fourier e M

edias Angulares . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1261
28.3 Distribuico
es e Distribuico
es Temperadas . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1265
28.3.1 Primeiros Exemplos de Distribuico
es . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1267
28.3.2 Outros Exemplos de Distribuico
es . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1272
28.3.2.1 A Distribuica
o Valor Principal . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1272
28.3.2.2
Distribuico
es do Tipo Parte Finita de Hadamard . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1274
28.3.3 Algumas Relaco

es Uteis
Envolvendo Distribuico
es . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1277
28.3.4 Derivadas de Distribuico
es . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1279
28.3.4.1 Alguns Exemplos de Derivadas de Distribuico
es
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1280
28.3.4.2 C
alculo da Derivada de Algumas Distribuico
es de Interesse . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1281
28.3.5 Alguns Resultados Estruturais sobre Distribuico
es . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1283
28.3.6 Transformadas de Fourier de Distribuico
es Temperadas . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1284
28.3.6.1 C
alculo de Transformadas de Fourier de Algumas Distribuico
es Temperadas
. . . . . . . . . . . . . . . . . . . 1285
28.3.7 Produtos de Distribuico

es . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1287
28.3.7.1 Produto de Convoluca
o de Distribuico
es . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1292
28.4 Equaco
es Diferenciais Distribucionais, Soluco
es Fundamentais e Funco
es de Green . . . . . . . . . . . . . . . . . . . . . . . . . 1293
28.4.1 Soluco
es Fundamentais . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1296
28.4.1.1 Soluco
es Fundamentais como Funco
es Generalizadas . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1297
28.4.1.2 O Caso de Operadores Lineares a Coeficientes Constantes . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1299
28.4.1.3 Alguns Exemplos Fisicamente Relevantes . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1302
APENDICES
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1305
o 28.14 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1305
28.B Prova de (28.17) . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1308
29 Alguns T
opicos Especiais em Topologia e An
alise
1310
29.1 Uma Colet

anea de Definico
es . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1310
29.1.1 Conjuntos Densos em Espacos Topol
ogicos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1311
29.1.2 A Noca
o de Conjunto Conexo em Espacos Topol
ogicos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1312
29.2 Axiomas de Separabilidade . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1315
29.2.1 Algumas Propriedades de Separaca
o em Espacos M
etricos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1315
29.2.2 Postulados de Separabilidade em Espacos Topol
ogicos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1317
29.2.3 O Lema de Urysohn . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1324
29.2.3.1 O Teorema de Extens
ao de Tietze . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1329
29.3 Compacidade, Compacidade Local e Paracompacidade
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1331
29.3.1 Algumas Definico

es Gerais . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1332
29.3.2 Espacos de Lindel
of. Um Mnimo . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1334
29.3.3 Compacidade. Definico
es e Propriedades em Espacos Topol
ogicos Gerais . . . . . . . . . . . . . . . . . . . . . . . . . 1335
29.3.3.1 Compacidade em Espacos Hausdorff . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1338
29.3.3.2 Compacidade em Espacos M
etricos
29.3.3.3 Compacidade em Rn
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1341
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1348
29.3.4 Espacos Compactos Hausdorff e Partico

es da Unidade . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1350
29.3.4.1 Uma Excurs
ao pelas Variedades Topol
ogicas Compactas Hausdorff . . . . . . . . . . . . . . . . . . . . . . . . . 1351
29.3.5 Compacidade Local . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1354
29.3.5.1 Espacos Localmente Compactos Hausdorff . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1354
29.3.6 Paracompacidade . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1356
29.3.6.1 Espacos Paracompactos Hausdorff . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1357
29.4 As Noco
es de Topologia Fraca e de Topologia Forte . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1362
29.5 A Topologia Produto de Espacos Topol
ogicos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1364
29.5.1 O Cubo de Hilbert . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1365
15/1625
29.6 Teoremas de Metrizabilidade . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1367

29.6.1 O Teorema de Metrizaca
o de Urysohn e Tikhonov . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1369
29.7 O Teorema da Categoria de Baire . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1372
29.8 A M
etrica de Hausdorff . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1373
APENDICES
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1375
o 29.30 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1375
VI
Geometria Diferencial
1377
30 Variedades
1378
30.1 Variedades Topol

ogicas . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1379
30.2 Variedades Diferenci
aveis . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1383
30.2.1 Alguns Poucos Exemplos de Variedades Diferenci
aveis
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1385
30.2.1.1 Superfcies Regulares em Rn . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1385

30.2.1.2 As Esferas S n . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1385
30.2.1.3 Espacos Projetivos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1387
30.2.1.4 Variedades de Grassmann e de Stiefel . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1387
30.2.2 Partico
es da Unidade Diferenci
aveis . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1387
30.2.3 A Noca
o de Espaco Tangente
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1389
30.2.3.1 O Espaco Co-Tangente . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1395

30.2.3.2 Tensores
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1398
30.2.4 Aplicaco
es entre Variedades Diferenci
aveis . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1398
30.2.5 Noco
es sobre Fibrados, Fibrados Vetoriais e Principais . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1401
30.3 Campos Vetoriais e Tensoriais . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1402
30.4 M
etricas Riemannianas e Semi-Riemannianas . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1404
30.5 Conex
oes Afins . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1412
30.5.1 O Tensor de Torca
o . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1417
30.5.2 Conex
oes Afins em Tensores . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1419
30.5.3 Conex
oes Sim
etricas
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1419
30.5.4 Conex
oes M
etricas e Conex
oes de Levi-Civita . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1420
30.5.5 Gradiente, Divergente e Laplaciano . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1426
30.6 Geod
esicas . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1430
30.6.1 O Lema de Gauss . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1430
30.7 O Tensor de Curvatura . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1434
30.7.1 A Curvatura Seccional . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1440
30.7.2 O Tensor de Ricci e a Curvatura Escalar . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1443
30.8 Pontos Conjugados e a Equaca
o de Jacobi . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1445
30.8.1 A Equaca
o de Jacobi . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1445
30.8.2 Pontos Conjugados . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1448
30.8.3 A Equaca
o de Raychaudhuri . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1449
30.9 A Estrutura Causal de Variedades Lorentzianas . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1452
APENDICES
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1455
30.A Demonstraca
o de Algumas Propriedades do Tensor de Curvatura
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1455
30.A.1 Prova da Proposica

o 30.12 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1455
30.A.2 Prova da Primeira Identidade de Bianchi, Proposic
ao 30.14 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1456
30.A.3 Prova da Segunda Identidade de Bianchi, Proposica
o 30.15 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1457
o 30.16 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1459
o 30.17 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1460
16/1625
30.B Rudimentos de Geometria de Superfcies . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1461

30.B.1 M
etricas Riemannianas em Superfcies Regulares
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1461
30.B.2 Conex
oes em Superfcies Regulares . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1461
VII
An
alise Funcional
1462
31 No
c
oes B
asicas Sobre Espa
cos de Hilbert
1463
31.1 Aspectos Topol

ogicos B
asicos de Espacos de Hilbert . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1463
31.2 Aspectos Geom
etricos B
asicos de Espacos de Hilbert . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1465
31.2.1 Conjuntos Ortonormais Completos em Espacos de Hilbert . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1468
31.2.2 Conjuntos Totais . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1479
31.2.2.1 Um Exemplo no Espaco L2 (R, dx)
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1480
31.3 Funcionais Lineares e o Dual Topol

ogico de um Espaco de Hilbert . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1483
31.3.1 O Teorema da Representaca
o de Riesz . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1484
32 Operadores Lineares Limitados em Espa
cos de Banach e de Hilbert
1487
32.1 Operadores Lineares em Espacos Vetoriais Normados . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1488

32.1.1 Espacos de Banach de Operadores . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1491
32.1.2 O Dual Topol
ogico de um Espaco de Banach . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1495
32.1.3 O Teorema de Hahn-Banach e Algumas Conseq
u
encias do Mesmo . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1498
32.1.4 O Teorema de Banach-Steinhaus ou Princpio de Limitaca
o Uniforme . . . . . . . . . . . . . . . . . . . . . . . . . . . 1503
32.1.5 O Teorema da Aplicaca
o Aberta e o Teorema do Gr
afico Fechado . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1504
32.2 Operadores Limitados em Espacos de Hilbert . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1510
32.2.1 O Adjunto de um Operador em um Espaco de Hilbert . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1511
32.3 Algebras
de Banach e Algebras
C . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1518
32.3.1 Algebras de Banach . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1518

32.3.2 A Inversa de Operadores Limitados . . . . . . . . . . . .
32.3.3 O Espectro de Operadores em Algebras

de Banach . . .
32.3.4 O Homomorfismo de Gelfand em Algebras

C . . . . . .
32.3.5 Razes Quadradas de Operadores em Algebras

de Banach
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1520
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1524
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1532
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1534
32.3.6 Elementos Positivos de Algebras

C . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1535
32.3.7 O Lema da Raiz Quadrada em espacos de Hilbert. A Decomposica
o Polar . . . . . . . . . . . . . . . . . . . . . . . . 1538
32.4 Um Pouco sobre Estados e Representaco

es de Algebras C . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1542
32.5 O Espectro de Operadores em Espacos de Banach . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1549
32.6 Operadores Compactos em Espacos de Banach e de Hilbert . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1556
32.6.1 O Teorema Espectral para Operadores Compactos Auto-adjuntos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1566
32.7 O Teorema Espectral para Operadores Limitados Auto-adjuntos em Espacos de Hilbert . . . . . . . . . . . . . . . . . . . . . . 1572
32.7.1 O C
alculo Funcional Contnuo e o Homomorfismo de Gelfand . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1572
32.7.2 Generalizando o C
alculo Funcional Contnuo. As Medidas Espectrais . . . . . . . . . . . . . . . . . . . . . . . . . . . 1573
32.7.3 Medidas com Valores em Projeco
es Ortogonais . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1581
32.7.4 Os Projetores Espectrais e o Teorema Espectral . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1584
32.7.5 A Relev
ancia do Teorema Espectral para a Fsica Qu
antica (um pouco de Fsica, finalmente) . . . . . . . . . . . . . . 1587
32.A Prova do Teorema 32.18
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1595
33 O Limite Indutivo de Algebras
1598
Bibliografia
1605
Indice Remissivo
1612
17/1625
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 Matematicos 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.
Diversos captulos desse livro podem ser empregados em cursos 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 assuntos aqui tratados. Parte
do material aqui apresentado pode ser encontrada em diversas fontes, citadas na bibliografia (pagina 1606), 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 [104] 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 e Joao Pedro Jerico de Andrade, aos quais somos muito gratos por
correcoes e sugestoes.
As Secoes 17.B, p
agina 893, e 21.4.1, p
agina 1008, foram originalmente escritas por Daniel Augusto Cortez. A Secao
16.9, p
agina 756, 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, 27 de marco de 2009
Departamento de Fsica Matem
atica
Universidade de S
ao Paulo
18/1625
Bons Mots
O comportamento de um fsico em relaca
o a
` Matem
atica e similar a de um ladr
ao inteligente em relaca
o ao c
odigo
penal: ele estuda apenas o suficiente para evitar punico
es.
I. M. Gelfand (1913)
A mente n
ao e um vaso a ser repleto, mas uma tocha a ser acesa.
Plutarco (46?120)
When a theoretical physicists can not solve a problem he goes for the next more difficult one.
Sir Michael Francis Atiyah (1929)
My friend G. H. Hardy, 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 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 (1937)
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 aplicaco
es da Ciencia, intimamente ligadas, como frutos a
à
rvore que os gerou.
Louis Pasteur (18221895), in Pourquoi la France na pas trouve dhommes superieurs au moment du peril, Revue
Scientifique (Paris, 1871)
... E costumava dizer que nenhum livro e t
ao ruim a ponto de nada conter de valor....
Plnio, o Novo (61114), a respeito de seu tio, Plnio, o Velho (2379)
Talvez eu n
ao tenha tido exito em fazer as coisas difceis tornarem-se f
aceis, mas pelo menos eu nunca fiz um assunto
f
acil tornar-se difcil.
F. G. Tricomi (18971978)
Unprovided with original learning, unformed in the habits of thinking, unskilled in the arts of composition, I resolved to
write a book.
Edward Gibbon (17371794)
Uma obra nunca e terminada, ela e apenas abandonada.
Atribuido a Paul Valery (18711945)
19/1625
Como Ler Este Livro

Reading made Don Quixote a gentleman. Believing what he read made him mad.
George Bernard Shaw (18561950)
O leitor deste livro n

ao deve possuir o temor de que o mesmo deva (nem a expectativa de que o mesmo possa) ser
lido linearmente, ou seja, na seq
uencia numerica crescente dos captulos e secoes. Ele n
ao foi concebido dessa forma e tal
concepcao n
ao seria exeq
uivel devido `
a variedade de assuntos, às diferencas de nvel de abordagem e à complexidade das
conex
oes entre os diferentes temas. O Conhecimento n
ao e um conjunto totalmente ordenado pela relacao de complexidade
conceitual ou pela relacao de motivacao (para a definicao da nocao de ordem total em conjuntos, vide p
agina 34).
Os diversos captulos n
ao foram escritos em ordem crescente de complexidade. Por vezes, a motivacao para um
determinado tema e apresentada em um captulo anterior, mas por vezes essa motivacao surge em um captulo posterior.
Nos captulos sobre equacoes diferenciais, por exemplo, a discuss
ao de aplicacoes em Fsica e postergada para o Captulo
16, p
agina 688, e o leitor interessado na motivacao para certos tratamentos pode sem perdas consultar esse captulo antes
ou durante o estudo de captulos que lhe antecedem.
Um problema semelhante ocorre com temas ligados à Topologia e à Analise. Os captulos dedicados a esses assuntos
servem a captulos que lhes sucedem, mas tambem em parte a captulos de lhes antecedem. Cabe ao leitor perceber sua
necessidades formativas, avancando ou retrocedendo na leitura conforme lhe aprouver. A consulta ao Indice Remissivo
(pagina 1612) ou à lista de Captulos e Secoes que comp
oe o texto (pagina 3) deve ser de grande valor para tal.
20/1625
Nota
c
ao e Advert
encias
Para facilitar a consulta e a leitura, listamos aqui sem muitos coment
arios 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 express
ao 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 ) s
ao 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 ) s
ao 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 ) s
ao 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
de matriz ij de A sera (A )ij = Aji .

Denotaremos o operador identidade agindo em um espaco vetorial (a matriz identidade, agindo em um espaco
vetorial de dimensao finita) pelo smbolo 1. Esse smbolo tambem representar
a a unidade de uma algebra.
Designaremos um produto escalar entre dois vetores u e v sempre por hu, vi e nunca por (u, v), para n
ao causar
confusao com a notacao para par ordenado. Outra notacao possvel e aquela empregada freq
uentemente em textos
de Mecanica Qu
antica: hu | vi, mas faremos raramente uso dessa notacao.
Ainda sobre produtos escalares, seguiremos sempre a convenca
o dos textos de Fsica: um produto escalar em um
espaco vetorial sobre os complexos e linear em relacao ao segundo argumento e antilinear em relacao ao primeiro.
atica adotam por vezes a
Assim, se e sao n
umeros complexos, teremos hu, vi = hu, vi. Textos de Matem
convencao oposta (ou mesmo ambas!).
21/1625
Sobre o emprego das palavras funca

o, aplicaca
o, mapeamento, mapa, funcional, operador, operaca
o, produto e forma,
que por vezes causam perplexidade em estudantes, remetemos ao coment
ario à p
agina 26.
Dado um conjunto X 6= , denota-se por P(X) a coleca
o de todos os subconjuntos de X. P(X) e denominado o
conjunto das partes de X.
A topologia usual da reta real R ser
a denotada aqui por R .
A -
algebra de Borel de R sera (quase sempre) denotada aqui por M[R ].
A -
algebra dos subconjuntos de R mensuraveis por Lebesgue sera (quase sempre) denotada aqui por ML .
Para x R, o smbolo x designa o maior inteiro menor ou igual a x. O smbolo x designa o menor inteiro
maior ou igual a x.
Por N denotamos o conjunto dos n
umeros naturais: N = {1, 2, 3, . . .}. Por N0 denotamos o conjunto dos
n
umeros naturais, incluindo o zero: N0 = {0, 1, 2, 3, . . .}. O leitor deve ser advertido, porem, que essa convencao
n
ao e universal. O padr
ao ISO 31-11 (dedicado a sinais e smbolos matematicos) recomenta a convencao N =
{0, 1, 2, 3, . . .} e N = {1, 2, 3, . . .}. O leitor deve ter cuidado, portanto, ao comparar textos diferentes.
O smbolo 2 indica o fim de um enunciado. O smbolo indica o fim de uma demonstraca
o. O smbolo 6 indica
o fim do enunciado de um exerccio. O smbolo indica o fim do enunciado de um exemplo.
B(X) designa o conjunto de operadores limitados agindo em um espaco de Banach X. B(H) designa o conjunto
de operadores limitados agindo em um espaco de Hilbert H.
C(L) designa o conjunto de todas as funco
es contnuas (reais ou complexas, dependendo do caso), definidas em L
(na topologia que se estiver considerando em L).
B(L) designa a coleca
o de todos os conjuntos Borelianos de L (em relacao à topologia que se estiver considerando
em L). Bl (L) designa a colecao de todas as funcoes Borelianas (reais ou complexas, dependendo do caso), definidas
em L.
O domnio de um operador T (agindo em um espaco de Banach ou de Hilbert) ser
a denotado por D(T ) ou por
Dom(T ). A imagem (range) de T sera denotada por R(T ) ou por Ran (T ) ou, mais raramente, por Im (T ), mas
essa u
ltima notacao pode causar confusao com a da parte imaginaria de um n
umero complexo ou mesmo com a da
1
(T T ).
parte imaginaria de um operador agindo em um espaco de Hilbert: Im (T ) := 2i
A noca
o de propriedade v
alida quase em toda parte e definida na p
agina 1051.
Intervalos
Ainda n
ao introduzimos os n
umeros reais nem a relacao de ordem entre eles mas, como essas nocoes sao conhecidas,
vamos colocar aqui uma palavra sobre a nomenclatura usada para descrever intervalos da reta real. Para a < b R o
conjunto
(a, b) = {x R, com a < x < b}
e dito ser um intervalo aberto. Para a b R o conjunto
[a, b] = {x R, com a x b}
e dito ser um intervalo fechado. Para a < b R os conjuntos
[a, b) = {x R, com a x < b}
e
(a, b] = {x R, com a < x b}
sao ditos ser intervalos semi-abertos (ou semi-fechados).
importante dizer que a nomenclatura aberto ou fechado acima e usada independentemente da topologia usada
E
em R (a nocao de topologia sera introduzida adiante).
22/1625
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
23

NC Cap00

Enviado por

Dados do documento

Título original

Direitos autorais

Formatos disponíveis

Compartilhar este documento

Compartilhar ou incorporar documento

Opções de compartilhamento

Você considera este documento útil?

Este conteúdo é inapropriado?

Direitos autorais:

Formatos disponíveis

NC Cap00

Enviado por

Direitos autorais:

Formatos disponíveis

Universidade de S

Estas notas ou sua vers

Produtos Cartesianos Gerais . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 30

2.1.2 Reticulados e Algebras

2.1.7 Exemplos Especiais de Algebras

2.1.7.1 Algebras de Lie . . . . . . . .

2.1.10 Morfismos, Homomorfismos, Epimorfismos, Isomorfismos, Monomorfismos, Endomorfismos e Automorfismos . . . . . 87

2.1.11 Induzindo Estruturas Alg

Grupos. Estruturas e Construco

Subgrupos Normais e o Grupo Quociente . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 95

O Centro de um Grupo. Centralizadores e Normalizadores . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 96

Grupos Gerados por Conjuntos. Grupos Gerados por Relaco

O Produto Direto de Grupos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 99

O Produto Semi-Direto Grupos

Produtos Tensoriais de Grupos Abelianos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 102

Espacos Vetoriais. Estruturas e Construco

Subespacos e Espacos Quocientes . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 114

Somas Diretas de Espacos Vetoriais . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 115

O Produto Direto e o Produto Semi-Direto de Grupos. O Produto Tensorial de Grupos Abelianos . . . . . . . . . . . 99

Produtos Tensoriais de Espacos Vetoriais . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 115

Produtos Tensoriais de um mesmo Espaco Vetorial. Espacos Sim

2.3.5.3 O Produto Tensorial de M

2.4.1.2 Ideais em Algebras Associativas . . .

2.5.1 Algebras Tensoriais . . . . . . . . . . . . . .

O Grupo de Grothendieck . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 135

3 Formas Lineares e Normas em Espa

Formas Lineares, Sesquilineares e Produtos Escalares em Espacos Vetoriais

Formas Multilineares . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 142

Formas Multilineares em Dimens

Formas Sesquilineares e as Desigualdades de Cauchy-Schwarz e Minkowski . . . . . . . . . . . . . . . . . . . . . . . . 147

Produtos Escalares . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 150

Normas em Espacos Vetoriais

Ortogonalidade, Conjuntos Ortonormais e o Procedimento de Gram-Schmidt . . . . . . . . . . . . . . . . . . . . . . . . . . . . 160

Formas Bilineares e Sesquilineares e Produtos Escalares em Espacos de Dimens

Estruturas Complexas sobre Espacos Vetoriais Reais . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 165

Alguns Operadores Diferenciais de Interesse

O Laplaciano em Sistemas de Coordenadas Gerais . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 182

Autovetores de Matrizes . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 196

O Traco de uma Matriz . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 199

Matrizes Auto-adjuntas, Normais e Unit

O Teorema de Hamilton-Cayley . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 203

Matrizes Positivas . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 227

Matrizes Triangulares . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 234

Matrizes Nilpotentes e sua Representaca

A Pseudo-Inversa de Moore-Penrose. Optimizaca

Outras Propriedades da Pseudo-Inversa de Moore-Penrose . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 257

A Pseudo-Inversa de Moore-Penrose e o Teorema Espectral . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 262

A Pseudo-Inversa de Moore-Penrose e Problemas de Optimizaca

5.10 Propriedades Especiais de Determinantes . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 265

5.10.2 A Desigualdade de Hadamard . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 266

Exponenciais, Logaritmos e Funco

Problemas de Valor Inicial. Patologias e Exemplos a se Ter em Mente . . . . . . . . . . . . . . . . . . . . . . . . . . . 315

Alguns Exemplos e Aplicaco

O Caso Analtico . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 361

Sistemas com Pontos Singulares. Monodromia . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 367

Sistemas com Pontos Singulares Simples . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 375

Sistemas Provenientes de EDOs de Ordem m . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 379

Pontos Singulares Simples em EDOs de Ordem m

Alguns Exemplos de Interesse . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 384

Exerccios Adicionais . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 409

10.C Justificando os Polin

10.E Porque deve ser um Inteiro Positivo na Equaca

11.2.3 Propriedades dos Polin