You are on page 1of 13

2/1685

Universidade de S
ao Paulo
Departamento de Fsica Matematica
2009

Curso de Fsica-Matem
atica
Jo
ao Carlos Alves Barata

Vers
ao de 27 de setembro de 2009

Estas notas, ou sua vers


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

4/1685

Indice

2.1.11 Induzindo Estruturas Alg


ebricas . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 91

Pref
acio . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 18

2.2

Grupos. Estruturas e Construco


es B
asicas . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 95

Bons Mots . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 19

2.2.1

Cosets . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 95

Como Ler Este Livro . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 21

2.2.2

Subgrupos Normais e o Grupo Quociente . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 97

Nota
c
ao e Advert
encias . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 22

2.2.3

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

2.2.4

Grupos Gerados por Conjuntos. Grupos Gerados por Relaco


es . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 100

Captulos Introdut
orios

25

1 No
c
oes B
asicas
1.1

1.1.2
1.1.3

Relaco
es e Funco
es . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 27
1.1.1.1

Produtos Cartesianos Gerais . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 32

1.1.1.2

Relaco
es de Compatibilidade e de Incompatibilidade . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 33

1.1.1.3

Relaco
es de Equival
encia . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 34

1.1.1.4

Relaco
es de Ordem

. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 35

Semi-An
eis de Conjuntos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 49

1.2.2

An
eis de Conjuntos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 49

Algebras
de Conjuntos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 51

1.2.5

-An
eis de Conjuntos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 52

-Algebras
de Conjuntos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 52

1.2.6

Topologias . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 53

1.2.7

Filtros e Ultra-Filtros . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 54

APENDICES
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 57

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

2.4

2.5

O Produto Direto de Grupos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 101

2.2.5.2

O Produto Semi-Direto Grupos

2.2.5.3

Produtos Tensoriais de Grupos Abelianos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 104

. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 102

2.3.1

Bases Alg
ebricas de um Espaco Vetorial . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 106

2.3.2

O Dual Alg
ebrico de um Espaco Vetorial

2.3.3

Subespacos e Espacos Quocientes . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 116

2.3.4

Somas Diretas de Espacos Vetoriais . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 117

. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 110

Produtos Tensoriais de Espacos Vetoriais . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 117


2.3.5.1

Duais Alg
ebricos e Produtos Tensoriais . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 122

2.3.5.2

Produtos Tensoriais de um mesmo Espaco Vetorial. Espacos Sim


etrico e Anti-Sim
etrico . . . . . . . . . . . . . 123

2.3.5.3 O Produto Tensorial de M


odulos. Derivaco
es . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 125

An
eis e Algebras.
Estruturas e Construco
es B
asicas . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 126

2.4.1 Ideais em An
eis e Algebras
Associativas . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 126
Ideais em An
eis . . . . . . . . . . . .

Ideais em Algebras
Associativas . . .

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

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

2.6

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

Espacos Vetoriais. Estruturas e Construco


es B
asicas . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 106

2.3.5

Cardinalidade . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 41
Infimos e Supremos de Famlias de Conjuntos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 46

1.2.1

1.2.4

2.4.1.1

. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 127

2.4.1.2

. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 131
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 133
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 134

Algebras
Exteriores . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 135

T
opicos Especiais . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 136
2.6.1

O Grupo de Grothendieck . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 137

59

2.6.2

Grup
oides . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 138

Estruturas Alg
ebricas B
asicas . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 60

2.1.1 Algebras
Universais . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 62

2.1.2 Reticulados e Algebras


Booleanas . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 64

2.6.3

Quat
ernios . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 140

2 Estruturas Alg
ebricas B
asicas
2.1

2.3

Sistemas de Conjuntos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 48

1.2.3

1.A

26

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

1.2

2.2.5

2.1.3

Semi-Grupos, Mon
oides e Grupos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 69

2.1.4

Corpos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 73

2.1.5

Espacos Vetoriais . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 76

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

2.1.6

2.1.6.1

An
eis . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 78

2.1.6.2

. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 78

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

2.1.6.3 Algebras
. . . . . . . . . . . .

2.1.7 Exemplos Especiais de Algebras


. . .

2.1.7.1 Algebras
de Lie . . . . . . . .
2.1.7.2
2.1.7.3
2.1.7.4
2.1.7.5

Algebras
de Poisson . . . . .

Algebras
de Jordan . . . . .

Algebras
de Grassmann . . .

Algebras
de Clifford . . . . .

. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 79
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 80
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 80

. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 83

3 Formas Lineares e Normas em Espa


cos Vetoriais
3.1

3.1.1

. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 85

144
. . . . . . . . . . . . . . . . . . . . . . . . . . . . 144

Formas Multilineares . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 144


3.1.1.1

Formas Multilineares em Dimens


ao Finita e Produtos Tensoriais . . . . . . . . . . . . . . . . . . . . . . . . . . 149

3.1.2

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

3.1.3

Produtos Escalares . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 152

3.1.4

Exemplos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 154

3.2

Normas em Espacos Vetoriais

3.3

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

3.4

Formas Bilineares e Sesquilineares e Produtos Escalares em Espacos de Dimens


ao Finita . . . . . . . . . . . . . . . . . . . . . 164

3.5

Estruturas Complexas sobre Espacos Vetoriais Reais . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 167

APENDICES
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 174

. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 83
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 84

Formas Lineares, Sesquilineares e Produtos Escalares em Espacos Vetoriais

. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 156

3.A

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

3.B

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

2.1.8

Mais sobre An
eis . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 85

2.1.9

Aco
es e Representaco
es . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 87

4.1

Alguns Operadores Diferenciais de Interesse

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

4.2

Teoremas Cl
assicos sobre Integrais de Volume e de Superfcie . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 182

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

178

. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 178

5/1685

4.3

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

T
opicos de Algebra
Linear

II

186

5 T
opicos de Algebra
Linear. I

187

5.1

Propriedades B
asicas de Determinantes e Inversas de Matrizes . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 188

5.2

Noco
es B
asicas sobre o Espectro de uma Matriz . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 197
5.2.1

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

5.2.2

Autovetores . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 200

5.2.3

O Traco de uma Matriz . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 202


5.2.3.1

5.3

III
7.1

306
307

Definica
o e Alguns Exemplos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 307
7.1.1

Equaco
es Diferenciais Ordin
arias Lineares . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 309

7.1.2

Equaco
es Ordin
arias de Segunda Ordem. Exemplos de Interesse . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 312

Sistemas de Equaco
es Diferenciais Ordin
arias . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 314

7.3

Discuss
ao sobre Problemas de Valor Inicial . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 318
7.3.1

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

7.3.2

Teoremas de Exist
encia e Unicidade de Soluco
es . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 323

7.3.3

Soluco
es Globais . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 325

7.3.4

Depend
encia Contnua de Condico
es Iniciais e de Par
ametros

. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 327

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

328

O Teorema de Hamilton-Cayley . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 206

Matrizes Auto-adjuntas, Normais e Unit


arias . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 225

Equa
c
oes Diferenciais

7.2

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

Diagonalizaca
o Simult
anea de Matrizes . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 222

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

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

Matrizes Diagonaliz
aveis e o Teorema Espectral . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 210
5.4.1

5.5

6.7

Polin
omios de Matrizes . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 204
5.3.1

5.4

6/1685

8.1

Soluca
o de Equaco
es Ordin
arias Lineares de Primeira Ordem . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 328

5.5.1

Matrizes Positivas . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 230

8.2

As Equaco
es de Bernoulli e de Riccati . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 329

5.5.2

O Teorema de In
ercia de Sylvester. Superfcies Quadr
aticas

. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 232

8.3

Integraca
o de Equaco
es Separ
aveis . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 331

5.6

Matrizes Triangulares . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 238

8.4

O M
etodo de Variaca
o de Constantes . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 332

5.7

O Teorema de Decomposica
o de Jordan e a Forma Can
onica de Matrizes . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 239

8.5

O M
etodo de Substituica
o de Pr
ufer . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 333

5.8

5.9

5.7.1

Resultados Preparat
orios . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 240

8.6

O M
etodo de Invers
ao . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 335

5.7.2

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

8.7

Soluca
o de Equaco
es Exatas e o M
etodo dos Fatores Integrantes . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 336

5.7.3

Matrizes Nilpotentes e sua Representaca


o Can
onica . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 246

8.8

Soluco
es das Equaco
es de DAlembert-Lagrange e Clairaut . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 340

5.7.4

A Forma Can
onica de Matrizes . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 249

Algumas Representaco
es Especiais de Matrizes . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 251

9 Sistemas de Equa
c
oes Diferenciais Ordin
arias Lineares

344

5.8.1

A Decomposica
o Polar de Matrizes . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 252

9.1

Introduca
o . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 345

5.8.2

A Decomposica
o em Valores Singulares . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 253

9.2

Unicidade e Exist
encia de Soluco
es

5.8.3

O Teorema da Triangularizaca
o de Schur . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 254

9.2.1

Unicidade . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 345

5.8.4

A Decomposica
o QR e a Decomposica
o de Iwasawa (KAN) . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 256

9.2.2

Exist
encia. A S
erie de Dyson

A Pseudo-Inversa de Moore-Penrose. Optimizaca


o Linear . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 258

9.2.3

Propriedades de D(s, t)

5.9.1

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


5.9.1.1

A Regularizaca
o de Tikhonov. Exist
encia . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 263

5.9.1.2

9.3

. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 345

Equaco
es com Coeficientes Constantes
9.3.1

. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 348

. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 352
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 354

Alguns Exemplos e Aplicaco


es . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 356

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

9.4

Perturbaco
es de Sistemas Lineares . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 360

5.9.2

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


o Linear . . . . . . . . . . . . . . . . . . . . . . . . . 267

9.5

Mais sobre a S
erie de Dyson. Produtos de Tempo Ordenado . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 363

5.9.3

Exist
encia e Decomposica
o em Valores Singulares . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 268

9.6

Sistemas de Equaco
es Diferenciais Lineares no Plano Complexo . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 365
9.6.1

O Caso Analtico . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 366

. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 269

9.6.2

Resoluca
o por S
eries de Pot
encias . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 370

5.10.2 A Desigualdade de Hadamard . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 270

9.6.3

Sistemas com Pontos Singulares. Monodromia . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 372

5.11 Exerccios Adicionais . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 273

9.6.4

Sistemas com Pontos Singulares Simples . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 380

5.10 Propriedades Especiais de Determinantes . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 269


5.10.1 Expans
ao do Polin
omio Caracterstico

9.7

6 T
opicos de Algebra
Linear. II

Sistemas Provenientes de EDOs de Ordem m . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 384

275

9.7.1

Pontos Singulares Simples em EDOs de Ordem m

6.1

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

9.7.2

Singularidades no Infinito

6.2

Exponenciais, Logaritmos e Funco


es Analticas de Matrizes . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 279

9.7.3

Alguns Exemplos de Interesse . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 389

6.2.1

A Exponenciaca
o de Matrizes e os Grupos GL(C, n) e GL(R, n) . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 286

9.8

. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 385

. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 388

Equaco
es Fuchsianas. Smbolos de Riemann . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 394

6.3

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

9.8.1

Equaco
es Fuchsianas de Primeira Ordem . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 394

6.4

Aplicaco
es Lineares em Mat (C, n)

. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 291

9.8.2

Equaco
es Fuchsianas de Segunda Ordem . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 398

6.5

A F
ormula de Baker, Campbell e Hausdorff . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 296

9.8.3

6.6

A F
ormula de Duhamel e Algumas de suas Conseq
u
encias

. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 301

A Equaca
o de Riemann-Papperitz. Smbolos de Riemann . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 406
9.8.3.1

Transformaco
es de Simetria dos Smbolos de Riemann . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 408

7/1685

Equaco
es Fuchsianas com tr
es pontos singulares e a equaca
o hipergeom
etrica . . . . . . . . . . . . . . . . . . . 411

APENDICES
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 559

Exerccios Adicionais . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 414

11.A Provando (11.71) a


` Forca Bruta . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 559

9.8.3.2
9.9

8/1685

10 Solu
c
oes de Equa
c
oes Diferenciais Ordin
arias Lineares no Plano Complexo

418

10.1 Soluco
es em S
eries de Pot
encias para Equaco
es Regulares . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 419

12 Rudimentos da Teoria das Equa


c
oes a Derivadas Parciais
12.1 Definico
es, Notaco
es e Alguns Exemplos

561

. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 562

10.1.1 A Equaca
o do Oscilador Harm
onico Simples . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 420

12.2 Algumas Classificaco


es de Equaco
es a Derivadas Parciais . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 570

10.1.2 A Equaca
o de Legendre . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 421

12.2.1 Equaco
es Lineares, N
ao-Lineares, Semi-Lineares e Quase-Lineares . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 570

10.1.3 A Equaca
o de Hermite . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 424

12.2.2 Classificaca
o de Equaco
es de Segunda Ordem. Equaco
es Parab
olicas, Elpticas e Hiperb
olicas . . . . . . . . . . . . . 572

10.1.4 A Equaca
o de Airy . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 426

12.3 O M
etodo de Separaca
o de Vari
aveis . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 576

10.1.5 A Equaca
o de Chebyshev . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 428

12.3.1 O M
etodo de Separaca
o de Vari
aveis. Caso de Equaco
es Lineares . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 576

10.1.6 O Caso de Equaco


es Regulares Gerais . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 431

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

. . . . . . . . . . . . . . . . . . . . . . . . . . 579

10.2 Soluca
o de Equaco
es Singulares Regulares. O M
etodo de Frobenius . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 432

12.4 Problemas de Cauchy e Superfcies Caractersticas. Definico


es e Exemplos B
asicos . . . . . . . . . . . . . . . . . . . . . . . . . 581

10.2.1 Equaco
es Singulares Regulares. O Caso Geral . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 435

12.5 O M
etodo das Caractersticas . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 588

10.2.2 A Equaca
o de Euler Revisitada . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 443

12.5.1 Exemplos de Aplicaca


o do M
etodo das Caractersticas

10.2.3 A Equaca
o de Bessel . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 445

12.5.2 Caractersticas. Coment


arios Adicionais

. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 593

10.2.4 Equaco
es Relacionadas a
` de Bessel. A Equaca
o de Bessel Esf
erica . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 455

12.5.3 Sistemas de Equaco


es Quase-Lineares de Primeira Ordem

. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 605
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 606

10.2.5 Equaco
es Relacionadas a
` de Bessel. A Equaca
o de Bessel Modificada . . . . . . . . . . . . . . . . . . . . . . . . . . . 456

12.5.3.1 Generalidades Sobre Problemas de Condica


o Inicial em Sistemas Quase-Lineares de Primeira Ordem . . . . . . 610

10.2.6 A Equaca
o de Laguerre . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 457

12.5.3.2 Sistemas Hiperb


olicos Semi-Lineares de Primeira Ordem em Duas Vari
aveis . . . . . . . . . . . . . . . . . . . . 614

10.2.7 A Equaca
o Hipergeom
etrica . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 459

12.5.3.3 Soluco
es Ditas Simples de Sistemas Quase-Lineares, Homog
eneos, de Primeira Ordem em Duas Vari
aveis . . . 616

10.2.8 A Equaca
o Hipergeom
etrica Confluente . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 463

12.6 Alguns Teoremas de Unicidade de Soluco


es de Equaco
es a Derivadas Parciais . . . . . . . . . . . . . . . . . . . . . . . . . . . . 620

10.3 Algumas Equaco


es Associadas . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 465

12.6.1 Casos Simples. Discuss


ao Preliminar . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 620

10.3.1 A Equaca
o de Legendre Associada . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 465

12.6.2 Unicidade de Soluca


o para as Equaco
es de Laplace e Poisson . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 624

10.3.2 A Equaca
o de Laguerre Associada . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 467

12.6.3 Unicidade de Soluco


es. Generalizaco
es . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 626

10.4 A Funca
o Gama. Definica
o e Propriedades . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 468

12.7 Exerccios Adicionais . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 633

10.5 Exerccios Adicionais . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 481

APENDICES
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 483
10.A Prova da Proposica
o 10.1. Justificando os Polin
omios de Legendre . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 483
10.B Provando (10.14)

. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 484

10.C Justificando os Polin


omios de Hermite . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 486
10.D Provando (10.20)

. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 487

10.E Porque deve ser um Inteiro Positivo na Equaca


o de Laguerre . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 488

13 Introdu
c
ao ao Problema de Sturm-Liouville

634

13.1 Coment
arios Iniciais . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 634
13.2 O Problema de Sturm . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 639
13.2.1 Soluco
es Fundamentais e Funco
es de Green . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 640
13.2.2 A Funca
o de Green. Resolvendo o Problema de Sturm . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 641
13.2.3 O Teorema de Green . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 644
13.3 O Problema de Sturm-Liouville . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 646

491

13.3.1 Propriedades B
asicas dos Auto-Valores e Auto-Funco
es de Problemas de Sturm-Liouville . . . . . . . . . . . . . . . . 648

11.1 Discuss
ao Preliminar . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 491

13.3.1.1 A Simplicidade dos Auto-Valores . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 648

11.1.1 Relaco
es de Ortogonalidade . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 492

13.3.1.2 O Lema de Green . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 649

11.1.1.1 Condico
es de Contorno e a Origem das Relaco
es de Ortogonalidade . . . . . . . . . . . . . . . . . . . . . . . . 496

13.3.1.3 Realidade dos Auto-Valores e Auto-funco


es. Ortogonalidade de Auto-funco
es . . . . . . . . . . . . . . . . . . . 651

11 Propriedades de Algumas Fun


c
oes Especiais

11.1.2 F
ormulas de Rodrigues . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 500

13.3.1.4 Propriedades dos Autovalores . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 652

11.1.3 Funco
es Geratrizes . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 502

13.3.2 A Equaca
o Integral de Fredholm . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 656

11.2 Propriedades de Algumas Funco


es Especiais . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 510

13.3.3 Uma Aplicaca


o do Problema de Sturm-Liouville . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 659

11.2.1 Propriedades dos Polin


omios de Legendre . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 510

13.3.4 M
etodos Variacionais de Determinaca
o de Autovalores . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 662

11.2.2 Propriedades dos Polin


omios de Legendre Associados . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 515

13.4 Coment
arios Finais . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 664

11.2.2.1 As Funco
es Harm
onicas Esf
ericas

. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 521

13.4.1 Um Problema de Sturm-Liouville Singular . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 664

11.2.3 Propriedades dos Polin


omios de Hermite . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 527

13.5 Exerccios Adicionais . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 667

APENDICES
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 670

11.2.4 Propriedades dos Polin


omios de Laguerre . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 531

13.A Prova do Teorema 13.1. Exist


encia e Unicidade

11.2.5 Propriedades dos Polin


omios de Laguerre Associados . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 535

13.B Prova da Proposica


o 13.2 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 671

11.2.6 Propriedades das Funco


es de Bessel . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 538

13.C Coment
ario Sobre o Determinante Wronskiano . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 672

11.2.7 Propriedades das Funco


es de Bessel Esf
ericas . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 552

13.D Demonstraca
o do Teorema 13.3 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 673

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

. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 523

11.3 Exerccios Adicionais . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 556

13.D.1 Prova da Desigualdade (13.D.17)

. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 670

. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 676

9/1685

10/1685

678

14.1 Descrica
o . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 678

16.7 O Oscilador Harm


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

16.8 O Atomo
de Hidrog
enio e a Equaca
o de Laguerre Associada . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 773

14.2 O M
etodo dos Determinantes de Fredholm . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 680

16.9 Propagaca
o de Ondas em Tanques Cilndricos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 775

14 Alguns Resultados sobre Equa


c
oes Integrais

14.2.1 A Equaca
o Integral de Fredholm Linear N
ao-Homogenea . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 680

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

14.2.2 A Equaca
o Integral de Fredholm Linear Homog
enea . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 684

16.11 Aplicaco
es do M
etodo da Funca
o de Green . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 790

. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 783

14.3 Exerccios Adicionais . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 686

APENDICES
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 687

16.11.1 A Equaca
o de Poisson em Tr
es Dimens
oes . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 791

14.A Obtendo os Determinantes de Fredholm . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 687

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

16.11.2 A Equaca
o de Difus
ao N
ao-Homog
enea . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 792
16.11.3.1 A Equaca
o de Ondas N
ao-Homog
enea em 3 + 1-Dimens
oes . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 798

15 Rudimentos da Teoria do Potencial

693

16.11.3.2 Aplicaco
es a
` Eletrodin
amica. Potenciais Retardados . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 800

15.1 A Equaca
o de Poisson em Tr
es Dimens
oes . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 693

16.11.3.3 A Equaca
o de Ondas N
ao-Homog
enea em 2 + 1-Dimens
oes . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 803

15.1.1 A Equaca
o de Poisson em R3 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 697
15.1.2 A Equaca
o de Poisson Dommios Limitados de

R3

. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 697

16.11.3.4 A Equaca
o de Ondas N
ao-Homog
enea em 1 + 1-Dimens
oes . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 805
16.12 Exerccios Adicionais . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 807

15.1.2.1 O Caso de Condico


es de Dirichlet . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 698

16.12.1 Problemas Selecionados de Eletrost


atica . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 807

15.1.2.2 O Caso de Condico


es de Neumann . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 699

16.12.2 Barras Condutoras de Calor em uma Dimens


ao . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 810

15.1.2.3 Exist
encia de Soluca
o . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 699

16.12.3 Cordas Vibrantes em uma Dimens


ao . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 813

15.1.3 Aplicaco
es a
` Eletrost
atica: Capacit
ancia . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 699

16.12.4 Modos de Vibraca


o de Membranas

15.2 O Teorema de Decomposica


o de Helmholtz . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 699

. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 817

16.12.5 Problemas sobre Ondas e Difus


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

15.2.1 Aplicaco
es ao Eletromagnetismo . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 703
15.3 Propriedades B
asicas de Funco
es Harm
onicas em R3

. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 703

16.12.6 Problemas Envolvendo Funco


es de Green . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 823

APENDICES
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 824

16 Alguns Problemas Selecionados de Interesse Fsico

706

16.A Duas Transformadas de Laplace . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 824

16.1 Deduca
o de Algumas Equaco
es Diferenciais de Interesse . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 707
16.1.1 Deduca
o Informal da Equaca
o de Difus
ao de Calor . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 707

IV

Grupos

826

16.1.2 Deduca
o Informal da Equaca
o da Corda Vibrante . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 711
16.2 As Equaco
es de Helmholtz e de Laplace . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 717
16.2.1 Problemas em Duas Dimens
oes em Coordenadas Polares . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 719
16.2.2 Problemas em Tr
es Dimens
oes em Coordenadas Esf
ericas . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 721
16.3 Problemas de Difus
ao em uma Dimens
ao . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 724

17 Grupos. Alguns Exemplos


17.1 O Grupo de Permutaco
es

827
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 827

17.1.1 Ciclos, Transposico


es e Transposico
es Elementares . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 828
17.2 Alguns Grupos Matriciais

. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 832

16.3.1 A Evoluca
o da Temperatura de uma Barra Finita . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 724

17.2.1 Os Grupos GL(n) e SL(n) . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 832

16.3.2 A Evoluca
o da Temperatura de uma Barra Infinita . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 728

17.2.2 O Grupo de Borel e o Grupo de Heisenberg

16.3.3 A Evoluca
o da Temperatura de uma Barra Semi-Infinita . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 733

17.2.3 Grupos Associados a Formas Bilineares e Sesquilineares . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 841

16.4 A Equaca
o de Ondas . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 738

17.2.4 Os Grupos Ortogonais . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 842

16.4.1 A Equaca
o de Ondas em 1 + 1 Dimens
oes . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 738
16.4.2 Interl
udio: Ondas Caminhantes e a Equaca
o do Telegrafo . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 741
16.4.3 Outro Interl
udio: S
olitons . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 744

. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 835

17.2.5 Os Grupos Unit


arios . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 843
17.3 Os Grupos SO(2), SO(3), SU(2) e SL(2, C)

. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 844

17.3.1 Os Grupos SO(2), O(2), SO(1, 1) e O(1, 1) . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 845

. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 744

17.3.2 O Grupo SO(3) . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 848

16.4.3.2 S
olitons na Equaca
o de Sine-Gordon . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 746

17.3.3 O Grupo SU(2) . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 854

16.4.3.3 S
olitons no Modelo de Poco-Duplo . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 747

17.3.4 A Relaca
o entre SO(3) e SU(2)

16.4.3.4 S
olitons na Equaca
o de Schr
odinger N
ao-Linear

17.3.5 O Grupo SL(2, C) . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 859

16.4.3.1 S
olitons na Equaca
o de Korteweg-de Vries

. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 749

16.4.4 A Equaca
o de Ondas e Transformadas de Fourier . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 753

. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 857

17.4 Generalidades sobre os grupos SU(n) e SO(n)

. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 861

16.4.4.1 A Equaca
o de Ondas em 3 + 1 Dimens
oes. A Soluca
o de Kirchhoff . . . . . . . . . . . . . . . . . . . . . . . . . 756

17.4.1 Os Grupos SU(n) . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 861

16.4.4.2 A Equaca
o de Ondas em 2 + 1 Dimens
oes . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 757

17.4.2 O Grupo SU(3) . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 863

16.5 O Problema da Corda Vibrante . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 759

17.4.3 Os Grupos SO(n) . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 864

16.5.1 Corda Vibrante Homog


enea . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 760

17.5 O Grupo Afim e o Grupo Euclidiano . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 869

16.5.2 O Problema da Corda Homog


enea Pendurada . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 762

17.6 O Grupo de Lorentz

. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 873

16.5.3 Corda Vibrante N


ao-Homog
enea . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 764

17.6.1 O Espaco-Tempo, a Noca


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

16.5.4 O Problema da Membrana Retangular Homog


enea

. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 767

17.6.2 A Invari
ancia do Intervalo . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 878

16.6 O Problema da Membrana Circular Homog


enea . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 769

17.6.3 O Grupo de Lorentz . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 880

11/1685

17.6.4 Alguns Subgrupos do Grupo de Lorentz

12/1685

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

21.3 Aplicaca
o a
`s Equaco
es Integrais de Fredholm e de Volterra . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1024

17.6.5 A Estrutura do Grupo de Lorentz . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 884

21.4 Aplicaco
es a
` Teoria das Equaco
es Diferenciais Ordin
arias . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1030

17.6.6 Os Geradores do Grupo de Lorentz . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 889

21.4.1 O Teorema de Picard-Lindel


of . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1030

17.7 O Grupo de Poincar


e . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 892

21.4.2 Generalizando o Teorema de Picard-Lindel


of. Soluco
es Globais . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1034

17.8 SL(2, C) e o Grupo de Lorentz . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 896

APENDICES
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 903

21.5 O Teorema da Funca


o Implcita e o Teorema da Funca
o Inversa . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1038

17.A Prova do Teorema 17.8 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 903

21.5.1 O Teorema da Funca


o Implcita . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1038

17.B Um Isomorfismo entre SL(2, C) / {1, 1} e L+ . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 913

21.5.2 O Teorema da Funca


o Inversa . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1042

APENDICES
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1043

18 Grupos de Lie e Algebras


de Lie. Uma Breve Introdu
c
ao

921

21.4.3 Um Teorema de Comparaca


o de Soluco
es de EDOs . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1035

21.A O Lema de Gr
onwall . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1043

18.1 Variedades e Grupos de Lie . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 921


18.2 Breves Consideraco
es sobre Grupos Topol
ogicos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 923

22 Espa
cos Topol
ogicos e Espa
cos Mensur
aveis. Defini
c
oes e Propriedades B
asicas

1044

18.3 Grupos de Lie Matriciais . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 925

22.1 Definico
es, Propriedades Elementares e Exemplos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1044

18.3.1 Uma Topologia M


etrica em GL(C, n) . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 925

22.2 Algumas Construco


es Especiais e Exemplos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1049

22.2.1 Topologias e -Algebras


Geradas . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1049

18.3.2 O Grupo de Lie GL(C, n) . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 926


18.3.3 Subgrupos Uniparam
etricos e seus Geradores . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 928

18.3.4 Subgrupos Uniparam


etricos e Algebras
de Lie . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 931
18.3.5 Subgrupos Fechados de GL(C, n) . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 935

18.4 A Relaca
o entre Grupos de Lie Matriciais e suas Algebras
de Lie . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 938

18.4.1 Algebras
de Lie Nilpotentes, Sol
uveis, Simples e Semi-Simples . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 939

18.4.2 Quest
oes sobre a Exponenciaca
o de Algebras
de Lie . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 941
18.4.3 Alguns Exemplos Especiais . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 943

22.2.2 Bases de Espacos Topol


ogicos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1053

22.2.3 Topologias e -Algebras


Induzidas . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1055

22.2.4 Topologias e -Algebras


Produto . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1057
22.3 Interior e Fecho de Conjuntos em Espacos Topol
ogicos

. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1057

22.3.1 Fecho de Conjuntos em Espacos M


etricos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1063
22.4 Espacos Topol
ogicos Separ
aveis e Segundo-Cont
aveis . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1064
23 Medidas

1067

949

23.1 O Problema da Teoria da Medida . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1067

19.1 Representaco
es de Grupos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 949

23.2 Medidas de Conjuntos. Definica


o, Exemplos e Propriedades B
asicas . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1070

19.2 Representaco
es Irredutveis de SO(3) . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 954

23.3 Construindo Medidas. A Medida Exterior e o Teorema de Carath


eodory . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1073

19 Uma Breve Introdu


c
ao `
a Teoria das Representa
c
oes de Grupos

19.3 A Medida de Haar . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 958


19.4 Representaco
es de Grupos Compactos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 959
19.5 O Teorema de Peter-Weyl

. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 960

23.3.1 Medidas Exteriores M


etricas e Conjuntos Borelianos

. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1080

23.4 Um Esquema de Construca


o de Medidas Exteriores . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1083

APENDICES
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1086
23.A Prova das F
ormulas de Inclus
ao-Exclus
ao . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1086

Topologia Geral, Teoria da Medida e Integrac


ao

965

24 A Medida de Lebesgue e a Medida de Hausdorff


24.1 A Construca
o da Medida de Lebesgue em Rn

20 Espa
cos M
etricos

1088

. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1088

966

24.1.1 A -
algebra de Borel em Rn e a Medida de Borel-Lebesgue . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1090

20.1 M
etricas e Espacos M
etricos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 967

24.2 As Medidas de Hausdorff . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1092

20.2 Topologia de Espacos M


etricos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 980

24.3 Conjuntos de Cantor . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1096

20.3 Pseudo-M
etricas . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 983

24.4 Bases de Hamel e a Medida de Lebesgue . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1105

20.4 Espacos de Funco


es Limitadas e Completeza . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 985

24.5 Exerccios Adicionais . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1107

20.5 Espacos de Banach e de Hilbert . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 988


20.5.1 Espacos de Banach em Espacos de Seq
u
encias . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 990

25 Continuidade e Converg
encia em Espa
cos Topol
ogicos

1112

20.6 Exerccios Adicionais . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1001

APENDICES
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1003

25.1 Primeiras Definico


es . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1112

20.A Algumas Desigualdades B


asicas . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1003

25.3 Redes e o Caso de Espacos Topol


ogicos Gerais . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1115

20.B N
umeros reais e p-
adicos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1005
20.C Aproximaco
es para . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1010

25.2 Espacos Hausdorff . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1114


25.3.1 Redes em Espacos M
etricos

. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1118

25.4 O Limite do Infimo e o Limite do Supremo . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1118


25.5 Continuidade de Funco
es em Espacos Topol
ogicos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1122

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


u
encias

1015

21.1 O Teorema de Ponto Fixo de Banach . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1016

25.5.1 Outras Noco


es Associadas a de Continuidade . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1124
25.5.1.1 Homeomorfismos e Mergulhos

. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1124

21.1.1 Generalizaco
es do Teorema de Ponto Fixo de Banach . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1018

25.5.2 Outras Caracterizaco


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

21.2 Aplicaca
o a Equaco
es Num
ericas. O M
etodo de Newton . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1020

25.5.3 Continuidade e Converg


encia . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1127

13/1685

26 Elementos da Teoria da Integra


c
ao

1129

26.1 Coment
arios Preliminares . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1129

14/1685

27.6.3 Completeza dos Polin


omios Trigonom
etricos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1245

26.2 A Integraca
o no Sentido de Riemann . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1131

27.7 Exerccios Adicionais . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1249

APENDICES
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1255

26.2.1 A Integral de Riemann Impr


opria . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1139

27.A Prova do Teorema de Weierstrass Usando Polin


omios de Bernstein . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1255

26.2.2 Diferenciaca
o e Integraca
o em Espacos de Banach . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1141

27.B A Demonstraca
o de Weierstrass do Teorema de Weierstrass . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1259

26.3 A Integraca
o no Sentido de Lebesgue . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1145
26.3.1 Funco
es Mensur
aveis e Funco
es Simples . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1145
26.3.2 A Integral de Lebesgue. Integraca
o em Espacos Mensur
aveis . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1150
26.3.3 A Integral de Lebesgue e sua Relaca
o com a de Riemann . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1157
26.3.4 Teoremas B
asicos sobre Integraca
o e Converg
encia . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1159
26.3.5 Alguns Resultados de Interesse . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1162
26.4 Os Espacos Lp e Lp . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1164
26.4.1 As Desigualdades de H
older e de Minkowski . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1166
26.4.2 O Teorema de Riesz-Fischer. Completeza . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1169

APENDICES
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1170
26.A Equival
encia das Definico
es II e III da Integrabilidade de Riemann . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1170
26.B Caracterizaco
es e Propriedades de Funco
es Mensur
aveis . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1171
26.C Prova do Lema 26.3 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1175
26.D Demonstraca
o de (26.22) . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1176
26.E A Equival
encia das Definico
es (26.23) e (26.24) . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1177
26.F Prova do Teorema da Converg
encia Mon
otona . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1179
26.G Prova do Lema de Fatou . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1179
26.H Prova do Teorema da Converg
encia Dominada . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1180
26.I

Prova dos Teoremas 26.2 e 26.3

. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1181

26.J Prova das Desigualdades de H


older e Minkowski . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1183
26.K Prova do Teorema de Riesz-Fischer . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1185

28 Introdu
c
ao `
as Distribui
c
oes e Transformadas de Fourier
28.1 Funco
es de Schwartz e Funco
es de Teste

1261

. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1262

28.2 Transformadas de Fourier . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1270


28.2.1 Transformadas de Fourier no Espaco de Schwartz . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1273
28.2.1.1 Transformadas de Fourier, Produtos de Convoluc
ao e Identidade de Plancherel . . . . . . . . . . . . . . . . . . 1280
28.2.1.2 A Transformada de Fourier em L2 (Rn , dx) e suas Propriedades Espectrais . . . . . . . . . . . . . . . . . . . . 1282
28.2.2 Transformadas de Fourier. T
opicos Suplementares . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1284
28.2.2.1 A F
ormula de Soma de Poisson . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1284
28.2.2.2 Transformadas de Fourier e M
edias Angulares . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1287
28.3 Distribuico
es e Distribuico
es Temperadas . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1292
28.3.1 Primeiros Exemplos de Distribuico
es . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1294
28.3.2 Outros Exemplos de Distribuico
es . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1298
28.3.2.1 A Distribuica
o Valor Principal . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1299
28.3.2.2 Distribuico
es do Tipo Parte Finita de Hadamard . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1300

28.3.3 Algumas Relaco


es Uteis
Envolvendo Distribuico
es . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1303
28.3.4 Derivadas de Distribuico
es . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1306
28.3.4.1 Alguns Exemplos de Derivadas de Distribuico
es

. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1307

28.3.4.2 C
alculo da Derivada de Algumas Distribuico
es de Interesse . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1308
28.3.5 Alguns Resultados Estruturais sobre Distribuico
es . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1310
28.3.6 Transformadas de Fourier de Distribuico
es Temperadas . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1311
28.3.6.1 C
alculo de Transformadas de Fourier de Algumas Distribuico
es Temperadas

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

1187

. . . . . . . . . . . . . . . . . . . 1311

28.3.7 Produtos de Distribuico


es . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1313

27.1 Noco
es de Converg
encia para Seq
u
encias de Func
oes . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1188

28.3.7.1 Produto de Convoluca


o de Distribuico
es . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1318

27.1.1 Import
ancia da Converg
encia Uniforme . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1189

28.4 Equaco
es Diferenciais Distribucionais, Soluco
es Fundamentais e Funco
es de Green . . . . . . . . . . . . . . . . . . . . . . . . . 1320

27.1.1.1 Troca de Ordem entre Limites e Integrais . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1190

28.4.1 Soluco
es Fundamentais . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1322

27.1.1.2 Troca de Ordem entre Limites e Derivadas . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1191

28.4.1.1 Soluco
es Fundamentais como Funco
es Generalizadas . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1323

27.1.1.3 Troca de Ordem entre Derivadas e Integrais . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1192

28.4.1.2 O Caso de Operadores Lineares a Coeficientes Constantes . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1326

27.2 Seq
u
encias Delta de Dirac . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1194

28.4.1.3 Alguns Exemplos Fisicamente Relevantes . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1328

27.3 Aproximaca
o de Funco
es por Polin
omios . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1200
27.3.1 O Teorema de Weierstrass . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1200

28.5 Exerccios Adicionais . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1332

APENDICES
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1334

27.3.2 O Teorema de Taylor . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1207

28.A Prova da Proposica


o 28.14 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1334

27.4 Aproximaca
o de Funco
es por Polin
omios Trigonometricos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1214

28.B Prova de (28.17) . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1337

27.4.1 Preliminares . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1214


27.4.2 A S
erie de Fourier de Funco
es Peri
odicas de Perodo T . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1217
27.4.3 Polin
omios Trigonom
etricos e Funco
es Contnuas e Peri
odicas . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1218
27.4.4 Converg
encia de S
eries de Fourier . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1223
27.4.4.1 S
eries de Fourier em Senos ou Co-Senos para Func
oes Definidas em Intervalos Compactos . . . . . . . . . . . . 1230
27.4.5 Revisitando a Aproximaca
o Uniforme de Funco
es Contnuas e Peri
odicas por Polin
omios Trigonom
etricos . . . . . . . 1233
27.4.6 S
eries de Fourier e o Espaco de Hilbert L2 ([, ], dx) . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1236
27.5 O Teorema de Stone-Weierstrass . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1238
27.6 Completeza de Algumas Famlias de Funco
es . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1242
27.6.1 Completeza de Polin
omios Ortogonais em Intervalos Compactos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1242
27.6.2 Completeza de Polin
omios de Hermite

. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1244

29 Alguns T
opicos Especiais em Topologia e An
alise

1339

29.1 Uma Colet


anea de Definico
es . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1339
29.1.1 Conjuntos Densos em Espacos Topol
ogicos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1340
29.1.2 A Noca
o de Conjunto Conexo em Espacos Topol
ogicos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1341
29.2 Axiomas de Separabilidade . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1344
29.2.1 Algumas Propriedades de Separaca
o em Espacos M
etricos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1344
29.2.2 Postulados de Separabilidade em Espacos Topol
ogicos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1346
29.2.3 O Lema de Urysohn . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1353
29.2.3.1 O Teorema de Extens
ao de Tietze . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1358
29.3 Compacidade, Compacidade Local e Paracompacidade

. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1360

15/1685

16/1685

29.3.1 Algumas Definico


es Gerais . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1361

30.6.1 O Lema de Gauss . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1460

29.3.2 Espacos de Lindel


of. Um Mnimo . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1363

30.7 O Tensor de Curvatura . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1464

29.3.3 Compacidade. Definico


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

30.7.1 A Curvatura Seccional . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1470

29.3.3.1 Compacidade em Espacos Hausdorff . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1367


29.3.3.2 Compacidade em Espacos M
etricos

30.7.2 O Tensor de Ricci e a Curvatura Escalar . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1473

. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1370

30.8 Pontos Conjugados e a Equaca


o de Jacobi . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1475

. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1377

30.8.1 A Equaca
o de Jacobi . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1475

29.3.4 Espacos Compactos Hausdorff e Partico


es da Unidade . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1379

30.8.2 Pontos Conjugados . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1478

29.3.3.3 Compacidade em Rn

29.3.4.1 Uma Excurs


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

30.8.3 A Equaca
o de Raychaudhuri . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1479

29.3.5 Compacidade Local . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1383

30.9 A Estrutura Causal de Variedades Lorentzianas . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1481

APENDICES
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1485

29.3.5.1 Espacos Localmente Compactos Hausdorff . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1383


29.3.6 Paracompacidade . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1385

30.A Demonstraca
o de Algumas Propriedades do Tensor de Curvatura

. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1485

29.3.6.1 Espacos Paracompactos Hausdorff . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1386

30.A.1 Prova da Proposica


o 30.12 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1485

29.4 As Noco
es de Topologia Fraca e de Topologia Forte . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1391

30.A.2 Prova da Primeira Identidade de Bianchi, Proposic


ao 30.14 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1486

29.5 A Topologia Produto de Espacos Topol


ogicos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1393

30.A.3 Prova da Segunda Identidade de Bianchi, Proposica


o 30.15 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1487

29.5.1 O Cubo de Hilbert . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1394

30.A.4 Prova da Proposica


o 30.16 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1489

29.6 Teoremas de Metrizabilidade . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1396

30.A.5 Prova da Proposica


o 30.17 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1490

29.6.1 O Teorema de Metrizaca


o de Urysohn e Tikhonov . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1398

30.B Rudimentos de Geometria de Superfcies . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1491

29.7 O Teorema da Categoria de Baire . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1401

30.B.1 M
etricas Riemannianas em Superfcies Regulares

29.8 A M
etrica de Hausdorff . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1402

APENDICES
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1404

30.B.2 Conex
oes em Superfcies Regulares . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1491

29.A Prova da Proposica


o 29.30 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1404

VI

Geometria Diferencial

1406

VII

. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1491

An
alise Funcional

1492

31 No
c
oes B
asicas Sobre Espa
cos de Hilbert

1493

31.1 Aspectos Topol


ogicos B
asicos de Espacos de Hilbert . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1493
30 Variedades

1407

31.2 Aspectos Geom


etricos B
asicos de Espacos de Hilbert . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1495

30.1 Variedades Topol


ogicas . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1408

31.2.1 Conjuntos Ortonormais Completos em Espacos de Hilbert . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1498

30.2 Variedades Diferenci


aveis . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1412

31.2.2 Conjuntos Totais . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1509

30.2.1 Alguns Poucos Exemplos de Variedades Diferenci


aveis

. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1414

30.2.1.1 Superfcies Regulares em Rn . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1414

31.2.2.1 Um Exemplo no Espaco L2 (R, dx)

. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1510

31.3 Funcionais Lineares e o Dual Topol


ogico de um Espaco de Hilbert . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1513

30.2.1.2 As Esferas S n . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1414

31.3.1 O Teorema da Representaca


o de Riesz . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1514

30.2.1.3 Espacos Projetivos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1416

31.4 Exerccios Adicionais . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1516

30.2.1.4 Variedades de Grassmann e de Stiefel . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1417


30.2.1.5 Grupos de Lie . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1417
30.2.1.6 Fibrados, Fibrados Vetoriais e Principais . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1417
30.2.2 Partico
es da Unidade Diferenci
aveis . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1418
30.2.3 A Noca
o de Espaco Tangente

. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1420

30.2.3.1 O Espaco Co-Tangente . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1426


30.2.3.2 Tensores

. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1429

30.2.4 Aplicaco
es entre Variedades Diferenci
aveis . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1429
30.3 Campos Vetoriais e Tensoriais . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1432
30.4 M
etricas Riemannianas e Semi-Riemannianas . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1434
30.5 Conex
oes Afins . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1442
30.5.1 O Tensor de Torca
o . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1447
30.5.2 Conex
oes Afins em Tensores . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1449
30.5.3 Conex
oes Sim
etricas

. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1449

30.5.4 Conex
oes M
etricas e Conex
oes de Levi-Civita . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1450
30.5.5 Gradiente, Divergente e Laplaciano . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1456
30.6 Geod
esicas . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1460

32 Operadores Lineares Limitados em Espa


cos de Banach e de Hilbert

1517

32.1 Operadores Lineares em Espacos Vetoriais Normados . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1518


32.1.1 Espacos de Banach de Operadores . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1521
32.1.2 O Dual Topol
ogico de um Espaco de Banach . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1525
32.1.3 O Teorema de Hahn-Banach e Algumas Conseq
u
encias do Mesmo . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1529
32.1.4 O Teorema de Banach-Steinhaus ou Princpio de Limitaca
o Uniforme . . . . . . . . . . . . . . . . . . . . . . . . . . . 1534
32.1.5 O Teorema da Aplicaca
o Aberta e o Teorema do Gr
afico Fechado . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1535
32.2 Operadores Limitados em Espacos de Hilbert . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1541
32.2.1 O Adjunto de um Operador Agindo em Espacos de Hilbert . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1541
32.2.2 Operadores Auto-Adjuntos, Normais, Unit
arios, Isometrias Parciais e Projetores Ortogonais . . . . . . . . . . . . . . 1544

32.3 Algebras
de Banach e Algebras
C . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1551

32.3.1 Algebras
de Banach . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1551
32.3.2 A Inversa de Operadores Limitados . . . . . . . . . . . .

32.3.3 O Espectro de Operadores em Algebras


de Banach . . .

32.3.4 O Homomorfismo de Gelfand em Algebras


C . . . . . .

32.3.5 Razes Quadradas de Operadores em Algebras


de Banach

. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1554
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1559
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1567
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1569

17/1685

18/1685

Pref
acio

32.3.6 Elementos Positivos de Algebras


C . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1570
32.3.7 O Lema da Raiz Quadrada em Espacos de Hilbert . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1574
32.3.7.1 A Decomposica
o Polar de Operadores Limitados em Espacos de Hilbert . . . . . . . . . . . . . . . . . . . . . . 1577

32.4 Um Pouco sobre Estados e Representaco


es de Algebras
C . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1579
32.5 O Espectro de Operadores em Espacos de Banach . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1586
32.6 Operadores Compactos em Espacos de Banach e de Hilbert . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1593
32.6.1 O Teorema Espectral para Operadores Compactos Auto-adjuntos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1603
32.7 O Teorema Espectral para Operadores Limitados Auto-adjuntos em Espacos de Hilbert . . . . . . . . . . . . . . . . . . . . . . 1609
32.7.1 O C
alculo Funcional Contnuo e o Homomorfismo de Gelfand . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1609
32.7.2 Generalizando o C
alculo Funcional Contnuo. As Medidas Espectrais . . . . . . . . . . . . . . . . . . . . . . . . . . . 1610
32.7.3 Medidas com Valores em Projeco
es Ortogonais . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1618
32.7.4 Os Projetores Espectrais e o Teorema Espectral . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1621
32.7.5 A Relev
ancia do Teorema Espectral para a Fsica Qu
antica (um pouco de Fsica, finalmente) . . . . . . . . . . . . . . 1624
32.8 Operadores Tipo Traco e de Hilbert-Schmidt . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1631
32.8.1 Operadores Tipo Traco, ou Traciais . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1633
32.8.1.1 O Traco de um Operador Tracial . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1637
32.8.2 Operadores de Hilbert-Schmidt . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1640
32.8.3 Operadores Traciais e de Hilbert-Schmidt e os Operadores Compactos

. . . . . . . . . . . . . . . . . . . . . . . . . . 1648

32.8.4 Operadores de Hilbert-Schmidt e Operadores Integrais . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1649


32.8.5 O Teorema de Lidskii. Traco e Espectro de Operadores Traciais . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1653
32.A Prova do Teorema 32.18

. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1654

33 O Limite Indutivo de Algebras

1657

Bibliografia

1664

Indice Remissivo

1671

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 certos
cursos ditos 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 Dife
rencial, Teoria de Grupos, Teoria de Distribuicoes, Analise Funcional e Algebras
de Operadores sao hoje imprescindveis
ao trabalho de um fsico teorico.
Este livro cresceu a partir de notas de aula escritas pelo autor em diversos cursos de graduacao e pos-graduacao.
Diversos de seus captulos podem ser empregados em cursos 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 a
avancado. Tambem de modo geral, o texto e de leitura auto-suficiente, mas vez por outra algum estudo complementar e
sugerido. A melhor maneira de um estudante conduzir-se no estudo de assuntos matem
aticos e munindo-se de uma boa
colecao de exemplos e contra-exemplos de v
arias situacoes especiais, 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 encontrada em diversas fontes, citadas na bibliografia (pagina 1665), 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 [106] em seu pref
acio,
qualquer livro-texto deve mais aos livros e notas de outros do que a seu autor nominal.
Fazemos notar que este livro est
a ainda sendo trabalhado e alguns captulos e secoes podem vir a ser alterados,
corrigidos, eliminados ou acrescidos de material. Alem disso, novos captulos serao escritos. O material j
a presente e,
porem, u
til a todos aqueles que queiram iniciar-se nos assuntos aqui expostos. Versoes atualizadas serao colocadas na
rede (no endereco acima indicado) sempre que possvel.
O autor agradece a todos os que apresentarem 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 e Arao Benjamin Garcea, aos quais somos muito gratos por correcoes e sugest
oes.
As Secoes 17.B, pagina 913, e 21.4.1, pagina 1030, foram originalmente escritas por Daniel Augusto Cortez. A Secao
16.9, pagina 775, foi originalmente escrita por Andre M. Timpanaro, Fleury J. Oliveira e Paulo H. Reimberg. A eles
dedicamos agradecimentos especiais.

Joao Carlos Alves Barata

Sao Paulo, 27 de setembro de 2009


Departamento de Fsica Matematica
Universidade de Sao Paulo

19/1685

Bons Mots

20/1685

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.

O comportamento de um fsico em relaca


o a
` Matem
atica e similar a de um ladr
ao inteligente em relaca
o ao c
odigo
penal: ele estuda apenas o suficiente para evitar punico
es.
I. M. Gelfand (1913)

Para a definicao de compacidade, vide Secao 29.3, pagina 1360.


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

A mente n
ao e um vaso a ser repleto, mas uma tocha a ser acesa.
Plutarco (46?120)
When a theoretical physicists can not solve a problem he goes for the next more difficult one.
Sir Michael Francis Atiyah (1929)
My friend G. H. Hardy, who was professor of pure mathematics, enjoyed this pleasure [in mathematical demonstrations]
in a very high degree. He told me once that if he could find a proof that I was going to die in five minutes he would of
course be sorry to lose me, but this sorrow would be quite outweighed by pleasure in the proof .
Bertrand Russell (18721970)

Talvez eu n
ao tenha tido exito em fazer as coisas difceis tornarem-se f
aceis, mas pelo menos eu nunca fiz um assunto
f
acil tornar-se difcil.
F. G. Tricomi (18971978)
Unprovided with original learning, unformed in the habits of thinking, unskilled in the arts of composition, I resolved to
write a book.
Edward Gibbon (17371794)
Uma obra nunca e terminada, ela e apenas abandonada.
Atribuido a Paul Valery (18711945)

Mathematics is a part of physics. Physics is an experimental science, a part of natural science. Mathematics is the part
of physics where experiments are cheap.
Vladimir I. Arnold (1937)
In science, self-satisfaction is death. Personal self-satisfaction is the death of the scientist. Collective self-satisfaction
is the death of the research. It is restlessness, anxiety, dissatisfaction, agony of mind that nourish science.
Jacques Lucien Monod (19101976), in New Scientist, 1976
N
ao existe nenhuma categoria da Ciencia a
` qual se possa dar o nome de Ciencia Aplicada. O que existe s
ao a Ciencia
e as aplicaco
es da Ciencia, intimamente ligadas, como frutos a
`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)
Disse Kant1 : 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
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.
1 Immanuel

Kant (17241804).

21/1685

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 36).
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
16, pagina 707, 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 de lhes antecedem. Cabe ao leitor perceber suas
necessidades formativas, avancando ou retrocedendo na leitura conforme lhe aprouver. A consulta ao Indice Remissivo
(pagina 1671) ou `a lista de Captulos e Secoes que comp
oe o texto (pagina 3) deve ser de grande valia para tal.

22/1685

Nota
c
ao e Advert
encias
Para facilitar a consulta e a leitura, listamos aqui sem muitos comentarios um pouco da notacao que empregaremos
nestas Notas.
Se z e um n
umero complexo denotaremos seu complexo conjugado por z. A notacao z (mais comum em textos
de Fsica) pode ocorrer mais raramente.
O smbolo A := B ou B =: A denota que A e definido pela express
ao B. O smbolo A B indica que A e B sao
duas notacoes distintas para o mesmo objeto.
Sejam A e B conjuntos. Se A e um subconjunto de B, denotamos esse fato por A B ou por B A. Por A $ B
ou B % A denotamos o fato de A ser um subconjunto pr
oprio de B, ou seja, A B, mas A 6= B.
Se x = (x1 , . . . , xn ) e y = (y1 , . . . , yn ) s
ao vetores reais com n componentes (ou seja, elementos de Rn ) entao
definimos
hx, yiR := x1 y1 + + xn yn .

Trata-se do produto escalar usual em Rn .


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

Trata-se do produto escalar usual em Cn .


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

Trata-se de uma forma bilinear em Cn .


Mat(R, m, n) ou Mat(m, n, R) designa o conjunto de todas as matrizes reais m n (m linhas e n colunas).
Analogamente, Mat(C, m, n) ou Mat(m, n, C) designa o conjunto de todas as matrizes complexas m n. O
conjunto de todas as matrizes quadradas n n com entradas reais (complexas) sera denotado simplesmente por
Mat (R, n) (por Mat (C, n)).
Se A e um elemento de Mat(R, n) oude Mat(C, n), ent
ao AT designa a matriz transposta de A, ou seja, a matriz
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 .
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 n
ao causar
entemente em textos
confusao com a notacao para par ordenado. Outra notacao possvel e aquela empregada freqA
ntica: hu | vi, mas faremos raramente uso dessa notacao.
nica QuA
de MecA
Ainda sobre produtos escalares, seguiremos sempre a convenc
ao 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!).

23/1685

Sobre o emprego das palavras funca


o, aplicaca
o, mapeamento, mapa, funcional, operador, operaca
o, produto e forma,
que por vezes causam perplexidade em estudantes, remetemos ao comentario a` pagina 28.
Dado um conjunto X 6= , denota-se por P(X) a colec
ao de todos os subconjuntos de X. P(X) e denominado o
conjunto das partes de X.
A topologia usual da reta real R ser
a denotada aqui por R .
A -
algebra de Borel de R sera (quase sempre) denotada aqui por M[R ].
A -
algebra dos subconjuntos de R mensuraveis por Lebesgue ser
a (quase sempre) denotada aqui por ML .
Para x R, o smbolo x designa o maior inteiro menor ou igual a x. O smbolo x designa o menor inteiro
maior ou igual a x.
Por N denotamos o conjunto dos n
umeros naturais: N = {1, 2, 3, . . .}. Por N0 denotamos o conjunto dos
n
umeros naturais, incluindo o zero: N0 = {0, 1, 2, 3, . . .}. O leitor deve ser advertido, porem, que essa convencao
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.
O smbolo 2 indica o fim de um enunciado. O smbolo indica o fim de uma demonstrac
ao. O smbolo 6 indica
o fim do enunciado de um exerccio. O smbolo indica o fim do enunciado de um exemplo.
B(X) designa o conjunto de operadores limitados agindo em um espaco de Banach X. B(H) designa o conjunto
de operadores limitados agindo em um espaco de Hilbert H.
C(L) designa o conjunto de todas as func
oes contnuas (reais ou complexas, dependendo do caso), definidas em L
(na topologia que se estiver considerando em L).
B(L) designa a colec
ao 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.
O domnio de um operador T (agindo em um espaco de Banach ou de Hilbert) ser
a denotado por D(T ) ou por
Dom(T ). A imagem (range) de T sera denotada por R(T ) ou por Ran (T ) ou, mais raramente, por Im (T ), mas
essa u
ltima notacao pode causar confusao com a da parte imagin
aria de um n
umero complexo ou mesmo com a da
1
parte imagin
aria de um operador agindo em um espaco de Hilbert: Im (T ) := 2i
(T T ).
A noc
ao de propriedade v
alida quase em toda parte e definida na pagina 1073.

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

24/1685

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.

Parte I
Captulos Introdut
orios

25

You might also like