Você está na página 1de 15

2/2070

Universidade de S
ao Paulo
Departamento de Fsica Matematica
2013

Curso de Fsica-Matem
atica
Jo
ao Carlos Alves Barata

Vers
ao de 18 de julho de 2013

Estas notas, ou sua vers


ao mais recente, podem ser encontradas no seguinte endereco WWW:
http://denebola.if.usp.br/jbarata/Notas de aula

4/2070

Indice

2.1.9.1
2.1.9.2

Pref
acio . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 21

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

Bons Mots . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 22

2.1.11 Induzindo Estruturas Alg


ebricas . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 109

Como Ler Este Livro . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 24


Nota
c
ao e Advert
encias . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 25

2.2

Grupos. Estruturas e Construco


es B
asicas . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 113
2.2.1

Captulos Introdut
orios
1.1

1.1.2
1.1.3

2.2.4

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

2.3

Cardinalidade . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 50
Infimos e Supremos de Famlias de Conjuntos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 55

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

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

1.2.2

An
eis de Conjuntos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 59

Algebras
de Conjuntos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 60

2.3.5

1.2.5

-An
eis de Conjuntos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 61

-Algebras
de Conjuntos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 62

2.3.6

1.2.6

Sistemas Mon
otonos de Conjuntos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 63

1.2.7

Topologias . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 67

1.2.8

Filtros e Ultra-Filtros . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 67

APENDICES
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 70

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


2.3.4.1

2.4

72
2.5

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


2.3.5.1

A F
ormula de Invers
ao de M
obius . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 70

Estruturas Alg
ebricas B
asicas . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 73

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

2.1.2 Reticulados e Algebras


Booleanas . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 77

Subgrupos Normais e o Grupo Quociente . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 115


2.2.2.1

2.3.1

Semi-An
eis de Conjuntos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 58

2 Estruturas Alg
ebricas B
asicas

Cosets . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 113

Espacos Vetoriais. Estruturas e Construco


es B
asicas . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 133

1.2.1

1.2.4

2.1

2.2.3

Sistemas de Conjuntos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 57

1.2.3

1.A

31

Conjuntos, Relaco
es e Funco
es . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 31
1.1.1

1.2

2.2.2

30

1 No
c
oes Conjuntivistas B
asicas

Aco
es de Grupos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 102

Representaco
es de Grupos e de Algebras
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 106

Tensores Associados a Formas Bilineares Sim


etricas N
ao-Degeneradas. M
etricas . . . . . . . . . . . . . . . . . 157

Produtos Tensoriais de um mesmo Espaco Vetorial. Espacos Sim


etrico e Anti-Sim
etrico . . . . . . . . . . . . . . . . . 162

2.3.8 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
Ideais em An
eis . . . . . . . . . . . .

Ideais em Algebras
Associativas . . .

Algebras
Tensoriais e Algebras
Exteriores . . . . . . .

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

2.4.1.1

. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 166

2.4.1.2

. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 170
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 172

. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 173

Algebras
Exteriores . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 174

2.1.3

Semigrupos, Mon
oides e Grupos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 82

2.1.4

Corpos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 86

2.6.1

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

2.1.5

Espacos Vetoriais . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 90

An
eis, M
odulos e Algebras
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 92

2.6.2

Grup
oides . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 177

2.6.3

Quat
ernios . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 179

2.1.6

2.1.6.1

. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 93

2.1.6.3

M
odulos . . . . . . . . . . . .

Algebras
. . . . . . . . . . . .

2.1.7 Exemplos Especiais de Algebras


. . .

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

. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 93

2.1.7.3
2.1.7.4
2.1.7.5

T
opicos Especiais . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 175

An
eis . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 92

2.1.6.2

2.1.7.2

2.6

Algebras
de Poisson . . . . .

Algebras
de Jordan . . . . .

Algebras
de Grassmann . . .

Algebras
de Clifford . . . . .

3 Formas Lineares e Normas em Espa


cos Vetoriais
3.1

. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 95
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 95

. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 98
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 98
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 99
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 100

2.1.8

Mais sobre An
eis . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 100

2.1.9

Aco
es e Representaco
es . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 102

Formas Lineares, Sesquilineares e Produtos Escalares em Espacos Vetoriais

185
. . . . . . . . . . . . . . . . . . . . . . . . . . . . 185

3.1.1

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

3.1.2

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

3.1.3

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

3.1.4

Exemplos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 196

3.2

Normas em Espacos Vetoriais

3.3

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

. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 197

3.4

Formas Bilineares e Sesquilineares e Produtos Escalares em Espacos de Dimens


ao Finita . . . . . . . . . . . . . . . . . . . . . 207

3.5

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

APENDICES
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 218

5/2070

6/2070

3.A

Equival
encia de Normas em Espacos Vetorias de Dimens
ao Finita . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 218

8.2.1

Autovalores e Polin
omios Caractersticos de Matrizes . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 325

3.B

Prova do Teorema de Fr
echet, von Neumann e Jordan . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 219

8.2.2

Autovetores . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 328

8.2.3

II

T
opicos de An
alise Real e Complexa

4 Recorda
c
oes de C
alculo Vetorial em Tr
es Dimens
oes

223

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
c
oes Convexas
5.1

5.2

8.4

Matrizes Diagonaliz
aveis e o Teorema Espectral . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 339

8.5

Matrizes Auto-Adjuntas, Normais e Unit


arias

8.3.1
8.4.1

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


Diagonalizaca
o Simult
anea de Matrizes . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 351
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 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

5.1.1

Funco
es Convexas de uma Vari
avel . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 234

5.1.2

Funco
es Convexas de V
arias Vari
aveis . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 244

8.7.1

Resultados Preparat
orios . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 370

Algumas Conseq
u
encias da Convexidade e da Convavidade . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 247

8.7.2

O Teorema da Decomposica
o de Jordan . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 373

5.2.1

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

8.7.3

Matrizes Nilpotentes e sua Representaca


o Can
onica . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 376

5.2.2

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

8.7.4

A Forma Can
onica de Matrizes . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 380

5.2.3

M
edias Geom
etricas, Aritm
eticas e Desigualdades Correlatas . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 250
5.2.3.1

Funco
es Geratrizes
6.1.1

256

. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 256

N
umeros de Bernoulli . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 262

6.2

Notas Sobre Converg


encia de Produt
orias . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 264

6.3

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

6.2.1

8.8

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

6 Fun
c
oes Geratrizes. Produt
orias Complexas
6.1

Polin
omios de Matrizes . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 333

233

Funco
es Convexas. Definico
es e Propriedades B
asicas . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 233

Algumas Relaco
es entre Determinantes e Tracos de Matrizes . . . . . . . . . . . . . . . . . . . . . . . . . . . . 332

8.3

224

4.1

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


8.2.3.1

Uma Deduca
o Elementar do Produto de Wallis

7 A Fun
c
ao Gama de Euler

8.9

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

. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 265

270

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

7.1

Introduca
o e Motivaca
o . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 270

7.2

A Funca
o Gama. Definica
o e Primeiras Propriedades . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 272

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

7.3

Outras Representaco
es para a Funca
o Gama . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 277

8.11 Propriedades Especiais de Determinantes . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 402

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

8.11.1 Expans
ao do Polin
omio Caracterstico

8.12 Exerccios Adicionais . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 405

9 T
opicos de Algebra
Linear. II

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

Uma Topologia M
etrica em Mat (C, n) . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 411

9.2

Exponenciais, Logaritmos e Funco


es Analticas de Matrizes . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 414

9.3

A F
ormula de Lie-Trotter e a F
ormula do Comutador . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 424

9.4

Aplicaco
es Lineares em Mat (C, n)

9.2.1

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

T
opicos de Algebra
Linear

8 T
opicos de Algebra
Linear. I

312

410

9.1

A F
ormula de Multiplicaca
o de Gauss da Funca
o Gama . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 291

A Aproximaca
o de Stirling e suas Correco
es . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 293

. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 402

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

A Exponenciaca
o de Matrizes e os Grupos GL(C, n) e GL(R, n) . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 421
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 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

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

. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 442

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

IV

Equa
c
oes Diferenciais

10 Equa
c
oes Diferenciais Ordin
arias. Uma Introdu
c
ao

450
451

7/2070

8/2070

10.1 Definica
o e Alguns Exemplos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 451

13.1.1 A Equaca
o do Oscilador Harm
onico Simples . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 571

10.1.1 Equaco
es Diferenciais Ordin
arias Lineares . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 454

13.1.2 A Equaca
o de Legendre . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 572

10.1.2 Equaco
es Ordin
arias de Segunda Ordem. Exemplos de Interesse . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 457

13.1.3 A Equaca
o de Hermite . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 575

10.2 Sistemas de Equaco


es Diferenciais Ordin
arias . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 459

13.1.4 A Equaca
o de Airy . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 577

10.3 Discuss
ao sobre Problemas de Valor Inicial . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 464

13.1.5 A Equaca
o de Tchebychev . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 579

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

13.1.6 O Caso de Equaco


es Regulares Gerais . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 582

10.3.2 Teoremas de Exist


encia e Unicidade de Soluco
es . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 468

13.2 Soluca
o de Equaco
es Singulares Regulares. O M
etodo de Frobenius . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 584

10.3.3 Soluco
es Globais . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 470

13.2.1 Equaco
es Singulares Regulares. O Caso Geral . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 587

10.3.4 Depend
encia Contnua de Condico
es Iniciais e de Par
ametros

. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 472

13.2.2 A Equaca
o de Euler Revisitada . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 594

11 Alguns M
etodos de Resolu
c
ao de Equa
c
oes Diferenciais Ordin
arias

474

13.2.3 A Equaca
o de Bessel . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 596
11.1 Soluca
o de Equaco
es Ordin
arias Lineares de Primeira Ordem . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 474
11.2 As Equaco
es de Bernoulli e de Riccati . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 475
11.3 Integraca
o de Equaco
es Separ
aveis . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 477
11.4 O M
etodo de Variaca
o de Constantes . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 478
11.5 O M
etodo de Substituica
o de Pr
ufer . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 479
11.6 O M
etodo de Invers
ao . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 481
11.7 Soluca
o de Equaco
es Exatas e o M
etodo dos Fatores Integrantes . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 482
11.8 Soluco
es das Equaco
es de DAlembert-Lagrange e Clairaut . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 486

13.2.4 Equaco
es Relacionadas `
a de Bessel. A Equaca
o de Bessel Esf
erica . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 606
13.2.5 Equaco
es Relacionadas `
a de Bessel. A Equaca
o de Bessel Modificada . . . . . . . . . . . . . . . . . . . . . . . . . . . 608
13.2.6 A Equaca
o de Laguerre . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 609
13.2.7 A Equaca
o Hipergeom
etrica . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 611
13.2.8 A Equaca
o Hipergeom
etrica Confluente . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 615
13.3 Algumas Equaco
es Associadas . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 617
13.3.1 A Equaca
o de Legendre Associada . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 617
13.3.2 A Equaca
o de Laguerre Associada . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 619

490

13.4 Exerccios Adicionais . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 621

APENDICES
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 622

12.1 Introduca
o . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 491

13.A Prova da Proposica


o 13.1. Justificando os Polin
omios de Legendre . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 622

12.2 Unicidade e Exist


encia de Soluco
es

. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 491

13.B Polin
omios de Legendre: Provando (13.14) . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 623

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

13.C Justificando os Polin


omios de Hermite . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 625

12.2.2 Exist
encia. A S
erie de Dyson

13.D Polin
omios de Hermite: Provando (13.20) . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 626

12 Sistemas de Equa
c
oes Diferenciais Ordin
arias Lineares

12.2.3 Propriedades de D(s, t)

. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 494

. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 498

12.3 Equaco
es com Coeficientes Constantes

. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 501

12.3.1 Alguns Exemplos e Aplicaco


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

. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 533

. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 537

12.7.3 Alguns Exemplos de Interesse . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 538


12.8 Equaco
es Fuchsianas. Smbolos de Riemann . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 543
12.8.1 Equaco
es Fuchsianas de Primeira Ordem . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 544
12.8.2 Equaco
es Fuchsianas de Segunda Ordem . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 547
12.8.3 A Equaca
o de Riemann-Papperitz. Smbolos de Riemann . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 555
12.8.3.1 Transformaco
es de Simetria dos Smbolos de Riemann . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 558
12.8.3.2 Equaco
es Fuchsianas com tr
es pontos singulares e a equaca
o hipergeom
etrica . . . . . . . . . . . . . . . . . . . 561
12.9 Exerccios Adicionais . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 564
13 Solu
c
oes de Equa
c
oes Diferenciais Ordin
arias Lineares no Plano Complexo

569

13.1 Soluco
es em S
eries de Pot
encias para Equaco
es Regulares . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 570

13.E Porque deve ser um Inteiro Positivo na Equaca


o de Laguerre . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 627
13.F Polin
omios de Tchebychev: Obtendo (13.39) a Partir de (13.36)(13.38) . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 629
14 Propriedades de Algumas Fun
c
oes Especiais

631

14.1 Discuss
ao Preliminar . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 631
14.1.1 Relaco
es de Ortogonalidade . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 632
14.1.1.1 Condico
es de Contorno e a Origem das Relaco
es de Ortogonalidade . . . . . . . . . . . . . . . . . . . . . . . . 637
14.1.2 F
ormulas de Rodrigues . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 641
14.2 Propriedades de Algumas Funco
es Especiais . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 643
14.2.1 Propriedades dos Polin
omios de Legendre . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 643
14.2.2 Propriedades dos Polin
omios de Legendre Associados . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 647
14.2.2.1 As Funco
es Harm
onicas Esf
ericas

. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 653

14.2.2.2 F
ormula de Adica
o de Funco
es Harm
onicas Esf
ericas

. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 656

14.2.3 Propriedades dos Polin


omios de Hermite . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 659
14.2.3.1 As Funco
es de Hermite . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 662
14.2.4 Propriedades dos Polin
omios de Tchebychev . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 666
14.2.5 Propriedades dos Polin
omios de Laguerre . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 666
14.2.6 Propriedades dos Polin
omios de Laguerre Associados . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 670
14.2.7 Propriedades das Funco
es de Bessel . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 673
14.2.8 Propriedades das Funco
es de Bessel Esf
ericas . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 689
14.3 Exerccios Adicionais . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 692

APENDICES
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 693
14.A Provando (14.54) a Forca Bruta . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 693
15 Rudimentos da Teoria das Equa
c
oes a Derivadas Parciais

695

15.1 Definico
es, Notaco
es e Alguns Exemplos

9/2070

10/2070

. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 696

17.2.1 A Equaca
o Integral de Fredholm Linear N
ao-Homog
enea . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 816

15.2 Algumas Classificaco


es de Equaco
es a Derivadas Parciais . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 704

17.2.2 A Equaca
o Integral de Fredholm Linear Homog
enea . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 820

15.2.1 Equaco
es Lineares, N
ao-Lineares, Semi-Lineares e Quase-Lineares . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 704

17.3 Exerccios Adicionais . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 822

APENDICES
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 823

15.2.2 Classificaca
o de Equaco
es de Segunda Ordem. Equaco
es Parab
olicas, Elpticas e Hiperb
olicas . . . . . . . . . . . . . 707
15.3 O M
etodo de Separaca
o de Vari
aveis . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 710

17.A Obtendo os Determinantes de Fredholm . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 823

15.3.1 O M
etodo de Separaca
o de Vari
aveis. Caso de Equaco
es Lineares . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 710
15.3.2 O M
etodo de Separaca
o de Vari
aveis. Caso de Equaco
es N
ao-Lineares

. . . . . . . . . . . . . . . . . . . . . . . . . . 713

15.4 Problemas de Cauchy e Superfcies Caractersticas. Definico


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

. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 727

. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 739

15.5.3 Sistemas de Equaco


es Quase-Lineares de Primeira Ordem

. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 740

15.5.3.1 Generalidades Sobre Problemas de Condica


o Inicial em Sistemas Quase-Lineares de Primeira Ordem . . . . . . 745
15.5.3.2 Sistemas Hiperb
olicos Semi-Lineares de Primeira Ordem em Duas Vari
aveis . . . . . . . . . . . . . . . . . . . . 748
15.5.3.3 Soluco
es Ditas Simples de Sistemas Quase-Lineares, Homog
eneos, de Primeira Ordem em Duas Vari
aveis . . . 751
15.6 Alguns Teoremas de Unicidade de Soluco
es de Equaco
es a Derivadas Parciais . . . . . . . . . . . . . . . . . . . . . . . . . . . . 754
15.6.1 Casos Simples. Discuss
ao Preliminar . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 754
15.6.2 Unicidade de Soluca
o para as Equaco
es de Laplace e Poisson . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 758
15.6.3 Unicidade de Soluco
es. Generalizaco
es . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 761
15.7 Exerccios Adicionais . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 768
16 Introdu
c
ao ao Problema de Sturm-Liouville

769

16.1 Coment
arios Iniciais . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 769
16.2 O Problema de Sturm . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 774
16.2.1 Soluco
es Fundamentais e Funco
es de Green . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 775
16.2.2 A Funca
o de Green. Resolvendo o Problema de Sturm . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 776
16.2.3 O Teorema de Green . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 779
16.3 O Problema de Sturm-Liouville . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 781
16.3.1 Propriedades B
asicas dos Auto-Valores e Auto-Funco
es de Problemas de Sturm-Liouville . . . . . . . . . . . . . . . . 783
16.3.1.1 A Simplicidade dos Auto-Valores . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 783
16.3.1.2 O Lema de Green . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 784
16.3.1.3 Realidade dos Auto-Valores e Auto-funco
es. Ortogonalidade de Auto-funco
es . . . . . . . . . . . . . . . . . . . 786
16.3.1.4 Propriedades dos Autovalores . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 787
16.3.2 A Equaca
o Integral de Fredholm . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 791
16.3.3 Uma Aplicaca
o do Problema de Sturm-Liouville . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 794
16.3.4 M
etodos Variacionais de Determinaca
o de Autovalores . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 797
16.4 Coment
arios Finais . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 799
16.4.1 Um Problema de Sturm-Liouville Singular . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 799
16.5 Exerccios Adicionais . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 802

APENDICES
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 806
16.A Prova do Teorema 16.1. Exist
encia e Unicidade

. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 806

16.B Prova da Proposica


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

. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 812

18 Rudimentos da Teoria do Potencial

829

18.1 A Equaca
o de Poisson em Tr
es Dimens
oes . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 829
18.1.1 A Equaca
o de Laplace em Domnios Limitados de R3 . O Problema de Dirichlet . . . . . . . . . . . . . . . . . . . . . 833
18.1.2 A Equaca
o de Poisson em R3 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 833
18.1.3 A Equaca
o de Poisson Dommios Limitados de R3 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 834
18.1.3.1 O Caso de Condico
es de Dirichlet . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 834
18.1.3.2 O Caso de Condico
es de Neumann . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 835
18.1.3.3 Exist
encia de Soluca
o . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 835
18.1.4 Aplicaco
es `
a Eletrost
atica: Capacit
ancia . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 835
18.2 O Teorema de Decomposica
o de Helmholtz . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 835
18.2.1 Aplicaco
es ao Eletromagnetismo . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 839
18.3 Propriedades B
asicas de Funco
es Harm
onicas em R3

. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 840

19 Alguns Problemas Selecionados de Interesse Fsico

842

19.1 Deduca
o de Algumas Equaco
es Diferenciais de Interesse . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 843
19.1.1 Deduca
o Informal da Equaca
o de Difus
ao de Calor . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 843
19.1.2 Deduca
o Informal da Equaca
o da Corda Vibrante . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 847
19.2 As Equaco
es de Helmholtz e de Laplace . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 853
19.2.1 Problemas em Duas Dimens
oes em Coordenadas Polares . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 855
19.2.2 Problemas em Tr
es Dimens
oes em Coordenadas Esf
ericas . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 857
19.3 Problemas de Difus
ao em uma Dimens
ao . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 860
19.3.1 A Evoluca
o da Temperatura de uma Barra Finita . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 860
19.3.2 A Evoluca
o da Temperatura de uma Barra Infinita . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 864
19.3.3 A Evoluca
o da Temperatura de uma Barra Semi-Infinita . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 869
19.4 A Equaca
o de Ondas . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 874
19.4.1 A Equaca
o de Ondas em 1 + 1 Dimens
oes . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 875
19.4.2 Interl
udio: Ondas Caminhantes e a Equaca
o do Tel
egrafo . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 878
19.4.3 Outro Interl
udio: S
olitons . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 880
19.4.3.1 S
olitons na Equaca
o de Korteweg-de Vries

. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 881

19.4.3.2 S
olitons na Equaca
o de Sine-Gordon . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 883
19.4.3.3 S
olitons no Modelo de Poco-Duplo . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 884
19.4.3.4 S
olitons na Equaca
o de Schr
odinger N
ao-Linear

. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 886

19.4.4 A Equaca
o de Ondas e Transformadas de Fourier . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 890
19.4.4.1 A Equaca
o de Ondas em 3 + 1 Dimens
oes. A Soluca
o de Kirchhoff . . . . . . . . . . . . . . . . . . . . . . . . . 893
19.4.4.2 A Equaca
o de Ondas em 2 + 1 Dimens
oes . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 894
19.5 O Problema da Corda Vibrante . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 896
19.5.1 Corda Vibrante Homog
enea . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 897
19.5.2 O Problema da Corda Homog
enea Pendurada . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 899
19.5.3 Corda Vibrante N
ao-Homog
enea . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 901
19.5.4 O Problema da Membrana Retangular Homog
enea

. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 904

814

19.6 O Problema da Membrana Circular Homog


enea . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 906

17.1 Descrica
o . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 814

19.7 O Oscilador Harm


onico na Mec
anica Qu
antica e a Equaca
o de Hermite . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 908

19.8 O Atomo
de Hidrog
enio e a Equaca
o de Laguerre Associada . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 910

17 Alguns Resultados sobre Equa


c
oes Integrais

17.2 O M
etodo dos Determinantes de Fredholm . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 816

11/2070

12/2070

19.9 Propagaca
o de Ondas em Tanques Cilndricos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 913

20.6.2 A Invari
ancia do Intervalo . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1039

19.10 Equaco
es Hiperb
olicas Lineares em 1+1 Dimens
oes e Equaco
es Integrais

20.6.3 O Grupo de Lorentz . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1041

. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 921

19.11 Aplicaco
es do M
etodo da Funca
o de Green . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 928

20.6.4 Alguns Subgrupos do Grupo de Lorentz

. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1042

19.11.1 A Equaca
o de Poisson em Tr
es Dimens
oes . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 929

20.6.5 A Estrutura do Grupo de Lorentz . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1045

19.11.2 A Equaca
o de Difus
ao N
ao-Homog
enea . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 930

20.6.6 Os Geradores do Grupo de Lorentz . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1049

19.11.3 A Equaca
o de Ondas N
ao-Homog
enea em n + 1-Dimens
oes . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 932

20.6.7 O Grupo de Galilei . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1054

19.11.3.1 A Equaca
o de Ondas N
ao-Homog
enea em 3 + 1-Dimens
oes . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 936

20.7 O Grupo de Poincar


e . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1056

19.11.3.2 Aplicaco
es `
a Eletrodin
amica. Potenciais Retardados . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 938

20.8 Exerccios Adicionais . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1061

APENDICES
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1063

19.11.3.3 A Equaca
o de Ondas N
ao-Homog
enea em 2 + 1-Dimens
oes . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 941
19.11.3.4 A Equaca
o de Ondas N
ao-Homog
enea em 1 + 1-Dimens
oes . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 943
19.12 Exerccios Adicionais . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 945
19.12.1 Problemas Selecionados de Eletrost
atica . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 945
19.12.2 Equaca
o de Difus
ao em uma Dimens
ao . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 948
19.12.3 Equaca
o de Ondas em uma Dimens
ao . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 951
19.12.4 Modos de Vibraca
o de Membranas

. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 955

20.A Prova do Teorema 20.9 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1063

21 Grupos de Lie e Algebras


de Lie. Uma Breve Introdu
c
ao

1074

21.1 Variedades e Grupos de Lie . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1074


21.2 Breves Consideraco
es sobre Grupos Topol
ogicos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1076
21.3 Grupos de Lie Matriciais . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1078
21.3.1 Uma Topologia M
etrica em GL(C, n) . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1078

19.12.5 Problemas sobre Ondas e Difus


ao em Tr
es Dimens
oes Espaciais . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 959

21.3.2 O Grupo de Lie GL(C, n) . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1079

19.12.6 Problemas Envolvendo Funco


es de Green . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 961

APENDICES
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 963

21.3.3 Subgrupos Uniparam


etricos e seus Geradores . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1081

21.3.4 Subgrupos Uniparam


etricos e Algebras
de Lie . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1084

19.A Duas Transformadas de Laplace . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 963

21.3.5 Subgrupos Fechados de GL(C, n) . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1088

Grupos

966

20 Grupos. Alguns Exemplos

967

21.4 A Relaca
o entre Grupos de Lie Matriciais e suas Algebras
de Lie . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1091

21.4.1 Algebras
de Lie Nilpotentes, Sol
uveis, Simples e Semi-Simples . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1092

21.4.2 Quest
oes sobre a Exponenciaca
o de Algebras
de Lie . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1094
21.4.3 Alguns Exemplos Especiais . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1096

20.1 O Grupo de Permutaco


es . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 968
20.1.1 Ciclos, Transposico
es e Transposico
es Elementares . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 969
20.2 Alguns Grupos Matriciais

22 Uma Breve Introdu


c
ao `
a Teoria das Representa
c
oes de Grupos

1102

. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 972

22.1 Representaco
es de Grupos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1102

20.2.1 Os Grupos GL(n) e SL(n) . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 972

22.2 M
edias Invariantes. A Medida de Haar . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1108

20.2.2 O Grupo de Borel e o Grupo de Heisenberg

22.3 Representaco
es de Grupos Compactos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1110

. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 975

20.2.2.1 O Grupo de Heisenberg . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 976

22.3.1 Representaco
es de Grupos Compactos em Espacos de Hilbert Separ
aveis . . . . . . . . . . . . . . . . . . . . . . . . . 1110

20.2.3 Grupos Associados a Formas Bilineares e Sesquilineares . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 982

22.4 O Teorema de Peter-Weyl

20.2.4 Os Grupos Ortogonais . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 984

22.5 Representaco
es Irredutveis de Dimens
ao Finita de SU(2) . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1125

. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1116

20.2.5 Os Grupos Unit


arios . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 985
20.3 Os Grupos SO(2), SO(3), SU(2) e SL(2, C)

. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 986

20.3.1 Os Grupos SO(2), O(2), SO(1, 1) e O(1, 1) . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 987

23 Spinores e o Grupo de Lorentz

1131

23.1 SL(2, C) e o Grupo de Lorentz . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1131

20.3.2 O Grupo SO(3) . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 990

23.1.1 Aco
es de SL(2, C) e o Grupo de Lorentz . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1134

20.3.2.1 Mais Propriedades das Matrizes de SO(3) . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 998

. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1138
23.2 Representaco
es Irredutveis de Dimens
ao Finita de L+

20.3.2.2 SO(3) e os Angulos


de Euler . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1001

23.3 Spinores . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1141

20.3.3 O Grupo O(3) . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1006

23.3.1 Spinores . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1145

20.3.4 O Grupo SU(2) . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1010

23.3.1.1 Produtos Escalares Invariantes para Spinores . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1146

20.3.5 A Relaca
o Entre SO(3) e SU(2) . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1015
20.3.6 O Grupo SL(2, C) . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1019

23.3.1.2 Spinores de Dirac e a Equaca


o de Dirac . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1152

APENDICES
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1157

20.4 Generalidades Sobre os Grupos SU(n) e SO(n) . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1020

. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1157
23.A Um Isomorfismo entre SL(2, C) / {1, 1} e L+

20.4.1 Os Grupos SU(n) . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1021


20.4.1.1 Um Pouco Sobre o Grupo SU(3) . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1023
20.4.2 Os Grupos SO(n) . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1025
20.5 O Grupo Afim e o Grupo Euclidiano . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1029

VI

Topologia Geral, Teoria da Medida e Integrac


ao

24 Espa
cos M
etricos

1165
1166

20.6 O Grupo de Lorentz em 3 + 1-Dimens


oes . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1033

24.1 M
etricas e Espacos M
etricos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1167

20.6.1 O Espaco-Tempo, a Noca


o de Intervalo e a Estrutura Causal . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1033

24.1.1 Completeza e o Completamento Can


onico . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1174

13/2070

14/2070

24.2 A Noca
o de Topologia de Espacos M
etricos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1181

28.1.1 A -
algebra de Borel em Rn e a Medida de Borel-Lebesgue . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1303

24.3 Pseudo-M
etricas . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1184

28.2 As Medidas de Hausdorff . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1305

24.4 Espacos de Funco


es Limitadas e Completeza . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1186

28.3 Conjuntos de Cantor . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1309

24.5 Espacos de Banach e de Hilbert . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1189

28.4 Bases de Hamel e a Medida de Lebesgue . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1318

24.5.1 Espacos de Banach em Espacos de Seq


u
encias . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1191

28.5 Exerccios Adicionais . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1320

24.6 Teorema do Melhor Aproximante em Espacos Normados Uniformemente Convexos . . . . . . . . . . . . . . . . . . . . . . . . . 1202


24.7 Exerccios Adicionais . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1207

APENDICES
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1210
24.A N
umeros Reais e p-
adicos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1210
24.B Aproximaco
es para . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1216

29 Continuidade e Converg
encia em Espa
cos Topol
ogicos

29.2 Espacos Hausdorff . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1327


29.3 Redes e o Caso de Espacos Topol
ogicos Gerais . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1328
29.3.1 Redes em Espacos M
etricos

25 O Teorema do Ponto Fixo de Banach e Algumas de Suas Conseq


u
encias

1221

1325

29.1 Primeiras Definico


es . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1325

. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1331

29.4 O Limite do Infimo e o Limite do Supremo . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1331

25.1 O Teorema de Ponto Fixo de Banach . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1222

29.5 Continuidade de Funco


es em Espacos Topol
ogicos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1335

25.1.1 Generalizaco
es do Teorema de Ponto Fixo de Banach . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1224

29.5.1 Outras Noco


es Associadas `
a de Continuidade . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1337

25.2 Aplicaca
o a Equaco
es Num
ericas. O M
etodo de Newton . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1227

29.5.1.1 Homeomorfismos e Mergulhos Topol


ogicos

. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1337

25.3 Aplicaca
o `
as Equaco
es Integrais de Fredholm e de Volterra . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1230

29.5.2 Outras Caracterizaco


es do Conceito de Continuidade em Espacos Topol
ogicos . . . . . . . . . . . . . . . . . . . . . . 1339

25.4 Aplicaco
es `
a Teoria das Equaco
es Diferenciais Ordin
arias . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1237

29.5.3 Continuidade e Converg


encia . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1340

25.4.1 O Teorema de Picard-Lindel


of . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1237
25.4.2 Generalizando o Teorema de Picard-Lindel
of. Soluco
es Globais . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1241
25.4.3 Um Teorema de Comparaca
o de Soluco
es de EDOs . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1242
25.5 O Teorema da Funca
o Implcita e o Teorema da Funca
o Inversa . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1245

30 Elementos da Teoria da Integra


c
ao

30.2 A Integraca
o no Sentido de Riemann . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1344
30.2.1 A Integral de Riemann Impr
opria . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1352

25.5.1 O Teorema da Funca


o Implcita . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1245
25.5.2 O Teorema da Funca
o Inversa . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1249

APENDICES
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1250

1342

30.1 Coment
arios Preliminares . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1342

30.2.2 Diferenciaca
o e Integraca
o em Espacos de Banach . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1354
30.3 A Integraca
o no Sentido de Lebesgue . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1358
30.3.1 Funco
es Mensur
aveis e Funco
es Simples . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1358

25.A O Lema de Gr
onwall . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1250

30.3.2 A Integral de Lebesgue. Integraca


o em Espacos Mensur
aveis . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1363
26 Espa
cos Topol
ogicos e Espa
cos Mensur
aveis. Defini
c
oes e Propriedades B
asicas

30.3.3 A Integral de Lebesgue e sua Relaca


o com a de Riemann . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1370

1251

26.1 Definico
es, Propriedades Elementares e Exemplos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1251

30.3.4 Teoremas B
asicos sobre Integraca
o e Converg
encia . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1372

26.2 Algumas Construco


es Especiais e Exemplos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1257

26.2.1 Topologias e -Algebras


Geradas . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1257

30.4 Os Espacos Lp e Lp . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1377

30.3.5 Alguns Resultados de Interesse . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1375

26.2.2 Bases de Espacos Topol


ogicos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1260

26.2.3 Topologias e -Algebras


Induzidas . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1262

26.2.4 Topologias e -Algebras


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

. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1265

30.4.1 As Desigualdades de H
older e de Minkowski . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1379
30.4.2 O Teorema de Riesz-Fischer. Completeza . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1382

APENDICES
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1383
30.A Mais sobre a Integral de Darboux . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1383

26.3.1 Fecho de Conjuntos em Espacos M


etricos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1270

30.A.1 Equival
encia das Definico
es II e III da Integrabilidade de Riemann

. . . . . . . . . . . . . . . . . . . . . . . . . . . . 1384

26.4 Espacos Topol


ogicos Separ
aveis e Segundo-Cont
aveis . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1272

30.B Caracterizaco
es e Propriedades de Funco
es Mensur
aveis . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1385

26.4.1 A Segundo-Contabilidade como Propriedade Herdada . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1275

30.C Prova do Lema 30.3 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1390


30.D Demonstraca
o de (30.26) . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1391

27 Medidas

1276

27.1 O Problema da Teoria da Medida . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1276


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

. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1289

27.4 Um Esquema de Construca


o de Medidas Exteriores . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1292
27.5 Medidas sobre An
eis e suas Extens
oes . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1294

APENDICES
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1299
27.A Prova das F
ormulas de Inclus
ao-Exclus
ao . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1299

30.E A Equival
encia das Definico
es (30.27) e (30.28) . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1391
30.F Prova do Teorema da Converg
encia Mon
otona . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1393
30.G Prova do Lema de Fatou . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1394
30.H Prova do Teorema da Converg
encia Dominada . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1395
30.I

Prova dos Teoremas 30.2 e 30.3

. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1396

30.J Prova das Desigualdades de H


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

1402

31.1 Uma Colet


anea de Definico
es . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1403
28 A Medida de Lebesgue e a Medida de Hausdorff
28.1 A Construca
o da Medida de Lebesgue em Rn

1301

. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1301

31.1.1 Conjuntos Densos em Espacos Topol


ogicos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1403

15/2070

31.1.2 A Noca
o de Conjunto Conexo em Espacos Topol
ogicos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1404

16/2070

32.2.3.1 Tracos de Tensores. Contraca


o de Indices . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1508

31.2 Axiomas de Separabilidade . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1407

32.2.3.2 Transposica
o de Tensores . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1510

31.2.1 Algumas Propriedades de Separaca


o em Espacos M
etricos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1408

32.2.4 Aplicaco
es Entre Variedades Diferenci
aveis . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1511

31.2.2 Postulados de Separabilidade em Espacos Topol


ogicos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1409

32.2.4.1 A Diferencial de Uma Aplicaca


o Entre Variedades. Pullback e Pushforward . . . . . . . . . . . . . . . . . 1511

31.2.3 O Lema de Urysohn . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1417


31.2.3.1 O Teorema de Extens
ao de Tietze . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1422
31.2.4 A Propriedade de Hausdorff como Propriedade Herdada
31.3 Compacidade, Compacidade Local e Paracompacidade

32.2.4.2 Imers
oes, Mergulhos e Subvariedades

. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1515

32.3 Campos Vetoriais e Tensoriais . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1517

. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1424

32.3.1 A Derivada de Lie . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1520

. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1425

32.4 Exemplos de Variedades Topol


ogicas e Diferenci
aveis . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1525

31.3.1 Algumas Definico


es Gerais . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1425

32.4.1 Uma Variedade Topol


ogica Paracompacta n
ao Segundo-Cont
avel

31.3.2 Espacos de Lindel


of. Um Mnimo . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1428

32.4.2 O Gr
afico de uma Funca
o Real em Rn . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1527

. . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1525

31.3.3 Compacidade. Definico


es e Propriedades em Espacos Topol
ogicos Gerais . . . . . . . . . . . . . . . . . . . . . . . . . 1429

32.4.2.1 Cones. E Um Estudo de Caso . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1529

31.3.3.1 Compacidade em Espacos Hausdorff . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1432

32.4.3 Superfcies Regulares em Rn . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1530

31.3.3.2 Compacidade em Espacos M


etricos
31.3.3.3 Compacidade em Rn

. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1435

32.4.4 As Esferas Sn . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1533

. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1442

32.4.5 Toros (e Algumas Generalizaco


es) . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1535

31.3.4 Os Teoremas de Ascoli e de Arzel`


a

. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1443

32.4.6 Espacos Projetivos Reais . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1538

31.3.4.1 Equilimitaca
o e Equicontinuidade de Famlias de Funco
es . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1444

32.4.7 Grupos de Lie . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1541

31.3.4.2 Os Teoremas de Ascoli de Arzel`


a para Famlias de Funco
es de um Compacto sobre um Espaco M
etrico . . . . 1445
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1448

32.4.8 Fibrados, Fibrados Vetoriais e Principais . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1541

APENDICES
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1543

31.3.5 Espacos Compactos Hausdorff e Partico


es da Unidade . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1451

32.A Derivadas de Lie. Prova das Relaco


es (32.70) e (32.81) . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1543

31.3.5.1 Uma Excurs


ao pelas Variedades Topol
ogicas Compactas Hausdorff . . . . . . . . . . . . . . . . . . . . . . . . . 1453

32.B Derivadas de Lie. Prova da Relaca


o (32.88) . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1544

31.3.4.3 O Teorema de Peano

31.3.6 Compacidade Local . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1455


31.3.6.1 Espacos Localmente Compactos Hausdorff . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1456
31.3.7 Paracompacidade . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1458
31.3.7.1 Espacos Paracompactos Hausdorff . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1459
31.4 As Noco
es de Topologia Inicial e de Topologia Final . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1463
31.4.1 A Topologia Inicial de uma Coleca
o de Funco
es . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1464
31.4.2 A Topologia Final de uma Coleca
o de Funco
es . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1466
31.4.3 A Topologia Quociente . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1467
31.5 Somas de Espacos Topol
ogicos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1467
31.6 A Topologia Produto de Espacos Topol
ogicos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1468
31.6.1 O Cubo de Hilbert . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1469
31.7 Teoremas de Metrizabilidade . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1472
31.7.1 O Teorema de Metrizaca
o de Urysohn e Tikhonov . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1473
31.8 O Teorema da Categoria de Baire . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1476
31.9 A M
etrica de Hausdorff . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1477

APENDICES
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1480
31.A Prova da Proposica
o 31.33 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1480

33 No
c
oes Geom
etricas em Variedades

1547

33.1 M
etricas Riemannianas e Semi-Riemannianas . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1547
33.1.1 Transposica
o em Relaca
o a Tensores M
etricos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1557
33.2 Conex
oes Afins . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1561
33.2.1 Conex
oes Afins em Campos Vetoriais . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1561
33.2.1.1 Conex
oes Afins em Campos Tensoriais . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1566
33.2.2 O Tensor de Torca
o . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1569
33.2.3 Tipos Especiais de Conex
oes Afins

. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1570

33.2.3.1 Conex
oes Sim
etricas (ou Livres de Torca
o) . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1570
33.2.3.2 Conex
oes M
etricas (ou Riemannianas) . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1572
33.2.3.3 Conex
oes de Levi-Civita . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1577
33.2.4 Gradiente, Divergente e Laplaciano . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1578
33.3 O Tensor de Curvatura . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1581
33.3.1 A Curvatura Seccional . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1588
33.3.2 O Tensor de Ricci e a Curvatura Escalar . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1591
33.4 Geod
esicas . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1593
33.4.1 O Lema de Gauss . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1597
33.4.2 Pontos Conjugados e a Equaca
o de Jacobi . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1600

VII

Geometria Diferencial e Topologia Diferencial

32 Variedades

1483
1484

32.1 Variedades Topol


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

. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1498

32.2.2.1 O Espaco Co-Tangente . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1504


32.2.3 Tensores em Variedades . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1506

33.4.2.1 A Equaca
o de Jacobi . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1600
33.4.2.2 Pontos Conjugados

. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1603

33.5 A Estrutura Causal de Variedades Lorentzianas . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1604


33.5.1 A Identidade de Raychaudhuri . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1607
33.5.2 Discuss
ao de Exemplos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1615

APENDICES
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1617
33.A Demonstraca
o de Algumas Propriedades do Tensor de Curvatura

. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1617

33.A.1 Prova da Proposica


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

. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1619

17/2070

18/2070

33.A.4 Prova da Proposica


o 33.10 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1621

35.3.2.2 Distribuico
es do Tipo Parte Finita de Hadamard . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1747

35.3.3 Algumas Relaco


es Uteis
Envolvendo Distribuico
es . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1750

33.A.5 Prova da Proposica


o 33.11 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1622

35.3.4 Derivadas de Distribuico


es . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1755

VIII

S
eries e Transformadas de Fourier. Distribui
c
oes

34 Aproxima
c
ao de Fun
c
oes. Aproxima
c
oes Polinomiais e S
eries de Fourier

35.3.4.1 Alguns Exemplos de Derivadas de Distribuico


es

1625

. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1756

35.3.4.2 C
alculo da Derivada de Algumas Distribuico
es de Interesse . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1757
35.3.5 Alguns Resultados Estruturais sobre Distribuico
es . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1759

1626

35.3.6 Transformadas de Fourier de Distribuico


es Temperadas . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1760

34.1 Noco
es de Converg
encia para Seq
u
encias de Funco
es . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1627

35.3.6.1 C
alculo de Transformadas de Fourier de Algumas Distribuico
es Temperadas

34.1.1 Import
ancia da Converg
encia Uniforme . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1628

. . . . . . . . . . . . . . . . . . . 1761

35.3.7 Produtos de Distribuico


es . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1763

34.1.1.1 Troca de Ordem entre Limites e Integrais . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1629


34.1.1.2 Troca de Ordem entre Limites e Derivadas . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1631

35.3.7.1 Produto de Convoluca


o de Distribuico
es . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1768

34.1.1.3 Troca de Ordem entre Derivadas e Integrais . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1631

35.4 Equaco
es Diferenciais Distribucionais, Soluco
es Fundamentais e Funco
es de Green . . . . . . . . . . . . . . . . . . . . . . . . . 1769

34.2 Seq
u
encias Delta de Dirac . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1633

35.4.1 Soluco
es Fundamentais . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1772

34.3 Aproximaca
o de Funco
es por Polin
omios . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1639

35.4.1.1 Soluco
es Fundamentais como Funco
es Generalizadas . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1773

34.3.1 O Teorema de Weierstrass . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1639

35.4.1.2 O Caso de Operadores Lineares a Coeficientes Constantes . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1775

34.3.2 O Teorema de Taylor . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1646

35.4.1.3 Alguns Exemplos Fisicamente Relevantes . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1778

34.4 Aproximaca
o de Funco
es por Polin
omios Trigonom
etricos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1653
34.4.1 Preliminares . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1654

35.5 Exerccios Adicionais . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1781

APENDICES
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1788

34.4.2 A S
erie de Fourier de Funco
es Peri
odicas de Perodo T . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1656

35.A Prova de (35.18) . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1788

34.4.3 Polin
omios Trigonom
etricos e Funco
es Contnuas e Peri
odicas . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1658

35.B Prova da Proposica


o 35.15 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1789

34.4.4 Converg
encia de S
eries de Fourier . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1663
34.4.4.1 S
eries de Fourier em Senos ou Co-Senos para Func
oes Definidas em Intervalos Compactos . . . . . . . . . . . . 1669
34.4.5 Revisitando a Aproximaca
o Uniforme de Funco
es Contnuas e Peri
odicas por Polin
omios Trigonom
etricos . . . . . . . 1672

. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1675
34.4.6 S
eries de Fourier e o Espaco de Hilbert L2 [, ], dx

IX

An
alise Funcional

1795

36 No
c
oes B
asicas Sobre Espa
cos de Hilbert

1796

34.5 O Teorema de Stone-Weierstrass . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1677

36.1 Aspectos Topol


ogicos B
asicos de Espacos de Hilbert . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1796

34.6 Completeza de Algumas Famlias de Funco


es . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1681

36.2 Aspectos Geom


etricos B
asicos de Espacos de Hilbert . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1798

34.6.1 Completeza de Polin


omios Ortogonais em Intervalos Compactos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1681

36.2.1 Conjuntos Ortonormais Completos em Espacos de Hilbert . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1802

34.6.2 Completeza de Polin


omios de Hermite

36.2.2 Conjuntos Totais . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1813

. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1683

34.6.3 Completeza dos Polin


omios Trigonom
etricos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1685

36.2.2.1 Um Exemplo no Espaco L2 (R, dx)

. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1813

34.7 Exerccios Adicionais . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1688

APENDICES
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1696

36.3 Funcionais Lineares e o Dual Topol


ogico de um Espaco de Hilbert . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1817

34.A Prova do Teorema de Weierstrass Usando Polin


omios de Bernstein . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1696

36.4 Exerccios Adicionais . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1820

36.3.1 O Teorema da Representaca


o de Riesz . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1818

34.B A Demonstraca
o de Weierstrass do Teorema de Weierstrass . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1700
37 Operadores Lineares Limitados em Espa
cos de Banach e de Hilbert
35 Introdu
c
ao `
as Distribui
c
oes e `
as Transformadas de Fourier

1702

1821

37.1 Operadores Lineares em Espacos Vetoriais Normados . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1823

. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1703

37.1.1 Espacos de Banach de Operadores . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1827

35.2 Transformadas de Fourier . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1712

37.1.2 O Dual Topol


ogico de um Espaco de Banach . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1831

35.2.1 Transformadas de Fourier no Espaco de Schwartz . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1715

37.1.3 O Teorema de Hahn-Banach e Algumas Conseq


u
encias do Mesmo . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1834

35.2.1.1 A Transformada de Fourier de Funco


es Gaussianas . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1717

37.1.4 O Teorema de Banach-Steinhaus ou Princpio de Limitaca


o Uniforme . . . . . . . . . . . . . . . . . . . . . . . . . . . 1840

35.1 Funco
es de Schwartz e Funco
es de Teste

35.2.1.2 Invertibilidade da Transformada de Fourier no Espaco de Schwartz . . . . . . . . . . . . . . . . . . . . . . . . . 1720

37.1.5 O Teorema da Aplicaca


o Aberta e o Teorema do Gr
afico Fechado . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1841

35.2.1.3 Transformadas de Fourier, Produtos de Convoluc


ao e Identidade de Plancherel . . . . . . . . . . . . . . . . . . 1722

37.2 Operadores Limitados em Espacos de Hilbert . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1848

35.2.1.4 A Transformada de Fourier em L2 (Rn , dx) e suas Propriedades Espectrais . . . . . . . . . . . . . . . . . . . . 1725


35.2.2 Transformadas de Fourier: T
opicos Suplementares . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1731
35.2.2.1 A F
ormula de Soma de Poisson . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1731
35.2.2.2 Transformadas de Fourier e M
edias Angulares . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1734
35.3 Distribuico
es e Distribuico
es Temperadas . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1739

37.2.1 A Noca
o de Operador Adjunto em Espacos de Hilbert

. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1849

37.2.2 Operadores Auto-Adjuntos, Normais, Unit


arios, Projetores Ortogonais e Isometrias Parciais . . .

37.3 Rudimentos da Teoria das Algebras


de Banach e Algebras
C . . . . . . . . . . . . . . . . . . . . . . . . .

37.3.1 Algebras
de Banach . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

37.3.2 Alguns Fatos Estruturais sobre Algebras


C . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

. . . . . . . . . . . 1851
. . . . . . . . . . . 1859
. . . . . . . . . . . 1859
. . . . . . . . . . . 1862

35.3.1 Primeiros Exemplos de Distribuico


es . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1741

37.3.2.1 Algebras
com Involuca
o e a Unidade . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1863

35.3.2 Outros Exemplos de Distribuico


es . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1745

37.3.3 A Inversa de Operadores Limitados . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1866

37.3.4 O Espectro de Operadores em Algebras


de Banach . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1871

35.3.2.1 A Distribuica
o Valor Principal . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1746

19/2070

37.3.5 O Operador Resolvente e Propriedades Topol


ogicas do Espectro . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1872

20/2070

38.1.3 O Adjunto de um Operador . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 2017

37.3.5.1 O Teorema da Aplicaca


o Espectral . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1875
37.3.6 O Raio Espectral . . . . . . . . . . . . . . . . . . . . . . . . .

37.3.7 O Homomorfismo de Gelfand em Algebras


C . . . . . . . . .

37.3.8 Razes Quadradas de Operadores em Algebras


de Banach . . .

37.3.9 Elementos Positivos de Algebras


C . . . . . . . . . . . . . . .

38.2 Espacos de Defici


encia e Extens
oes Auto-Adjuntas de Operadores Sim
etricos . . . . . . . . . . . . . . . . . . . . . . . . . . . . 2028

. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1880

38.2.1 Consideraco
es Preliminares . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 2028

. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1882

38.2.2 Classificaca
o de Extens
oes Sim
etricas Fechadas de Operadores Sim
etricos Fechados. Extens
oes Auto-Adjuntas . . . . 2029

APENDICES
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 2035

. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1884

37.3.9.1 Relaca
o de Ordem Decorrente da Positividade em Algebras
C

37.3.10 Aproximantes da Unidade em Algebras


C . . . . . . . . . . . . . . . .

37.3.10.1 Cosets por Bi-Ideais em Algebras


C . . . . . . . . . . . . . . .

37.4 Algebras
de von Neumann. Um Mnimo . . . . . . . . . . . . . . . . . . . . . . .
37.4.0.2 O Teorema do Bicomutante . . . . . . . . . . . . . .

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

. . . . . . . . . . . . . . . . . . . . . . . . . . 1888
. . . . . . . . . . . . . . . . . . . . . . . . . . 1890
. . . . . . . . . . . . . . . . . . . . . . . . . . 1893
. . . . . . . . . . . . . . . . . . . . . . . . . . 1897

. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1901
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1901

37.5.2.2 Estados Puros, de Mistura e a Irredutibilidade de Representaco


es GNS . . . . . . . . . . . . . . . . . . . . . . 1911

37.5.3 Exemplos em Algebras


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

. . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1949

37.8.1.1 O Teorema da Alternativa de Fredholm . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1951


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

. . . . . . . . . . . . . . . . . . . . . . . . . . 2002

37.10.4 Operadores de Hilbert-Schmidt e Operadores Integrais . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 2003


37.10.5 O Teorema de Lidskii. Traco e Espectro de Operadores Traciais . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 2007

APENDICES
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 2008
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 2008

37.B Um Lema Devido a F. Riesz Sobre Espacos Normados . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 2010


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

38.A Prova do Lema 38.6 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 2035

39 O Limite Indutivo de Algebras

2036

Bibliografia

2044

Indice Remissivo

2053

. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1898

. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1904

37.5.2.1 Estados em Algebras


C e a Representaca
o GNS . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1905

37.A Prova do Teorema 37.19

38.1.3.1 Operadores Sim


etricos, Auto-Adjuntos e Essencialmente Auto-Adjuntos . . . . . . . . . . . . . . . . . . . . . . 2023

. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1876

2012

38.1 Classificando Operadores N


ao-Limitados . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 2012
38.1.1 Operadores Fechados . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 2014
38.1.2 Operadores Fech
aveis . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 2016

21/2070

22/2070

Bons Mots

Pref
acio

intencao basica deste livro e fornecer a estudantes de Fsica nocoes matem


aticas importantes para uma melhor
compreens
ao de desenvolvimentos modernos da Fsica Teorica e da Matematica. Longe vai o tempo em que o
conhecimento matem
atico requerido a um fsico teorico restringia-se a certos metodos de resolucao de equacoes
diferenciais ordinarias e parciais. Essa visao, porem, infelizmente impregna ate o presente a concepcao de
certas disciplinas ditas de Fsica-Matem
atica (ou de Metodos Matematicos da Fsica Teorica) 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 pos-graduacao
ministradas no IFUSP. Diversos de seus captulos podem ser empregados em disciplinas de graduacao ou pos-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
matem
aticos e munindo-se de uma boa colecao de exemplos e contra-exemplos de v
arias 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 v
arias situacoes
tratadas.
Este texto, porem, nao e substituto `a leitura dos bons livros especializados nos diversos assuntos aqui tratados.
Parte do material aqui apresentado pode ser encontrado em diversas fontes, citadas na bibliografia (pagina 2045), mas a
apresentacao e sua ordem sao pr
oprias. H
a tambem neste texto demonstracoes do pr
oprio autor de resultados conhecidos
que sao, por alguma razao, 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 ser
ao escritos. O material j
a presente e,
porem, u
til a todos aqueles que queiram iniciar-se nos assuntos aqui expostos. Vers
oes atualizadas ser
ao colocadas na
rede (no endereco acima indicado) sempre que possvel.
O autor agradece a todos os que apresentarem sugest
oes. 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, Marcio Andre Prieto Aparcio Lopez, Dorival Goncalves Netto, Celia Santos Jord
ao Alves,
Bruno Lima de Souza, Leandro Saccoletto, Joao Pedro Jeric
o de Andrade, Ronaldo da Silva Alves Batista, Carolina Dias
Alexiou, Arao Benjamin Garcea, Cl
audio 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 sugest
oes.

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.

As Secoes 23.A, pagina 1157, e 25.4.1, pagina 1237, foram originalmente escritas por Daniel Augusto Cortez. A Secao
19.9, pagina 913, foi originalmente escrita por Andre M. Timpanaro, Fleury J. Oliveira e Paulo H. Reimberg. A eles
dedicamos agradecimentos especiais.

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
`a
rvore que os gerou.
Louis Pasteur (18221895), in Pourquoi la France na pas trouve dhommes superieurs au moment du peril, Revue
Scientifique (Paris, 1871).

Jo
ao Carlos Alves Barata

Disse Kant2 : Eu afirmo que em cada Ciencia Natural especfica pode-se atingir somente tanto Conhecimento verdadeiro
quanto nela houver de Matematica. 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

Sao Paulo, 18 de julho de 2013


Departamento de Fsica Matematica
Universidade de Sao Paulo

1 Godfrey

Harold Hardy (18771947).


Kant (17241804).

2 Immanuel

23/2070

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

Encore, 19721973. Texto organizado por Jacques-Alain Miller. Paris: Editions


du Seuil. Traduzido e citado por Alan
Sokal e Paul Bricmont in Intellectual Impostures.
Para a definicao de compacidade, vide Secao 31.3, pagina 1425.
* ** *** ** *
Unprovided with original learning, unformed in the habits of thinking, unskilled in the arts of composition, I resolved to
write a book.
Edward Gibbon (17371794).
Talvez eu n
ao tenha tido exito em fazer as coisas difceis tornarem-se f
aceis, mas pelo menos eu nunca fiz um assunto
f
acil tornar-se difcil.
F. G. Tricomi (18971978).
... E costumava dizer que nenhum livro e t
ao ruim a ponto de nada conter de valor....
Plnio, o Novo (61114), a respeito de seu tio, Plnio, o Velho (2379).
Would I had phrases that are not known, utterances that are strange, in new language that has not been used, free from
repetition, not an utterance that has grown stale, which men of old have spoken.
Khakheperresenb (ci. 1900 AC), escriba egpcio. Citado em The Burden of the Past and the English Poet de Walter
Jackson Bate.
Tudo que deveria ter sido dito j
a o foi, mas como ninguem ouvia, tudo tem de ser dito novamente.
Andre Paul Guillaume Gide (18691951).
Uma obra nunca e terminada, ela e apenas abandonada.
Atribuido a Paul Valery (18711945).

24/2070

Como Ler Este Livro


Reading made Don Quixote a gentleman. Believing what he read made him mad.
George Bernard Shaw (18561950).

O leitor deste livro nao 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 nao foi concebido dessa forma e tal
concepcao nao seria exeq
uivel devido `a variedade de assuntos, `as diferencas de nvel de abordagem e `a complexidade das
conexoes entre os diferentes temas. O Conhecimento nao 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 pagina 45).
Os diversos captulos nao 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 discussao de aplicacoes em Fsica e postergada para o Captulo
19, pagina 843, e o leitor interessado na motivacao para certos tratamentos pode sem perdas consultar esse captulo antes
ou durante o estudo de captulos que lhe antecedem.
Um problema semelhante ocorre com temas ligados `a Topologia e `a Analise. Os captulos dedicados a esses assuntos
servem a captulos que lhes sucedem, mas tambem, em parte, a captulos que lhes antecedem. Cabe ao leitor perceber suas
necessidades formativas, avancando ou retrocedendo na leitura conforme lhe aprouver. A consulta ao Indice Remissivo
(pagina 2053) ou `a lista de Captulos e Secoes que compoe o texto (pagina 3) deve ser de valia para tal.

25/2070

26/2070

Nota
c
ao e Advert
encias

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 comentario `a pagina 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.

Para facilitar a consulta e a leitura, listamos aqui sem muitos comentarios um pouco da notacao que empregaremos
nestas Notas.

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

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.

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.

O smbolo A := B ou B =: A denota que A e definido pela express


ao B. O smbolo A B indica que A e B sao
duas notacoes distintas para o mesmo objeto.

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
nao e universal. O padrao ISO 31-11 (dedicado a sinais e smbolos matem
aticos) recomenta a convencao N =
{0, 1, 2, 3, . . .} e N = {1, 2, 3, . . .}. O leitor deve ter cuidado, portanto, ao comparar textos diferentes.

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 pr
oprio 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 ) entao
definimos
hx, yiR := x1 y1 + + xn yn .

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

Trata-se do produto escalar usual em Rn .

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.

Se x = (x1 , . . . , xn ) e y = (y1 , . . . , yn ) sao vetores complexos com n componentes (ou seja, elementos de Cn )
entao definimos
hx, yiC := x1 y1 + + xn yn .

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

Trata-se do produto escalar usual em Cn .

B(L) designa a colecao de todos os conjuntos Borelianos de L (em relacao `a 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.

Se x = (x1 , . . . , xn ) e y = (y1 , . . . , yn ) sao vetores complexos com n componentes (ou seja, elementos de Cn )
entao definimos
hx, yiR := x1 y1 + + xn yn .

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 imagin
aria de um n
umero complexo ou mesmo com a da
1
(T T ).
parte imagin
aria de um operador agindo em um espaco de Hilbert: Im (T ) := 2i

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) ser
a denotado simplesmente por
Mat (R, n) (por Mat (C, n)).
Se A e um elemento de Mat(R, n) oude Mat(C, n), entao AT designa a matriz transposta de A, ou seja, a matriz
cujos elementos de matriz ij sao AT 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 nao usaremos isso aqui.
Assim, se A Mat(C, n), entao A sera a adjunta de A (em relacao ao produto escalar usual, acima). O elemento
de matriz ij de A sera (A )ij = Aji .

A nocao de propriedade v
alida quase em toda parte e definida na pagina 1282.
Intervalos
Ainda nao 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

Denotaremos o operador identidade agindo em um espaco vetorial (a matriz identidade, agindo em um espaco
vetorial de dimens
ao 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 nao causar
confusao com a notacao para par ordenado. Outra notacao possvel e aquela empregada freq
uentemente em textos
de Mec
anica 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.
Assim, se e sao n
umeros complexos, teremos hu, vi = hu, vi. Textos de Matematica adotam por vezes a
convencao oposta (ou mesmo ambas!).

[a, b] = {x R, com a x b}
e dito ser um intervalo fechado. Para a < b R os conjuntos
[a, b) = {x R, com a x < b}
e
(a, b] = {x R, com a < x b}
sao ditos ser intervalos semi-abertos (ou semi-fechados).
importante dizer que a nomenclatura aberto ou fechado acima e usada independentemente da topologia usada
E
em R (a nocao de topologia sera introduzida adiante).

27/2070

Delta de Kr
onecker
De i e j pertencem a um conjunto contavel 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
Rn+1 situados a uma dist
ancia Euclidiana igual a 1 da origem:
p
n
o


Sn :=
y 1 , . . . , y n+1 Rn+1
(y 1 )2 + + (y n+1 )2 = 1 .

Note-se que S0 = {1, 1}.

28/2070

29/2070

Parte I
Captulos Introdut
orios

30