Curso de Fisica-Matematica USP-SP
1304 pág.

Curso de Fisica-Matematica USP-SP


DisciplinaFísica38.830 materiais951.684 seguidores
Pré-visualização50 páginas
Universidade de Sa\u2dco Paulo
Instituto de F´\u131sica
Departamento de F´\u131sica Matema´tica
2005
Curso de F´\u131sica-Matema´tica
Joa\u2dco Carlos Alves Barata
Versa\u2dco de 29 de setembro de 2005
Estas notas ou sua versa\u2dco mais recente podem ser encontradas no seguinte enderec¸o WWW:
http://denebola.if.usp.br/\u223cjbarata/Notas de aula
Prefa´cio 15
Notac¸a\u2dco e Adverte\u2c6ncias 17
I´ndice
I Cap´\u131tulos Introduto´rios 20
1 Noc¸o\u2dces Ba´sicas 21
1.1 Conjuntos, Relac¸o\u2dces e Func¸o\u2dces . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 22
1.1.1 Relac¸o\u2dces e Func¸o\u2dces . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 23
1.1.2 Relac¸o\u2dces de Ordem . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 30
1.1.3 Cardinalidade . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 37
1.1.4 I´nfimos e Supremos de Fam\u131´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\u2dces e Representac¸o\u2dces . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 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\u2dco Informal Preliminar . . . . . . . . . . . . . . . . . . . . . . . . . . . . 76
1.5.2 Grupos Gerados por Conjuntos. Grupos Gerados por Relac¸o\u2dces . . . . . . . . . . 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\u2dces . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 84
2
3/1304
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\u2dco 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\u2dces Ba´sicas sobre o Espectro de uma Matriz . . . . . . . . . . . . . . . . . . . . . . 147
3.2.1 O Trac¸o de uma Matriz . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 153
3.3 Polino\u2c6mios 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\u2dco Simulta\u2c6nea 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\u2dco de Jordan e a Forma Cano\u2c6nica de Matrizes . . . . . . . . 191
3.7.1 Resultados Preparato´rios . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 192
4/1304
3.7.2 O Teorema da Decomposic¸a\u2dco de Jordan . . . . . . . . . . . . . . . . . . . . . . 198
3.7.3 Matrizes Nilpotentes e sua Representac¸a\u2dco Cano\u2c6nica . . . . . . . . . . . . . . . . 201
3.7.4 A Forma Cano\u2c6nica de Matrizes . . . . . . . . . . . . . . . . . . . . . . . . . . . 205
3.8 Algumas Representac¸o\u2dces Especiais de Matrizes . . . . . . . . . . . . . . . . . . . . . . . 207
3.8.1 A Decomposic¸a\u2dco Polar de Matrizes . . . . . . . . . . . . . . . . . . . . . . . . . 207
3.8.2 O Teorema da Triangularizac¸a\u2dco de Schur . . . . . . . . . . . . . . . . . . . . . . 210
3.8.3 A Decomposic¸a\u2dco QR e a Decomposic¸a\u2dco de Iwasawa (\u201cKAN\u201d) . . . . . . . . . . 212
3.9 Propriedades Especiais de Determinantes . . . . . . . . . . . . . . . . . . . . . . . . . . 215
3.9.1 Expansa\u2dco do Polino\u2c6mio Caracter´\u131stico . . . . . . . . . . . . . . . . . . . . . . . 215
3.9.2 A Desigualdade de Hadamard . . . . . . . . . . . . . . . . . . . . . . . . . . . . 216
3.10 Exerc´\u131cios Adicionais . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 219
4 To´picos de A´lgebra Linear II 222
4.1 Uma Topologia Me´trica em Mat (
\ufffd
, n) . . . . . . . . . . . . . . . . . . . . . . . . . . . 223
4.2 Exponenciais, Logaritmos e Func¸o\u2dces Anal´\u131ticas de Matrizes . . . . . . . . . . . . . . . . 228
4.2.1 A Exponenciac¸a\u2dco de Matrizes e os Grupos GL(
\ufffd
, n) e GL( \ufffd , n) . . . . . . . . 236
4.3 A Fo´rmula de Lie-Trotter e a Fo´rmula do Comutador . . . . . . . . . . . . . . . . . . . 239
4.4 Aplicac¸o\u2dces Lineares em Mat (
\ufffd
, 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\u2c6ncias . . . . . . . . . . . . . . . . 254
III Equac¸o\u2dces Diferenciais 259
5 Equac¸o\u2dces Diferenciais Ordina´rias. Uma Introduc¸a\u2dco 260
5.1 Definic¸a\u2dco e Alguns Exemplos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 261
5.1.1 Equac¸o\u2dces