Buscar

Curso de Física-Matemática (Barata)

Faça como milhares de estudantes: teste grátis o Passei Direto

Esse e outros conteúdos desbloqueados

16 milhões de materiais de várias disciplinas

Impressão de materiais

Agora você pode testar o

Passei Direto grátis

Faça como milhares de estudantes: teste grátis o Passei Direto

Esse e outros conteúdos desbloqueados

16 milhões de materiais de várias disciplinas

Impressão de materiais

Agora você pode testar o

Passei Direto grátis

Faça como milhares de estudantes: teste grátis o Passei Direto

Esse e outros conteúdos desbloqueados

16 milhões de materiais de várias disciplinas

Impressão de materiais

Agora você pode testar o

Passei Direto grátis

Você viu 3, do total de 1355 páginas

Faça como milhares de estudantes: teste grátis o Passei Direto

Esse e outros conteúdos desbloqueados

16 milhões de materiais de várias disciplinas

Impressão de materiais

Agora você pode testar o

Passei Direto grátis

Faça como milhares de estudantes: teste grátis o Passei Direto

Esse e outros conteúdos desbloqueados

16 milhões de materiais de várias disciplinas

Impressão de materiais

Agora você pode testar o

Passei Direto grátis

Faça como milhares de estudantes: teste grátis o Passei Direto

Esse e outros conteúdos desbloqueados

16 milhões de materiais de várias disciplinas

Impressão de materiais

Agora você pode testar o

Passei Direto grátis

Você viu 6, do total de 1355 páginas

Faça como milhares de estudantes: teste grátis o Passei Direto

Esse e outros conteúdos desbloqueados

16 milhões de materiais de várias disciplinas

Impressão de materiais

Agora você pode testar o

Passei Direto grátis

Faça como milhares de estudantes: teste grátis o Passei Direto

Esse e outros conteúdos desbloqueados

16 milhões de materiais de várias disciplinas

Impressão de materiais

Agora você pode testar o

Passei Direto grátis

Faça como milhares de estudantes: teste grátis o Passei Direto

Esse e outros conteúdos desbloqueados

16 milhões de materiais de várias disciplinas

Impressão de materiais

Agora você pode testar o

Passei Direto grátis

Você viu 9, do total de 1355 páginas

Faça como milhares de estudantes: teste grátis o Passei Direto

Esse e outros conteúdos desbloqueados

16 milhões de materiais de várias disciplinas

Impressão de materiais

Agora você pode testar o

Passei Direto grátis

Prévia do material em texto

Universidade de Sa˜o Paulo
Instituto de F´ısica
Departamento de F´ısica Matema´tica
2005
Curso de F´ısica-Matema´tica
Joa˜o Carlos Alves Barata
Versa˜o de 13 de dezembro de 2005
Estas notas ou sua versa˜o mais recente podem ser encontradas no seguinte enderec¸o WWW:
http://denebola.if.usp.br/∼jbarata/Notas de aula
Prefa´cio 15
Notac¸a˜o e Adverteˆncias 17
I´ndice
I Cap´ıtulos Introduto´rios 20
1 Noc¸o˜es Ba´sicas 21
1.1 Conjuntos, Relac¸o˜es e Func¸o˜es . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 22
1.1.1 Relac¸o˜es e Func¸o˜es . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 23
1.1.2 Relac¸o˜es de Ordem . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 30
1.1.3 Cardinalidade . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 37
1.1.4 I´nfimos e Supremos de Famı´lias de Conjuntos . . . . . . . . . . . . . . . . . . . 43
1.2 Estruturas Alge´bricas Ba´sicas . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 45
1.2.1 Semi-grupos, Mono´ides e Grupos . . . . . . . . . . . . . . . . . . . . . . . . . . 46
1.2.2 Corpos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 51
1.2.3 Espac¸os Vetoriais . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 55
1.2.4 Ane´is, A´lgebras e Mo´dulos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 56
1.2.5 Mais sobre Ane´is . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 60
1.2.6 Ac¸o˜es e Representac¸o˜es . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 62
1.2.7 Morfismos, Homomorfismos, Epimorfismos, Isomorfismos, Monomorfismos, En-
domorfismos e Automorfismos . . . . . . . . . . . . . . . . . . . . . . . . . . . . 65
1.3 Cosets, Sub-Grupos Normais e o Grupo Quociente. O Centro de um Grupo . . . . . . . 67
1.3.1 Cosets . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 67
1.3.2 Subgrupos Normais e o Grupo Quociente . . . . . . . . . . . . . . . . . . . . . . 69
1.3.3 O Centro de um Grupo. Centralizadores e Normalizadores . . . . . . . . . . . . 71
1.4 O Produto Direto e o Produto Semi-Direto de Grupos . . . . . . . . . . . . . . . . . . . 73
1.5 Somas Diretas e Produtos Tensoriais . . . . . . . . . . . . . . . . . . . . . . . . . . . . 76
1.5.1 Discussa˜o Informal Preliminar . . . . . . . . . . . . . . . . . . . . . . . . . . . . 76
1.5.2 Grupos Gerados por Conjuntos. Grupos Gerados por Relac¸o˜es . . . . . . . . . . 79
1.5.3 Somas Diretas . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 80
1.5.4 Produtos Tensoriais . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 81
1.5.5 Produtos Diretos e Somas Diretas Arbitra´rios . . . . . . . . . . . . . . . . . . . 83
1.5.6 Mo´dulos e Derivac¸o˜es . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 84
2
3/1355
1.6 To´picos Especiais . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 84
1.6.1 O Grupo de Grothendieck . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 85
1.6.2 Grupo´ides . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 87
1.6.3 Quate´rnions . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 88
2 Espac¸os Vetoriais 94
2.1 Espac¸os Vetoriais . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 94
2.1.1 Sub-Espac¸os e Espac¸os Quocientes . . . . . . . . . . . . . . . . . . . . . . . . . 94
2.1.2 Bases Alge´bricas de um Espac¸o Vetorial . . . . . . . . . . . . . . . . . . . . . . 95
2.1.3 O Dual Alge´brico de um Espac¸o Vetorial . . . . . . . . . . . . . . . . . . . . . 101
2.2 Formas Lineares, Sesquilineares e Produtos Escalares em Espac¸os Vetoriais . . . . . . . 108
2.2.1 Formas Multilineares . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 108
2.2.2 Formas Sesquilineares e as Desigualdades de Cauchy-Schwarz e Minkowski . . . 113
2.2.3 Produtos Escalares . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 117
2.2.4 Exemplos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 119
2.3 Normas em Espac¸os Vetoriais . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 121
2.4 Formas Bilineares e Sesquilineares em Espac¸os de Dimensa˜o Finita . . . . . . . . . . . 128
2.5 Estruturas Complexas sobre Espac¸os Vetoriais Reais . . . . . . . . . . . . . . . . . . . . 132
II To´picos de A´lgebra Linear 141
3 To´picos de A´lgebra Linear. I 142
3.1 Rudimentos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 143
3.2 Noc¸o˜es Ba´sicas sobre o Espectro de uma Matriz . . . . . . . . . . . . . . . . . . . . . . 147
3.2.1 O Trac¸o de uma Matriz . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 153
3.3 Polinoˆmios de Matrizes . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 155
3.3.1 O Teorema de Hamilton-Cayley . . . . . . . . . . . . . . . . . . . . . . . . . . . 157
3.4 Matrizes Diagonaliza´veis e o Teorema Espectral . . . . . . . . . . . . . . . . . . . . . . 162
3.4.1 Diagonalizac¸a˜o Simultaˆnea de Matrizes . . . . . . . . . . . . . . . . . . . . . . . 176
3.5 Matrizes Auto-adjuntas, Normais e Unita´rias . . . . . . . . . . . . . . . . . . . . . . . . 180
3.5.1 Matrizes Positivas . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 187
3.6 Matrizes Triangulares . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 190
3.7 O Teorema de Decomposic¸a˜o de Jordan e a Forma Canoˆnica de Matrizes . . . . . . . . 191
3.7.1 Resultados Preparato´rios . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 192
4/1355
3.7.2 O Teorema da Decomposic¸a˜o de Jordan . . . . . . . . . . . . . . . . . . . . . . 198
3.7.3 Matrizes Nilpotentes e sua Representac¸a˜o Canoˆnica . . . . . . . . . . . . . . . . 201
3.7.4 A Forma Canoˆnica de Matrizes . . . . . . . . . . . . . . . . . . . . . . . . . . . 205
3.8 Algumas Representac¸o˜es Especiais de Matrizes . . . . . . . . . . . . . . . . . . . . . . . 207
3.8.1 A Decomposic¸a˜o Polar de Matrizes . . . . . . . . . . . . . . . . . . . . . . . . . 207
3.8.2 O Teorema da Triangularizac¸a˜o de Schur . . . . . . . . . . . . . . . . . . . . . . 210
3.8.3 A Decomposic¸a˜o QR e a Decomposic¸a˜o de Iwasawa (“KAN”) . . . . . . . . . . 212
3.9 Propriedades Especiais de Determinantes . . . . . . . . . . . . . . . . . . . . . . . . . . 215
3.9.1 Expansa˜o do Polinoˆmio Caracter´ıstico . . . . . . . . . . . . . . . . . . . . . . . 215
3.9.2 A Desigualdade de Hadamard . . . . . . . . . . . . . . . . . . . . . . . . . . . . 216
3.10 Exerc´ıcios Adicionais . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 219
4 To´picos de A´lgebra Linear. II 222
4.1 Uma Topologia Me´trica em Mat (
�
, n) . . . . . . . . . . . . . . . . . . . . . . . . . . . 223
4.2 Exponenciais, Logaritmos e Func¸o˜es Anal´ıticas de Matrizes . . . . . . . . . . . . . . . . 228
4.2.1 A Exponenciac¸a˜o de Matrizes e os Grupos GL(
�
, n) e GL( � , n) . . . . . . . . 236
4.3 A Fo´rmula de Lie-Trotter e a Fo´rmula do Comutador . . . . . . . . . . . . . . . . . . . 239
4.4 Aplicac¸o˜es Lineares em Mat (
�
, n) . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 242
4.5 A Fo´rmula de Baker, Campbell e Hausdorff . . . . . . . . . . . . . . . . . . . . . . . . 248
4.6 A Fo´rmula de Duhamel e Algumas de suas Consequ¨eˆncias . . . . . . . . . . . . . . . . 254
III Equac¸o˜es Diferenciais 259
5 Equac¸o˜es Diferenciais Ordina´rias. Uma Introduc¸a˜o 260
5.1 Definic¸a˜o e Alguns Exemplos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 261
5.1.1 Equac¸o˜esDiferenciais Ordina´rias Lineares . . . . . . . . . . . . . . . . . . . . . 263
5.1.2 Equac¸o˜es Ordina´rias de Segunda Ordem. Exemplos de Interesse . . . . . . . . . 267
5.2 Sistemas de Equac¸o˜es Diferenciais Ordina´rias . . . . . . . . . . . . . . . . . . . . . . . 269
5.3 Discussa˜o sobre Problemas de Valor Inicial . . . . . . . . . . . . . . . . . . . . . . . . . 274
5.3.1 Problemas de Valor Inicial. Patologias e Exemplos a se Ter em Mente . . . . . . 277
5.3.2 Teoremas de Existeˆncia e Unicidade de Soluc¸o˜es . . . . . . . . . . . . . . . . . . 280
5.3.3 Soluc¸o˜es Globais . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 282
5.3.4 Dependeˆncia Cont´ınua de Condic¸o˜es Iniciais e de Paraˆmetros . . . . . . . . . . . 284
5/1355
6 Alguns Me´todos de Resoluc¸a˜o de Equac¸o˜es Diferenciais Ordina´rias 286
6.1 Soluc¸a˜o de Equac¸o˜es Ordina´rias Lineares de Primeira Ordem . . . . . . . . . . . . . . . 286
6.2 As Equac¸o˜es de Bernoulli e de Riccati . . . . . . . . . . . . . . . . . . . . . . . . . . . . 287
6.3 Integrac¸a˜o de Equac¸o˜es Separa´veis . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 290
6.4 O Me´todo de Variac¸a˜o de Constantes . . . . . . . . . . . . . . . . . . . . . . . . . . . . 291
6.5 O Me´todo de Substituic¸a˜o de Pru¨fer . . . . . . . . . . . . . . . . . . . . . . . . . . . . 293
6.6 O Me´todo de Inversa˜o . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 295
6.7 Soluc¸a˜o de Equac¸o˜es Exatas e o Me´todo dos Fatores Integrantes . . . . . . . . . . . . . 296
6.8 Soluc¸o˜es das Equac¸o˜es de D’Alembert-Lagrange e Clairaut . . . . . . . . . . . . . . . . 301
7 Sistemas de Equac¸o˜es Diferenciais Ordina´rias Lineares 306
7.1 Introduc¸a˜o . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 307
7.2 Unicidade e Existeˆncia de Soluc¸o˜es . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 308
7.2.1 Unicidade . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 308
7.2.2 Existeˆncia. A Se´rie de Dyson . . . . . . . . . . . . . . . . . . . . . . . . . . . . 311
7.2.3 Propriedades de D(s, t) . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 316
7.3 Equac¸o˜es com Coeficientes Constantes . . . . . . . . . . . . . . . . . . . . . . . . . . . 320
7.3.1 Alguns Exemplos e Aplicac¸o˜es . . . . . . . . . . . . . . . . . . . . . . . . . . . . 322
7.4 Teoria de Perturbac¸o˜es de Sistemas Lineares . . . . . . . . . . . . . . . . . . . . . . . . 327
7.5 Mais sobre a Se´rie de Dyson. Produtos de Tempo Ordenado . . . . . . . . . . . . . . . 330
7.6 Sistemas de Equac¸o˜es Diferenciais Lineares no Plano Complexo . . . . . . . . . . . . . 333
7.6.1 O Caso Anal´ıtico . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 334
7.6.2 Resoluc¸a˜o por Se´ries de Poteˆncias . . . . . . . . . . . . . . . . . . . . . . . . . . 340
7.6.3 Sistemas com Pontos Singulares. Monodromia . . . . . . . . . . . . . . . . . . . 342
7.6.4 Sistemas com Pontos Singulares Simples . . . . . . . . . . . . . . . . . . . . . . 352
7.7 Sistemas Provenientes de EDOs de Ordem m . . . . . . . . . . . . . . . . . . . . . . . . 357
7.7.1 Pontos Singulares Simples em EDO’s de Ordem m . . . . . . . . . . . . . . . . . 358
7.7.2 Singularidades no Infinito . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 362
7.7.3 Alguns Exemplos de Interesse . . . . . . . . . . . . . . . . . . . . . . . . . . . . 364
7.8 Equac¸o˜es Fuchsianas. S´ımbolos de Riemann . . . . . . . . . . . . . . . . . . . . . . . . 370
7.8.1 Equac¸o˜es Fuchsianas de Primeira Ordem . . . . . . . . . . . . . . . . . . . . . . 370
7.8.2 Equac¸o˜es Fuchsianas de Segunda Ordem . . . . . . . . . . . . . . . . . . . . . . 375
7.8.3 S´ımbolos de Riemann. Simetrias de Equac¸o˜es Fuchsianas de Segunda Ordem . . 382
7.9 Exerc´ıcios Adicionais . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 389
6/1355
8 Soluc¸o˜es de Equac¸o˜es Diferenciais Ordina´rias Lineares no Plano Complexo 394
8.1 Soluc¸o˜es em Se´ries de Poteˆncias para Equac¸o˜es Regulares . . . . . . . . . . . . . . . . . 396
8.1.1 A Equac¸a˜o do Oscilador Harmoˆnico Simples . . . . . . . . . . . . . . . . . . . . 396
8.1.2 A Equac¸a˜o de Legendre . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 398
8.1.3 A Equac¸a˜o de Hermite . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 401
8.1.4 A Equac¸a˜o de Airy . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 404
8.1.5 A Equac¸a˜o de Chebyshev . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 406
8.1.6 O Caso de Equac¸o˜es Regulares Gerais . . . . . . . . . . . . . . . . . . . . . . . . 409
8.2 Soluc¸a˜o de Equac¸o˜es Singulares Regulares. O Me´todo de Frobenius . . . . . . . . . . . 411
8.2.1 Equac¸o˜es Singulares Regulares. O Caso Geral . . . . . . . . . . . . . . . . . . . 415
8.2.2 A Equac¸a˜o de Euler Revisitada . . . . . . . . . . . . . . . . . . . . . . . . . . . 424
8.2.3 A Equac¸a˜o de Bessel . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 427
8.2.4 Equac¸o˜es Relacionadas a` de Bessel. A Equac¸a˜o de Bessel Esfe´rica . . . . . . . . 439
8.2.5 Equac¸o˜es Relacionadas a` de Bessel. A Equac¸a˜o de Bessel Modificada . . . . . . 442
8.2.6 A Equac¸a˜o de Laguerre . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 443
8.2.7 A Equac¸a˜o Hipergeome´trica . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 445
8.2.8 A Equac¸a˜o Hipergeome´trica Confluente . . . . . . . . . . . . . . . . . . . . . . . 449
8.3 Algumas Equac¸o˜es Associadas . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 452
8.3.1 A Equac¸a˜o de Legendre Associada . . . . . . . . . . . . . . . . . . . . . . . . . 453
8.3.2 A Equac¸a˜o de Laguerre Associada . . . . . . . . . . . . . . . . . . . . . . . . . . 455
8.4 A Func¸a˜o Gama. Definic¸a˜o e Propriedades . . . . . . . . . . . . . . . . . . . . . . . . . 456
8.5 Exerc´ıcios Adicionais . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 472
8.A Prova da Proposic¸a˜o 8.1. Justificando os Polinoˆmios de Legendre . . . . . . . . . . . . 475
8.B Provando (8.14) . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 477
8.C Justificando os Polinoˆmios de Hermite . . . . . . . . . . . . . . . . . . . . . . . . . . . 479
8.D Provando (8.20) . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 481
8.E Porque λ deve ser um Inteiro Positivo na Equac¸a˜o de Laguerre . . . . . . . . . . . . . . 482
9 Propriedades de Algumas Func¸o˜es Especiais 485
9.1 Discussa˜o Preliminar . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 485
9.1.1 Definic¸o˜es e Considerac¸o˜es Preliminares . . . . . . . . . . . . . . . . . . . . . . . 486
9.1.2 Relac¸o˜es de Ortogonalidade . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 488
9.1.3 Fo´rmulas de Rodrigues . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 490
9.1.4 Func¸o˜es Geratrizes . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 493
7/1355
9.2 Propriedades de Algumas Func¸o˜es Especiais . . . . . . . . . . . . . . . . . . . . . . . . 499
9.2.1 Propriedades dos Polinoˆmios de Legendre . . . . . . . . . . . . . . . . . . . . . . 499
9.2.2 Propriedades dos Polinoˆmios de Legendre Associados. Harmoˆnicas Esfe´ricas . . 505
9.2.3 Propriedades dos Polinoˆmios de Hermite . . . . . . . . . . . . . . . . . . . . . . 515
9.2.4 Propriedades dos Polinoˆmios de Laguerre . . . . . . . . . . . . . . . . . . . . . . 519
9.2.5 Propriedades dos Polinoˆmios de Laguerre Associados . . . . . . . . . . . . . . . 523
9.2.6 Propriedades das Func¸o˜es de Bessel . . . . . . . . . . . .. . . . . . . . . . . . . 526
9.2.7 Propriedades das Func¸o˜es de Bessel Esfe´ricas . . . . . . . . . . . . . . . . . . . . 543
9.A Provando (9.48) a` Forc¸a Bruta . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 547
9.2 Exerc´ıcios Adicionais . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 549
10 Alguns Problemas Selecionados de Interesse F´ısico 550
10.1 As Equac¸o˜es de Helmholtz e de Laplace . . . . . . . . . . . . . . . . . . . . . . . . . . . 550
10.1.1 Problemas em Duas Dimenso˜es em Coordenadas Polares . . . . . . . . . . . . . 552
10.1.2 Problemas em Treˆs Dimenso˜es em Coordenadas Esfe´ricas . . . . . . . . . . . . . 555
10.2 O Problema da Corda Vibrante . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 559
10.2.1 Corda Vibrante Homogeˆnea . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 559
10.2.2 O Problema da Corda Homogeˆnea Pendurada . . . . . . . . . . . . . . . . . . . 562
10.2.3 Corda Vibrante Na˜o-Homogeˆnea . . . . . . . . . . . . . . . . . . . . . . . . . . . 566
10.2.4 O Problema da Membrana Retangular Homogeˆnea . . . . . . . . . . . . . . . . 570
10.3 O Problema da Membrana Circular Homogeˆnea . . . . . . . . . . . . . . . . . . . . . . 572
10.4 O Oscilador Harmoˆnico na Mecaˆnica Quaˆntica e a Equac¸a˜o de Hermite . . . . . . . . . 575
10.5 O A´tomo de Hidrogeˆnio e a Equac¸a˜o de Laguerre Associada . . . . . . . . . . . . . . . 576
10.6 Propagac¸a˜o de Ondas em Tanques Cil´ındricos . . . . . . . . . . . . . . . . . . . . . . . 579
10.7 Exerc´ıcios Adicionais . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 590
11 Rudimentos da Teoria das Equac¸o˜es Diferenciais Parciais 596
11.1 Definic¸o˜es, Notac¸o˜es e Alguns Exemplos . . . . . . . . . . . . . . . . . . . . . . . . . . 597
11.1.1 Algumas Classificac¸o˜es . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 603
11.2 O Me´todo de Separac¸a˜o de Varia´veis . . . . . . . . . . . . . . . . . . . . . . . . . . . . 605
11.2.1 O Me´todo de Separac¸a˜o de Varia´veis. Caso de Equac¸o˜es Lineares . . . . . . . . 606
11.2.2 O Me´todo de Separac¸a˜o de Varia´veis. Caso de Equac¸o˜es Na˜o-Lineares . . . . . . 610
11.3 O Me´todo das Caracter´ısticas . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 612
11.3.1 Exemplos de Aplicac¸a˜o do Me´todo das Caracter´ısticas . . . . . . . . . . . . . . 618
8/1355
11.3.2 Caracter´ısticas. Comenta´rios Adicionais . . . . . . . . . . . . . . . . . . . . . . 631
11.4 Unicidade de Soluc¸o˜es de Equac¸o˜es Diferenciais Parciais . . . . . . . . . . . . . . . . . 632
11.4.1 Casos Simples. Discussa˜o Preliminar . . . . . . . . . . . . . . . . . . . . . . . . 632
11.4.2 Unicidade de Soluc¸o˜es. Generalizac¸o˜es . . . . . . . . . . . . . . . . . . . . . . . 639
11.5 Exerc´ıcios Adicionais . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 647
12 Introduc¸a˜o ao Problema de Sturm-Liouville 649
12.1 Comenta´rios Iniciais . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 650
12.2 O Problema de Sturm . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 655
12.2.1 Resolvendo o Problema de Sturm. A Func¸a˜o de Green . . . . . . . . . . . . . . 656
12.2.2 O Teorema de Green . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 658
12.3 O Problema de Sturm-Liouville . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 660
12.4 Propriedades Ba´sicas dos Auto-Valores e Auto-func¸o˜es de Problemas de Sturm-Liouville 662
12.4.1 Realidade dos Auto-Valores. Ortogonalidade de Auto-func¸o˜es . . . . . . . . . . 663
12.4.2 A Simplicidade dos Auto-Valores . . . . . . . . . . . . . . . . . . . . . . . . . . 666
12.4.3 Condic¸o˜es Suficientes para a Positividade dos Auto-Valores . . . . . . . . . . . . 667
12.5 A Equac¸a˜o Integral de Fredholm . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 671
12.6 Uma Aplicac¸a˜o do Problema de Sturm-Liouville . . . . . . . . . . . . . . . . . . . . . . 674
12.7 Comenta´rios Finais . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 678
12.7.1 O Problema de Sturm-Liouville Singular . . . . . . . . . . . . . . . . . . . . . . 678
12.8 Exerc´ıcios Adicionais . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 680
12.A Prova do Teorema 12.1. Existeˆncia e Unicidade . . . . . . . . . . . . . . . . . . . . . . 685
12.B Prova da Proposic¸a˜o 12.1 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 686
12.C Comenta´rio Sobre o Determinante Wronskiano . . . . . . . . . . . . . . . . . . . . . . . 688
12.D Auseˆncia de Auto-Valores em um Problema Singular . . . . . . . . . . . . . . . . . . . 689
12.E Demonstrac¸a˜o do Teorema 12.3 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 690
12.F Prova da Desigualdade (12.E.22) . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 694
13 Alguns Resultados sobre Equac¸o˜es Integrais 697
13.1 Descric¸a˜o . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 698
13.2 O Me´todo dos Determinantes de Fredholm . . . . . . . . . . . . . . . . . . . . . . . . . 700
13.2.1 A Equac¸a˜o Integral de Fredholm Linear Na˜o-Homogeˆnea . . . . . . . . . . . . . 700
13.2.2 A Equac¸a˜o Integral de Fredholm Linear Homogeˆnea . . . . . . . . . . . . . . . . 704
13.3 Exerc´ıcios Adicionais . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 707
9/1355
13.A Obtendo os Determinantes de Fredholm . . . . . . . . . . . . . . . . . . . . . . . . . . . 709
IV Grupos 715
14 Grupos. Alguns Exemplos 716
14.1 O Grupo de Permutac¸o˜es . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 717
14.1.1 Ciclos, Transposic¸o˜es e Transposic¸o˜es Elementares . . . . . . . . . . . . . . . . . 718
14.2 Alguns Grupos Matriciais . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 723
14.2.1 Os Grupos GL(n) e SL(n) . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 723
14.2.2 O Grupo de Borel e o Grupo de Heisenberg . . . . . . . . . . . . . . . . . . . . 726
14.2.3 Grupos Associados a Formas Bilineares e Sesquilineares . . . . . . . . . . . . . . 732
14.2.4 Os Grupos Ortogonais . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 734
14.2.5 Os Grupos Unita´rios . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 735
14.3 Os Grupos SO(2), SO(3), SU(2) e SL(
�
, 2) . . . . . . . . . . . . . . . . . . . . . . . . 736
14.3.1 Os Grupos SO(2), O(2), SO(1, 1) e O(1, 1) . . . . . . . . . . . . . . . . . . . . . 736
14.3.2 O Grupo SO(3) . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 740
14.3.3 O Grupo SU(2) . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 748
14.3.4 A Relac¸a˜o entre SO(3) e SU(2) . . . . . . . . . . . . . . . . . . . . . . . . . . . 751
14.3.5 O Grupo SL(
�
, 2) . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 754
14.4 Generalidades sobre os grupos SU(n) e SO(n) . . . . . . . . . . . . . . . . . . . . . . . 755
14.4.1 Os Grupos SU(n) . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 756
14.4.2 O Grupo SU(3) . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 759
14.4.3 Os Grupos SO(n) . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 760
14.5 O Grupo Afim e o Grupo Euclidiano . . . . . . . . . . . . . . . . . . . . . . . . . . . . 765
14.6 O Grupo de Lorentz . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 769
14.6.1 O Espac¸o-Tempo, a Noc¸a˜o de Intervalo e a Estrutura Causal . . . . . . . . . . . 770
14.6.2 A Invariaˆncia do Intervalo . . . . . . . . . . . . . . . . . .. . . . . . . . . . . . 776
14.6.3 O Grupo de Lorentz . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 779
14.6.4 Alguns Sub-Grupos do Grupo de Lorentz . . . . . . . . . . . . . . . . . . . . . . 780
14.6.5 A Estrutura do Grupo de Lorentz . . . . . . . . . . . . . . . . . . . . . . . . . . 784
14.6.6 Os Geradores do Grupo de Lorentz . . . . . . . . . . . . . . . . . . . . . . . . . 788
14.7 O Grupo de Poincare´ . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 792
14.8 SL(
�
, 2) e o Grupo de Lorentz . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 795
10/1355
14.A Prova do Teorema 14.8 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 804
14.B Um Isomorfismo entre SL(
�
, 2)/{ � ,− � } e L↑+ . . . . . . . . . . . . . . . . . . . . . . . 814
15 Grupos de Lie e A´lgebras de Lie. Uma Breve Introduc¸a˜o 822
15.1 Variedades e Grupos de Lie . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 823
15.2 Breves Considerac¸o˜es sobre Grupos Topolo´gicos . . . . . . . . . . . . . . . . . . . . . . 825
15.3 Grupos de Lie Matriciais . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 828
15.3.1 Uma Topologia Me´trica em GL(
�
, n) . . . . . . . . . . . . . . . . . . . . . . . . 828
15.3.2 O Grupo de Lie GL(
�
, n) . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 829
15.3.3 Sub-Grupos Uniparame´tricos e seus Geradores . . . . . . . . . . . . . . . . . . . 832
15.3.4 Sub-Grupos Uniparame´tricos e A´lgebras de Lie . . . . . . . . . . . . . . . . . . 835
15.3.5 Subgrupos Fechados de GL(
�
, n) . . . . . . . . . . . . . . . . . . . . . . . . . . 840
15.4 A Relac¸a˜o entre Grupos de Lie Matriciais e suas A´lgebras de Lie . . . . . . . . . . . . . 844
15.4.1 A´lgebras de Lie Nilpotentes, Solu´veis, Simples e Semi-Simples . . . . . . . . . . 845
15.4.2 Questo˜es sobre a Exponenciac¸a˜o de A´lgebras de Lie . . . . . . . . . . . . . . . . 849
15.4.3 Alguns Exemplos Especiais . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 852
16 Uma Breve Introduc¸a˜o a` Teoria das Representac¸o˜es de Grupos 858
16.1 Representac¸o˜es de Grupos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 858
16.2 Representac¸o˜es Irredut´ıveis de SO(3) . . . . . . . . . . . . . . . . . . . . . . . . . . . . 865
16.3 A Medida de Haar . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 869
16.4 Representac¸o˜es de Grupos Compactos . . . . . . . . . . . . . . . . . . . . . . . . . . . . 871
16.5 O Teorema de Peter-Weyl . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 872
V Topologia Geral, Teoria da Medida e Integrac¸a˜o 878
17 Espac¸os Me´tricos 879
17.1 Me´tricas e Espac¸os Me´tricos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 881
17.2 Topologia de Espac¸os Me´tricos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 895
17.3 Pseudo-Me´tricas . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 898
17.4 Espac¸os de Banach e de Hilbert . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 900
17.4.1 Espac¸os de Sequ¨eˆncias . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 902
17.A Algumas Desigualdades Ba´sicas . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 916
17.B Nu´meros reais e p-a´dicos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 918
11/1355
17.C Aproximac¸o˜es para pi . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 925
18 O Teorema do Ponto Fixo de Banach e Algumas de Suas Consequ¨eˆncias 931
18.1 O Teorema de Ponto Fixo de Banach . . . . . . . . . . . . . . . . . . . . . . . . . . . . 932
18.1.1 Aplicac¸a˜o a Equac¸o˜es Nume´ricas. O Me´todo de Newton . . . . . . . . . . . . . 934
18.1.2 Uma Generalizac¸a˜o do Teorema de Ponto Fixo de Banach . . . . . . . . . . . . 938
18.2 As Equac¸o˜es Integrais de Fredholm e de Volterra . . . . . . . . . . . . . . . . . . . . . 939
18.3 Aplicac¸o˜es a` Teoria das Equac¸o˜es Diferenciais Ordina´rias . . . . . . . . . . . . . . . . . 947
18.3.1 O Teorema de Picard-Lindelo¨f . . . . . . . . . . . . . . . . . . . . . . . . . . . . 947
18.3.2 Generalizando o Teorema de Picard-Lindelo¨f. Soluc¸o˜es Globais . . . . . . . . . . 952
18.3.3 Um Teorema de Comparac¸a˜o de Soluc¸o˜es de EDO’s . . . . . . . . . . . . . . . . 953
18.4 O Teorema da Func¸a˜o Impl´ıcita e o Teorema da Func¸a˜o Inversa . . . . . . . . . . . . . 957
18.4.1 O Teorema da Func¸a˜o Impl´ıcita . . . . . . . . . . . . . . . . . . . . . . . . . . . 957
18.4.2 O Teorema da Func¸a˜o Inversa . . . . . . . . . . . . . . . . . . . . . . . . . . . . 962
18.A O Lema de Gro¨nwall . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 963
19 Espac¸os Topolo´gicos e Espac¸os Mensura´veis. Definic¸o˜es e Propriedades Ba´sicas 964
19.1 Definic¸o˜es, Propriedades Elementares e Exemplos . . . . . . . . . . . . . . . . . . . . . 965
19.2 Algumas Construc¸o˜es Especiais e Exemplos . . . . . . . . . . . . . . . . . . . . . . . . 970
19.2.1 Topologias e σ-a´lgebras Geradas . . . . . . . . . . . . . . . . . . . . . . . . . . . 970
19.2.2 Bases de Espac¸os Topolo´gicos . . . . . . . . . . . . . . . . . . . . . . . . . . . . 974
19.2.3 Topologias e σ-a´lgebras Induzidas . . . . . . . . . . . . . . . . . . . . . . . . . . 980
19.2.4 Topologias e σ-a´lgebras Produto . . . . . . . . . . . . . . . . . . . . . . . . . . . 982
19.3 Interior e Fecho de Conjuntos em Espac¸os Topolo´gicos . . . . . . . . . . . . . . . . . . 982
19.3.1 Fecho de Conjuntos em Espac¸os Me´tricos . . . . . . . . . . . . . . . . . . . . . . 986
20 Medidas 988
20.1 O Problema da Teoria da Medida . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 988
20.2 Medidas de Conjuntos. Definic¸a˜o, Exemplos e Propriedades Ba´sicas . . . . . . . . . . . 991
20.3 Construindo Medidas. A Medida Exterior e o Teorema de Caratheodory . . . . . . . . 995
21 A Medida de Lebesgue 1004
21.1 A Construc¸a˜o da Medida de Lebesgue . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1004
21.1.1 A σ-a´lgebra de Borel em � e a Medida de Borel-Lebesgue . . . . . . . . . . . . 1007
21.1.2 A Medida Produto e a Medida de Lebesgue em � n . . . . . . . . . . . . . . . . 1010
12/1355
21.2 Conjuntos de Cantor . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1011
21.3 Bases de Hamel e a Medida de Lebesgue . . . . . . . . . . . . . . . . . . . . . . . . . . 1023
22 Convergeˆncia, Pontos Limite e Pontos de Acumulac¸a˜o em Espac¸os Topolo´gicos 1028
22.1 Primeiras Definic¸o˜es . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1028
22.2 Espac¸os Hausdorff . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1030
22.3 O Limite do I´nfimo e o Limite do Supremo . . . . . . . . . . . . . . . . . . . . . . . . . 1031
22.4 Redes e o Caso de Espac¸os Topolo´gicos Gerais . . . . . . . . . . . . . . . . . . . . . . . 1036
22.4.1 Redes em Espac¸os Me´tricos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1038
23 Continuidade de Func¸o˜es em Espac¸os Topolo´gicos 1040
23.1 Func¸o˜es Cont´ınuas . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1040
23.2 Outras Caracterizac¸o˜es do Conceito de Continuidade em Espac¸os Topolo´gicos . . . . . . 1043
23.2.1 Continuidade e Convergeˆncia . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1044
24 Elementos da Teoria da Integrac¸a˜o 1047
24.1 Comenta´rios Preliminares . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1048
24.2 A Integrac¸a˜o no Sentido de Riemann . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1050
24.2.1A Integral de Riemann Impro´pria . . . . . . . . . . . . . . . . . . . . . . . . . . 1059
24.2.2 Diferenciac¸a˜o e Integrac¸a˜o em Espac¸os de Banach . . . . . . . . . . . . . . . . . 1061
24.3 A Integrac¸a˜o no Sentido de Lebesgue . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1066
24.3.1 Func¸o˜es Mensura´veis e Func¸o˜es Simples . . . . . . . . . . . . . . . . . . . . . . . 1067
24.3.2 A Integral de Lebesgue. Integrac¸a˜o em Espac¸os Mensura´veis . . . . . . . . . . . 1073
24.3.3 A Integral de Lebesgue e sua Relac¸a˜o com a de Riemann . . . . . . . . . . . . . 1082
24.3.4 Teoremas Ba´sicos sobre Integrac¸a˜o e Convergeˆncia . . . . . . . . . . . . . . . . . 1085
24.3.5 Alguns Resultados de Interesse . . . . . . . . . . . . . . . . . . . . . . . . . . . 1088
24.4 Os Espac¸os Lp e Lp . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1090
24.4.1 As Desigualdades de Ho¨lder e de Minkowski . . . . . . . . . . . . . . . . . . . . 1093
24.4.2 O Teorema de Riesz-Fischer. Completeza . . . . . . . . . . . . . . . . . . . . . . 1097
24.A Demonstrac¸a˜o da Proposic¸a˜o 24.3 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1098
24.B Caracterizac¸o˜es e Propriedades de Func¸o˜es Mensura´veis . . . . . . . . . . . . . . . . . . 1099
24.C Prova do Lema 24.3 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1105
24.D Demonstrac¸a˜o de (24.22) . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1106
24.E A Equivaleˆncia das Definic¸o˜es (24.23) e (24.24) . . . . . . . . . . . . . . . . . . . . . . 1107
13/1355
24.F Prova do Teorema da Convergeˆncia Mono´tona . . . . . . . . . . . . . . . . . . . . . . . 1109
24.G Prova do Lema de Fatou . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1110
24.H Prova do Teorema da Convergeˆncia Dominada . . . . . . . . . . . . . . . . . . . . . . . 1111
24.I Prova dos Teoremas 24.2 e 24.3 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1112
24.J Prova das Desigualdades de Ho¨lder e Minkowski . . . . . . . . . . . . . . . . . . . . . . 1115
24.K Prova do Teorema de Riesz-Fischer . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1117
25 Alguns To´picos Especiais em Topologia e Ana´lise 1120
25.1 Uma Coletaˆnea de Definic¸o˜es . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1120
25.2 A Noc¸a˜o de Topologia Fraca . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1126
25.3 A Topologia Produto de Espac¸os Topolo´gicos . . . . . . . . . . . . . . . . . . . . . . . 1127
25.4 O Teorema da Categoria de Baire . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1129
25.5 Aproximac¸a˜o de Func¸o˜es . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1130
25.5.1 Aproximac¸a˜o de Func¸o˜es Cont´ınuas por Polinoˆmios . . . . . . . . . . . . . . . . 1130
VI Ana´lise Funcional 1137
26 Noc¸o˜es Ba´sicas Sobre Espac¸os de Hilbert 1138
26.1 Aspectos Topolo´gicos Ba´sicos de Espac¸os de Hilbert . . . . . . . . . . . . . . . . . . . . 1138
26.2 Aspectos Geome´tricos Ba´sicos de Espac¸os de Hilbert . . . . . . . . . . . . . . . . . . . 1140
26.2.1 Bases Ortonormais Completas em Espac¸os de Hilbert . . . . . . . . . . . . . . . 1145
26.3 Funcionais Lineares e o Dual Topolo´gico de um Espac¸o de Hilbert . . . . . . . . . . . . 1159
26.3.1 O Teorema da Representac¸a˜o de Riesz . . . . . . . . . . . . . . . . . . . . . . . 1160
27 Operadores Lineares Limitados em Espac¸os de Banach e de Hilbert 1163
27.1 Operadores Lineares em Espac¸os Vetoriais Normados . . . . . . . . . . . . . . . . . . . 1165
27.1.1 Espac¸os de Banach de Operadores . . . . . . . . . . . . . . . . . . . . . . . . . . 1169
27.1.2 O Dual Topolo´gico de um Espac¸o de Banach . . . . . . . . . . . . . . . . . . . . 1173
27.1.3 O Teorema de Hahn-Banach e Algumas Consequ¨eˆncias do Mesmo . . . . . . . . 1177
27.1.4 O Teorema de Banach-Steinhaus ou Princ´ıpio de Limitac¸a˜o Uniforme . . . . . . 1183
27.1.5 O Teorema da Aplicac¸a˜o Aberta e o Teorema do Gra´fico Fechado . . . . . . . . 1184
27.2 Operadores Limitados em Espac¸os de Hilbert . . . . . . . . . . . . . . . . . . . . . . . 1192
27.2.1 O Adjunto de um Operador em um Espac¸o de Hilbert . . . . . . . . . . . . . . . 1194
27.3 A´lgebras de Banach e A´lgebras C∗ . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1202
14/1355
27.3.1 A´lgebras de Banach . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1202
27.3.2 A Inversa de Operadores Limitados . . . . . . . . . . . . . . . . . . . . . . . . . 1205
27.3.3 O Espectro de Operadores em A´lgebras de Banach . . . . . . . . . . . . . . . . 1211
27.3.4 O Homomorfismo de Gelfand em A´lgebras C∗ . . . . . . . . . . . . . . . . . . . 1221
27.3.5 Ra´ızes Quadradas de Operadores em A´lgebras de Banach . . . . . . . . . . . . . 1224
27.3.6 Elementos Positivos de A´lgebras C∗ . . . . . . . . . . . . . . . . . . . . . . . . . 1225
27.3.7 O Lema da Raiz Quadrada em espac¸os de Hilbert. A Decomposic¸a˜o Polar . . . 1229
27.4 Um Pouco sobre Estados e Representac¸o˜es de A´lgebras C∗ . . . . . . . . . . . . . . . . 1233
27.5 O Espectro de Operadores em Espac¸os de Banach . . . . . . . . . . . . . . . . . . . . . 1243
27.6 Operadores Compactos em Espac¸os de Banach e de Hilbert . . . . . . . . . . . . . . . . 1252
27.6.1 O Teorema Espectral para Operadores Compactos Auto-adjuntos . . . . . . . . 1265
27.7 O Teorema Espectral para Operadores Limitados Auto-adjuntos em Espac¸os de Hilbert 1273
27.7.1 O Ca´lculo Funcional Cont´ınuo e o Homomorfismo de Gelfand . . . . . . . . . . 1273
27.7.2 Generalizando o Ca´lculo Funcional Cont´ınuo. As Medidas Espectrais . . . . . . 1275
27.7.3 Medidas com Valores em Projec¸o˜es Ortogonais . . . . . . . . . . . . . . . . . . . 1285
27.7.4 Os Projetores Espectrais e o Teorema Espectral . . . . . . . . . . . . . . . . . . 1290
27.7.5 A Relevaˆncia do Teorema Espectral para a F´ısica Quaˆntica (um pouco de F´ısica,
finalmente) . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1294
27.A Prova do Teorema 27.18 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1303
28 Noc¸o˜es de Estruturas Alge´bricas 1307
28.1 A´lgebras Universais . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1308
28.2 Ac¸a˜o de Uma A´lgebra Universal sobre uma Outra A´lgebra Universal (*) . . . . . . . . 1315
29 O Limite Indutivo de A´lgebras 1320
15/1355
Prefa´cio
intenc¸a˜o ba´sica destas Notas e´ fornecer a estudantes de F´ısica noc¸o˜es matema´ticas impor-
tantes para uma melhor compreensa˜o de desenvolvimentos modernos da F´ısica Teo´rica e da
Matema´tica.
De modo geral o texto e´ de leitura auto-suficiente, mas vez por outra algum estudo complementar
e´ sugerido. Estas Notas, pore´m, na˜o sa˜o substituto a` leitura dos bons livros sobre os assuntos aqui
tratados. Entretanto, procuramos apresentar (muitas vezes em exerc´ıcios!) o maior nu´mero poss´ıvel
de exemplos e contra-exemplos para as va´rias situac¸o˜es tratadas de modo a motivar melhor definic¸o˜es
e resultados, o que e´ menos comum em textos com tratamentos mais sistema´ticos. Parte do material
pode ser encontrada em diversas fontes, citadas na bibliografia, mas a apresentac¸a˜o e sua ordem sa˜o
pro´prias. Ha´ tambe´m nestas Notas demonstrac¸o˜es do pro´prio autor de resultados conhecidos que sa˜o,
por alguma raza˜o, dificilmente encontradas na literatura.
Fazemos notar que estas notas esta˜o ainda sendo trabalhadas e alguns cap´ıtulos e sec¸o˜es podem
vir a ser alterados, corrigidos ou acrescidos de material. Ale´m disso, novos cap´ıtulos sera˜o escritos. O
material ja´ presente e´, pore´m, u´til a todos aqueles que queiram iniciar-se nos assuntos aqui expostos.
Verso˜esatualizadas sera˜o colocadas na “rede” (no enderec¸o acima indicado) sempre que poss´ıvel.
O autor agradece a todos os que apresentarem sugesto˜es. Fabulosas somas em dinheiro sa˜o ofere-
cidas a todos aqueles que encontrarem erros no texto. Entre os ja´ aquinhoados encontram-se os Srs.
Matheus Grasselli, Alexandre T. Baraviera, Marcos V. Travaglia, Daniel Augusto Cortez, Djogo F. C.
Patra˜o, Cle´ber de Mico Muramoto, Katiu´scia Nadyne Cassemiro, Urbano Lopes Franc¸a Junior, Gus-
tavo Barbagallo de Oliveira, Priscila Vieira Franco Gondeck, Darielder Jesus Ribeiro, Daniel Augusto
Turolla Vanzella, Leonardo Fernandes Dias da Motta, Krishnamurti Jose´ de Andrade, Pedro Tavares
Paes Lopes, Diego Cortegoso Asseˆncio, Fleury Jose´ de Oliveira Filho, Paulo Henrique Reimberg, Fab´ıola
Diacenco Xavier e Ma´rcio Andre´ Prieto Apar´ıcio Lopez aos quais somos muito gratos por correc¸o˜es e
sugesto˜es.
As Sec¸o˜es 14.B, pa´gina 814, e 18.3.1, pa´gina 947, foram originalmente escritas por Daniel Augusto
Cortez. A Sec¸a˜o 10.6, pa´gina 579, foi originalmente escrita por Andre´ M. Timpanaro, Fleury J. Oliveira
e Paulo H. Reimberg. A eles dedicamos agradecimentos especiais.
Joa˜o Carlos Alves Barata Sa˜o Paulo, 13 de dezembro de 2005.
Departamento de F´ısica Matema´tica do IFUSP
16/1355
“O comportamento de um f´ısico em relac¸a˜o a` Matema´tica e´ similar a de um ladra˜o inteligente em
relac¸a˜o ao co´digo penal: ele estuda apenas o suficiente para evitar punic¸o˜es”.
I. M. Gelfand (1913-).
“A mente na˜o e´ um vaso a ser repleto, mas uma tocha a ser acesa”.
Plutarco (46?-120).
“Talvez eu na˜o tenha tido eˆxito em fazer as coisas dif´ıceis tornarem-se fa´ceis, mas pelo menos eu nunca
fiz um assunto fa´cil tornar-se dif´ıcil”.
F. G. Tricomi (1897-1978).
“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 (1910-1976), in New Scientist, 1976.
“Na˜o existe nenhuma categoria da Cieˆncia a` qual se possa dar o nome de Cieˆncia Aplicada. O que
existe sa˜o a Cieˆncia e as aplicac¸o˜es da Cieˆncia, intimamente ligadas, como frutos a` a´rvore que os
gerou”.
Louis Pasteur (1822-1895), in “Pourquoi la France n’a pas trouve´ d’hommes supe´rieurs au moment du
pe´ril”, Revue Scientifique (Paris, 1871).
17/1355
Notac¸a˜o e Adverteˆncias
Para facilitar a consulta e a leitura, listamos aqui sem muitos comenta´rios um pouco da notac¸a˜o
que empregaremos nestas Notas.
� Se z e´ um nu´mero complexo denotaremos seu complexo conjugado por z. A notac¸a˜o z∗ (mais
comum em textos de F´ısica) pode ocorrer mais raramente.
� O s´ımbolo A := B ou B =: A denota que A e´ definido pela expressa˜o B. O s´ımbolo A ≡ B indica
que A e B sa˜o duas notac¸o˜es distintas para o mesmo objeto.
� Se x = (x1, . . . , xn) e y = (y1, . . . , yn) sa˜o vetores reais com n componentes (ou seja, elementos
de � n) enta˜o definimos
〈x, y〉 � := x1y1 + · · ·+ xnyn .
Trata-se do produto escalar usual em � n.
� Se x = (x1, . . . , xn) e y = (y1, . . . , yn) sa˜o vetores complexos com n componentes (ou seja,
elementos de
�
n) enta˜o definimos
〈x, y〉 � := x1y1 + · · ·+ xnyn .
Trata-se do produto escalar usual em
�
n.
� Se x = (x1, . . . , xn) e y = (y1, . . . , yn) sa˜o vetores complexos com n componentes (ou seja,
elementos de
�
n) enta˜o definimos
〈x, y〉 � := x1y1 + · · ·+ xnyn .
Trata-se de uma forma bilinear em
�
n.
� Mat( � , n) ou Mat(n, � ) designa o conjunto de todas as matrizes reais n × n. Mat( � , n) ou
Mat(n,
�
) designa o conjunto de todas as matrizes complexas n× n.
� Se A e´ um elemento de Mat( � , n) ou de Mat(
�
, n), enta˜o AT designa a matriz transposta de
A, ou seja, a matriz cujos elementos de matriz ij sa˜o
(
AT
)
ij
= Aji.
� Se A e´ um operador linear em um espac¸o vetorial complexo (com um certo produto escalar),
seu adjunto e´ denotado por A∗. Em textos de F´ısica e´ mais comum denota´-lo por A†, mas na˜o
usaremos isso aqui.
Assim, se A ∈ Mat( � , n), enta˜o A∗ sera´ a adjunta de A (em relac¸a˜o ao produto escalar usual,
acima). O elemento de matriz ij de A∗ sera´ (A∗)ij = Aji.
� Denotaremos o operador identidade agindo em um espac¸o vetorial (a matriz identidade, agindo
em um espac¸o vetorial de dimensa˜o finita) pelo s´ımbolo � . Esse s´ımbolo tambe´m representara´ a
unidade de uma a´lgebra.
18/1355
� Designaremos um produto escalar entre dois vetores u e v sempre por 〈u, v〉 e nunca por (u, v),
para na˜o causar confusa˜o com a notac¸a˜o para par ordenado. Outra notac¸a˜o poss´ıvel e´ aquela
empregada frequ¨entemente em textos de Mecaˆnica Quaˆntica: 〈u | v〉, mas faremos raramente uso
dessa notac¸a˜o.
� Ainda sobre produtos escalares, seguiremos sempre a convenc¸a˜o dos textos de F´ısica: um produto
escalar em um espac¸o vetorial sobre os complexos e´ linear em relac¸a˜o ao segundo argumento e
antilinear em relac¸a˜o ao primeiro. Assim, se α e β sa˜o nu´meros complexos, teremos 〈αu, βv〉 =
αβ〈u, v〉. Textos de Matema´tica adotam por vezes a convenc¸a˜o oposta (ou mesmo ambas!).
� Sobre o emprego das palavras func¸a˜o, aplicac¸a˜o, mapeamento, mapa, funcional, operador, operac¸a˜o,
produto e forma, que por vezes causam perplexidade em estudantes, remetemos ao comenta´rio a`
pa´gina 23.
� Dado um conjunto X 6= ∅, denota-se por � (X) a colec¸a˜o de todos os sub-conjuntos de X. � (X)
e´ denominado o conjunto das partes de X.
� A topologia usual da reta real � sera´ denotada aqui por τ � .
� A σ-a´lgebra de Borel de � sera´ (quase sempre) denotada aqui por M[τ � ].
� A σ-a´lgebra dos sub-conjuntos de � mensura´veis por Lebesgue sera´ (quase sempre) denotada
aqui por MµL.
� Para x ∈ � , o s´ımbolo bxc designa o maior inteiro menor ou igual a x. O s´ımbolo dxe designa o
menor inteiro maior ou igual a x.
� Ha´ ainda nestas Notas um problema na˜o totalmente sanado quando ao conjunto dos nu´meros
naturais � . Em algumas sec¸o˜es adotou-se 0 ∈ � , ou seja, � = {0, 1, 2, 3, . . .} em outras,
adotou-se 0 6∈ � , ou seja, � = {1, 2, 3, . . .}. Esperamos que isso seja definitivamente corrigido
futuramente. Por ora, pedimos atenc¸a˜o ao leitor.
� O s´ımbolo 2 indica o fim de um enunciado. O s´ımbolo indica o fim de uma demonstrac¸a˜o. O
s´ımbolo 6 indica o fim do enunciado de um exerc´ıcio. O s´ımbolo ◊ indica o fim do enunciado de
um exemplo.
�
B(X) designa o conjunto de operadores limitados agindo em um espac¸o de Banach X. B(H)
designa o conjunto de operadores limitados agindo em um espac¸o de Hilbert H.
� C(L) designa o conjunto de todas as func¸o˜es cont´ınuas (reais ou complexas, dependendo do caso),
definidas em L (na topologia que se estiver considerando em L).
� B(L) designa a colec¸a˜o de todos os conjuntos Borelianos de L (em relac¸a˜o a` topologia que se
estiver considerando em L). Bl(L) designa a colec¸a˜o de todas as func¸o˜es Borelianas (reais ou
complexas, dependendo do caso), definidas em L.
� O domı´nio de um operador T (agindo em um espac¸o de Banach ou de Hilbert) sera´ denotado
por D(T ) ou por Dom(T ). A imagem (“range”) de T sera´ denotada por R(T ) ou por Ran (T )
ou, mais raramente, por Im (T ), mas essa u´ltima notac¸a˜o pode causar confusa˜o com a da parte
19/1355
imagina´ria de um nu´mero complexo ou mesmo com a da parte imagina´ria de um operador agindo
em um espac¸o de Hilbert: Im (T ) := 1
2i
(T − T ∗).
� As noc¸o˜es de propriedade va´lida quase em toda parte e de propriedade gene´rica sa˜o definidas nas
pa´ginas 1010 e 1122, respectivamente.
• Intervalos
Ainda na˜o introduzimos os nu´meros reais nem a relac¸a˜o de ordem entre eles mas, como essas noc¸o˜es
sa˜o conhecidas, vamos colocar aqui uma palavra sobre a nomenclatura usada para descrever intervalosda reta real. Para a < b ∈ � o conjunto
(a, b) = {x ∈ � , com a < x < b}
e´ dito ser um intervalo aberto. Para a ≤ b ∈ � o conjunto
[a, b] = {x ∈ � , com a ≤ x ≤ b}
e´ dito ser um intervalo fechado. Para a < b ∈ � os conjuntos
[a, b) = {x ∈ � , com a ≤ x < b}
e
(a, b] = {x ∈ � , com a < x ≤ b}
sa˜o ditos ser intervalos semi-abertos (ou semi-fechados).
E´ importante dizer que a nomenclatura “aberto” ou “fechado” acima e´ usada independentemente
da topologia usada em � (a noc¸a˜o de topologia sera´ introduzida adiante).
Parte I
Cap´ıtulos Introduto´rios
20
Cap´ıtulo 1
Noc¸o˜es Ba´sicas
Conteu´do
1.1 Conjuntos, Relac¸o˜es e Func¸o˜es . . . . . . . . . . . . . . . . . . . . . . . . . 22
1.1.1 Relac¸o˜es e Func¸o˜es . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 23
1.1.2 Relac¸o˜es de Ordem . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 30
1.1.3 Cardinalidade . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 37
1.1.4 I´nfimos e Supremos de Famı´lias de Conjuntos . . . . . . . . . . . . . . . . . . 43
1.2 Estruturas Alge´bricas Ba´sicas . . . . . . . . . . . . . . . . . . . . . . . . . 45
1.2.1 Semi-grupos, Mono´ides e Grupos . . . . . . . . . . . . . . . . . . . . . . . . . 46
1.2.2 Corpos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 51
1.2.3 Espac¸os Vetoriais . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 55
1.2.4 Ane´is, A´lgebras e Mo´dulos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 56
1.2.5 Mais sobre Ane´is . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 60
1.2.6 Ac¸o˜es e Representac¸o˜es . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 62
1.2.7 Morfismos, Homomorfismos, Epimorfismos, Isomorfismos, Monomorfismos, En-
domorfismos e Automorfismos . . . . . . . . . . . . . . . . . . . . . . . . . . 65
1.3 Cosets, Sub-Grupos Normais e o Grupo Quociente. O Centro de um
Grupo . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 67
1.3.1 Cosets . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 67
1.3.2 Subgrupos Normais e o Grupo Quociente . . . . . . . . . . . . . . . . . . . . 69
1.3.3 O Centro de um Grupo. Centralizadores e Normalizadores . . . . . . . . . . . 71
1.4 O Produto Direto e o Produto Semi-Direto de Grupos . . . . . . . . . . . 73
1.5 Somas Diretas e Produtos Tensoriais . . . . . . . . . . . . . . . . . . . . . . 76
1.5.1 Discussa˜o Informal Preliminar . . . . . . . . . . . . . . . . . . . . . . . . . . 76
1.5.2 Grupos Gerados por Conjuntos. Grupos Gerados por Relac¸o˜es . . . . . . . . 79
1.5.3 Somas Diretas . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 80
1.5.4 Produtos Tensoriais . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 81
1.5.5 Produtos Diretos e Somas Diretas Arbitra´rios . . . . . . . . . . . . . . . . . . 83
1.5.6 Mo´dulos e Derivac¸o˜es . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 84
1.6 To´picos Especiais . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 84
1.6.1 O Grupo de Grothendieck . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 85
1.6.2 Grupo´ides . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 87
1.6.3 Quate´rnions . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 88
21
JCABarata. Curso de F´ısica-Matema´tica Versa˜o de 13 de dezembro de 2005. Cap´ıtulo 1 22/1355
ste cap´ıtulo introduto´rio pretende (re)apresentar ao leitor uma se´rie de noc¸o˜es matema´ticas
ba´sicas abrangendo rudimentos da teoria dos conjuntos e algumas estruturas alge´bricas. O
objetivo na˜o e´ um tratamento extensivo dos diversos assuntos, ja´ que va´rios deles sera˜o desen-
volvidos em cap´ıtulos futuros. Trata-se quase de um guia de consulta onde sa˜o apresentadas,
junto com exemplos simples, va´rias noc¸o˜es e definic¸o˜es ba´sicas que utilizaremos. O estudante deve
retornar a este cap´ıtulo sempre que necessa´rio.
1.1 Conjuntos, Relac¸o˜es e Func¸o˜es
Partiremos do pressuposto de serem familiares as noc¸o˜es ba´sicas envolvendo conjuntos, como a noc¸a˜o
de pertineˆncia x ∈ C, de unia˜o de dois conjuntos A ∪B e de intersec¸a˜o de dois conjuntos A ∩B.
Para A, B ⊂ X denotamos por A \B a chamada diferenc¸a entre os conjuntos A e B, a saber
A \B := {x ∈ X tal que x ∈ A mas x 6∈ B}. (1.1)
Por vezes usa-se a notac¸a˜o A−B para A \B. Para A ⊂ X denota-se por Ac o chamado complemento
de A em relac¸a˜o a X: Ac := X \A. Note-se que ao usar-se o s´ımbolo Ac deve estar subentendido qual
o conjunto X ao qual o complemento se refere. E´ fa´cil ver que se A, B ⊂ X enta˜o A \B = Bc ∩ A.
Dizemos que um conjunto B ⊂ A e´ um subconjunto pro´prio de A se A \B 6= ∅, ou seja, se houver
elementos em A que na˜o esta˜o em B.
Se A e B sa˜o conjuntos e A ∩ B = ∅ enta˜o A ∪B e´ dita ser uma unia˜o disjunta de A e B.
Se X e´ um conjunto denota-se por
�
(X) a colec¸a˜o de todos os subconjuntos de X.
�
(X) e´ por
vezes chamado de conjunto das partes de X. Por convenc¸a˜o adota-se sempre que ∅ ∈ � (X). Assim,
dizer que A ⊂ X equivale a dizer A ∈ � (X).
Por A4B denota-se a chamada diferenc¸a sime´trica entre A e B:
A4B := (A ∪B) \ (A ∩B). (1.2)
E. 1.1 Exerc´ıcio. Mostre que A4B = B4A e que (A4B)4C = A4(B4C). 6
• Pares Ordenados
Um conceito ba´sico importante em Matema´tica e´ o de par ordenado. O conceito de par ordenado
(a, b) formado por dois elementos gene´ricos a, b ∈ X e´ intuitivo. A intuic¸a˜o e´ que entende-se como par
ordenado uma lista de dois elementos sendo que um deles assume a posic¸a˜o de “primeiro” elemento
da lista (no caso, a) e o outro a de “segundo” (no caso, b). Formalmente define-se (a, b) como sendo
o conjunto {a, {b}}. Esta definic¸a˜o formal corresponde a` intuic¸a˜o pois, no conjunto C = {a, {b}}, ha´
uma distinc¸a˜o entre o papel de a e de b, dado que a e´ um elemento do conjunto C, enquanto que b
e´ um elemento de um subconjunto de C, a saber do conjunto C \ {a}. Apesar de existir a definic¸a˜o
formal acima, recomenda-se ao estudante fiar-se inicialmente na intuic¸a˜o por tra´s do conceito.
JCABarata. Curso de F´ısica-Matema´tica Versa˜o de 13 de dezembro de 2005. Cap´ıtulo 1 23/1355
Dados dois conjuntos A e B definimos por A × B o conjunto de todos os pares ordenados (a, b)
sendo a ∈ A e b ∈ B. O conjunto A× B e´ chamado de produto Cartesiano1 de A e B. Note que, em
geral, A× B 6= B × A. Por queˆ?
Mais adiante apresentaremos uma generalizac¸a˜o da noc¸a˜o de produto Cartesiano de conjuntos.
1.1.1 Relac¸o˜es e Func¸o˜es
• Relac¸o˜es
Sejam A e B conjuntos e seja o produto Cartesiano A × B. Um subconjunto de A× B e´ dito ser
uma relac¸a˜o bina´ria, ou simplesmente relac¸a˜o entre A e B.
Exemplo. Seja A o conjunto de homens vivos e B o conjunto de mulheres vivas e seja R ⊂ A× B
o conjunto R := {(a, b), a e´ irma˜o de b}. R representa uma relac¸a˜o (de irmandade) entre homens e
mulheres.
Outros exemplos vira˜o abaixo.
Dada uma relac¸a˜o G ⊂ A×B entre conjuntos A e B ha´ duas noc¸o˜es importantes associadas: a de
domı´nio da relac¸a˜o e a de imagem da relac¸a˜o. Define-se por domı´nio de G o conjunto
Dom(G) := {a ∈ A tal que (a, b) ∈ G para algum b ∈ B}. (1.3)
Define-se por imagem de G o conjunto
Im(G) := {b ∈ B tal que (a, b) ∈ G para algum a ∈ A}. (1.4)
Note-se que Dom(G) ⊂ A e que Im(G) ⊂ B.
• Func¸o˜es
Este e´ talvez o mais importante exemplo de relac¸a˜o. Sejam A e B conjuntos e F uma relac¸a˜o entre
A e B. Enta˜o, a relac¸a˜o F e´ dita ser uma func¸a˜o de A em B se Dom(F ) = A e se (a, b) ∈ F e
(a, b′) ∈ F so´ for poss´ıvel caso b = b′. Em outras palavras, a cada elemento a de A a func¸a˜o associa um
e apenas um elemento b de B que faz o papel de segundo elemento do par ordenado(a, b). Este segundo
elemento associado pela func¸a˜o F ao elemento a, e´ mais conveniente denota´-lo por F (a). Assim, uma
func¸a˜o e´ o conjunto de pares {(a, F (a)) ∈ A×B, a ∈ A}. Frequ¨entemente denotamos uma func¸a˜o F
de A em B por F : A→ B.
• Aplicac¸o˜es, Mapeamentos, Mapas, Funcionais, Operadores, Operac¸o˜es, Produtos etc.
Muito frequ¨entemente usam-se as palavras aplicac¸a˜o, mapeamento, mapa, funcional, operador,
operac¸a˜o, produto, transformac¸a˜o, forma, e talvez ainda outras, para designar certos tipos de func¸o˜es
entre conjuntos. Essa abundaˆncia de palavras causa frequ¨entemente confusa˜o e mesmo perplexidade
1Assim chamado em honra a Rene´ Descartes (1596-1650). O adjetivo Cartesiano provem da latinizac¸a˜o de seu nome
como Cartesius.
JCABarata. Curso de F´ısica-Matema´tica Versa˜o de 13 de dezembro de 2005. Cap´ıtulo 1 24/1355
em estudantes rece´m-iniciados mas, em esseˆncia, todos esses objetos sa˜o func¸o˜es, no sentido abstrato
que definimos acima.
O que difere seu uso e´ por vezes a tradic¸a˜o de certas a´reas e os tipos de conjuntos que as func¸o˜es
teˆm como domı´nio e imagem. A palavra “func¸a˜o”, propriamente, e´ mais frequ¨entemente empregada
quando se trata de func¸o˜es nume´ricas, por exemplo de � em � ou de
�
em
�
. A palavra “funcional”2
e´ frequ¨entemente empregada quando se trata de func¸o˜es que levam vetores ou func¸o˜es nume´ricas em
nu´meros. Um exemplo de funcional e´ a func¸a˜o que leva func¸o˜es reais cont´ınuas f nas suas integrais
no intervalo [0, 1]: f 7→ ∫ 1
0
f(x)dx. A palavra “operador” tipicamente designa func¸o˜es lineares entre
espac¸os vetoriais (como, por exemplo, as matrizes, que sa˜o func¸o˜es lineares entre espac¸os vetoriais de
dimensa˜o finita). “Produtos” ou “operac¸o˜es” frequ¨entemente designam func¸o˜es de C × C em C, para
um conjunto C na˜o-vazio qualquer, ou seja, func¸o˜es de duas varia´veis em um conjunto C, assumindo
valores no pro´prio conjunto C. A palavra “forma” por vezez designa certas func¸o˜es bi-lineares de
V ×V em � ou � , sendo V um espac¸o vetorial. As palavras “aplicac¸a˜o”, “mapa” e “mapeamento” sa˜o
frequ¨entemente empregadas para designar func¸o˜es em a´reas como Topologia, Geometria Diferencial ou
Sistemas Dinaˆmicos.
Certas palavras sa˜o empregadas para designar certas func¸o˜es com propriedades especiais. Um
“homeomorfismo”, por exemplo, e´ uma func¸a˜o bijetora entre dois espac¸os topolo´gicos que seja cont´ınua
e cuja inversa seja tambe´m cont´ınua. Um “difeomorfismo” e´ um homeomorfismo entre duas variedades
diferencia´veis que seja infinitamente diferencia´vel. Ha´ ainda va´rios outros “morfismos”, como discutido
na Sec¸a˜o 1.2.7, a` pa´gina 65.
Em verdade, e´ conveniente dispormos por vezes de uma certa variedade de palavras diferentes
simplesmente para evitarmos o emprego mono´tono e descolorido da palavra “func¸a˜o”. Com um pouco
de ironia, lembremos por fim a definic¸a˜o circular de Edward Teller: “An intelectual is someone who
thinks the same things and uses the same words as other intelectuals”.
• Imagens e pre´-imagens de func¸o˜es
Seja f : X → Y uma func¸a˜o. Se A ⊂ X, definimos
f(A) := {y ∈ Y | y = f(x) para algum x ∈ A}.
Se B ⊂ Y , definimos
f−1(B) := {x ∈ X| f(x) ∈ B}.
f(A) e´ dita ser a imagem de A por f e f−1(B) e´ dita ser a pre´-imagem de B por f .
O uso do s´ımbolo f−1 para designar pre´-imagem f−1(B) de um conjunto B e´ uma escolha infeliz
(mas universalmente aceita), pois pode causar confusa˜o com a noc¸a˜o de func¸a˜o inversa de f , que pode
na˜o estar definida. O estudante deve estar atento.
• Func¸o˜es Sobrejetoras, Injetoras e Bijetoras
Uma func¸a˜o F : A → B e´ dita ser sobrejetora se Im(F ) = B. Uma func¸a˜o F : A → B e´ dita
ser injetora ou injetiva se a cada b ∈ Im(F ) existir um e somente um elemento a ∈ Dom(F ) tal que
(a, b) ∈ F . Uma func¸a˜o que for sobrejetora e injetora e´ dita ser bijetora.
2A palavra “funcional” foi empregada pela primeira vez na Matema´tica por Jacques Salomon Hadamard (1865-1963).
JCABarata. Curso de F´ısica-Matema´tica Versa˜o de 13 de dezembro de 2005. Cap´ıtulo 1 25/1355
Seja uma func¸a˜o bijetora F ⊂ A× B. Enta˜o, a relac¸a˜o F−1 ⊂ B × A dada por
F−1 = {(b, a) tal que (a, b) ∈ F}
e´, em verdade, uma func¸a˜o denominada func¸a˜o inversa de F . E´ claro que (F−1)−1 = F .
• Famı´lias de Conjuntos
Seja X um conjunto na˜o-vazio. Uma colec¸a˜o F na˜o-vazia de sub-conjuntos de X e´ por vezes dita
ser uma famı´lia de conjuntos (que sa˜o sub-conjuntos de algum X fica subentendito). Se F for uma
famı´lia de conjuntos e existirem um conjunto na˜o-vazio I e uma func¸a˜o bijetora f : I → F, enta˜o
dizemos que a famı´lia F e´ indexada por I e os elementos de I sa˜o denominados ı´ndices. Se λ e´ um
ı´ndice, designaremos sua imagem pela func¸a˜o f simplesmente por Aλ ∈ F.
Uma indexac¸a˜o de uma colec¸a˜o F na˜o-vazia de sub-conjuntos de X sempre existe: podemos tomar
I = F e f a func¸a˜o identidade.
• Operac¸o˜es ba´sicas com famı´lias de conjuntos
Sejam X e I conjuntos arbitra´rios na˜o-vazios e seja associado a cada α ∈ I um sub-conjunto Aα de
X. O conjunto I sera´ frequ¨entemente denominado conjunto ou famı´lia de ı´ndices. Vamos introduzir
alguma notac¸a˜o a ser usada em todas estas Notas. Definimos⋃
α∈I
Aα := {x ∈ X tal que x ∈ Aα para algum α ∈ I} (1.5)
e ⋂
α∈I
Aα := {x ∈ X tal que x ∈ Aα para todo α ∈ I}. (1.6)
As definic¸o˜es acima implicam as importantes propriedades descritas na proposic¸a˜o que segue, cuja
demonstrac¸a˜o deixamos como exerc´ıcio.
Proposic¸a˜o 1.1 Sejam B ⊂ X, X na˜o-vazio, e {Aα ⊂ X, α ∈ I} uma colec¸a˜o arbitra´ria de subcon-
juntos de X. Enta˜o valem as seguintes relac¸o˜es:
B \
(⋃
α∈I
Aα
)
=
⋂
α∈I
(B \Aα) , B \
(⋂
α∈I
Aα
)
=
⋃
α∈I
(B \ Aα) , (1.7)
(⋂
α∈I
Aα
)
\B =
⋂
α∈I
(Aα \B) ,
(⋃
α∈I
Aα
)
\B =
⋃
α∈I
(Aα \B) , (1.8)
B ∪
(⋂
α∈I
Aα
)
=
⋂
α∈I
(B ∪ Aα) , B ∩
(⋃
α∈I
Aα
)
=
⋃
α∈I
(B ∩ Aα) , (1.9)
B ∪
(⋃
α∈I
Aα
)
=
⋃
α∈I
(B ∪ Aα) , B ∩
(⋂
α∈I
Aα
)
=
⋂
α∈I
(B ∩ Aα) . (1.10)
JCABarata. Curso de F´ısica-Matema´tica Versa˜o de 13 de dezembro de 2005. Cap´ıtulo 1 26/1355
As relac¸o˜es, (1.7) implicam(⋃
α∈I
Aα
)c
=
⋂
α∈I
(Aα)
c ,
(⋂
α∈I
Aα
)c
=
⋃
α∈I
(Aα)
c . (1.11)
2
• Propriedades elementares de func¸o˜es
As seguintes proposic¸o˜es sa˜o importantes e frequ¨entemente usadas:
Proposic¸a˜o 1.2 Seja f : X → Y uma func¸a˜o e seja Λ um conjunto de ı´ndices. Se Aλ ⊂ X para todo
λ ∈ Λ, enta˜o
f
(⋃
λ∈Λ
Aλ
)
=
⋃
λ∈Λ
f(Aλ) , (1.12)
mas
f
(⋂
λ∈Λ
Aλ
)
⊂
⋂
λ∈Λ
f(Aλ) . (1.13)
Se Bλ ⊂ Y para todo λ ∈ Λ, enta˜o
f−1
(⋃
λ∈Λ
Bλ
)
=
⋃
λ∈Λ
f−1(Bλ) , (1.14)
e
f−1
(⋂
λ∈Λ
Bλ
)
=
⋂
λ∈Λ
f−1(Bλ) . (1.15)
2
A demonstrac¸a˜o e´ elementar e e´ deixada como exerc´ıcio.
Em (1.13) na˜o se pode provar a igualdade entre f
(⋂
λ∈ΛAλ
)
e
⋂
λ∈Λ f(Aλ) e a raza˜o e´ a seguinte:
se y ∈ ⋂λ∈Λ f(Aλ) enta˜o y ∈ f(Aλ) para todo λ ∈ Λ. Assim, em cada Aλ existe um xλ com y = f(xλ).
Mas pode ocorrer que em
⋂
λ∈ΛAλ na˜o exista nenhum elemento x com y = f(x). O seguinte exemplo
ilustra isso. Seja f(x) = x2 definida em [−1, 1]. Tomemos A1 = [−1, 0], A2 = [0, 1]. Enta˜o,
f(A1) = [0, 1] e f(A2) = [0, 1]. Portanto, f(A1)∩ f(A2) = [0, 1]. Pore´m, f(A1 ∩A2) = f({0}) = {0}.
apesar disso, vale o seguinte:
Proposic¸a˜o 1.3 Se f : X → Y e´ injetora enta˜o, se Aλ ⊂ X para todo λ ∈ Λ, vale
f
(⋂
λ∈Λ
Aλ
)
=
⋂
λ∈Λ
f(Aλ) . (1.16)
2
JCABarata. Curso de F´ısica-Matema´tica Versa˜o de 13 de dezembro de 2005. Cap´ıtulo 1 27/1355
A demonstrac¸a˜o e´ elementar e e´ deixada como exerc´ıcio.
Em relac¸a˜o a`s operac¸o˜es de complemento e diferenc¸a de conjuntos temos o seguinte:
Proposic¸a˜o 1.4 Se f : X → Y e´ uma func¸a˜o e B, C⊂ Y , enta˜o
f−1(Bc) =
(
f−1(B)
)c
,
f−1(B \ C) = f−1(B) \ f−1(C) .
Aqui, Bc = Y \B. Fora isso, se f : X → Y e´ uma func¸a˜o injetora e sobrejetora e A, B ⊂ X, enta˜o
f(Ac) = (f(A))c ,
f(A \B) = f(A) \ f(B) .
Aqui, Ac = X \ A. 2
A demonstrac¸a˜o e´ elementar e e´ deixada como exerc´ıcio.
• A Unia˜o Disjunta de uma Famı´lia Arbitra´ria de Conjuntos
Sejam, como acima, um conjunto I (na˜o necessariamente finito ou conta´vel) e Ai, i ∈ I, conjuntos
indexados por elementos de I. Os conjuntos Ai podem eventualmente possuir elementos comuns, ou
seja, pode haver elementos x que comparecem em va´rios conjuntos Ai. Pore´m, quando formamos a
unia˜o usual dos conjuntos Ai, ou seja,
⋃
i∈I Ai, cada elemento x comparece apenas uma vez, mesmo que
pertenc¸a a va´rios Ai’s. Por vezes estamos interessados em formar um outro tipo de unia˜o de conjuntos
onde essa poss´ıvel multiplicidade de cada elemento x possa ser levada em conta. A definic¸a˜o abaixo e´,
para tal, das mais adequadas.
Definimos a unia˜o disjunta da famı´lia de conjuntos Ai como sendo o conjunto, denotado por
⊔
i∈I
Ai,
dado pela unia˜o de todos os pares ordenados (a, i) com i ∈ I, a ∈ Ai, ou seja,⊔
i∈I
Ai :=
⋃
i∈I
⋃
a∈Ai
(a, i) .
Unio˜es disjuntas desempenham um papel em va´rias a´reas da Matema´tica. Na Geometria Diferencial,
por exemplo, o chamado fibrado tangente de uma variedade diferencia´vel e´ definido como a unia˜o
disjunta dos espac¸os tangentes a` variedade.
• Extenso˜es de Func¸o˜es
Seja F : A → B uma func¸a˜o e suponha que A seja subconjunto de um outro conjunto A′. Uma
func¸a˜o G : A′ → B e´ dita ser uma extensa˜o de F se F e G coincidirem na parte comum de seus
domı´nios, que vem a ser o conjunto A, ou seja, se G(a) = F (a) para todo a ∈ A.
Se lembrarmos que uma func¸a˜o F : A→ B e´ um subconjunto de A×B e que uma func¸a˜oG : A′ → B
e´ um subconjunto de A′ × B e se notarmos que A × B ⊂ A′ × B caso A ⊂ A′, enta˜o uma definic¸a˜o
alternativa de extensa˜o seria seguinte: uma func¸a˜o G e´ uma extensa˜o de uma func¸a˜o F se F ⊂ G,
ambas entendidas como subconjuntos de A′ ×B.
JCABarata. Curso de F´ısica-Matema´tica Versa˜o de 13 de dezembro de 2005. Cap´ıtulo 1 28/1355
E. 1.2 Exerc´ıcio. Verifique a equivaleˆncia dessas duas definic¸o˜es do conceito de extensa˜o de func¸o˜es.
6
Como veremos, o conceito de extensa˜o de func¸o˜es e´ frequ¨entemente empregado na teoria dos ope-
radores lineares em espac¸os de Hilbert.
• O Produto Cartesiano de uma Famı´lia Arbitra´ria de Conjuntos
Ja´ discutimos o conceito de produto Cartesiano de dois conjuntos A e B: A×B e com ele introdu-
zimos a noc¸a˜o de func¸a˜o. De posse dessa noc¸a˜o podemos, com vistas a uma generalizac¸a˜o, apresentar
uma outra visa˜o do conceito de produto Cartesiano de dois conjuntos, a saber, podemos dizer que A×B
e´ o conjunto de todas as func¸o˜es f : {1, 2} → A∪B tais que f(1) ∈ A e f(2) ∈ B. A ide´ia e´ dizer que
cada par ordenado (a, b) com a ∈ A e b ∈ B e´ uma func¸a˜o onde o primeiro membro do par e´ a imagem
de 1 (por ser o primeiro) e o segundo a imagem de 2 (por ser o segundo). Essa ide´ia permite definir pro-
dutos Cartesianos de um nu´mero finito n de conjuntos A1, A2, . . . , An denotado por A1×A2× . . .×An
como sendo o conjunto de todas as func¸o˜es f : {1, 2, . . . , n} →
n⋃
j=1
Aj satisfazendo f(j) ∈ Aj para todo
j ∈ {1, . . . , n}. A func¸a˜o f tem, por assim dizer, o papel de ordenar os elementos de
n⋃
j=1
Aj tomando-se
sucessivamente um elemento de cada Ai por vez. O produto Cartesiano A1 × A2 × . . . × An e´ assim
entendido como o conjunto formado por todas as eˆnuplas ordenadas (a1, . . . , an) com ai ∈ Ai.
Essa ide´ia pode ser generalizada ainda mais. Sejam I um conjunto na˜o-vazio (na˜o necessariamente
finito ou conta´vel) e Ai, i ∈ I, conjuntos na˜o-vazios indexados por elementos de I. Definimos enta˜o o
produto Cartesiano da famı´lia de conjuntos {Ai, i ∈ I}, denotado por∏
i∈I
Ai
como sendo o conjunto de todas as func¸o˜es f : I →
⋃
j∈I
Aj tais que f(x) ∈ Ax para todo x ∈ I. O
Axioma da Escolha (pa´gina 28) consiste na afirmac¸a˜o (ou melhor dizendo, na suposic¸a˜o, ja´ que se trata
de um axioma) que
∏
i∈I Ai e´ na˜o-vazio.
Se por ventura todos os conjuntos Ai forem ideˆnticos enta˜o denota-se o produto Cartesiano acima
por AI . Assim, AI denota o conjunto de todas as func¸o˜es de I em A.
Desta forma � × � e � {1, 2} sa˜o duas notac¸o˜es distintas para o mesmo objeto, que tambe´m e´
denotado simplesmente por � 2, como se sabe. Genericamente � d designa � {1,...,d} para d ∈ � , d > 0.
• O Axioma da Escolha
O Axioma da Escolha consiste na seguinte afirmativa:
Seja As, s ∈ I, uma famı´lia de conjuntos na˜o-vazios, onde I e´ um conjunto arbitra´rio (na˜o-vazio)
de ı´ndices. Enta˜o, podemos construir um conjunto A tomando (“escolhendo”) um elemento as de cada
conjunto As. Em termos mais te´cnicos, o axioma diz que ha´ func¸o˜es F : I →
⋃
s∈I
As tais que F (s) ∈ As
JCABarata. Curso de F´ısica-Matema´tica Versa˜o de 13 de dezembro de 2005. Cap´ıtulo 1 29/1355
para todo s ∈ I, ou seja, o produto Cartesiano ∏s∈I As e´ na˜o vazio3.
A primeira vista esse axioma parece constituir-se de uma obviedade. Sucede, pore´m, que, sobretudo
pelo fato de o conjunto I de ı´ndices ser arbitra´rio (podendo ser ate´ um conjunto infinito e na˜o-conta´vel),
a afirmativa que o mesmo conte´m na˜o pode ser derivada de princ´ıpios mais ba´sicos. O axioma faz uma
afirmac¸a˜o de existeˆncia (de uma func¸a˜o como a F , ou de um conjunto como A formado por elementos
escolhidos de cada As) que, geralmente, na˜o pode ser demonstrada construtivamente, ou seja, por
exibic¸a˜o expl´ıcita de uma tal func¸a˜o F ou de um conjunto A.
Faremos uso expl´ıcito do Axioma da Escolha adiante quando exibirmos exemplos de conjuntos na˜o-
mensura´veis. O Axioma da Escolha foi originalmente formulado por Zermelo4 em 1904 como parte da
sua demonstrac¸a˜o do chamado Princ´ıpo do Bom-Ordenamento, Teorema 1.1, pa´gina 35. Vide [53].
Uma t´ıpica situac¸a˜o na qual se faz uso do Axioma da Escolha ocorre quando sa˜o dados um conjunto
X e uma uma relac¸a˜o de equivaleˆncia E em X e constro´i-se um conjunto A ⊂ X tomando-se um
representante de cada classe de equivaleˆncia de X por E.
Nem sempre e´ poss´ıvel exibir explicitamente os elementos de A, mas assumimos (via Axioma da
Escolha) que um tal conjunto existe. Para ter-se em mente um caso onde uma tal situac¸a˜o ocorre,
tome-se o exemplo dado em (1.18), pa´gina 30.
• Relac¸o˜es de Equivaleˆncia
Outro tipo importante de relac¸a˜o e´ formado pelas chamadas relac¸o˜es de equivaleˆncia. Uma relac¸a˜o
E ⊂ A×A e´ dita ser uma relac¸a˜o de equivaleˆncia em um conjunto na˜o-vazio A se os seguintes quesitos
forem satisfeitos:
1. (a, a) ∈ E para todo a ∈ A.
2. (a, b) ∈ E implica que (b, a) ∈ E.
3. (a, b) ∈ E e (b, c) ∈ E implicam que (a, c) ∈ E.
Se o par (a, b) pertence a uma relac¸a˜o de equivaleˆncia E enta˜o a e b sa˜o ditos serem equivalentes
segundo E. Quase sempre usa-se a notac¸a˜o a
E∼ b, ou simplesmente a ∼ b, para indicar que dois
elementos sa˜o equivalentes segundo uma relac¸a˜o de equivaleˆncia dada.
Seja A um conjunto e E ⊂ A × A uma relac¸a˜o de equivaleˆncia em A. Para cada a ∈ A podemos
definir o conjunto
E(a) := {a′ ∈ A tal que (a, a′) ∈ E}. (1.17)
Esse conjunto e´ chamado de classe de equivaleˆncia de a (pela relac¸a˜o de equivaleˆncia E).
E. 1.3 Exerc´ıcio. Seja A um conjunto e E ⊂ A×A e´ uma relac¸a˜o de equivaleˆncia em A. Suponha que
a, b ∈ A e que a ∼ b segundo E. Prove que E(a) = E(b). 6
E. 1.4 Exerc´ıcio importante. Prove que se A e´ um conjunto e E ⊂ A×A e´ uma relac¸a˜o de equivaleˆncia
em A enta˜o A e´ a unia˜o disjunta de classes de equivaleˆncia de seus elementos. 6
3Para a definic¸a˜o do produto Cartesiano
∏
s∈I As, vide pa´gina 28.
4Ernst Friedrich Ferdinand Zermelo (1871-1953).
JCABarata.Curso de F´ısica-Matema´tica Versa˜o de 13 de dezembro de 2005. Cap´ıtulo 1 30/1355
E. 1.5 Exerc´ıcio. Seja o conjunto dos nu´meros reais � e seja a relac¸a˜o W ⊂ � × � definida por
W := {(x, y) ∈ � × � tal que x− y ∈ � }, (1.18)
onde � e´ o conjunto dos nu´meros racionais. Prove que W e´ uma relac¸a˜o de equivaleˆncia. 6
• Relac¸o˜es de Compatibilidade
Seja P um conjunto. Uma relac¸a˜o de compatibilidade em P e´ um conjunto C ⊂ P × P com as
seguintes propriedades:
1. Se γ e γ′ sa˜o tais que (γ, γ ′) ∈ C, enta˜o (γ′, γ) ∈ C.
2. Para todo γ ∈ P vale (γ, γ) 6∈ C.
Para uma dada relac¸a˜o de compatibilidade C denotamos γ∼C γ′ caso (γ, γ′) ∈ C e dizemos que
γ e γ′ sa˜o C-compat´ıveis. Caso contra´rio, denotamos γ 6∼C γ′ se (γ, γ′) 6∈ C e dizemos que γ e γ ′ sa˜o
C-incompat´ıveis.
Se uma dada relac¸a˜o C e´ subentendida, denotamos simplesmente γ ∼ γ ′ caso (γ, γ′) ∈ C e dizemos
simplesmente que γ e γ ′ sa˜o compat´ıveis.
Relac¸o˜es de compatibilidade sa˜o importantes na Mecaˆnica Estat´ıstica, especialmente nas chamadas
expanso˜es de pol´ımeros e de “clusters”.
Exemplo. Seja X um conjunto na˜o-vazio e P =
�
(X) \ {∅}, a colec¸a˜o de todos os subconjuntos
na˜o-vazios de X. Uma relac¸a˜o de compatibilidade em P e´ a seguinte: A ∼ B ⇐⇒ A ∩ B = ∅.
Verifique.
1.1.2 Relac¸o˜es de Ordem
Seja X um conjunto na˜o-vazio. Uma relac¸a˜o R ⊂ X ×X e´ dita ser uma relac¸a˜o de ordem parcial em
X, ou simplesmente uma relac¸a˜o de ordem em X, se as seguintes condic¸o˜es forem satisfeitas:
1. Para todo a ∈ X tem-se que (a, a) ∈ R.
2. Se (a, b) ∈ R e (b, a) ∈ R enta˜o forc¸osamente a = b.
3. Se (a, b) ∈ R e (b, c) ∈ R enta˜o (a, c) ∈ R.
Se X possui uma ordem parcial R, X e´ chamado de conjunto parcialmente ordenado por R. Em
textos matema´ticos em l´ıngua inglesa, conjuntos parcialmente ordenados sa˜o frequ¨eˆntemente denomi-
nados posets (de “partially ordered sets”). A noc¸a˜o de conjunto parcialmente ordenado foi introduzida
por Hausdorff5
5Felix Hausdorff (1868-1942). Hausdorff foi um dos criadores da Topologia e da moderna Teoria dos Conjuntos.
Perseguido pelo nacional-socialismo, suicidou-se em 1942 para evitar ser enviado a um campo de concentrac¸a˜o.
JCABarata. Curso de F´ısica-Matema´tica Versa˜o de 13 de dezembro de 2005. Cap´ıtulo 1 31/1355
Exemplo. Seja X um conjunto e
�
(X) a colec¸a˜o de todos os sub-conjuntos de X. Podemos estabe-
lecer em
�
(X) uma relac¸a˜o R do seguinte tipo: para A, B ⊂ X tem-se (A, B) ∈ R se A ⊂ B. Como
exerc´ıcio deixamos ao estudante mostrar que esta e´ uma relac¸a˜o de ordem parcial de acordo com a
definic¸a˜o acima. Este exemplo ilustra tambe´m por que chamar tal relac¸a˜o de ordem de “parcial”. A
raza˜o e´ que nem todo par (A, B) e´ elemento de R pois, para dois conjuntos A e B arbitra´rios, nem
sempre vale que A ⊂ B ou que B ⊂ A (por exemplo se A ∩ B = ∅).
Em func¸a˜o da analogia com essa relac¸a˜o de ordem usual dos nu´meros reais e´ costume, dada uma
relac¸a˜o de ordem R qualquer, indicar que (a, b) ∈ R atrave´s da notac¸a˜o a � b. Por vezes, o s´ımbolo
≤ e´ tambe´m usado, mas tentaremos emprega´-lo apenas para denotar a relac¸a˜o de ordem usual entre
nu´meros reais.
• Relac¸o˜es de Ordem Total
Outro conceito importante e´ o de relac¸a˜o de ordem total. Uma ordem parcial R em um conjunto X
e´ dita ser uma relac¸a˜o de ordem total se para todo a, b ∈ X tem-se que (a, b) ∈ R ou que (b, a) ∈ R.
Se X possui uma relac¸a˜o de ordem total R enta˜o X e´ dito ser totalmente ordenado ou linearmente
ordenado. Assim, se X e´ um conjunto dotado de uma relac¸a˜o de ordem parcial, dizemos que um
sub-conjunto A ⊂ X e´ linearmente ordenado se a � b ou b � a para todo a, b ∈ A.
• Exemplos
Exemplo. Seja � o conjunto de nu´meros reais e a relac¸a˜o de ordem (x, y) ∈ R se x − y for um
nu´mero negativo ou nulo (ou seja, se x ≤ y). Mostre que essa e´ uma relac¸a˜o de ordem total em � .
Contra-exemplo. Seja C um conjunto na˜o-vazio qualquer. Enta˜o,
�
(C) e´ ordenado pela inclusa˜o de
conjuntos: A � B se e somente se A ⊂ B. Pore´m � (C) na˜o e´ linearmente ordenado pois se A ∩B = ∅
na˜o podemos dizer que A � B nem que B � A.
E. 1.6 Exerc´ıcio. Voceˆ consegue construir uma relac¸a˜o de ordem em � 2 ou em � 3? E uma relac¸a˜o de
ordem total? 6
• Mais Exemplos
Seja o conjunto dos nu´meros naturais � . Podemos estabelecer em � a relac¸a˜o de ordem usual onde
dizemos que x ≤ y se x − y for um nu´mero negativo ou nulo. Esta relac¸a˜o e´ uma relac¸a˜o de ordem
total. O leitor na˜o deve pensar que essa e´ a u´nica relac¸a˜o de ordem total existente em � . Um outro
exemplo e´ o seguinte.
Vamos estabelecer uma relac¸a˜o de ordem em � que denotaremos pelo s´ımbolo �p−i. Sejam a,
b ∈ � . Se a e b forem pares dizemos que a �p−i b se a ≤ b. Se a e b forem ı´mpares dizemos que a �p−i b
se a ≤ b. Se a e´ par e b e´ ı´mpar enta˜o dizemos sempre que a �p−i b.
E. 1.7 Exerc´ıcio. Mostre que a relac¸a˜o �p−i estabelece uma relac¸a˜o de ordem total em � . 6
Um exemplo ana´logo pode ser constru´ıdo em � . Vamos estabelecer uma relac¸a˜o de ordem em �
que denotaremos pelo s´ımbolo �r−i. Sejam x, y ∈ � . Se x e y forem racionais dizemos que x �r−i y se
JCABarata. Curso de F´ısica-Matema´tica Versa˜o de 13 de dezembro de 2005. Cap´ıtulo 1 32/1355
x ≤ y. Se x e y forem irracionais dizemos que x �r−i y se x ≤ y. Se x e´ racional e y e´ irracional enta˜o
dizemos sempre que x �r−i y.
E. 1.8 Exerc´ıcio. Mostre que a relac¸a˜o �r−i estabelece uma relac¸a˜o de ordem total em � . 6
• Ordem Lexicogra´fica
E´ poss´ıvel estabelecer uma relac¸a˜o de ordem total em � 2 da seguinte forma: dizemos que (x1, x2) �L
(y1, y2) se x1 < y1 ou se x1 = y1 e x2 ≤ y2. Essa relac¸a˜o de ordem e´ denominada relac¸a˜o de ordem
lexicogra´fica de � 2.
Essa definic¸a˜o pode ser facilmente generalizada. Seja X um conjunto totalmente ordenado por uma
relac¸a˜o de ordem total �X . Enta˜o, Xn pode ser totalmente ordenado dizendo-se (x1, . . . , xn) �L
(y1, . . . , yn) se houver um j ∈ {1, . . . , n}, tal que xi = yi para todo i < j e xj �X yj.
Seja X um conjunto totalmente ordenado por uma relac¸a˜o de ordem total �X e seja Seja X =⋃∞
n=1X
n. Podemos estabelecer em X uma ordem total �X, tambe´m denominada lexicogra´fica, da
seguinte maneira. Sejam m, n ∈ � e p = min{m, n}. Enta˜o, dizemos (x1, . . . , xm) �X (y1, . . . , yn) se
(x1, . . . , xp) �L (y1, . . . , yp) no sentido dado no para´grafo anterior, ou se (x1, . . . , xp) = (y1, . . . , yp),
mas m < n.
E. 1.9 Exerc´ıcio. Por que essas relac¸o˜es de ordem sa˜o denominadas “lexicogra´ficas”? Pense na maneira
como palavras (de tamanho arbitra´rio!) sa˜o ordenadas em um diciona´rio. 6
Podemos ainda estender a definic¸a˜o de ordem lexicogra´fica. Seja X um conjunto totalmente orde-
nado por uma relac¸a˜o de ordem total �X e seja Y um conjunto totalmente ordenado por uma relac¸a˜o
de ordem total �Y . Enta˜o, XY pode ser totalmente ordenado dizendo-se XY 3 x �L y ∈ XY se houver
um j ∈ Y , tal que x(i) = y(i) para todo i �Y j e x(j) �X y(j).
Exemplo. Sejam f, g, duas func¸o˜es de � em � . Dizemos que f �L g se existir y ∈ � tal que
f(x) = g(x) para todo x < y mas f(y) ≤ g(y). Lembrando que o conjunto de todas as func¸o˜es de �
em � e´ �
�
, veˆ-se que essa definic¸a˜o coincide com a dada acima.
• Conjuntos Dirigidos
Um conjunto I e´ dito ser um conjunto dirigido (“directed set”) se for dotado de uma relac¸a˜o de
ordem parcial, que denotaremos por “�”, e se for dotado da seguinte propriedade: para quaisquer dois
elementos a e b de I existe pelo menos um terceiro elemento c ∈ I tal que a � c e b � c.
Exemplo. � e´ um conjunto dirigido com a relac¸a˜o de ordem usual.
Exemplo. � e´ um conjunto dirigido com a relac¸a˜o de ordem �r−i definida acima.
Exemplo. Seja o conjunto � n, n = 1, 2, . . ., e seja I o conjunto de todos os abertos limitados de � n
(um conjunto e´ limitado se for subconjunto de alguma bola

Materiais relacionados

Perguntas relacionadas

Perguntas Recentes