Exercício 16. Verificar em cada um dos itens abaixo se o operador T \in \mathcal{L}\left(\mathbb{R}^{4}\right), dado pela sua matriz com relação à base canônica \mathcal{B}, é diagonalizável.
O enunciado dá duas matrizes 4\times4 (as matrizes de um operador T na base canônica \mathcal{B}) e pede, para cada item, verificar se o operador é diagonalizável. As matrizes fornecidas são:
O que se pede para cada item é: “o operador T (ou seja, a matriz dada) é diagonalizável sobre \mathbb{R}?”
Passo 2
Breve lembrete (ferramenta utilizada ao longo da resolução; é importante entender):
Uma matriz A é diagonalizável se existe uma base de \mathbb{R}^4 formada por autovetores de A. Em termos práticos, isso significa que a soma das dimensões dos espaços próprios (as multiplicidades geométricas dos autovalores) deve ser 4.
Para cada autovalor \lambda, existe a multiplicidade algébrica (multiplicidade como raiz do polinômio característico) e a multiplicidade geométrica (dimensão do espaço próprio \ker(A-\lambda I)). Uma condição suficiente e verificável: se para todo autovalor a multiplicidade geométrica = multiplicidade algébrica e a soma das multiplicidades algébricas é 4, então a matriz é diagonalizável.
Vou aplicar esses conceitos diretamente às matrizes (a) e (b), calculando autovalores e dimensões de espaços próprios de forma explícita.
Passo 3
Trabalho com o item (a). Para facilitar cálculos, é útil usar uma mudança de base natural que explora simetrias nas linhas/colunas. Defino os vetores
Agora obtenho autovetores (espaços próprios) explicitamente para determinar as multiplicidades geométricas.
Para \lambda=3:
Do bloco \mathrm{span}\{u_2,u_4\} já temos A u_2 = 3 u_2, então u_2 é um autovetor associado a \lambda=3.
No bloco \mathrm{span}\{u_1,u_3\}, resolvo (M-3I)\begin{pmatrix}a\\\ b\end{pmatrix}=0 com M=\begin{pmatrix}-5&-4\\[4pt]4&5\end{pmatrix}. Isso leva à equação 2a+b=0, logo um autovetor é (a,b)=(1,-2), o que corresponde ao vetor na coordenada canônica
v=(1,1,-2,-2).
Assim, existem pelo menos dois autovetores linearmente independentes para \lambda=3: u_2=(1,-1,0,0) e v=(1,1,-2,-2). Portanto a multiplicidade geométrica de \lambda=3 é pelo menos 2. Como a multiplicidade algébrica é 2, concluímos que a multiplicidade geométrica de \lambda=3 é exatamente 2.
Para \lambda=-3:
Do bloco \mathrm{span}\{u_2,u_4\} já temos A u_4 = -3 u_4, então u_4 é autovetor associado a \lambda=-3.
No bloco \mathrm{span}\{u_1,u_3\}, resolvendo (M+3I)\begin{pmatrix}a\\\ b\end{pmatrix}=0 obtém-se a+2b=0, por exemplo (a,b)=(-2,1), correspondendo ao vetor
w=(-2,-2,1,1).
Assim temos dois autovetores independentes para \lambda=-3: u_4=(0,0,1,-1) e w=(-2,-2,1,1). A multiplicidade geométrica de \lambda=-3 é 2, igual à multiplicidade algébrica.]
Passo 7
Como os autovalores são \lambda=3 (alg. mult. 2, geom. mult. 2) e \lambda=-3 (alg. mult. 2, geom. mult. 2), a soma das dimensões dos espaços próprios é 2+2=4. Isso significa que existe uma base de \mathbb{R}^{4} formada por autovetores de A. Logo a matriz do item (a) é diagonalizável.
Comentário intuitivo: apesar de A não ser simétrica, ela foi reduzida por essa base natural a blocos simples; cada bloco deu autovalores com multiplicidades geométrica = algébrica, permitindo diagonalização.
Passo 8
Trabalho com o item (b). Denoto B a matriz do item (b):
Primeira observação útil: as linhas de B são vetores de \{1,-1\}^4 que são mutuamente ortogonais (produto escalar usual):
Produto escalar da primeira linha com ela mesma é 1+1+1+1=4.
Produto escalar de linhas distintas (por exemplo linha 1 com linha 2) resulta em zero (por exemplo 1\cdot1 + 1\cdot1 + 1\cdot(-1) + 1\cdot(-1)=0).
Logo as linhas formam um sistema ortogonal com norma ao quadrado igual a 4. Como B é simétrica, isso implica
B^2 = 4I.
Passo 9
Consequência direta: se x é autovetor de B com autovalor \lambda, então aplicando B duas vezes:
Determino agora as multiplicidades algébricas de 2 e -2. Seja m_+ a multiplicidade algébrica de \lambda=2 e m_- a de \lambda=-2. Como a dimensão é 4,
m_+ + m_- = 4.
Além disso a soma dos autovalores (contando multiplicidade) é igual à traça de B, que é \mathrm{tr}(B)=1+1+1+1=4. Assim
2 m_+ + (-2) m_- = 4.
Resolvo esse sistema: somando as duas equações convenientemente, por exemplo escrevo a segunda como 2m_+ -2m_- =4. Dividindo por 2: m_+ - m_- =2. Juntando com m_+ + m_- =4 tenho
m_+ = 3,\qquad m_- =1.
Passo 11
Como B é matriz simétrica real, vale o teorema fundamental: autovalores reais e existe uma base ortonormal de \mathbb{R}^4 formada por autovetores de B. Em particular, para cada autovalor a multiplicidade geométrica iguala a multiplicidade algébrica. Com m_+=3 e m_-=1 (e sendo todos autovalores reais), concluímos que B é diagonalizável (inclusive ortogonalmente diagonalizável).
Se quiser um comentário construtivo: pode-se encontrar explicitamente 3 autovetores independentes associados a 2 e 1 associado a -2; a propriedade B^2=4I torna simples a caracterização dos autovalores.