Fis Mat Cap1

Universidade de S
ao Paulo
Departamento de Fsica Matematica
2013
Curso de Fsica-Matem
atica
Jo
ao Carlos Alves Barata
Vers
ao de 18 de julho de 2013
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/2070
Indice
Pref
acio . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 21
Bons Mots . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 22
Como Ler Este Livro . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 24
Nota
c
ao e Advert
encias . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 25
Captulos Introdut
orios
30
1 No
co
es Conjuntivistas B
asicas
1.1
1.1.1
1.1.2
1.1.3
1.2
Relaco
es e Funco
es . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 32
1.1.1.1
Produtos Cartesianos Gerais . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 37
1.1.1.2
Relaco
es de Incompatibilidade (ou de Depend
encia) . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 39
1.1.1.3
Relaco
es de Equival
encia . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 39
1.1.1.4
Relaco
es de Ordem
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 43
Cardinalidade . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 50
Infimos e Supremos de Famlias de Conjuntos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 55
Sistemas de Conjuntos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 57
1.2.1
Semi-An
eis de Conjuntos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 58
1.2.2
An
eis de Conjuntos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 59
Algebras
de Conjuntos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 60
1.2.3
1.A
31
Conjuntos, Relaco
es e Funco
es . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 31
1.2.4
-An
eis de Conjuntos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 61
1.2.5
-Algebras
de Conjuntos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 62
1.2.6
Sistemas Mon
otonos de Conjuntos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 63
1.2.7
Topologias . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 67
1.2.8
Filtros e Ultra-Filtros . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 67
APENDICES
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 70
A F
ormula de Invers
ao de M
obius . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 70
2 Estruturas Alg
ebricas B
asicas
2.1
72
Estruturas Alg
ebricas B
asicas . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 73
2.1.1 Algebras Universais . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 75
2.1.2 Reticulados e Algebras

Booleanas . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 77
2.1.3
Semigrupos, Mon
oides e Grupos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 82
2.1.4
Corpos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 86
2.1.5
Espacos Vetoriais . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 90
An
eis, M
odulos e Algebras
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 92
2.1.6
2.1.6.1
An
eis . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 92
2.1.6.2
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 93
2.1.6.3
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 93
M
odulos . . . . . . . . . . . .
Algebras
. . . . . . . . . . . .
2.1.7 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 . . . . .
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 95
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 95
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 98
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 98
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 99
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 100
2.1.8
Mais sobre An
eis . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 100
2.1.9
Aco
es e Representaco
es . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 102
4/2070
2.1.9.1
2.1.9.2
Aco
es de Grupos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 102
Representaco
es de Grupos e de Algebras
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 106
2.1.10 Morfismos, Homomorfismos, Epimorfismos, Isomorfismos, Monomorfismos, Endomorfismos e Automorfismos . . . . . 107

2.1.11 Induzindo Estruturas Alg
ebricas . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 109
2.2
Grupos. Estruturas e Construco

es B
asicas . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 113
2.2.1
2.2.2
2.2.3
2.2.4
2.3
Cosets . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 113
Subgrupos Normais e o Grupo Quociente . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 115
2.2.2.1
Alguns Teoremas Sobre Isomorfismos e Homomorfismos de Grupos . . . . . . . . . . . . . . . . . . . . . . . . . 117
2.2.2.2
O Centro de um Grupo. Centralizadores e Normalizadores . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 120
Grupos Gerados por Conjuntos. Grupos Gerados por Relaco

es . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 122
O Produto Direto e o Produto Semi-Direto de Grupos. O Produto Tensorial de Grupos Abelianos . . . . . . . . . . . 123
2.2.4.1
O Produto Direto de Grupos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 123
2.2.4.2
O Produto Semi-Direto de Grupos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 124
2.2.4.3
Produtos Tensoriais de Grupos Abelianos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 128
Espacos Vetoriais. Estruturas e Construco

es B
asicas . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 133
2.3.1
Bases Alg
ebricas de um Espaco Vetorial . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 133
2.3.2
O Dual Alg
ebrico de um Espaco Vetorial . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 137
2.3.3
Subespacos e Espacos Quocientes . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 143
2.3.4
Somas Diretas de Espacos Vetoriais . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 144

2.3.4.1
2.3.5
2.3.5.1
2.3.6
Produtos Tensoriais, Duais Alg

ebricos e Formas Multilineares . . . . . . . . . . . . . . . . . . . . . . . . . . . . 154
Produtos Tensoriais de um Espaco Vetorial com seu Dual . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 157

2.3.6.1
2.3.7
Formas Multilineares . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 145
Produtos Tensoriais de Espacos Vetoriais . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 146
Tensores Associados a Formas Bilineares Sim

etricas N
ao-Degeneradas. M
etricas . . . . . . . . . . . . . . . . . 157
Produtos Tensoriais de um mesmo Espaco Vetorial. Espacos Sim

etrico e Anti-Sim
etrico . . . . . . . . . . . . . . . . . 162
2.3.8
2.4
O Produto Tensorial de M
odulos. Derivaco
es . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 164
An
eis e Algebras. Estruturas e Construco
es B
asicas . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 165
2.4.1 Ideais em An
eis e Algebras
Associativas . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 165
2.4.1.1
2.5
Ideais em An
eis . . . . . . . . . . . .
2.4.1.2 Ideais em Algebras Associativas . . .
Algebras
Tensoriais e Algebras
Exteriores . . . . . . .
2.5.1 Algebras Tensoriais . . . . . . . . . . . . . .

2.5.2
2.6
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 166
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 170
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 172
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 173
Algebras
Exteriores . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 174
T
opicos Especiais . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 175
2.6.1
O Grupo de Grothendieck . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 176
2.6.2
Grup
oides . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 177
2.6.3
Quat
ernios . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 179
3 Formas Lineares e Normas em Espa

cos Vetoriais
3.1
Formas Lineares, Sesquilineares e Produtos Escalares em Espacos Vetoriais
185
. . . . . . . . . . . . . . . . . . . . . . . . . . . . 185
3.1.1
Formas Multilineares . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 185
3.1.2
Formas Sesquilineares e as Desigualdades de Cauchy-Schwarz e Minkowski . . . . . . . . . . . . . . . . . . . . . . . . 191
3.1.3
Produtos Escalares . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 194
3.1.4
Exemplos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 196
3.2
Normas em Espacos Vetoriais
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 197
3.3
Ortogonalidade, Conjuntos Ortonormais e o Procedimento de Gram-Schmidt . . . . . . . . . . . . . . . . . . . . . . . . . . . . 204
3.4
Formas Bilineares e Sesquilineares e Produtos Escalares em Espacos de Dimens

ao Finita . . . . . . . . . . . . . . . . . . . . . 207
3.5
Estruturas Complexas sobre Espacos Vetoriais Reais . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 210
APENDICES
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 218
5/2070
3.A
Equival
encia de Normas em Espacos Vetorias de Dimens
ao Finita . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 218
3.B
Prova do Teorema de Fr
echet, von Neumann e Jordan . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 219
II
T
opicos de An
alise Real e Complexa
4 Recorda
co
es de C
alculo Vetorial em Tr
es Dimens
oes
223
224
4.1
Alguns Operadores Diferenciais de Interesse
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 224
4.2
Teoremas Cl
assicos sobre Integrais de Volume e de Superfcie . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 228
4.3
O Laplaciano em Sistemas de Coordenadas Gerais . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 230
5 Fun
co
es Convexas
5.1
5.2
233
Funco
es Convexas. Definico
es e Propriedades B
asicas . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 233
5.1.1
Funco
es Convexas de uma Vari
avel . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 234
5.1.2
Funco
es Convexas de V
arias Vari
aveis . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 244
Algumas Conseq
u
encias da Convexidade e da Convavidade . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 247
5.2.1
A Desigualdade de Jensen . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 247
5.2.2
A Primeira Desigualdade de Young . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 248
5.2.3
M
edias Geom
etricas, Aritm
eticas e Desigualdades Correlatas . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 250
5.2.3.1
A Desigualdade de Minkowski . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 253
6 Fun
co
es Geratrizes. Produt
orias Complexas
256
6.1
Funco
es Geratrizes
6.2
Notas Sobre Converg

encia de Produt
orias . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 264
6.1.1
6.2.1
6.3
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 256
N
umeros de Bernoulli . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 262
Uma Deduca
o Elementar do Produto de Wallis
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 265
Exerccios Adicionais . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 268
7 A Fun
c
ao Gama de Euler
270
7.1
Introduca
o e Motivaca
o . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 270
7.2
A Funca
o Gama. Definica
o e Primeiras Propriedades . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 272
7.3
Outras Representaco
es para a Funca
o Gama . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 277
7.4
A Funca
o Beta e Propriedades Adicionais da Funca
o Gama . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 281
7.5
7.4.1
A F
ormula de Reflex
ao de Euler . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 282
7.4.2
A F
ormula de Duplicaca
o de Legendre . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 286
Teoremas Sobre a Unicidade da Funca

o Gama e Outros Resultados . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 287
7.5.1
O Teorema de Bohr-Mollerup . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 287
7.5.2
F
ormulas de Duplicaca
o e Unicidade . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 289
7.5.3
O Teorema de Wielandt e Algumas de Suas Conseq

u
encias . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 290
7.5.3.1
7.6
7.7
III
A F
ormula de Multiplicaca
o de Gauss da Funca
o Gama . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 291
A Aproximaca
o de Stirling e suas Correco
es . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 293
7.6.1
A Aproximaca
o de Stirling para Fatoriais e suas Correco
es. A S
erie de Gudermann . . . . . . . . . . . . . . . . . . . 295
7.6.2
A Aproximaca
o de Stirling para a Funca
o Gama e suas Correco
es. A S
erie de Gudermann . . . . . . . . . . . . . . . 301
T
opicos de Algebra
Linear
8 T
opicos de Algebra
Linear. I
312
313
8.1
Propriedades B
asicas de Determinantes e Inversas de Matrizes . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 314
8.2
Noco
es B
asicas sobre o Espectro de uma Matriz . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 324
6/2070
8.2.1
Autovalores e Polin
omios Caractersticos de Matrizes . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 325
8.2.2
Autovetores . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 328
8.2.3
O Traco de uma Matriz . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 330

8.2.3.1
8.3
8.3.1
8.4
O Teorema de Hamilton-Cayley . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 335
Matrizes Diagonaliz
aveis e o Teorema Espectral . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 339
8.4.1
8.5
Algumas Relaco
es entre Determinantes e Tracos de Matrizes . . . . . . . . . . . . . . . . . . . . . . . . . . . . 332
Polin
omios de Matrizes . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 333
Diagonalizaca
o Simult
anea de Matrizes . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 351
Matrizes Auto-Adjuntas, Normais e Unit

arias
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 354
8.5.1
Matrizes Positivas . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 360
8.5.2
O Teorema de In
ercia de Sylvester. Superfcies Quadr
aticas
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 362
8.6
Matrizes Triangulares . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 366
8.7
O Teorema de Decomposica
o de Jordan e a Forma Can
onica de Matrizes . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 368
8.8
8.9
8.7.1
Resultados Preparat
orios . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 370
8.7.2
O Teorema da Decomposica
o de Jordan . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 373
8.7.3
Matrizes Nilpotentes e sua Representaca

o Can
onica . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 376
8.7.4
A Forma Can
onica de Matrizes . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 380
Algumas Representaco
es Especiais de Matrizes . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 382
8.8.1
A Decomposica
o Polar de Matrizes . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 382
8.8.2
A Decomposica
o em Valores Singulares . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 384
8.8.3
O Teorema da Triangularizaca
o de Schur . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 384
8.8.4
A Decomposica
o QR e a Decomposica
o de Iwasawa (KAN) . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 387
A Pseudo-Inversa de Moore-Penrose . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 389

8.9.1
Outras Propriedades da Pseudo-Inversa de Moore-Penrose . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 391

8.9.1.1
A Regularizaca
o de Tikhonov. Exist
encia . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 394
8.9.1.2
A Pseudo-Inversa de Moore-Penrose e o Teorema Espectral . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 396
8.9.2
A Pseudo-Inversa de Moore-Penrose e Problemas de Optimizaca

o Linear . . . . . . . . . . . . . . . . . . . . . . . . . 397
8.9.3
Exist
encia e Decomposica
o em Valores Singulares . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 398
8.10 Produtos Tensoriais de Matrizes . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 400

8.11 Propriedades Especiais de Determinantes . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 402
8.11.1 Expans
ao do Polin
omio Caracterstico
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 402
8.11.2 A Desigualdade de Hadamard . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 402

8.12 Exerccios Adicionais . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 405
9 T
opicos de Algebra
Linear. II
410
9.1
Uma Topologia M
etrica em Mat (C, n) . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 411
9.2
Exponenciais, Logaritmos e Funco

es Analticas de Matrizes . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 414
9.2.1
A Exponenciaca
o de Matrizes e os Grupos GL(C, n) e GL(R, n) . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 421
9.3
A F
ormula de Lie-Trotter e a F
ormula do Comutador . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 424
9.4
Aplicaco
es Lineares em Mat (C, n)
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 426
9.4.1
Alguns Fatos Gerais sobre Aplicaco

es Lineares em Mat (C, n) . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 427
9.4.2
Alguns Exemplos Especficos de Aplicaco

es Lineares em Mat (C, n) . . . . . . . . . . . . . . . . . . . . . . . . . . . . 432
9.5
A F
ormula de Baker, Campbell e Hausdorff . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 437
9.6
A F
ormula de Duhamel e Algumas de suas Conseq
u
encias
9.7
IV
Equac
oes Diferenciais
10 Equa
co
es Diferenciais Ordin
arias. Uma Introdu
c
ao
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 442
450
451
7/2070
10.1 Definica
o e Alguns Exemplos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 451
10.1.1 Equaco
arias Lineares . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 454
10.1.2 Equaco
es Ordin
arias de Segunda Ordem. Exemplos de Interesse . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 457
10.2 Sistemas de Equaco
arias . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 459
10.3 Discuss
ao sobre Problemas de Valor Inicial . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 464
10.3.1 Problemas de Valor Inicial. Patologias e Exemplos a se Ter em Mente . . . . . . . . . . . . . . . . . . . . . . . . . . . 465
10.3.2 Teoremas de Exist
encia e Unicidade de Soluco
es . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 468
10.3.3 Soluco
es Globais . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 470
10.3.4 Depend
encia Contnua de Condico
es Iniciais e de Par
ametros
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 472
11 Alguns M
etodos de Resolu
c
ao de Equa
co
arias
474
11.1 Soluca
o de Equaco
es Ordin
arias Lineares de Primeira Ordem . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 474
11.2 As Equaco
es de Bernoulli e de Riccati . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 475
11.3 Integraca
o de Equaco
es Separ
aveis . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 477
11.4 O M
etodo de Variaca
o de Constantes . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 478
11.5 O M
etodo de Substituica
o de Pr
ufer . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 479
11.6 O M
etodo de Invers
ao . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 481
11.7 Soluca
o de Equaco
es Exatas e o M
etodo dos Fatores Integrantes . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 482
11.8 Soluco
es das Equaco
es de DAlembert-Lagrange e Clairaut . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 486
12 Sistemas de Equa
co
arias Lineares
490
12.1 Introduca
o . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 491
12.2 Unicidade e Exist
encia de Soluco
es
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 491
12.2.1 Unicidade . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 491

12.2.2 Exist
encia. A S
erie de Dyson
12.2.3 Propriedades de D(s, t)
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 494
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 498
12.3 Equaco
es com Coeficientes Constantes
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 501
12.3.1 Alguns Exemplos e Aplicaco

es . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 502
12.4 Perturbaco
es de Sistemas Lineares . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 506
12.5 Mais sobre a S
erie de Dyson. Produtos de Tempo Ordenado . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 510
12.6 Sistemas de Equaco
es Diferenciais Lineares no Plano Complexo . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 513
12.6.1 O Caso Analtico . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 513
12.6.2 Resoluca
o por S
eries de Pot
encias . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 518
12.6.3 Sistemas com Pontos Singulares. Monodromia . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 519
12.6.4 Sistemas com Pontos Singulares Simples . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 528
12.7 Sistemas Provenientes de EDOs de Ordem m . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 531
12.7.1 Pontos Singulares Simples em EDOs de Ordem m
12.7.2 Singularidades no Infinito
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 533
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 537
12.7.3 Alguns Exemplos de Interesse . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 538

12.8 Equaco
es Fuchsianas. Smbolos de Riemann . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 543
12.8.1 Equaco
es Fuchsianas de Primeira Ordem . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 544
12.8.2 Equaco
es Fuchsianas de Segunda Ordem . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 547
12.8.3 A Equaca
o de Riemann-Papperitz. Smbolos de Riemann . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 555
12.8.3.1 Transformaco
es de Simetria dos Smbolos de Riemann . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 558
12.8.3.2 Equaco
es Fuchsianas com tr
es pontos singulares e a equaca
o hipergeom
etrica . . . . . . . . . . . . . . . . . . . 561
13 Solu
co
es de Equa
co
arias Lineares no Plano Complexo
569
13.1 Soluco
es em S
eries de Pot
encias para Equaco
es Regulares . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 570
8/2070
13.1.1 A Equaca
o do Oscilador Harm
onico Simples . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 571
13.1.2 A Equaca
o de Legendre . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 572
13.1.3 A Equaca
o de Hermite . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 575
13.1.4 A Equaca
o de Airy . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 577
13.1.5 A Equaca
o de Tchebychev . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 579
13.1.6 O Caso de Equaco
es Regulares Gerais . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 582
13.2 Soluca
o de Equaco
es Singulares Regulares. O M
etodo de Frobenius . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 584
13.2.1 Equaco
es Singulares Regulares. O Caso Geral . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 587
13.2.2 A Equaca
o de Euler Revisitada . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 594
13.2.3 A Equaca
o de Bessel . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 596
13.2.4 Equaco
es Relacionadas `
a de Bessel. A Equaca
o de Bessel Esf
erica . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 606
13.2.5 Equaco
es Relacionadas `
a de Bessel. A Equaca
o de Bessel Modificada . . . . . . . . . . . . . . . . . . . . . . . . . . . 608
13.2.6 A Equaca
o de Laguerre . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 609
13.2.7 A Equaca
o Hipergeom
etrica . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 611
13.2.8 A Equaca
o Hipergeom
etrica Confluente . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 615
13.3 Algumas Equaco
es Associadas . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 617
13.3.1 A Equaca
o de Legendre Associada . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 617
13.3.2 A Equaca
o de Laguerre Associada . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 619
APENDICES
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 622
13.A Prova da Proposica
o 13.1. Justificando os Polin
omios de Legendre . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 622
13.B Polin
omios de Legendre: Provando (13.14) . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 623
13.C Justificando os Polin
omios de Hermite . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 625
13.D Polin
omios de Hermite: Provando (13.20) . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 626
13.E Porque deve ser um Inteiro Positivo na Equaca
o de Laguerre . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 627
13.F Polin
omios de Tchebychev: Obtendo (13.39) a Partir de (13.36)(13.38) . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 629
14 Propriedades de Algumas Fun
co
es Especiais
631
14.1 Discuss
ao Preliminar . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 631
14.1.1 Relaco
es de Ortogonalidade . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 632
14.1.1.1 Condico
es de Contorno e a Origem das Relaco
es de Ortogonalidade . . . . . . . . . . . . . . . . . . . . . . . . 637
14.1.2 F
ormulas de Rodrigues . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 641
14.2 Propriedades de Algumas Funco
es Especiais . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 643
14.2.1 Propriedades dos Polin
omios de Legendre . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 643
omios de Legendre Associados . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 647
14.2.2.1 As Funco
es Harm
onicas Esf
ericas
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 653
14.2.2.2 F
ormula de Adica
o de Funco
es Harm
onicas Esf
ericas
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 656

omios de Hermite . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 659
14.2.3.1 As Funco
es de Hermite . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 662
omios de Tchebychev . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 666
omios de Laguerre . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 666
omios de Laguerre Associados . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 670
14.2.7 Propriedades das Funco
es de Bessel . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 673
14.2.8 Propriedades das Funco
es de Bessel Esf
ericas . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 689
APENDICES
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 693
14.A Provando (14.54) a Forca Bruta . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 693
15 Rudimentos da Teoria das Equa
co
es a Derivadas Parciais
695
9/2070
15.1 Definico
es, Notaco
es e Alguns Exemplos
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 696
15.2 Algumas Classificaco

es de Equaco
es a Derivadas Parciais . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 704
15.2.1 Equaco
es Lineares, N
ao-Lineares, Semi-Lineares e Quase-Lineares . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 704
15.2.2 Classificaca
o de Equaco
es de Segunda Ordem. Equaco
es Parab
olicas, Elpticas e Hiperb
olicas . . . . . . . . . . . . . 707
15.3 O M
etodo de Separaca
o de Vari
aveis . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 710
15.3.1 O M
etodo de Separaca
o de Vari
aveis. Caso de Equaco
es Lineares . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 710
15.3.2 O M
etodo de Separaca
o de Vari
aveis. Caso de Equaco
es N
ao-Lineares
. . . . . . . . . . . . . . . . . . . . . . . . . . 713
15.4 Problemas de Cauchy e Superfcies Caractersticas. Definico

es e Exemplos B
asicos . . . . . . . . . . . . . . . . . . . . . . . . . 715
15.5 O M
etodo das Caractersticas . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 722
15.5.1 Exemplos de Aplicaca
o do M
etodo das Caractersticas
15.5.2 Caractersticas. Coment
arios Adicionais
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 727
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 739
15.5.3 Sistemas de Equaco

es Quase-Lineares de Primeira Ordem
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 740
15.5.3.1 Generalidades Sobre Problemas de Condica

o Inicial em Sistemas Quase-Lineares de Primeira Ordem . . . . . . 745
15.5.3.2 Sistemas Hiperb
olicos Semi-Lineares de Primeira Ordem em Duas Vari
aveis . . . . . . . . . . . . . . . . . . . . 748
15.5.3.3 Soluco
es Ditas Simples de Sistemas Quase-Lineares, Homog
eneos, de Primeira Ordem em Duas Vari
aveis . . . 751
15.6 Alguns Teoremas de Unicidade de Soluco
es de Equaco
es a Derivadas Parciais . . . . . . . . . . . . . . . . . . . . . . . . . . . . 754
15.6.1 Casos Simples. Discuss
ao Preliminar . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 754
15.6.2 Unicidade de Soluca
o para as Equaco
es de Laplace e Poisson . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 758
15.6.3 Unicidade de Soluco
es. Generalizaco
es . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 761
16 Introdu
c
ao ao Problema de Sturm-Liouville
769
16.1 Coment
arios Iniciais . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 769
16.2 O Problema de Sturm . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 774
16.2.1 Soluco
es Fundamentais e Funco
es de Green . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 775
16.2.2 A Funca
o de Green. Resolvendo o Problema de Sturm . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 776
16.2.3 O Teorema de Green . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 779
16.3 O Problema de Sturm-Liouville . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 781
16.3.1 Propriedades B
asicas dos Auto-Valores e Auto-Funco
es de Problemas de Sturm-Liouville . . . . . . . . . . . . . . . . 783
16.3.1.1 A Simplicidade dos Auto-Valores . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 783
16.3.1.2 O Lema de Green . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 784
16.3.1.3 Realidade dos Auto-Valores e Auto-funco
es. Ortogonalidade de Auto-funco
es . . . . . . . . . . . . . . . . . . . 786
16.3.1.4 Propriedades dos Autovalores . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 787
16.3.2 A Equaca
o Integral de Fredholm . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 791
16.3.3 Uma Aplicaca
o do Problema de Sturm-Liouville . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 794
16.3.4 M
etodos Variacionais de Determinaca
o de Autovalores . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 797
16.4 Coment
arios Finais . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 799
16.4.1 Um Problema de Sturm-Liouville Singular . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 799
APENDICES
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 806
16.A Prova do Teorema 16.1. Exist
encia e Unicidade
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 806
16.B Prova da Proposica

o 16.2 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 807
16.C Coment
ario Sobre o Determinante Wronskiano . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 808
16.D Demonstraca
o do Teorema 16.3 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 809
16.D.1 Prova da Desigualdade (16.D.17)
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 812
17 Alguns Resultados sobre Equa

co
es Integrais
814
17.1 Descrica
o . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 814
17.2 O M
etodo dos Determinantes de Fredholm . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 816
10/2070
17.2.1 A Equaca
o Integral de Fredholm Linear N
ao-Homog
enea . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 816
17.2.2 A Equaca
o Integral de Fredholm Linear Homog
enea . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 820
APENDICES
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 823
17.A Obtendo os Determinantes de Fredholm . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 823
18 Rudimentos da Teoria do Potencial
829
18.1 A Equaca
o de Poisson em Tr
es Dimens
oes . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 829
18.1.1 A Equaca
o de Laplace em Domnios Limitados de R3 . O Problema de Dirichlet . . . . . . . . . . . . . . . . . . . . . 833
18.1.2 A Equaca
o de Poisson em R3 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 833
18.1.3 A Equaca
o de Poisson Dommios Limitados de R3 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 834
18.1.3.1 O Caso de Condico
es de Dirichlet . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 834
18.1.3.2 O Caso de Condico
es de Neumann . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 835
18.1.3.3 Exist
encia de Soluca
o . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 835
18.1.4 Aplicaco
es `
a Eletrost
atica: Capacit
ancia . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 835
18.2 O Teorema de Decomposica
o de Helmholtz . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 835
18.2.1 Aplicaco
es ao Eletromagnetismo . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 839
18.3 Propriedades B
asicas de Funco
es Harm
onicas em R3
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 840
19 Alguns Problemas Selecionados de Interesse Fsico
842
19.1 Deduca
o de Algumas Equaco
es Diferenciais de Interesse . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 843
19.1.1 Deduca
o Informal da Equaca
o de Difus
ao de Calor . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 843
19.1.2 Deduca
o Informal da Equaca
o da Corda Vibrante . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 847
19.2 As Equaco
es de Helmholtz e de Laplace . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 853
19.2.1 Problemas em Duas Dimens
oes em Coordenadas Polares . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 855
19.2.2 Problemas em Tr
es Dimens
oes em Coordenadas Esf
ericas . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 857
19.3 Problemas de Difus
ao em uma Dimens
ao . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 860
19.3.1 A Evoluca
o da Temperatura de uma Barra Finita . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 860
19.3.2 A Evoluca
o da Temperatura de uma Barra Infinita . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 864
19.3.3 A Evoluca
o da Temperatura de uma Barra Semi-Infinita . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 869
19.4 A Equaca
o de Ondas . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 874
19.4.1 A Equaca
o de Ondas em 1 + 1 Dimens
oes . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 875
19.4.2 Interl
udio: Ondas Caminhantes e a Equaca
o do Tel
egrafo . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 878
19.4.3 Outro Interl
udio: S
olitons . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 880
19.4.3.1 S
olitons na Equaca
o de Korteweg-de Vries
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 881
19.4.3.2 S
olitons na Equaca
o de Sine-Gordon . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 883
19.4.3.3 S
olitons no Modelo de Poco-Duplo . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 884
19.4.3.4 S
olitons na Equaca
o de Schr
odinger N
ao-Linear
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 886
19.4.4 A Equaca
o de Ondas e Transformadas de Fourier . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 890
19.4.4.1 A Equaca
oes. A Soluca
o de Kirchhoff . . . . . . . . . . . . . . . . . . . . . . . . . 893
19.4.4.2 A Equaca
oes . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 894
19.5 O Problema da Corda Vibrante . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 896
19.5.1 Corda Vibrante Homog
enea . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 897
19.5.2 O Problema da Corda Homog
enea Pendurada . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 899
19.5.3 Corda Vibrante N
ao-Homog
enea . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 901
19.5.4 O Problema da Membrana Retangular Homog
enea
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 904
19.6 O Problema da Membrana Circular Homog

enea . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 906
19.7 O Oscilador Harm
onico na Mec
anica Qu
antica e a Equaca
o de Hermite . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 908
19.8 O Atomo de Hidrog

enio e a Equaca
o de Laguerre Associada . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 910
11/2070
19.9 Propagaca
o de Ondas em Tanques Cilndricos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 913
19.10 Equaco
es Hiperb
olicas Lineares em 1+1 Dimens
oes e Equaco
es Integrais
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 921
19.11 Aplicaco
es do M
etodo da Funca
o de Green . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 928
19.11.1 A Equaca
o de Poisson em Tr
es Dimens
oes . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 929
19.11.2 A Equaca
o de Difus
ao N
ao-Homog
enea . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 930
19.11.3 A Equaca
o de Ondas N
ao-Homog
enea em n + 1-Dimens
oes . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 932
19.11.3.1 A Equaca
o de Ondas N
ao-Homog
enea em 3 + 1-Dimens
oes . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 936
19.11.3.2 Aplicaco
es `
a Eletrodin
amica. Potenciais Retardados . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 938
19.11.3.3 A Equaca
o de Ondas N
ao-Homog
oes . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 941
19.11.3.4 A Equaca
o de Ondas N
ao-Homog
oes . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 943
19.12.1 Problemas Selecionados de Eletrost
atica . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 945
19.12.2 Equaca
o de Difus
ao em uma Dimens
ao . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 948
19.12.3 Equaca
o de Ondas em uma Dimens
ao . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 951
19.12.4 Modos de Vibraca
o de Membranas
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 955
19.12.5 Problemas sobre Ondas e Difus

ao em Tr
es Dimens
oes Espaciais . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 959
19.12.6 Problemas Envolvendo Funco
es de Green . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 961
APENDICES
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 963
19.A Duas Transformadas de Laplace . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 963
Grupos
966
20 Grupos. Alguns Exemplos
967
20.1 O Grupo de Permutaco

es . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 968
20.1.1 Ciclos, Transposico
es e Transposico
es Elementares . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 969
20.2 Alguns Grupos Matriciais
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 972
20.2.1 Os Grupos GL(n) e SL(n) . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 972

20.2.2 O Grupo de Borel e o Grupo de Heisenberg
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 975
20.2.2.1 O Grupo de Heisenberg . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 976

20.2.3 Grupos Associados a Formas Bilineares e Sesquilineares . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 982
20.2.4 Os Grupos Ortogonais . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 984
20.2.5 Os Grupos Unit
arios . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 985
20.3 Os Grupos SO(2), SO(3), SU(2) e SL(2, C)
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 986
20.3.1 Os Grupos SO(2), O(2), SO(1, 1) e O(1, 1) . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 987

20.3.2 O Grupo SO(3) . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 990
20.3.2.1 Mais Propriedades das Matrizes de SO(3) . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 998
20.3.2.2 SO(3) e os Angulos

de Euler . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1001
20.3.3 O Grupo O(3) . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1006
20.3.4 O Grupo SU(2) . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1010
20.3.5 A Relaca
o Entre SO(3) e SU(2) . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1015
20.3.6 O Grupo SL(2, C) . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1019
20.4 Generalidades Sobre os Grupos SU(n) e SO(n) . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1020
20.4.1 Os Grupos SU(n) . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1021
20.4.1.1 Um Pouco Sobre o Grupo SU(3) . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1023
20.4.2 Os Grupos SO(n) . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1025
20.5 O Grupo Afim e o Grupo Euclidiano . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1029
20.6 O Grupo de Lorentz em 3 + 1-Dimens
oes . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1033
20.6.1 O Espaco-Tempo, a Noca
o de Intervalo e a Estrutura Causal . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1033
12/2070
20.6.2 A Invari
ancia do Intervalo . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1039
20.6.3 O Grupo de Lorentz . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1041
20.6.4 Alguns Subgrupos do Grupo de Lorentz
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1042
20.6.5 A Estrutura do Grupo de Lorentz . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1045

20.6.6 Os Geradores do Grupo de Lorentz . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1049
20.6.7 O Grupo de Galilei . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1054
20.7 O Grupo de Poincar
e . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1056
APENDICES
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1063
20.A Prova do Teorema 20.9 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1063
21 Grupos de Lie e Algebras

de Lie. Uma Breve Introdu
c
ao
1074
21.1 Variedades e Grupos de Lie . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1074

21.2 Breves Consideraco
es sobre Grupos Topol
ogicos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1076
21.3 Grupos de Lie Matriciais . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1078
21.3.1 Uma Topologia M
etrica em GL(C, n) . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1078
21.3.2 O Grupo de Lie GL(C, n) . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1079
21.3.3 Subgrupos Uniparam
etricos e seus Geradores . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1081
21.3.4 Subgrupos Uniparam

etricos e Algebras
de Lie . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1084
21.3.5 Subgrupos Fechados de GL(C, n) . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1088
21.4 A Relaca
o entre Grupos de Lie Matriciais e suas Algebras
de Lie . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1091
21.4.1 Algebras
de Lie Nilpotentes, Sol
uveis, Simples e Semi-Simples . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1092
21.4.2 Quest
oes sobre a Exponenciaca
o de Algebras
de Lie . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1094
21.4.3 Alguns Exemplos Especiais . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1096
22 Uma Breve Introdu
c
ao `
a Teoria das Representa
co
es de Grupos
1102
22.1 Representaco
es de Grupos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1102
22.2 M
edias Invariantes. A Medida de Haar . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1108
22.3 Representaco
es de Grupos Compactos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1110
22.3.1 Representaco
es de Grupos Compactos em Espacos de Hilbert Separ
aveis . . . . . . . . . . . . . . . . . . . . . . . . . 1110
22.4 O Teorema de Peter-Weyl
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1116
22.5 Representaco
es Irredutveis de Dimens
ao Finita de SU(2) . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1125
23 Spinores e o Grupo de Lorentz
1131
23.1 SL(2, C) e o Grupo de Lorentz . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1131

23.1.1 Aco
es de SL(2, C) e o Grupo de Lorentz . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1134
23.2 Representaco
es Irredutveis de Dimens
ao Finita de L+
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1138
23.3 Spinores . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1141

23.3.1 Spinores . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1145
23.3.1.1 Produtos Escalares Invariantes para Spinores . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1146
23.3.1.2 Spinores de Dirac e a Equaca
o de Dirac . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1152
APENDICES
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1157
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1157
23.A Um Isomorfismo entre SL(2, C) / {1, 1} e L+
VI
Topologia Geral, Teoria da Medida e Integrac

ao
24 Espa
cos M
etricos
1165
1166
24.1 M
etricas e Espacos M
etricos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1167
24.1.1 Completeza e o Completamento Can
onico . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1174
13/2070
24.2 A Noca
o de Topologia de Espacos M
etricos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1181
24.3 Pseudo-M
etricas . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1184
24.4 Espacos de Funco
es Limitadas e Completeza . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1186
24.5 Espacos de Banach e de Hilbert . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1189
24.5.1 Espacos de Banach em Espacos de Seq
u
encias . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1191
24.6 Teorema do Melhor Aproximante em Espacos Normados Uniformemente Convexos . . . . . . . . . . . . . . . . . . . . . . . . . 1202
APENDICES
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1210
24.A N
umeros Reais e p-
adicos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1210
24.B Aproximaco
es para . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1216
25 O Teorema do Ponto Fixo de Banach e Algumas de Suas Conseq
u
encias
1221
25.1 O Teorema de Ponto Fixo de Banach . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1222

25.1.1 Generalizaco
es do Teorema de Ponto Fixo de Banach . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1224
25.2 Aplicaca
o a Equaco
es Num
ericas. O M
etodo de Newton . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1227
25.3 Aplicaca
o `
as Equaco
es Integrais de Fredholm e de Volterra . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1230
25.4 Aplicaco
es `
a Teoria das Equaco
arias . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1237
25.4.1 O Teorema de Picard-Lindel
of . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1237
25.4.2 Generalizando o Teorema de Picard-Lindel
of. Soluco
es Globais . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1241
25.4.3 Um Teorema de Comparaca
o de Soluco
es de EDOs . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1242
25.5 O Teorema da Funca
o Implcita e o Teorema da Funca
o Inversa . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1245
25.5.1 O Teorema da Funca
o Implcita . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1245
25.5.2 O Teorema da Funca
o Inversa . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1249
APENDICES
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1250
25.A O Lema de Gr
onwall . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1250
26 Espa
cos Topol
ogicos e Espa
cos Mensur
aveis. Defini
co
es e Propriedades B
asicas
1251
26.1 Definico
es, Propriedades Elementares e Exemplos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1251
26.2 Algumas Construco
es Especiais e Exemplos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1257
26.2.1 Topologias e -Algebras

Geradas . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1257
26.2.2 Bases de Espacos Topol
ogicos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1260
26.2.3 Topologias e -Algebras

Induzidas . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1262
26.2.4 Topologias e -Algebras Produto . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1264

26.3 Interior e Fecho de Conjuntos em Espacos Topol
ogicos
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1265
26.3.1 Fecho de Conjuntos em Espacos M

etricos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1270
26.4 Espacos Topol
ogicos Separ
aveis e Segundo-Cont
aveis . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1272
26.4.1 A Segundo-Contabilidade como Propriedade Herdada . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1275
27 Medidas
1276
27.1 O Problema da Teoria da Medida . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1276

27.2 Medidas de Conjuntos. Definica
o, Exemplos e Propriedades B
asicas . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1279
27.3 Construindo Medidas. A Medida Exterior e o Teorema de Carath
eodory . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1282
27.3.1 Medidas Exteriores M
etricas e Conjuntos Borelianos
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1289
27.4 Um Esquema de Construca

o de Medidas Exteriores . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1292
27.5 Medidas sobre An
eis e suas Extens
oes . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1294
APENDICES
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1299
27.A Prova das F
ormulas de Inclus
ao-Exclus
ao . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1299
28 A Medida de Lebesgue e a Medida de Hausdorff
28.1 A Construca
o da Medida de Lebesgue em Rn
1301
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1301
14/2070
28.1.1 A -
algebra de Borel em Rn e a Medida de Borel-Lebesgue . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1303
28.2 As Medidas de Hausdorff . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1305
28.3 Conjuntos de Cantor . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1309
28.4 Bases de Hamel e a Medida de Lebesgue . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1318
29 Continuidade e Converg
encia em Espa
cos Topol
ogicos
1325
29.1 Primeiras Definico

es . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1325
29.2 Espacos Hausdorff . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1327
29.3 Redes e o Caso de Espacos Topol
ogicos Gerais . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1328
29.3.1 Redes em Espacos M
etricos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1331
29.4 O Limite do Infimo e o Limite do Supremo . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1331

29.5 Continuidade de Funco
es em Espacos Topol
ogicos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1335
29.5.1 Outras Noco
es Associadas `
a de Continuidade . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1337
29.5.1.1 Homeomorfismos e Mergulhos Topol
ogicos
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1337
29.5.2 Outras Caracterizaco

es do Conceito de Continuidade em Espacos Topol
ogicos . . . . . . . . . . . . . . . . . . . . . . 1339
29.5.3 Continuidade e Converg
encia . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1340
30 Elementos da Teoria da Integra
c
ao
1342
30.1 Coment
arios Preliminares . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1342
30.2 A Integraca
o no Sentido de Riemann . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1344
30.2.1 A Integral de Riemann Impr
opria . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1352
30.2.2 Diferenciaca
o e Integraca
o em Espacos de Banach . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1354
30.3 A Integraca
o no Sentido de Lebesgue . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1358
30.3.1 Funco
es Mensur
aveis e Funco
es Simples . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1358
30.3.2 A Integral de Lebesgue. Integraca
o em Espacos Mensur
aveis . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1363
30.3.3 A Integral de Lebesgue e sua Relaca
o com a de Riemann . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1370
30.3.4 Teoremas B
asicos sobre Integraca
o e Converg
encia . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1372
30.3.5 Alguns Resultados de Interesse . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1375
30.4 Os Espacos Lp e Lp . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1377
30.4.1 As Desigualdades de H
older e de Minkowski . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1379
30.4.2 O Teorema de Riesz-Fischer. Completeza . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1382
APENDICES
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1383
30.A Mais sobre a Integral de Darboux . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1383
30.A.1 Equival
encia das Definico
es II e III da Integrabilidade de Riemann
. . . . . . . . . . . . . . . . . . . . . . . . . . . . 1384
30.B Caracterizaco
es e Propriedades de Funco
es Mensur
aveis . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1385
30.C Prova do Lema 30.3 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1390
30.D Demonstraca
o de (30.26) . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1391
30.E A Equival
encia das Definico
es (30.27) e (30.28) . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1391
30.F Prova do Teorema da Converg
encia Mon
otona . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1393
30.G Prova do Lema de Fatou . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1394
30.H Prova do Teorema da Converg
encia Dominada . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1395
30.I
Prova dos Teoremas 30.2 e 30.3
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1396
30.J Prova das Desigualdades de H

older e Minkowski . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1398
30.K Prova do Teorema de Riesz-Fischer . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1400
31 Alguns T
opicos Especiais em Topologia e An
alise
1402
31.1 Uma Colet

anea de Definico
es . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1403
31.1.1 Conjuntos Densos em Espacos Topol
ogicos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1403
15/2070
31.1.2 A Noca
o de Conjunto Conexo em Espacos Topol
ogicos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1404
31.2 Axiomas de Separabilidade . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1407
31.2.1 Algumas Propriedades de Separaca
o em Espacos M
etricos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1408
31.2.2 Postulados de Separabilidade em Espacos Topol
ogicos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1409
31.2.3 O Lema de Urysohn . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1417
31.2.3.1 O Teorema de Extens
ao de Tietze . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1422
31.2.4 A Propriedade de Hausdorff como Propriedade Herdada
31.3 Compacidade, Compacidade Local e Paracompacidade
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1424
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1425
31.3.1 Algumas Definico

es Gerais . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1425
31.3.2 Espacos de Lindel
of. Um Mnimo . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1428
31.3.3 Compacidade. Definico
es e Propriedades em Espacos Topol
ogicos Gerais . . . . . . . . . . . . . . . . . . . . . . . . . 1429
31.3.3.1 Compacidade em Espacos Hausdorff . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1432
31.3.3.2 Compacidade em Espacos M
etricos
31.3.3.3 Compacidade em
Rn
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1435
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1442
31.3.4 Os Teoremas de Ascoli e de Arzel`

a
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1443
31.3.4.1 Equilimitaca
o e Equicontinuidade de Famlias de Funco
es . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1444
31.3.4.2 Os Teoremas de Ascoli de Arzel`
a para Famlias de Funco
es de um Compacto sobre um Espaco M
etrico . . . . 1445
31.3.4.3 O Teorema de Peano
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1448
31.3.5 Espacos Compactos Hausdorff e Partico

es da Unidade . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1451
31.3.5.1 Uma Excurs
ao pelas Variedades Topol
ogicas Compactas Hausdorff . . . . . . . . . . . . . . . . . . . . . . . . . 1453
31.3.6 Compacidade Local . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1455
31.3.6.1 Espacos Localmente Compactos Hausdorff . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1456
31.3.7 Paracompacidade . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1458
31.3.7.1 Espacos Paracompactos Hausdorff . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1459
31.4 As Noco
es de Topologia Inicial e de Topologia Final . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1463
31.4.1 A Topologia Inicial de uma Coleca
o de Funco
es . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1464
31.4.2 A Topologia Final de uma Coleca
o de Funco
es . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1466
31.4.3 A Topologia Quociente . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1467
31.5 Somas de Espacos Topol
ogicos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1467
31.6 A Topologia Produto de Espacos Topol
ogicos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1468
31.6.1 O Cubo de Hilbert . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1469
31.7 Teoremas de Metrizabilidade . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1472
31.7.1 O Teorema de Metrizaca
o de Urysohn e Tikhonov . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1473
31.8 O Teorema da Categoria de Baire . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1476
31.9 A M
etrica de Hausdorff . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1477
APENDICES
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1480
31.A Prova da Proposica
o 31.33 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1480
VII
Geometria Diferencial e Topologia Diferencial
32 Variedades
1483
1484
32.1 Variedades Topol

ogicas . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1485
32.1.1 Construindo Variedades Topol
ogicas . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1490
32.2 Variedades Diferenci
aveis . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1492
32.2.1 Partico
es da Unidade Diferenci
aveis . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1496
32.2.2 A Noca
o de Espaco Tangente
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1498
32.2.2.1 O Espaco Co-Tangente . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1504

32.2.3 Tensores em Variedades . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1506
16/2070
32.2.3.1 Tracos de Tensores. Contraca

o de Indices . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1508
32.2.3.2 Transposica
o de Tensores . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1510
32.2.4 Aplicaco
es Entre Variedades Diferenci
aveis . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1511
32.2.4.1 A Diferencial de Uma Aplicaca
o Entre Variedades. Pullback e Pushforward . . . . . . . . . . . . . . . . . 1511
32.2.4.2 Imers
oes, Mergulhos e Subvariedades
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1515
32.3 Campos Vetoriais e Tensoriais . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1517

32.3.1 A Derivada de Lie . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1520
32.4 Exemplos de Variedades Topol
ogicas e Diferenci
aveis . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1525
32.4.1 Uma Variedade Topol
ogica Paracompacta n
ao Segundo-Cont
avel
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1525
32.4.2 O Gr
afico de uma Funca
o Real em Rn . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1527
32.4.2.1 Cones. E Um Estudo de Caso . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1529
32.4.3 Superfcies Regulares em Rn . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1530
32.4.4 As Esferas Sn . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1533
32.4.5 Toros (e Algumas Generalizaco
es) . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1535
32.4.6 Espacos Projetivos Reais . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1538
32.4.7 Grupos de Lie . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1541
32.4.8 Fibrados, Fibrados Vetoriais e Principais . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1541
APENDICES
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1543
32.A Derivadas de Lie. Prova das Relaco
es (32.70) e (32.81) . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1543
32.B Derivadas de Lie. Prova da Relaca
o (32.88) . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1544
33 No
co
es Geom
etricas em Variedades
1547
33.1 M
etricas Riemannianas e Semi-Riemannianas . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1547
33.1.1 Transposica
o em Relaca
o a Tensores M
etricos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1557
33.2 Conex
oes Afins . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1561
33.2.1 Conex
oes Afins em Campos Vetoriais . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1561
33.2.1.1 Conex
oes Afins em Campos Tensoriais . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1566
33.2.2 O Tensor de Torca
o . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1569
33.2.3 Tipos Especiais de Conex
oes Afins
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1570
33.2.3.1 Conex
oes Sim
etricas (ou Livres de Torca
o) . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1570
33.2.3.2 Conex
oes M
etricas (ou Riemannianas) . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1572
33.2.3.3 Conex
oes de Levi-Civita . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1577
33.2.4 Gradiente, Divergente e Laplaciano . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1578
33.3 O Tensor de Curvatura . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1581
33.3.1 A Curvatura Seccional . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1588
33.3.2 O Tensor de Ricci e a Curvatura Escalar . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1591
33.4 Geod
esicas . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1593
33.4.1 O Lema de Gauss . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1597
33.4.2 Pontos Conjugados e a Equaca
o de Jacobi . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1600
33.4.2.1 A Equaca
o de Jacobi . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1600
33.4.2.2 Pontos Conjugados
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1603
33.5 A Estrutura Causal de Variedades Lorentzianas . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1604

33.5.1 A Identidade de Raychaudhuri . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1607
33.5.2 Discuss
ao de Exemplos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1615
APENDICES
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1617
33.A Demonstraca
o de Algumas Propriedades do Tensor de Curvatura
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1617
33.A.1 Prova da Proposica

o 33.6 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1617
33.A.2 Prova da Primeira Identidade de Bianchi, Proposica
o 33.8 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1618
33.A.3 Prova da Segunda Identidade de Bianchi, Proposica
o 33.9
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1619
17/2070

o 33.10 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1621
o 33.11 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1622
VIII
S
eries e Transformadas de Fourier. Distribuic
oes
34 Aproxima
c
ao de Fun
co
es. Aproxima
co
es Polinomiais e S
eries de Fourier
1625
1626
34.1 Noco
es de Converg
encia para Seq
u
encias de Funco
es . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1627
34.1.1 Import
ancia da Converg
encia Uniforme . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1628
34.1.1.1 Troca de Ordem entre Limites e Integrais . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1629
34.1.1.2 Troca de Ordem entre Limites e Derivadas . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1631
34.1.1.3 Troca de Ordem entre Derivadas e Integrais . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1631
34.2 Seq
u
encias Delta de Dirac . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1633
34.3 Aproximaca
o de Funco
es por Polin
omios . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1639
34.3.1 O Teorema de Weierstrass . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1639
34.3.2 O Teorema de Taylor . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1646
34.4 Aproximaca
o de Funco
es por Polin
omios Trigonom
etricos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1653
34.4.1 Preliminares . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1654
34.4.2 A S
erie de Fourier de Funco
es Peri
odicas de Perodo T . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1656
34.4.3 Polin
omios Trigonom
etricos e Funco
es Contnuas e Peri
odicas . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1658
34.4.4 Converg
encia de S
eries de Fourier . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1663
34.4.4.1 S
eries de Fourier em Senos ou Co-Senos para Funco
es Definidas em Intervalos Compactos . . . . . . . . . . . . 1669
34.4.5 Revisitando a Aproximaca
o Uniforme de Funco
es Contnuas e Peri
odicas por Polin
omios Trigonom
etricos . . . . . . . 1672

34.4.6 S
eries de Fourier e o Espaco de Hilbert L2 [, ], dx
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1675
34.5 O Teorema de Stone-Weierstrass . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1677
34.6 Completeza de Algumas Famlias de Funco
es . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1681
34.6.1 Completeza de Polin
omios Ortogonais em Intervalos Compactos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1681
34.6.2 Completeza de Polin
omios de Hermite
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1683
34.6.3 Completeza dos Polin

omios Trigonom
etricos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1685
APENDICES
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1696
34.A Prova do Teorema de Weierstrass Usando Polin
omios de Bernstein . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1696
34.B A Demonstraca
o de Weierstrass do Teorema de Weierstrass . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1700
35 Introdu
c
ao `
as Distribui
co
es e `
as Transformadas de Fourier
35.1 Funco
es de Schwartz e Funco
es de Teste
1702
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1703
35.2 Transformadas de Fourier . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1712

35.2.1 Transformadas de Fourier no Espaco de Schwartz . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1715
35.2.1.1 A Transformada de Fourier de Funco
es Gaussianas . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1717
35.2.1.2 Invertibilidade da Transformada de Fourier no Espaco de Schwartz . . . . . . . . . . . . . . . . . . . . . . . . . 1720
35.2.1.3 Transformadas de Fourier, Produtos de Convoluc
ao e Identidade de Plancherel . . . . . . . . . . . . . . . . . . 1722
35.2.1.4 A Transformada de Fourier em L2 (Rn , dx) e suas Propriedades Espectrais . . . . . . . . . . . . . . . . . . . . 1725
35.2.2 Transformadas de Fourier: T
opicos Suplementares . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1731
35.2.2.1 A F
ormula de Soma de Poisson . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1731
35.2.2.2 Transformadas de Fourier e M
edias Angulares . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1734
35.3 Distribuico
es e Distribuico
es Temperadas . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1739
35.3.1 Primeiros Exemplos de Distribuico
es . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1741
35.3.2 Outros Exemplos de Distribuico
es . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1745
35.3.2.1 A Distribuica
o Valor Principal . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1746
18/2070
35.3.2.2
Distribuico
es do Tipo Parte Finita de Hadamard . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1747
35.3.3 Algumas Relaco

es Uteis
Envolvendo Distribuico
es . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1750
35.3.4 Derivadas de Distribuico
es . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1755
35.3.4.1 Alguns Exemplos de Derivadas de Distribuico
es
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1756
35.3.4.2 C
alculo da Derivada de Algumas Distribuico
es de Interesse . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1757
35.3.5 Alguns Resultados Estruturais sobre Distribuico
es . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1759
35.3.6 Transformadas de Fourier de Distribuico
es Temperadas . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1760
35.3.6.1 C
alculo de Transformadas de Fourier de Algumas Distribuico
es Temperadas
. . . . . . . . . . . . . . . . . . . 1761
35.3.7 Produtos de Distribuico

es . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1763
35.3.7.1 Produto de Convoluca
o de Distribuico
es . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1768
35.4 Equaco
es Diferenciais Distribucionais, Soluco
es Fundamentais e Funco
es de Green . . . . . . . . . . . . . . . . . . . . . . . . . 1769
35.4.1 Soluco
es Fundamentais . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1772
35.4.1.1 Soluco
es Fundamentais como Funco
es Generalizadas . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1773
35.4.1.2 O Caso de Operadores Lineares a Coeficientes Constantes . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1775
35.4.1.3 Alguns Exemplos Fisicamente Relevantes . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1778
APENDICES
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1788
35.A Prova de (35.18) . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1788
35.B Prova da Proposica
o 35.15 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1789
IX
An
alise Funcional
1795
36 No
co
es B
asicas Sobre Espa
cos de Hilbert
1796
36.1 Aspectos Topol

ogicos B
asicos de Espacos de Hilbert . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1796
36.2 Aspectos Geom
etricos B
asicos de Espacos de Hilbert . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1798
36.2.1 Conjuntos Ortonormais Completos em Espacos de Hilbert . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1802
36.2.2 Conjuntos Totais . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1813
36.2.2.1 Um Exemplo no Espaco L2 (R, dx)
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1813
36.3 Funcionais Lineares e o Dual Topol

ogico de um Espaco de Hilbert . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1817
36.3.1 O Teorema da Representaca
o de Riesz . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1818
37 Operadores Lineares Limitados em Espa
cos de Banach e de Hilbert
1821
37.1 Operadores Lineares em Espacos Vetoriais Normados . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1823

37.1.1 Espacos de Banach de Operadores . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1827
37.1.2 O Dual Topol
ogico de um Espaco de Banach . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1831
37.1.3 O Teorema de Hahn-Banach e Algumas Conseq
u
encias do Mesmo . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1834
37.1.4 O Teorema de Banach-Steinhaus ou Princpio de Limitaca
o Uniforme . . . . . . . . . . . . . . . . . . . . . . . . . . . 1840
37.1.5 O Teorema da Aplicaca
o Aberta e o Teorema do Gr
afico Fechado . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1841
37.2 Operadores Limitados em Espacos de Hilbert . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1848
37.2.1 A Noca
o de Operador Adjunto em Espacos de Hilbert
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1849
37.2.2 Operadores Auto-Adjuntos, Normais, Unit

arios, Projetores Ortogonais e Isometrias Parciais . . .
37.3 Rudimentos da Teoria das Algebras de Banach e Algebras C . . . . . . . . . . . . . . . . . . . . . . . . .
37.3.1 Algebras
de Banach . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
37.3.2 Alguns Fatos Estruturais sobre Algebras

C . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . 1851
. . . . . . . . . . . 1859
. . . . . . . . . . . 1859
. . . . . . . . . . . 1862
37.3.2.1 Algebras
com Involuca
o e a Unidade . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1863
37.3.3 A Inversa de Operadores Limitados . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1866
37.3.4 O Espectro de Operadores em Algebras

de Banach . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1871
19/2070
37.3.5 O Operador Resolvente e Propriedades Topol

ogicas do Espectro . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1872
37.3.5.1 O Teorema da Aplicaca
o Espectral . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1875
37.3.6 O Raio Espectral . . . . . . . . . . . . . . . . . . . . . . . . .
37.3.7 O Homomorfismo de Gelfand em Algebras

C . . . . . . . . .
37.3.8 Razes Quadradas de Operadores em Algebras de Banach . . .
37.3.9 Elementos Positivos de Algebras

C . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1876
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1880
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1882
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1884
37.3.9.1 Relaca
o de Ordem Decorrente da Positividade em Algebras
C .
37.3.10 Aproximantes da Unidade em Algebras

C . . . . . . . . . . . . . . . . .
37.3.10.1 Cosets por Bi-Ideais em Algebras C . . . . . . . . . . . . . . . .
37.4 Algebras
de von Neumann. Um Mnimo . . . . . . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . . . . . . . 1888
. . . . . . . . . . . . . . . . . . . . . . . . . 1890
. . . . . . . . . . . . . . . . . . . . . . . . . 1893
. . . . . . . . . . . . . . . . . . . . . . . . . 1897
37.4.0.2 O Teorema do Bicomutante . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1898
37.5 Um Pouco sobre Estados e Representaco

es de Algebras
C . . . . .
37.5.1 Morfismos Entre Algebras

C . . . . . . . . . . . . . . . .
37.5.2 Representaco
es de Algebras C . . . . . . . . . . . . . . .
37.5.2.1 Estados em Algebras

C e a Representaca
o GNS . .
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1901
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1901
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1904
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1905
37.5.2.2 Estados Puros, de Mistura e a Irredutibilidade de Representaco

es GNS . . . . . . . . . . . . . . . . . . . . . . 1911
37.5.3 Exemplos em Algebras

de Matrizes. Construca
o GNS. Estados Puros e a Entropia de von Neumann . . . . . . . . . . 1914
37.5.3.1 A Entropia de von Neumann . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1918
37.5.3.2 A Construca
o GNS em Mat (C, n) . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1922
37.6 O Espectro de Operadores em Espacos de Banach . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1924
37.6.1 O Espectro de Operadores Limitados em Espacos de Hilbert . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1928
37.6.2 Espectro em Espacos de Banach. Alguns Exemplos e Contra-Exemplos . . . . . . . . . . . . . . . . . . . . . . . . . . 1929
37.7 O Lema da Raiz Quadrada em Espacos de Hilbert . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1933
37.7.1 A Decomposica
o Polar de Operadores Limitados em Espacos de Hilbert . . . . . . . . . . . . . . . . . . . . . . . . . . 1938
37.8 Operadores Compactos em Espacos de Banach e de Hilbert . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1940
37.8.1 Alguns Fatos Gerais Sobre o Espectro de Operadores Compactos
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1949
37.8.1.1 O Teorema da Alternativa de Fredholm . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1951

37.8.2 O Teorema Espectral para Operadores Compactos Auto-Adjuntos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1957
37.9 O Teorema Espectral para Operadores Limitados Auto-adjuntos em Espacos de Hilbert . . . . . . . . . . . . . . . . . . . . . . 1963
37.9.1 O C
alculo Funcional Contnuo e o Homomorfismo de Gelfand . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1963
37.9.2 Generalizando o C
alculo Funcional Contnuo. As Medidas Espectrais . . . . . . . . . . . . . . . . . . . . . . . . . . . 1965
37.9.3 Medidas com Valores em Projeco
es Ortogonais . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1972
37.9.4 Os Projetores Espectrais e o Teorema Espectral . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1975
37.9.5 A Relev
ancia do Teorema Espectral para a Fsica Qu
antica . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1979
37.10 Operadores Tipo Traco e de Hilbert-Schmidt . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1985
37.10.1 Operadores Tipo Traco, ou Traciais . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1988
37.10.1.1 O Traco de um Operador Tracial . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1991
37.10.2 Operadores de Hilbert-Schmidt . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1994
37.10.3 Operadores Traciais e de Hilbert-Schmidt e os Operadores Compactos
. . . . . . . . . . . . . . . . . . . . . . . . . . 2002
37.10.4 Operadores de Hilbert-Schmidt e Operadores Integrais . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 2003

37.10.5 O Teorema de Lidskii. Traco e Espectro de Operadores Traciais . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 2007
APENDICES
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 2008
37.A Prova do Teorema 37.19
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 2008
37.B Um Lema Devido a F. Riesz Sobre Espacos Normados . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 2010

38 Operadores Lineares N
ao-Limitados em Espa
cos de Hilbert
2012
38.1 Classificando Operadores N

ao-Limitados . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 2012
38.1.1 Operadores Fechados . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 2014
38.1.2 Operadores Fech
aveis . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 2016
20/2070
38.1.3 O Adjunto de um Operador . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 2017

38.1.3.1 Operadores Sim
etricos, Auto-Adjuntos e Essencialmente Auto-Adjuntos . . . . . . . . . . . . . . . . . . . . . . 2023
38.2 Espacos de Defici
encia e Extens
oes Auto-Adjuntas de Operadores Sim
etricos . . . . . . . . . . . . . . . . . . . . . . . . . . . . 2028
38.2.1 Consideraco
es Preliminares . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 2028
38.2.2 Classificaca
o de Extens
oes Sim
etricas Fechadas de Operadores Sim
etricos Fechados. Extens
oes Auto-Adjuntas . . . . 2029
APENDICES
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 2035
38.A Prova do Lema 38.6 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 2035
39 O Limite Indutivo de Algebras
2036
Bibliografia
2044
Indice Remissivo
2053
21/2070
Pref
acio
intencao b
asica deste livro e fornecer a estudantes de Fsica nocoes matematicas importantes para uma melhor
compreensao de desenvolvimentos modernos da Fsica Te
orica e da Matem
atica. Longe vai o tempo em que o
conhecimento matematico requerido a um fsico teorico restringia-se a certos metodos de resolucao de equacoes
diferenciais ordin
arias e parciais. Essa visao, porem, infelizmente impregna ate o presente a concepcao de
certas disciplinas ditas de Fsica-Matem
atica (ou de Metodos Matem
aticos da Fsica Te
orica) e de certos maus livros
sobre o tema. Em contraste, nocoes sobre Estruturas Algebricas, Topologia Geral, Teoria da Medida e da Integracao,
Geometria Diferencial, Teoria de Grupos, Teoria de Distribuicoes, Analise Funcional e Algebras

de Operadores sao hoje
imprescindveis ao trabalho de um fsico teorico.
Este livro cresceu a partir de notas de aula escritas pelo autor em diversas disciplinas de graduacao e p
os-graduacao
ministradas no IFUSP. Diversos de seus captulos podem ser empregados em disciplinas de graduacao ou p
os-graduacao,
mas o mesmo foi concebido primordialmente para servir ao auto-estudo de estudantes e docentes. De modo geral, o
nvel varia entre intermedi
ario e 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 munindo-se de uma boa colecao de exemplos e contra-exemplos de varias situacoes especficas, patologias,
casos especiais etc. Alem de servirem de auxlio `
a memoria, exemplos ajudam a melhor entender a motivacao de certas
definicoes e a compreender restricoes mencionadas em enunciados de teoremas. Dessa forma, procuramos sempre que
possvel apresentar (muitas vezes em exerccios!) um bom n
umero de exemplos e contra-exemplos para as varias situacoes
tratadas.
Este texto, porem, n
ao e substituto `
a leitura dos bons livros especializados nos diversos assuntos aqui tratados.
Parte do material aqui apresentado pode ser encontrado em diversas fontes, citadas na bibliografia (pagina 2045), 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 [140] 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, Jo
ao Pedro Jerico de Andrade, Ronaldo da Silva Alves Batista, Carolina Dias
Alexiou, Arao Benjamin Garcea, Claudio Mayrink Verdun, Leonardo Hanao Gabriel, Felipe Contatto, Victor Bernando
Chabu, Bruno Hideki Kimura, Fabrizio Fogaca Bernardi, Alessandro Takeshi Morita Gagliardi e Cedrick Miranda Mello,
aos quais somos muito gratos por correcoes e sugestoes.
As Secoes 23.A, p
agina 1157, e 25.4.1, p
agina 1237, foram originalmente escritas por Daniel Augusto Cortez. A Secao
19.9, p
agina 913, 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, 18 de julho de 2013
Departamento de Fsica Matem
atica
Universidade de S
ao Paulo
22/2070
Bons Mots
O comportamento de um fsico em relac
ao `
a Matem
atica e similar a de um ladr
ao inteligente em relac
ao ao c
odigo
penal: ele estuda apenas o suficiente para evitar punic
oes.
I. M. Gelfand (19132009).
A mente n
ao e um vaso a ser repleto, mas uma tocha a ser acesa.
Plutarco (46?120).
The public has a distorted view of science, because children are taught in school that science is a collection of firmly
established truths. In fact, science is not a collection of truths. It is a continuing exploration of mysteries.
Freeman Dyson (1923), in How We Know, The New York Review of Books, March 10, 2011.
When a theoretical physicist can not solve a problem he goes for the next more difficult one.
Sir Michael Francis Atiyah (1929).
My friend G. H. Hardy1 , who was professor of pure mathematics, enjoyed this pleasure [in mathematical demonstrations]
in a very high degree. He told me once that if he could find a proof that I was going to die in five minutes he would of
course be sorry to lose me, but this sorrow would be quite outweighed by pleasure in the proof .
Bertrand Russell (18721970).
Mathematics is not a deductive science thats a cliche. When you try to prove a theorem, you dont just list the
hypotheses, and then start to reason. What you do is trial and error, experimentation, guesswork.
Paul R. Halmos, in [94].
The source of all great mathematics is the special case, the concrete example. It is frequent in mathematics that every
instance of a concept of seemingly great generality is in essence the same as a small and concrete special case.
Paul R. Halmos, in [94].
Mathematics is a part of physics. Physics is an experimental science, a part of natural science. Mathematics is the part
of physics where experiments are cheap.
Vladimir I. Arnold (19372010).
In science, self-satisfaction is death. Personal self-satisfaction is the death of the scientist. Collective self-satisfaction
is the death of the research. It is restlessness, anxiety, dissatisfaction, agony of mind that nourish science.
Jacques Lucien Monod (19101976), in New Scientist, 1976.
N
ao existe nenhuma categoria da Ciencia `
a qual se possa dar o nome de Ciencia Aplicada. O que existe s
ao a Ciencia
e as aplicac
oes da Ciencia, intimamente ligadas, como frutos `
a
arvore que os gerou.
Louis Pasteur (18221895), in Pourquoi la France na pas trouve dhommes superieurs au moment du peril, Revue
Scientifique (Paris, 1871).
Disse Kant2 : Eu afirmo que em cada Ciencia Natural especfica pode-se atingir somente tanto Conhecimento verdadeiro
quanto nela houver de Matem
atica. De fato, somente dominamos uma teoria das ciencias naturais quando expomos seu
n
ucleo matem
atico e o desvendamos completamente.
David Hilbert (18621943) em Naturerkennen und Logik, palestra apresentada em setembro de 1930, em
1 Godfrey
Harold Hardy (18771947).

Kant (17241804).
2 Immanuel
23/2070
K
onigsberg, em Congresso da Associacao Alem
a de Cientistas Naturais e Medicos.
N
ao podemos nos permitir acreditar naqueles que em nossos dias, com cenho filos
ofico e em tom de superiodidade,
profetizam a decadencia cultural e apologizam o Ignorabimus. Para n
os n
ao existe o Ignorabimus e, em minha opini
ao,
tambem n
ao para as Ciencias Naturais. Em lugar do tolo Ignorabimus nosso lema e N
os devemos saber, n
os iremos
saber.
David Hilbert. ibidem.
A geometry implies the heterogeneity of locus, namely that there is a locus of the Other. Regarding this locus of the
Other, of one sex as Other, as absolute Other, what do the most recent developments in topology allow us to posit? I will
posit here the term compactness. Nothing is more compact than a fault, assuming that the intersection of everything that
is enclosed therein is accepted as existing over an infinite number of sets, the result being that the intersection implies
this infinite number. That is the very definition of compactness.
Jacques Lacan (19011981), em Le Seminaire Jacques Lacan, Livre XX:
Encore, 19721973. Texto organizado por Jacques-Alain Miller. Paris: Editions

du Seuil. Traduzido e citado por Alan
Sokal e Paul Bricmont in Intellectual Impostures.
Para a definicao de compacidade, vide Secao 31.3, p
agina 1425.
* ** *** ** *
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).
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).
... 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).
Would I had phrases that are not known, utterances that are strange, in new language that has not been used, free from
repetition, not an utterance that has grown stale, which men of old have spoken.
Khakheperresenb (ci. 1900 AC), escriba egpcio. Citado em The Burden of the Past and the English Poet de Walter
Jackson Bate.
Tudo que deveria ter sido dito j
a o foi, mas como ninguem ouvia, tudo tem de ser dito novamente.
Andre Paul Guillaume Gide (18691951).
Uma obra nunca e terminada, ela e apenas abandonada.
Atribuido a Paul Valery (18711945).
24/2070
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 45).
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
19, p
agina 843, 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 que lhes antecedem. Cabe ao leitor perceber suas
necessidades formativas, avancando ou retrocedendo na leitura conforme lhe aprouver. A consulta ao Indice Remissivo
(pagina 2053) ou à lista de Captulos e Secoes que compoe o texto (pagina 3) deve ser de valia para tal.
25/2070
Nota
c
ao e Advert
encias
Para facilitar a consulta e a leitura, listamos aqui sem muitos comentarios um pouco da notacao que empregaremos
nestas Notas.
Se z e um n
umero complexo denotaremos seu complexo conjugado por z. A notacao z (mais comum em textos
de Fsica) pode ocorrer mais raramente.
O smbolo A := B ou B =: A denota que A e definido pela expressao B. O smbolo A B indica que A e B sao
duas notacoes distintas para o mesmo objeto.
Sejam A e B conjuntos. Se A e um subconjunto de B, denotamos esse fato por A B ou por B A. Por A $ B
ou B % A denotamos o fato de A ser um subconjunto proprio de B, ou seja, A B, mas A 6= B.
Se x = (x1 , . . . , xn ) e y = (y1 , . . . , yn ) sao vetores reais com n componentes (ou seja, elementos de Rn ) ent
ao
definimos
hx, yiR := x1 y1 + + xn yn .
Trata-se do produto escalar usual em Rn .
Se x = (x1 , . . . , xn ) e y = (y1 , . . . , yn ) sao vetores complexos com n componentes (ou seja, elementos de Cn )
ent
ao definimos
hx, yiC := x1 y1 + + xn yn .
Trata-se do produto escalar usual em Cn .
Se x = (x1 , . . . , xn ) e y = (y1 , . . . , yn ) sao vetores complexos com n componentes (ou seja, elementos de Cn )
ent
ao definimos
hx, yiR := x1 y1 + + xn yn .
Trata-se de uma forma bilinear em Cn .
Mat(R, m, n) ou Mat(m, n, R) designa o conjunto de todas as matrizes reais m n (m linhas e n colunas).
Analogamente, Mat(C, m, n) ou Mat(m, n, C) designa o conjunto de todas as matrizes complexas m n. O
conjunto de todas as matrizes quadradas n n com entradas reais (complexas) sera denotado simplesmente por
Mat (R, n) (por Mat (C, n)).
Se A e um elemento de Mat(R, n) oude Mat(C, n), ent
ao AT designa a matriz transposta de A, ou seja, a matriz
T
cujos elementos de matriz ij sao A ij = Aji .
Se A e um operador linear em um espaco vetorial complexo (com um certo produto escalar), seu adjunto e denotado
por A . Em textos de Fsica e mais comum denota-lo por A , mas n
ao usaremos isso aqui.
Assim, se A Mat(C, n), ent
ao A sera a adjunta de A (em relacao ao produto escalar usual, acima). O elemento
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 da mesma.
Ainda sobre produtos escalares, seguiremos sempre a convencao 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!).
26/2070
Sobre o emprego das palavras func

ao, aplicac
ao, mapeamento, mapa, funcional, operador, operac
ao, produto e forma,
que por vezes causam perplexidade em estudantes, remetemos ao coment
ario à p
agina 33.
Dado um conjunto X 6= , denota-se por P(X) a colecao de todos os subconjuntos de X. P(X) e denominado o
conjunto das partes de X.
A topologia usual da reta real R sera 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 demonstracao. O smbolo 6 indica
o fim do enunciado de um exerccio. O smbolo indica o fim do enunciado de um exemplo. O smbolo indica
o fim de uma observacao, nota ou coment
ario.
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 funcoes contnuas (reais ou complexas, dependendo do caso), definidas em L
(na topologia que se estiver considerando em L).
B(L) designa a colecao 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) sera 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
parte imaginaria de um operador agindo em um espaco de Hilbert: Im (T ) := 2i
(T T ).
A nocao de propriedade v
alida quase em toda parte e definida na p
agina 1282.
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).
27/2070
Delta de Kr
onecker
De i e j pertencem a um conjunto cont
avel C, definimos o chamado delta de Kr
onecker por

1 , se i = j ,
ij ij ij ji :=
0 , se i 6= j .
para todos i, j C. As diferentes notacoes ij , ij , ij e ji ocorrem, por exemplo, na Geometria Diferencial e na Teoria
da Relatividade.
A esfera unit
aria
Para n N0 , denotaremos por Sn a chamada esfera unit
aria em Rn+1 : o lugar geometrico de todos os pontos de
R
situados a uma distancia Euclidiana igual a 1 da origem:
p
o
n

(y 1 )2 + + (y n+1 )2 = 1 .
y 1 , . . . , y n+1 Rn+1
Sn :=
n+1
Note-se que S0 = {1, 1}.
28/2070
29/2070
Parte I
Captulos Introdut
orios
30

Fis Mat Cap1

Transféré par

Informations du document

Copyright

Formats disponibles

Partager ce document

Partager ou intégrer le document

Options de partage

Avez-vous trouvé ce document utile ?

Ce contenu est-il inapproprié ?

Droits d'auteur :

Formats disponibles

Fis Mat Cap1

Transféré par

Droits d'auteur :

Formats disponibles

Universidade de S

Estas notas, ou sua vers

Produtos Cartesianos Gerais . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 37

2.1.1 Algebras Universais . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 75

2.1.2 Reticulados e Algebras

2.1.7 Exemplos Especiais de Algebras

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

Grupos. Estruturas e Construco

Alguns Teoremas Sobre Isomorfismos e Homomorfismos de Grupos . . . . . . . . . . . . . . . . . . . . . . . . . 117

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

Grupos Gerados por Conjuntos. Grupos Gerados por Relaco

O Produto Direto de Grupos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 123

O Produto Semi-Direto de Grupos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 124

Produtos Tensoriais de Grupos Abelianos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 128

Espacos Vetoriais. Estruturas e Construco

Subespacos e Espacos Quocientes . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 143

Somas Diretas de Espacos Vetoriais . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 144

Produtos Tensoriais, Duais Alg

Produtos Tensoriais de um Espaco Vetorial com seu Dual . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 157

Formas Multilineares . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 145

Produtos Tensoriais de Espacos Vetoriais . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 146

Tensores Associados a Formas Bilineares Sim

Produtos Tensoriais de um mesmo Espaco Vetorial. Espacos Sim

2.4.1.2 Ideais em Algebras Associativas . . .

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

O Grupo de Grothendieck . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 176

3 Formas Lineares e Normas em Espa

Formas Lineares, Sesquilineares e Produtos Escalares em Espacos Vetoriais

Formas Multilineares . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 185

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

Produtos Escalares . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 194

Normas em Espacos Vetoriais

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

Formas Bilineares e Sesquilineares e Produtos Escalares em Espacos de Dimens

Estruturas Complexas sobre Espacos Vetoriais Reais . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 210

Alguns Operadores Diferenciais de Interesse

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

A Desigualdade de Jensen . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 247

A Primeira Desigualdade de Young . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 248

A Desigualdade de Minkowski . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 253

Notas Sobre Converg

Exerccios Adicionais . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 268

Teoremas Sobre a Unicidade da Funca

O Teorema de Bohr-Mollerup . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 287

O Teorema de Wielandt e Algumas de Suas Conseq

Exerccios Adicionais . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 305

O Traco de uma Matriz . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 330

O Teorema de Hamilton-Cayley . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 335

Matrizes Auto-Adjuntas, Normais e Unit

Matrizes Positivas . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 360

Matrizes Triangulares . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 366

Matrizes Nilpotentes e sua Representaca

A Pseudo-Inversa de Moore-Penrose . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 389

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

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

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

8.10 Produtos Tensoriais de Matrizes . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 400

8.11.2 A Desigualdade de Hadamard . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 402

Exponenciais, Logaritmos e Funco

Alguns Fatos Gerais sobre Aplicaco

Alguns Exemplos Especficos de Aplicaco

Exerccios Adicionais . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 447

12.2.1 Unicidade . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 491

12.3.1 Alguns Exemplos e Aplicaco