A forma de Jordan de T. (Vou entender “forma de Jordan” no sentido usual: a forma canónica de Jordan sobre \mathbb{C}. Também apresentarei a forma correspondente sobre \mathbb{R} — um bloco real 2\times2 para o par complexo conjugado — caso prefira a descrição real.)
Passo 2
Primeiro passo técnico: calcular o polinômio característico \chi_B(\lambda)=\det(B-\lambda I). Observe a linha 2 de B-\lambda I:
\text{linha 2 de }(B-\lambda I) = (0,\;2-\lambda,\;0,\;0,\;0),
ou seja, nessa linha só existe a entrada (2-\lambda) na coluna 2. Expandindo o determinante pela linha 2 (cofactor expansion), obtemos imediatamente um fator (2-\lambda):
Agora calculamos \det(M). Uma expansão conveniente é pela primeira coluna (pois tem duas entradas zero na parte inferior). Ao expandir por essa coluna, chegamos a
\det(M)=(5-\lambda)\det(M_{11})-\det(M_{21}),
onde M_{11} é o menor 3\times3 obtido eliminando a linha 1 e coluna 1 de M, e M_{21} é o menor obtido eliminando a linha 2 e coluna 1.
Agora determinamos as raízes de q(\lambda). Não há raízes racionais óbvias (teste de racional roots falha para inteiros pequenos), mas podemos localizar sinais para achar intervalos com raízes reais e, em seguida, aproximá-las numericamente.
Observações rápidas de sinais:
q(-1)=33>0,
q(0)=-32<0 ⇒ existe uma raiz real entre -1 e 0.
q(2)=-12<0, q(3)=1>0 ⇒ existe uma raiz real entre 2 e 3.
Logo q tem pelo menos duas raízes reais. Como grau 4, as outras duas raízes formam um par conjugado complexo (outras duas podem ser reais, mas os sinais indicam que são complexas conjugadas neste caso).
Usando métodos numéricos (bisseção/Newton com cálculos mostrados nos passos anteriores), aproximações das raízes de q são
Juntando com a raiz \lambda=2 (da fator (2-\lambda)), obtemos os cinco autovalores (todos distintos numericamente).
Passo 9
Conclusão sobre multiplicidades e forma de Jordan:
Cada autovalor tem multiplicidade algébrica igual a 1 (são todos raízes simples do polinômio característico).
Teorema: se um polinômio característico tem raízes simples (todos autovalores distintos), então a matriz é diagonalizável (over \mathbb{C}); isto garante que a forma de Jordan sobre \mathbb{C} é simplesmente a matriz diagonal com esses autovalores na diagonal — ou seja, todos os blocos de Jordan são 1\times1.
Portanto a forma de Jordan sobre \mathbb{C} é a matriz diagonal com as cinco raízes acima na diagonal.
Passo 10
Forma “real” correspondente: porque há um par complexo conjugado \alpha\pm i\beta, a forma real (matriz real em bloco) pode ser escrita por um bloco 2\times2 real para esse par, do tipo
e entradas 1\times1 para os autovalores reais. Assim a forma canónica (real) equivalente é blocadiagonal com entradas 2,\,2{,}88475,\,-0{,}6660436 em blocos 1\times1 e um bloco 2\times2 para o par complexo.]
Resposta
Forma de Jordan sobre \mathbb{C} (Jordan normal form — diagonal, pois todos os autovalores são distintos):