Lição 116 — Matrizes especiais: simétricas, ortogonais e hermitianas
As três famílias de matrizes que dominam as aplicações: simétrica (A = A^T), ortogonal (Q^T Q = I), hermitiana (A^* = A). Teorema espectral, formas quadráticas e decomposição de Cholesky.
Used in: 3.º ano EM avançado · Equiv. Leistungskurs alemão (Vektoren + Lineare Abbildungen) · Equiv. H2 Math singapurense (cap. Matrices avançado)
Rigorous notation, full derivation, hypotheses
Definição rigorosa
Matrizes simétricas
"A matrix is called symmetric if it equals its own transpose: . [...] The entry in row and column equals the entry in row and column ." — Beezer, A First Course in Linear Algebra, §OD
A última igualdade mostra como soma de projeções de rank 1 ponderadas pelos autovalores — representação espectral.
Matrizes ortogonais
"An matrix is called an orthogonal matrix if ." — Austin, Understanding Linear Algebra, §7.1
Propriedades fundamentais:
- Preserva norma: para todo .
- Preserva produto interno: .
- . Se : rotação. Se : rotação seguida de reflexão.
- Autovalores complexos têm módulo 1.
O análogo complexo é a matriz unitária: , onde é a adjunta (transposta conjugada).
Matrizes hermitianas
"A square matrix with complex entries is called Hermitian if where is the conjugate transpose of ." — Beezer, A First Course in Linear Algebra, §HMD
Teorema espectral complexo. Toda matriz hermitiana tem autovalores reais e admite diagonalização unitária: .
Matrizes definidas positivas
Critérios equivalentes para SPD:
- Todos os autovalores .
- Todos os menores principais líderes (determinantes das submatrizes do canto superior esquerdo) são positivos — critério de Sylvester.
- Existe triangular inferior inversível com — fatoração de Cholesky.
Hierarquia de inclusão: SPD com Cholesky ⊂ SPD ⊂ PSD ⊂ Simétricas.
Forma quadrática
Classificação: se todos : definida positiva. Se todos : definida negativa. Se há autovalores positivos e negativos: indefinida.
Exemplos resolvidos
Exercise list
42 exercises · 10 with worked solution (25%)
- Ex. 116.1ApplicationAnswer key
Verifique que é simétrica.
- Ex. 116.2ApplicationAnswer key
Verifique via critério de Sylvester que é SPD.
- Ex. 116.3Application
Verifique que é ortogonal calculando .
- Ex. 116.4ApplicationAnswer key
Mostre que a matriz de rotação plana tem determinante 1 para qualquer .
- Ex. 116.5Application
Calcule a fatoração de Cholesky de .
- Ex. 116.6Application
Calcule os autovalores de .
- Ex. 116.7Application
Encontre autovetores ortonormais de correspondentes a e .
- Ex. 116.8Application
Monte a diagonalização ortogonal de usando os autovetores calculados no exercício anterior.
- Ex. 116.9Application
Verifique se é SPD ou apenas PSD.
- Ex. 116.10Application
Escreva a matriz da reflexão em relação ao eixo em . Verifique que é ortogonal e calcule seu determinante.
- Ex. 116.11Application
As colunas da matriz são ortonormais? A matriz é ortogonal? Justifique.
- Ex. 116.12Application
Determine os autovalores de e classifique: SPD, PSD ou indefinida.
- Ex. 116.13Application
Calcule a fatoração de Cholesky de .
- Ex. 116.14Application
Escreva a matriz simétrica associada à forma quadrática .
- Ex. 116.15Application
Classifique a forma quadrática usando os autovalores da matriz associada.
- Ex. 116.16Application
Classifique a forma quadrática e identifique a curva .
- Ex. 116.17Application
Identifique o tipo de cônica e encontre os semieixos para a curva .
- Ex. 116.18ApplicationAnswer key
Classifique a forma quadrática via autovalores.
- Ex. 116.19Application
Mostre que o produto de duas matrizes ortogonais e é ortogonal.
- Ex. 116.20ApplicationAnswer key
Escreva a matriz de permutação que troca as linhas 1 e 2. Verifique que é ortogonal e calcule seu determinante.
- Ex. 116.21Application
Calcule para usando a diagonalização ortogonal.
- Ex. 116.22ApplicationAnswer key
Verifique para uma matriz simétrica que (norma de Frobenius ao quadrado).
- Ex. 116.23UnderstandingAnswer key
Toda matriz com autovalores reais positivos é positiva definida?
- Ex. 116.24UnderstandingAnswer key
O que se pode concluir sobre os autovalores (complexos) de uma matriz ortogonal?
- Ex. 116.25Understanding
Quando autovetores de uma matriz simétrica real são garantidamente ortogonais?
- Ex. 116.26Application
Seja com (reflexão de Householder). Verifique que é ortogonal e simétrica.
- Ex. 116.27Application
Mostre que qualquer matriz quadrada pode ser escrita como onde é simétrica e é antissimétrica (ou seja, ).
- Ex. 116.28Application
Classifique a forma quadrática usando o critério de Sylvester e identifique a curva .
- Ex. 116.29Modeling
Explique por que a matriz de covariância amostral de variáveis com observações é sempre PSD, e sob que condição é SPD.
- Ex. 116.30Modeling
Em mecânica clássica, o tensor de inércia de um corpo rígido é uma matriz . Explique por que é simétrica e o que seus autovetores e autovalores representam fisicamente.
- Ex. 116.31ModelingAnswer key
Em um ponto crítico de , a hessiana é simétrica. Explique por que SPD implica que é um mínimo local estrito.
- Ex. 116.32ModelingAnswer key
Em simulação Monte Carlo financeira, explique como a fatoração de Cholesky de uma matriz de covariância SPD é usada para gerar vetores aleatórios correlacionados.
- Ex. 116.33Modeling
Em compressão de imagem (JPEG), a matriz DCT é ortogonal. Explique como essa propriedade garante que comprimir (descartar alguns coeficientes) causa perda controlada de informação.
- Ex. 116.34Modeling
O laplaciano de um grafo não-dirigido com pesos positivos é simétrico e PSD. Mostre por que .
- Ex. 116.35Understanding
Por que toda matriz simétrica real tem autovalores reais? (Demonstre usando o produto interno complexo.)
- Ex. 116.36Understanding
Demonstre que autovetores de uma matriz simétrica correspondentes a autovalores distintos são ortogonais.
- Ex. 116.37Challenge
Demonstre que toda matriz ortogonal tem determinante .
- Ex. 116.38Challenge
Se é ortogonal e (autovalor complexo), mostre que .
- Ex. 116.39Challenge
Demonstre que é ortogonal se e somente se preserva todos os produtos internos: para todos .
- Ex. 116.40Proof
Demonstre o teorema espectral para matrizes simétricas : toda é ortogonalmente diagonalizável.
- Ex. 116.41Proof
Demonstre que uma matriz simétrica é SPD se e somente se existe inversível com .
- Ex. 116.42Proof
Demonstre que e têm os mesmos autovalores não-nulos (com a mesma multiplicidade).
Fontes
- Beezer, A First Course in Linear Algebra — Rob Beezer · 2022 · EN · GNU FDL · §OD (Orthonormal Diagonalization), §PSD, §HMD. Fonte primária desta lição.
- Hefferon, Linear Algebra — Jim Hefferon · 2020 · EN · CC-BY-SA · cap. 5 (Similarity) e cap. 5, §III (Formas bilineares).
- Austin, Understanding Linear Algebra — David Austin · 2023 · EN · CC-BY-SA · §7.1–7.3 (Orthogonal Diagonalization, Quadratic Forms).