NC Cap00

Universidade de S
ao Paulo
Departamento de Fsica Matematica
2013
Curso de Fsica-Matem
atica
Jo
ao Carlos Alves Barata
Vers
ao de 16 de marco 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/2069
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 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 58
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 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 66
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 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 87
2.1.5
Espacos Vetoriais . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 90
An
eis, M
odulos e Algebras
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 92
2.1.6
2.1.6.1
An
eis . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 93
2.1.6.2
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 93
2.1.6.3
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 94
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/2069
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 . . . . . . . . . . . . . . . . . 161
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
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 165
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 170
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 172
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 172
Algebras
Exteriores . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 174
T
opicos Especiais . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 175
2.6.1
O Grupo de Grothendieck . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 175
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 . . . . . . . . . . . . . . . . . . . . . . . . 190
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/2069
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/2069
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 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 374
8.7.3
Matrizes Nilpotentes e sua Representaca

o Can
onica . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 376
8.7.4
A Forma Can
onica de Matrizes . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 379
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
449
450
7/2069
10.1 Definica
o e Alguns Exemplos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 450
10.1.1 Equaco
arias Lineares . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 453
10.1.2 Equaco
es Ordin
arias de Segunda Ordem. Exemplos de Interesse . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 456
10.2 Sistemas de Equaco
arias . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 458
10.3 Discuss
ao sobre Problemas de Valor Inicial . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 463
10.3.1 Problemas de Valor Inicial. Patologias e Exemplos a se Ter em Mente . . . . . . . . . . . . . . . . . . . . . . . . . . . 464
10.3.2 Teoremas de Exist
encia e Unicidade de Soluco
es . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 467
10.3.3 Soluco
es Globais . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 469
10.3.4 Depend
encia Contnua de Condico
es Iniciais e de Par
ametros
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 471
11 Alguns M
etodos de Resolu
c
ao de Equa
co
arias
473
11.1 Soluca
o de Equaco
es Ordin
arias Lineares de Primeira Ordem . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 473
11.2 As Equaco
es de Bernoulli e de Riccati . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 474
11.3 Integraca
o de Equaco
es Separ
aveis . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 476
11.4 O M
etodo de Variaca
o de Constantes . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 477
11.5 O M
etodo de Substituica
o de Pr
ufer . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 478
11.6 O M
etodo de Invers
ao . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 480
11.7 Soluca
o de Equaco
es Exatas e o M
etodo dos Fatores Integrantes . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 481
11.8 Soluco
es das Equaco
es de DAlembert-Lagrange e Clairaut . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 485
12 Sistemas de Equa
co
arias Lineares
489
12.1 Introduca
o . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 490
12.2 Unicidade e Exist
encia de Soluco
es
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 490
12.2.1 Unicidade . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 490

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

es . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 501
12.4 Perturbaco
es de Sistemas Lineares . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 505
12.5 Mais sobre a S
erie de Dyson. Produtos de Tempo Ordenado . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 509
12.6 Sistemas de Equaco
es Diferenciais Lineares no Plano Complexo . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 512
12.6.1 O Caso Analtico . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 512
12.6.2 Resoluca
o por S
eries de Pot
encias . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 517
12.6.3 Sistemas com Pontos Singulares. Monodromia . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 518
12.6.4 Sistemas com Pontos Singulares Simples . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 527
12.7 Sistemas Provenientes de EDOs de Ordem m . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 530
12.7.1 Pontos Singulares Simples em EDOs de Ordem m
12.7.2 Singularidades no Infinito
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 532
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 536
12.7.3 Alguns Exemplos de Interesse . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 537

12.8 Equaco
es Fuchsianas. Smbolos de Riemann . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 542
12.8.1 Equaco
es Fuchsianas de Primeira Ordem . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 543
12.8.2 Equaco
es Fuchsianas de Segunda Ordem . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 546
12.8.3 A Equaca
o de Riemann-Papperitz. Smbolos de Riemann . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 554
12.8.3.1 Transformaco
es de Simetria dos Smbolos de Riemann . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 557
12.8.3.2 Equaco
es Fuchsianas com tr
es pontos singulares e a equaca
o hipergeom
etrica . . . . . . . . . . . . . . . . . . . 560
13 Solu
co
es de Equa
co
arias Lineares no Plano Complexo
568
13.1 Soluco
es em S
eries de Pot
encias para Equaco
es Regulares . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 569
8/2069
13.1.1 A Equaca
o do Oscilador Harm
onico Simples . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 570
13.1.2 A Equaca
o de Legendre . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 571
13.1.3 A Equaca
o de Hermite . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 574
13.1.4 A Equaca
o de Airy . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 576
13.1.5 A Equaca
o de Tchebychev . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 578
13.1.6 O Caso de Equaco
es Regulares Gerais . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 581
13.2 Soluca
o de Equaco
es Singulares Regulares. O M
etodo de Frobenius . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 583
13.2.1 Equaco
es Singulares Regulares. O Caso Geral . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 586
13.2.2 A Equaca
o de Euler Revisitada . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 593
13.2.3 A Equaca
o de Bessel . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 595
13.2.4 Equaco
es Relacionadas `
a de Bessel. A Equaca
o de Bessel Esf
erica . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 605
13.2.5 Equaco
es Relacionadas `
a de Bessel. A Equaca
o de Bessel Modificada . . . . . . . . . . . . . . . . . . . . . . . . . . . 607
13.2.6 A Equaca
o de Laguerre . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 608
13.2.7 A Equaca
o Hipergeom
etrica . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 610
13.2.8 A Equaca
o Hipergeom
etrica Confluente . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 614
13.3 Algumas Equaco
es Associadas . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 616
13.3.1 A Equaca
o de Legendre Associada . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 616
13.3.2 A Equaca
o de Laguerre Associada . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 618
APENDICES
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 621
13.A Prova da Proposica
o 13.1. Justificando os Polin
omios de Legendre . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 621
13.B Polin
omios de Legendre: Provando (13.14) . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 622
13.C Justificando os Polin
omios de Hermite . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 624
13.D Polin
omios de Hermite: Provando (13.20) . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 625
13.E Porque deve ser um Inteiro Positivo na Equaca
o de Laguerre . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 626
13.F Polin
omios de Tchebychev: Obtendo (13.39) a Partir de (13.36)(13.38) . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 628
14 Propriedades de Algumas Fun
co
es Especiais
630
14.1 Discuss
ao Preliminar . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 630
14.1.1 Relaco
es de Ortogonalidade . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 631
14.1.1.1 Condico
es de Contorno e a Origem das Relaco
es de Ortogonalidade . . . . . . . . . . . . . . . . . . . . . . . . 636
14.1.2 F
ormulas de Rodrigues . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 640
14.2 Propriedades de Algumas Funco
es Especiais . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 642
14.2.1 Propriedades dos Polin
omios de Legendre . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 642
omios de Legendre Associados . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 646
14.2.2.1 As Funco
es Harm
onicas Esf
ericas
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 652
14.2.2.2 F
ormula de Adica
o de Funco
es Harm
onicas Esf
ericas
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 655

omios de Hermite . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 658
14.2.3.1 As Funco
es de Hermite . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 661
omios de Tchebychev . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 665
omios de Laguerre . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 665
omios de Laguerre Associados . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 669
14.2.7 Propriedades das Funco
es de Bessel . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 672
14.2.8 Propriedades das Funco
es de Bessel Esf
ericas . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 688
APENDICES
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 692
14.A Provando (14.54) a Forca Bruta . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 692
15 Rudimentos da Teoria das Equa
co
es a Derivadas Parciais
694
9/2069
15.1 Definico
es, Notaco
es e Alguns Exemplos
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 695
15.2 Algumas Classificaco

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

es e Exemplos B
asicos . . . . . . . . . . . . . . . . . . . . . . . . . 714
15.5 O M
etodo das Caractersticas . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 721
15.5.1 Exemplos de Aplicaca
o do M
etodo das Caractersticas
15.5.2 Caractersticas. Coment
arios Adicionais
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 726
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 738
15.5.3 Sistemas de Equaco

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

o Inicial em Sistemas Quase-Lineares de Primeira Ordem . . . . . . 744
15.5.3.2 Sistemas Hiperb
olicos Semi-Lineares de Primeira Ordem em Duas Vari
aveis . . . . . . . . . . . . . . . . . . . . 747
15.5.3.3 Soluco
es Ditas Simples de Sistemas Quase-Lineares, Homog
eneos, de Primeira Ordem em Duas Vari
aveis . . . 750
15.6 Alguns Teoremas de Unicidade de Soluco
es de Equaco
es a Derivadas Parciais . . . . . . . . . . . . . . . . . . . . . . . . . . . . 753
15.6.1 Casos Simples. Discuss
ao Preliminar . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 753
15.6.2 Unicidade de Soluca
o para as Equaco
es de Laplace e Poisson . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 757
15.6.3 Unicidade de Soluco
es. Generalizaco
es . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 760
16 Introdu
c
ao ao Problema de Sturm-Liouville
768
16.1 Coment
arios Iniciais . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 768
16.2 O Problema de Sturm . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 773
16.2.1 Soluco
es Fundamentais e Funco
es de Green . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 774
16.2.2 A Funca
o de Green. Resolvendo o Problema de Sturm . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 775
16.2.3 O Teorema de Green . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 778
16.3 O Problema de Sturm-Liouville . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 780
16.3.1 Propriedades B
asicas dos Auto-Valores e Auto-Funco
es de Problemas de Sturm-Liouville . . . . . . . . . . . . . . . . 782
16.3.1.1 A Simplicidade dos Auto-Valores . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 782
16.3.1.2 O Lema de Green . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 783
16.3.1.3 Realidade dos Auto-Valores e Auto-funco
es. Ortogonalidade de Auto-funco
es . . . . . . . . . . . . . . . . . . . 785
16.3.1.4 Propriedades dos Autovalores . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 786
16.3.2 A Equaca
o Integral de Fredholm . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 790
16.3.3 Uma Aplicaca
o do Problema de Sturm-Liouville . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 793
16.3.4 M
etodos Variacionais de Determinaca
o de Autovalores . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 796
16.4 Coment
arios Finais . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 798
16.4.1 Um Problema de Sturm-Liouville Singular . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 798
APENDICES
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 805
16.A Prova do Teorema 16.1. Exist
encia e Unicidade
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 805
16.B Prova da Proposica

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

co
es Integrais
813
17.1 Descrica
o . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 813
17.2 O M
etodo dos Determinantes de Fredholm . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 815
10/2069
17.2.1 A Equaca
o Integral de Fredholm Linear N
ao-Homog
enea . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 815
17.2.2 A Equaca
o Integral de Fredholm Linear Homog
enea . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 819
APENDICES
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 822
17.A Obtendo os Determinantes de Fredholm . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 822
18 Rudimentos da Teoria do Potencial
828
18.1 A Equaca
o de Poisson em Tr
es Dimens
oes . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 828
18.1.1 A Equaca
o de Laplace em Domnios Limitados de R3 . O Problema de Dirichlet . . . . . . . . . . . . . . . . . . . . . 832
18.1.2 A Equaca
o de Poisson em R3 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 832
18.1.3 A Equaca
o de Poisson Dommios Limitados de R3 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 833
18.1.3.1 O Caso de Condico
es de Dirichlet . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 833
18.1.3.2 O Caso de Condico
es de Neumann . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 834
18.1.3.3 Exist
encia de Soluca
o . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 834
18.1.4 Aplicaco
es `
a Eletrost
atica: Capacit
ancia . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 834
18.2 O Teorema de Decomposica
o de Helmholtz . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 834
18.2.1 Aplicaco
es ao Eletromagnetismo . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 838
18.3 Propriedades B
asicas de Funco
es Harm
onicas em R3
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 839
19 Alguns Problemas Selecionados de Interesse Fsico
841
19.1 Deduca
o de Algumas Equaco
es Diferenciais de Interesse . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 842
19.1.1 Deduca
o Informal da Equaca
o de Difus
ao de Calor . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 842
19.1.2 Deduca
o Informal da Equaca
o da Corda Vibrante . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 846
19.2 As Equaco
es de Helmholtz e de Laplace . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 852
19.2.1 Problemas em Duas Dimens
oes em Coordenadas Polares . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 854
19.2.2 Problemas em Tr
es Dimens
oes em Coordenadas Esf
ericas . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 856
19.3 Problemas de Difus
ao em uma Dimens
ao . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 859
19.3.1 A Evoluca
o da Temperatura de uma Barra Finita . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 859
19.3.2 A Evoluca
o da Temperatura de uma Barra Infinita . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 863
19.3.3 A Evoluca
o da Temperatura de uma Barra Semi-Infinita . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 868
19.4 A Equaca
o de Ondas . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 873
19.4.1 A Equaca
o de Ondas em 1 + 1 Dimens
oes . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 874
19.4.2 Interl
udio: Ondas Caminhantes e a Equaca
o do Tel
egrafo . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 877
19.4.3 Outro Interl
udio: S
olitons . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 879
19.4.3.1 S
olitons na Equaca
o de Korteweg-de Vries
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 880
19.4.3.2 S
olitons na Equaca
o de Sine-Gordon . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 882
19.4.3.3 S
olitons no Modelo de Poco-Duplo . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 883
19.4.3.4 S
olitons na Equaca
o de Schr
odinger N
ao-Linear
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 885
19.4.4 A Equaca
o de Ondas e Transformadas de Fourier . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 889
19.4.4.1 A Equaca
oes. A Soluca
o de Kirchhoff . . . . . . . . . . . . . . . . . . . . . . . . . 892
19.4.4.2 A Equaca
oes . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 893
19.5 O Problema da Corda Vibrante . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 895
19.5.1 Corda Vibrante Homog
enea . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 896
19.5.2 O Problema da Corda Homog
enea Pendurada . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 898
19.5.3 Corda Vibrante N
ao-Homog
enea . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 900
19.5.4 O Problema da Membrana Retangular Homog
enea
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 903
19.6 O Problema da Membrana Circular Homog

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

enio e a Equaca
o de Laguerre Associada . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 909
11/2069
19.9 Propagaca
o de Ondas em Tanques Cilndricos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 912
19.10 Equaco
es Hiperb
olicas Lineares em 1+1 Dimens
oes e Equaco
es Integrais
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 920
19.11 Aplicaco
es do M
etodo da Funca
o de Green . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 927
19.11.1 A Equaca
o de Poisson em Tr
es Dimens
oes . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 928
19.11.2 A Equaca
o de Difus
ao N
ao-Homog
enea . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 929
19.11.3 A Equaca
o de Ondas N
ao-Homog
enea em n + 1-Dimens
oes . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 931
19.11.3.1 A Equaca
o de Ondas N
ao-Homog
enea em 3 + 1-Dimens
oes . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 935
19.11.3.2 Aplicaco
es `
a Eletrodin
amica. Potenciais Retardados . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 937
19.11.3.3 A Equaca
o de Ondas N
ao-Homog
oes . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 940
19.11.3.4 A Equaca
o de Ondas N
ao-Homog
oes . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 942
19.12.1 Problemas Selecionados de Eletrost
atica . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 944
19.12.2 Barras Condutoras de Calor em uma Dimens
ao . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 947
19.12.3 Cordas Vibrantes em uma Dimens
ao . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 950
19.12.4 Modos de Vibraca
o de Membranas
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 954
19.12.5 Problemas sobre Ondas e Difus

ao em Tr
es Dimens
oes Espaciais . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 958
19.12.6 Problemas Envolvendo Funco
es de Green . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 960
APENDICES
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 962
19.A Duas Transformadas de Laplace . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 962
Grupos
965
20 Grupos. Alguns Exemplos
966
20.1 O Grupo de Permutaco

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

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

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

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

de Euler . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1000
20.3.3 O Grupo O(3) . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1005
20.3.4 O Grupo SU(2) . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1009
20.3.5 A Relaca
o Entre SO(3) e SU(2) . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1014
20.3.6 O Grupo SL(2, C) . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1018
20.4 Generalidades Sobre os Grupos SU(n) e SO(n) . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1019
20.4.1 Os Grupos SU(n) . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1020
20.4.1.1 Um Pouco Sobre o Grupo SU(3) . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1022
20.4.2 Os Grupos SO(n) . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1024
20.5 O Grupo Afim e o Grupo Euclidiano . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1028
20.6 O Grupo de Lorentz
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1032
20.6.1 O Espaco-Tempo, a Noca

o de Intervalo e a Estrutura Causal . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1032
12/2069
20.6.2 A Invari
ancia do Intervalo . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1038
20.6.3 O Grupo de Lorentz . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1040
20.6.4 Alguns Subgrupos do Grupo de Lorentz
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1041
20.6.5 A Estrutura do Grupo de Lorentz . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1044

20.6.6 Os Geradores do Grupo de Lorentz . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1048
20.6.7 O Grupo de Galilei . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1053
20.7 O Grupo de Poincar
e . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1055
APENDICES
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1062
20.A Prova do Teorema 20.9 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1062
21 Grupos de Lie e Algebras

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

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

etricos e Algebras
de Lie . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1083
21.3.5 Subgrupos Fechados de GL(C, n) . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1087
21.4 A Relaca
o entre Grupos de Lie Matriciais e suas Algebras
de Lie . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1090
21.4.1 Algebras
de Lie Nilpotentes, Sol
uveis, Simples e Semi-Simples . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1091
21.4.2 Quest
oes sobre a Exponenciaca
o de Algebras
de Lie . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1093
21.4.3 Alguns Exemplos Especiais . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1095
22 Uma Breve Introdu
c
ao `
a Teoria das Representa
co
es de Grupos
1101
22.1 Representaco
es de Grupos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1101
22.2 M
edias Invariantes. A Medida de Haar . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1107
22.3 Representaco
es de Grupos Compactos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1109
22.3.1 Representaco
es de Grupos Compactos em Espacos de Hilbert Separ
aveis . . . . . . . . . . . . . . . . . . . . . . . . . 1109
22.4 O Teorema de Peter-Weyl
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1115
22.5 Representaco
es Irredutveis de Dimens
ao Finita de SU(2) . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1124
23 Spinores e o Grupo de Lorentz
1130
23.1 SL(2, C) e o Grupo de Lorentz . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1130

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

23.3.1 Spinores . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1144
23.3.1.1 Produtos Escalares Invariantes para Spinores . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1145
23.3.1.2 Spinores de Dirac e a Equaca
o de Dirac . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1151
APENDICES
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1156
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1156
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
1164
1165
24.1 M
etricas e Espacos M
etricos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1166
24.1.1 Completeza e o Completamento Can
onico . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1173
13/2069
24.2 A Noca
o de Topologia de Espacos M
etricos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1180
24.3 Pseudo-M
etricas . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1183
24.4 Espacos de Funco
es Limitadas e Completeza . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1185
24.5 Espacos de Banach e de Hilbert . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1188
24.5.1 Espacos de Banach em Espacos de Seq
u
encias . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1190
24.6 Teorema do Melhor Aproximante em Espacos Normados Uniformemente Convexos . . . . . . . . . . . . . . . . . . . . . . . . . 1201
APENDICES
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1209
24.A N
umeros Reais e p-
adicos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1209
24.B Aproximaco
es para . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1215
25 O Teorema do Ponto Fixo de Banach e Algumas de Suas Conseq
u
encias
1220
25.1 O Teorema de Ponto Fixo de Banach . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1221

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

Geradas . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1256
26.2.2 Bases de Espacos Topol
ogicos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1259
26.2.3 Topologias e -Algebras

Induzidas . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1261
26.2.4 Topologias e -Algebras Produto . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1263

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

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

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

o de Medidas Exteriores . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1291
27.5 Medidas sobre An
eis e suas Extens
oes . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1293
APENDICES
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1298
27.A Prova das F
ormulas de Inclus
ao-Exclus
ao . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1298
28 A Medida de Lebesgue e a Medida de Hausdorff
28.1 A Construca
o da Medida de Lebesgue em Rn
1300
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1300
14/2069
28.1.1 A -
algebra de Borel em Rn e a Medida de Borel-Lebesgue . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1302
28.2 As Medidas de Hausdorff . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1304
28.3 Conjuntos de Cantor . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1308
28.4 Bases de Hamel e a Medida de Lebesgue . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1317
29 Continuidade e Converg
encia em Espa
cos Topol
ogicos
1324
29.1 Primeiras Definico

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

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

es do Conceito de Continuidade em Espacos Topol
ogicos . . . . . . . . . . . . . . . . . . . . . . 1338
29.5.3 Continuidade e Converg
encia . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1339
30 Elementos da Teoria da Integra
c
ao
1341
30.1 Coment
arios Preliminares . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1341
30.2 A Integraca
o no Sentido de Riemann . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1343
30.2.1 A Integral de Riemann Impr
opria . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1351
30.2.2 Diferenciaca
o e Integraca
o em Espacos de Banach . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1353
30.3 A Integraca
o no Sentido de Lebesgue . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1357
30.3.1 Funco
es Mensur
aveis e Funco
es Simples . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1357
30.3.2 A Integral de Lebesgue. Integraca
o em Espacos Mensur
aveis . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1362
30.3.3 A Integral de Lebesgue e sua Relaca
o com a de Riemann . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1369
30.3.4 Teoremas B
asicos sobre Integraca
o e Converg
encia . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1371
30.3.5 Alguns Resultados de Interesse . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1374
30.4 Os Espacos Lp e Lp . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1376
30.4.1 As Desigualdades de H
older e de Minkowski . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1378
30.4.2 O Teorema de Riesz-Fischer. Completeza . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1381
APENDICES
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1382
30.A Mais sobre a Integral de Darboux . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1382
30.A.1 Equival
encia das Definico
es II e III da Integrabilidade de Riemann
. . . . . . . . . . . . . . . . . . . . . . . . . . . . 1383
30.B Caracterizaco
es e Propriedades de Funco
es Mensur
aveis . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1384
30.C Prova do Lema 30.3 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1389
30.D Demonstraca
o de (30.26) . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1390
30.E A Equival
encia das Definico
es (30.27) e (30.28) . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1390
30.F Prova do Teorema da Converg
encia Mon
otona . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1392
30.G Prova do Lema de Fatou . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1393
30.H Prova do Teorema da Converg
encia Dominada . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1394
30.I
Prova dos Teoremas 30.2 e 30.3
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1395
30.J Prova das Desigualdades de H

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

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

es Gerais . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1424
31.3.2 Espacos de Lindel
of. Um Mnimo . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1427
31.3.3 Compacidade. Definico
es e Propriedades em Espacos Topol
ogicos Gerais . . . . . . . . . . . . . . . . . . . . . . . . . 1428
31.3.3.1 Compacidade em Espacos Hausdorff . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1431
31.3.3.2 Compacidade em Espacos M
etricos
31.3.3.3 Compacidade em
Rn
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1434
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1441
31.3.4 Os Teoremas de Ascoli e de Arzel`

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

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

ogicas . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1484
32.1.1 Construindo Variedades Topol
ogicas . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1489
32.2 Variedades Diferenci
aveis . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1491
32.2.1 Partico
es da Unidade Diferenci
aveis . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1495
32.2.2 A Noca
o de Espaco Tangente
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1497
32.2.2.1 O Espaco Co-Tangente . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1503

32.2.3 Tensores em Variedades . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1505
16/2069
32.2.3.1 Tracos de Tensores. Contraca

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

32.3.1 A Derivada de Lie . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1519
32.4 Exemplos de Variedades Topol
ogicas e Diferenci
aveis . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1524
32.4.1 Uma Variedade Topol
ogica Paracompacta n
ao Segundo-Cont
avel
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1524
32.4.2 O Gr
afico de uma Funca
o Real em Rn . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1526
32.4.2.1 Cones. E Um Estudo de Caso . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1528
32.4.3 Superfcies Regulares em Rn . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1529
32.4.4 As Esferas Sn . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1532
32.4.5 Toros (e Algumas Generalizaco
es) . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1534
32.4.6 Espacos Projetivos Reais . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1537
32.4.7 Grupos de Lie . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1540
32.4.8 Fibrados, Fibrados Vetoriais e Principais . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1540
APENDICES
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1542
32.A Derivadas de Lie. Prova das Relaco
es (32.70) e (32.81) . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1542
32.B Derivadas de Lie. Prova da Relaca
o (32.88) . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1543
33 No
co
es Geom
etricas em Variedades
1546
33.1 M
etricas Riemannianas e Semi-Riemannianas . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1546
33.1.1 Transposica
o em Relaca
o a Tensores M
etricos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1556
33.2 Conex
oes Afins . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1560
33.2.1 Conex
oes Afins em Campos Vetoriais . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1560
33.2.1.1 Conex
oes Afins em Campos Tensoriais . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1565
33.2.2 O Tensor de Torca
o . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1568
33.2.3 Tipos Especiais de Conex
oes Afins
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1569
33.2.3.1 Conex
oes Sim
etricas (ou Livres de Torca
o) . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1569
33.2.3.2 Conex
oes M
etricas (ou Riemannianas) . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1571
33.2.3.3 Conex
oes de Levi-Civita . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1576
33.2.4 Gradiente, Divergente e Laplaciano . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1577
33.3 O Tensor de Curvatura . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1580
33.3.1 A Curvatura Seccional . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1587
33.3.2 O Tensor de Ricci e a Curvatura Escalar . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1590
33.4 Geod
esicas . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1592
33.4.1 O Lema de Gauss . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1596
33.4.2 Pontos Conjugados e a Equaca
o de Jacobi . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1599
33.4.2.1 A Equaca
o de Jacobi . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1599
33.4.2.2 Pontos Conjugados
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1602
33.5 A Estrutura Causal de Variedades Lorentzianas . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1603

33.5.1 A Identidade de Raychaudhuri . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1606
33.5.2 Discuss
ao de Exemplos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1614
APENDICES
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1616
33.A Demonstraca
o de Algumas Propriedades do Tensor de Curvatura
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1616
33.A.1 Prova da Proposica

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

o 33.10 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1620
o 33.11 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1621
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
1624
1625
34.1 Noco
es de Converg
encia para Seq
u
encias de Funco
es . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1626
34.1.1 Import
ancia da Converg
encia Uniforme . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1627
34.1.1.1 Troca de Ordem entre Limites e Integrais . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1628
34.1.1.2 Troca de Ordem entre Limites e Derivadas . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1629
34.1.1.3 Troca de Ordem entre Derivadas e Integrais . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1630
34.2 Seq
u
encias Delta de Dirac . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1632
34.3 Aproximaca
o de Funco
es por Polin
omios . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1638
34.3.1 O Teorema de Weierstrass . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1638
34.3.2 O Teorema de Taylor . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1645
34.4 Aproximaca
o de Funco
es por Polin
omios Trigonom
etricos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1652
34.4.1 Preliminares . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1652
34.4.2 A S
erie de Fourier de Funco
es Peri
odicas de Perodo T . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1655
34.4.3 Polin
omios Trigonom
etricos e Funco
es Contnuas e Peri
odicas . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1656
34.4.4 Converg
encia de S
eries de Fourier . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1661
34.4.4.1 S
eries de Fourier em Senos ou Co-Senos para Funco
es Definidas em Intervalos Compactos . . . . . . . . . . . . 1667
34.4.5 Revisitando a Aproximaca
o Uniforme de Funco
es Contnuas e Peri
odicas por Polin
omios Trigonom
etricos . . . . . . . 1671

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

omios Trigonom
etricos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1684
APENDICES
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1695
34.A Prova do Teorema de Weierstrass Usando Polin
omios de Bernstein . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1695
34.B A Demonstraca
o de Weierstrass do Teorema de Weierstrass . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1699
35 Introdu
c
ao `
as Distribui
co
es e `
as Transformadas de Fourier
35.1 Funco
es de Schwartz e Funco
es de Teste
1701
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1702
35.2 Transformadas de Fourier . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1711

35.2.1 Transformadas de Fourier no Espaco de Schwartz . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1714
35.2.1.1 A Transformada de Fourier de Funco
es Gaussianas . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1716
35.2.1.2 Invertibilidade da Transformada de Fourier no Espaco de Schwartz . . . . . . . . . . . . . . . . . . . . . . . . . 1719
35.2.1.3 Transformadas de Fourier, Produtos de Convoluc
ao e Identidade de Plancherel . . . . . . . . . . . . . . . . . . 1721
35.2.1.4 A Transformada de Fourier em L2 (Rn , dx) e suas Propriedades Espectrais . . . . . . . . . . . . . . . . . . . . 1724
35.2.2 Transformadas de Fourier: T
opicos Suplementares . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1730
35.2.2.1 A F
ormula de Soma de Poisson . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1730
35.2.2.2 Transformadas de Fourier e M
edias Angulares . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1733
35.3 Distribuico
es e Distribuico
es Temperadas . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1738
35.3.1 Primeiros Exemplos de Distribuico
es . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1740
35.3.2 Outros Exemplos de Distribuico
es . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1744
35.3.2.1 A Distribuica
o Valor Principal . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1745
18/2069
35.3.2.2
Distribuico
es do Tipo Parte Finita de Hadamard . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1746
35.3.3 Algumas Relaco

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

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

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

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

37.1.1 Espacos de Banach de Operadores . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1826
37.1.2 O Dual Topol
ogico de um Espaco de Banach . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1830
37.1.3 O Teorema de Hahn-Banach e Algumas Conseq
u
encias do Mesmo . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1833
37.1.4 O Teorema de Banach-Steinhaus ou Princpio de Limitaca
o Uniforme . . . . . . . . . . . . . . . . . . . . . . . . . . . 1839
37.1.5 O Teorema da Aplicaca
o Aberta e o Teorema do Gr
afico Fechado . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1840
37.2 Operadores Limitados em Espacos de Hilbert . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1847
37.2.1 A Noca
o de Operador Adjunto em Espacos de Hilbert
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1848
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 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . 1850
. . . . . . . . . . . 1858
. . . . . . . . . . . 1858
. . . . . . . . . . . 1861
37.3.2.1 Algebras
com Involuca
o e a Unidade . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1862
37.3.3 A Inversa de Operadores Limitados . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1865
37.3.4 O Espectro de Operadores em Algebras

de Banach . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1870
19/2069
37.3.5 O Operador Resolvente e Propriedades Topol

ogicas do Espectro . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1871
37.3.5.1 O Teorema da Aplicaca
o Espectral . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1874
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 . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1875
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1879
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1881
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1883
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 . . . . . . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . . . . . . . 1887
. . . . . . . . . . . . . . . . . . . . . . . . . 1889
. . . . . . . . . . . . . . . . . . . . . . . . . 1892
. . . . . . . . . . . . . . . . . . . . . . . . . 1896
37.4.0.2 O Teorema do Bicomutante . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1897
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 . .
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1900
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1900
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1903
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1904
37.5.2.2 Estados Puros, de Mistura e a Irredutibilidade de Representaco

es GNS . . . . . . . . . . . . . . . . . . . . . . 1910
37.5.3 Exemplos em Algebras

de Matrizes. Construca
o GNS. Estados Puros e a Entropia de von Neumann . . . . . . . . . . 1913
37.5.3.1 A Entropia de von Neumann . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1917
37.5.3.2 A Construca
o GNS em Mat (C, n) . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1921
37.6 O Espectro de Operadores em Espacos de Banach . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1923
37.6.1 O Espectro de Operadores Limitados em Espacos de Hilbert . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1927
37.6.2 Espectro em Espacos de Banach. Alguns Exemplos e Contra-Exemplos . . . . . . . . . . . . . . . . . . . . . . . . . . 1928
37.7 O Lema da Raiz Quadrada em Espacos de Hilbert . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1932
37.7.1 A Decomposica
o Polar de Operadores Limitados em Espacos de Hilbert . . . . . . . . . . . . . . . . . . . . . . . . . . 1937
37.8 Operadores Compactos em Espacos de Banach e de Hilbert . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1939
37.8.1 Alguns Fatos Gerais Sobre o Espectro de Operadores Compactos
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1948
37.8.1.1 O Teorema da Alternativa de Fredholm . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1950

37.8.2 O Teorema Espectral para Operadores Compactos Auto-Adjuntos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1956
37.9 O Teorema Espectral para Operadores Limitados Auto-adjuntos em Espacos de Hilbert . . . . . . . . . . . . . . . . . . . . . . 1962
37.9.1 O C
alculo Funcional Contnuo e o Homomorfismo de Gelfand . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1962
37.9.2 Generalizando o C
alculo Funcional Contnuo. As Medidas Espectrais . . . . . . . . . . . . . . . . . . . . . . . . . . . 1964
37.9.3 Medidas com Valores em Projeco
es Ortogonais . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1971
37.9.4 Os Projetores Espectrais e o Teorema Espectral . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1974
37.9.5 A Relev
ancia do Teorema Espectral para a Fsica Qu
antica . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1978
37.10 Operadores Tipo Traco e de Hilbert-Schmidt . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1984
37.10.1 Operadores Tipo Traco, ou Traciais . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1987
37.10.1.1 O Traco de um Operador Tracial . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1990
37.10.2 Operadores de Hilbert-Schmidt . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1993
37.10.3 Operadores Traciais e de Hilbert-Schmidt e os Operadores Compactos
. . . . . . . . . . . . . . . . . . . . . . . . . . 2001
37.10.4 Operadores de Hilbert-Schmidt e Operadores Integrais . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 2002

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

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

ao-Limitados . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 2011
38.1.1 Operadores Fechados . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 2013
38.1.2 Operadores Fech
aveis . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 2015
20/2069
38.1.3 O Adjunto de um Operador . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 2016

38.1.3.1 Operadores Sim
etricos, Auto-Adjuntos e Essencialmente Auto-Adjuntos . . . . . . . . . . . . . . . . . . . . . . 2022
38.2 Espacos de Defici
encia e Extens
oes Auto-Adjuntas de Operadores Sim
etricos . . . . . . . . . . . . . . . . . . . . . . . . . . . . 2027
38.2.1 Consideraco
es Preliminares . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 2027
38.2.2 Classificaca
o de Extens
oes Sim
etricas Fechadas de Operadores Sim
etricos Fechados. Extens
oes Auto-Adjuntas . . . . 2028
APENDICES
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 2034
38.A Prova do Lema 38.6 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 2034
39 O Limite Indutivo de Algebras
2035
Bibliografia
2043
Indice Remissivo
2052
21/2069
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 2044), 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 1156, e 25.4.1, p
agina 1236, foram originalmente escritas por Daniel Augusto Cortez. A Secao
19.9, p
agina 912, 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, 16 de marco de 2013
Departamento de Fsica Matem
atica
Universidade de S
ao Paulo
22/2069
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/2069
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 1424.
* ** *** ** *
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/2069
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 842, 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 2052) ou à lista de Captulos e Secoes que compoe o texto (pagina 3) deve ser de valia para tal.
25/2069
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/2069
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 1281.
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/2069
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/2069
29/2069
Parte I
Captulos Introdut
orios
30

NC Cap00

Загружено:

Сведения о документе

Оригинальное название

Авторское право

Доступные форматы

Поделиться этим документом

Поделиться или встроить документ

Параметры публикации

Этот документ был вам полезен?

Это неприемлемый материал?

Авторское право:

Доступные форматы

NC Cap00

Загружено:

Авторское право:

Доступные форматы

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 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 175

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 . . . . . . . . . . . . . . . . . . . . . . . . 190

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 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 490