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)
O teorema espectral: toda matriz simétrica real admite diagonalização ortogonal , onde é ortogonal e é diagonal com autovalores reais. As três classes — simétrica, ortogonal e hermitiana — estruturam álgebra linear aplicada, estatística multivariada, mecânica quântica e computação gráfica.
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.
Show solution
Verificar : basta conferir que . Para , temos . Portanto é simétrica. - Ex. 116.2ApplicationAnswer key
Verifique via critério de Sylvester que é SPD.
Show solution
Critério de Sylvester: e . Logo é SPD. Autovalores: , raízes positivas: .Show step-by-step (with the why)
- Escreva o polinômio característico: . Por quê: autovalores positivos é condição equivalente a SPD.
- Calcule o discriminante: . Raízes: .
- Ambas positivas pois 7 > 3\sqrt{5} \approx 6{,}7: sim, . SPD confirmado.
Atalho mental: Sylvester é mais rápido que calcular autovalores para verificar SPD — você só precisa dos determinantes principais.
- Ex. 116.3Application
Verifique que é ortogonal calculando .
Show solution
. Logo é ortogonal.Show step-by-step (with the why)
- Calcule a transposta: . Por quê: para matriz ortogonal, a condição é .
- Multiplique .
- Calcule: posição (1,1) = ; posição (1,2) = ; posição (2,2) = . Resultado: .
Macete: para verificar ortogonalidade, checar primeiro que as colunas têm norma 1 e são ortogonais entre si — é mais rápido que a multiplicação completa.
- Ex. 116.4ApplicationAnswer key
Mostre que a matriz de rotação plana tem determinante 1 para qualquer .
Show solution
. Logo para toda rotação plana. - Ex. 116.5Application
Calcule a fatoração de Cholesky de .
Show solution
Fatoração de Cholesky de : , , . Portanto e . - Ex. 116.6Application
Calcule os autovalores de .
Show solution
Polinômio: . Autovalores: e . - Ex. 116.7Application
Encontre autovetores ortonormais de correspondentes a e .
Show solution
Para : . Para : . Os autovetores são ortogonais (teorema espectral).Show step-by-step (with the why)
- Para : resolva : . Por quê: equação dá .
- Normalize: com dá . Autovetor: .
- Para : : . Normalizado: .
- Verifique ortogonalidade: . Ortogonais.
Macete: em matrizes simétricas, o autovetor de é sempre a rotação de 90° do autovetor de — basta trocar as entradas e mudar um sinal.
- Ex. 116.8Application
Monte a diagonalização ortogonal de usando os autovetores calculados no exercício anterior.
Show solution
Com os autovetores e : , . Verificação: . - Ex. 116.9Application
Verifique se é SPD ou apenas PSD.
Show solution
. Como o determinante é zero, um autovalor é zero. Critério de Sylvester falha ( não é positivo). Logo é PSD mas não SPD. - Ex. 116.10Application
Escreva a matriz da reflexão em relação ao eixo em . Verifique que é ortogonal e calcule seu determinante.
Show solution
A reflexão em relação ao eixo é . Verificação: . : reflexão (não rotação pura). - Ex. 116.11Application
As colunas da matriz são ortonormais? A matriz é ortogonal? Justifique.
Show solution
Verificar : colunas de são ortonormais? , : ambas unitárias e ortogonais. Mas é , não quadrada. Portanto não é ortogonal (definição requer quadrada). É chamada de **isometria** ou **matriz com colunas ortonormais**. - Ex. 116.12Application
Determine os autovalores de e classifique: SPD, PSD ou indefinida.
Show solution
Simétrica: verificar . Autovalores de : o bloco tem autovalores e ; o bloco tem autovalor . Autovalores: . PSD (tem autovalor zero), não SPD. - Ex. 116.13Application
Calcule a fatoração de Cholesky de .
Show solution
Cholesky de : , , . Logo .Show step-by-step (with the why)
- Equacione : . Por quê: primeiro elemento é sempre a raiz do canto superior esquerdo.
- .
- .
- Verificação: . Correto.
Macete: no Cholesky, trabalhe coluna a coluna da esquerda para a direita; cada passo usa apenas os valores já calculados.
- Ex. 116.14Application
Escreva a matriz simétrica associada à forma quadrática .
Show solution
A forma quadrática tem matriz (coeficiente do cruzado divide por 2 para os elementos fora da diagonal). - Ex. 116.15Application
Classifique a forma quadrática usando os autovalores da matriz associada.
Show solution
Para : autovalores , ou seja e . Todos positivos: forma quadrática é **definida positiva**. - Ex. 116.16Application
Classifique a forma quadrática e identifique a curva .
Show solution
Matriz de : . Autovalores: e . Sinais opostos: **indefinida**. A curva é uma hipérbole.Show step-by-step (with the why)
- Escreva a matriz: . Por quê: sem termo cruzado, a matriz é já diagonal.
- Autovalores: leia da diagonal, e .
- Classificação: sinais opostos (um positivo, um negativo) — forma quadrática **indefinida**.
- Curva : hipérbole com eixos transverso ao longo de e imaginário ao longo de .
Curiosidade: a classificação de cônicas pelo sinal dos autovalores é a razão pela qual elipses, hipérboles e parábolas são as únicas seções cónicas — eles correspondem exatamente às combinações de sinais dos autovalores da forma quadrática associada.
- Ex. 116.17Application
Identifique o tipo de cônica e encontre os semieixos para a curva .
Show solution
Autovalores de : e . Forma canônica: , ou seja . **Elipse** com semieixo maior e menor . - Ex. 116.18ApplicationAnswer key
Classifique a forma quadrática via autovalores.
Show solution
A forma quadrática tem matriz com autovalores , logo . Ambos positivos: **definida positiva**. - Ex. 116.19Application
Mostre que o produto de duas matrizes ortogonais e é ortogonal.
Show solution
Produto de ortogonais é ortogonal: . Logo é ortogonal.Show step-by-step (with the why)
- Calcule . Por quê: transposta de produto inverte a ordem.
- Compute .
- Como é ortogonal, . Resta .
Observação: isso mostra que as matrizes ortogonais formam um grupo (fechado sob produto e inversão = transposição). Esse grupo se chama .
- Ex. 116.20ApplicationAnswer key
Escreva a matriz de permutação que troca as linhas 1 e 2. Verifique que é ortogonal e calcule seu determinante.
Show solution
Matriz de permutação que troca linhas 1 e 2 de uma : . Colunas: , , — ortonormais. . (reflexão). - Ex. 116.21Application
Calcule para usando a diagonalização ortogonal.
Show solution
Para com autovalores e : onde é a diagonalização do exemplo anterior. .Show step-by-step (with the why)
- Diagnonalize: com . Por quê: raiz quadrada de matriz diagonal é diagonal das raízes.
- Calcule .
- Reconstrua: .
- Multiplique: .
Macete: verificar que : . Correto.
- Ex. 116.22ApplicationAnswer key
Verifique para uma matriz simétrica que (norma de Frobenius ao quadrado).
Show solution
Para : . - Ex. 116.23UnderstandingAnswer key
Toda matriz com autovalores reais positivos é positiva definida?
Show solution
Não: ter autovalores positivos **não** basta. Precisamos que seja também **simétrica**. Exemplo: tem autovalores e (positivos), mas . Porém não é necessariamente positivo para todo se não é simétrica. - Ex. 116.24UnderstandingAnswer key
O que se pode concluir sobre os autovalores (complexos) de uma matriz ortogonal?
Show solution
Se com ortogonal, então . Para , . Para rotação de 30°: autovalores em são , módulo 1. Confirmado. - Ex. 116.25Understanding
Quando autovetores de uma matriz simétrica real são garantidamente ortogonais?
Show solution
Autovetores de matrizes simétricas para **autovalores distintos** são ortogonais (teorema espectral). Se e com : . Como , segue . - Ex. 116.26Application
Seja com (reflexão de Householder). Verifique que é ortogonal e simétrica.
Show solution
com . Verificar : (simétrica). . Logo , que com dá . Ortogonal. - Ex. 116.27Application
Mostre que qualquer matriz quadrada pode ser escrita como onde é simétrica e é antissimétrica (ou seja, ).
Show solution
Decomposição : parte simétrica e antissimétrica . Verificação: . . E .Show step-by-step (with the why)
- Defina e . Por quê: essa é a decomposição canônica em parte simétrica e antissimétrica.
- Verifique que : transponha e use .
- Verifique que : antissimétrica por definição.
- Confirme .
Curiosidade: essa decomposição é única — é o análogo matricial de escrever qualquer função como soma de uma parte par e uma parte ímpar.
- Ex. 116.28Application
Classifique a forma quadrática usando o critério de Sylvester e identifique a curva .
Show solution
Forme quadrática : matriz . Critério de Sylvester: e . **SPD.** A curva é uma elipse. - 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.
Show solution
Matriz de covariância amostral de observações : . Cada termo é PSD (é rank-1 positivo). Soma de PSD é PSD. Se os vetores geram (necessita ), entã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.
Show solution
Tensor de inércia de um corpo rígido é simétrico (resultado do cálculo de integrais de massa): . Por simetria do produto : . Além disso é SPD para corpos com distribuição de massa não degenerada. Seus autovetores são os **eixos principais de inércia** e os autovalores são os **momentos principais**. - 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.
Show solution
A hessiana de em é simétrica (Schwarz). Se é SPD, a aproximação quadrática de Taylor garante que para todo pequeno (pois em ponto crítico e ). Isso confirma 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.
Show solution
Em simulação Monte Carlo correlacionada, para gerar : (1) fatorar via Cholesky; (2) gerar ; (3) calcular . Verificação: . Cholesky requer SPD. - 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.
Show solution
Compressão de imagem via DCT (JPEG): a matriz DCT é ortogonal. Multiplicar por ela preserva a energia total da imagem (Parseval: ). Os coeficientes de alta frequência geralmente têm magnitude pequena e são descartados com pequena perda de energia. A reconstrução usa a inversa = transposta da DCT. - Ex. 116.34Modeling
O laplaciano de um grafo não-dirigido com pesos positivos é simétrico e PSD. Mostre por que .
Show solution
Laplaciano de grafo: (grau menos adjacência). Simétrico: (grafo não-dirigido). PSD: . Autovalor zero tem multiplicidade = número de componentes conexas do grafo. - Ex. 116.35Understanding
Por que toda matriz simétrica real tem autovalores reais? (Demonstre usando o produto interno complexo.)
Show solution
Para simétrica real e com : . Logo , ou seja .Show step-by-step (with the why)
- Suponha e com . Por quê: não assumimos a priori que é real.
- Calcule de dois modos: (a) ; (b) .
- Igualando: . Como , segue , ou seja .
Observação: este argumento usa e real (para ). Para matrizes hermitianas complexas (), o mesmo argumento funciona com o produto interno hermitiano.
- Ex. 116.36Understanding
Demonstre que autovetores de uma matriz simétrica correspondentes a autovalores distintos são ortogonais.
Show solution
Sejam e com . Então: (usamos ). Como , temos . - Ex. 116.37Challenge
Demonstre que toda matriz ortogonal tem determinante .
Show solution
Para ortogonal: . Logo . - Ex. 116.38Challenge
Se é ortogonal e (autovalor complexo), mostre que .
Show solution
Se é ortogonal, . Logo . Também: e (pois preserva norma). Logo . - Ex. 116.39Challenge
Demonstre que é ortogonal se e somente se preserva todos os produtos internos: para todos .
Show solution
Reciprocidade: ortogonal preserva produtos internos. () . () Se para todo , então tomando a base canônica: . Logo . - Ex. 116.40Proof
Demonstre o teorema espectral para matrizes simétricas : toda é ortogonalmente diagonalizável.
Show solution
Para simétrica, o polinômio característico tem discriminante . Logo dois autovalores reais . Para cada, encontra-se autovetor unitário. Se , são ortogonais. Se , então (verificar: e ), e qualquer base ortonormal diagonaliza . Em ambos os casos, . - Ex. 116.41Proof
Demonstre que uma matriz simétrica é SPD se e somente se existe inversível com .
Show solution
() Se é SPD, pelo espectral com . Defina (simétrica, inversível). Então . () Se com inversível, então para (pois é inversível: ). - Ex. 116.42Proof
Demonstre que e têm os mesmos autovalores não-nulos (com a mesma multiplicidade).
Show solution
Seja com e . Então ... melhor: note . Considere que . Para relacionar autovalores de e : se com e , então . Como e , temos (pois ). Logo é autovetor de com autovalor . Simetria garante a recíproca.
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).