Forma canônica de Jordan: diferenças entre revisões
Conteúdo apagado Conteúdo adicionado
Linha 21:
''Sejam <math>V</math> um espaço vetorial de dimensão finita e <math>T</math> um operador linear de <math>V</math>. Se
<center><math>p_T(\lambda)=(\lambda-\lambda_1)^{m_1}\cdots(\lambda-\lambda_n)^{m_n}((\lambda-\alpha_1)^2+\beta_1^2)^{p_1}\cdots((\lambda-\alpha_k)^2+\beta_k^2)^{p_k},</math></center>
onde <math>\alpha_r+i\beta_r</math> é uma raiz complexa de <math>T</math> com <math>\lambda_r\neq\lambda_s</math> e <math>(\alpha_r,\beta_r)\neq(\
<center><math>J=\text{diag}\ (J_1,\ldots,J_p,R_1,\ldots,R_q),</math></center>
onde <math>J_1,\ldots,J_p</math> são da forma <math>J(\lambda;r),\,r\in\mathbb{N}</math> e <math>\lambda\in\{\lambda_1,\ldots,\lambda_n\}</math> e <math>R_1,\ldots,R_q</math> são da forma <math>R(\alpha,\beta;n),\,n\in\mathbb{N}</math> e <math>(\alpha,\beta)\in\{(\alpha_1,\beta_1),\ldots,(\alpha_k,\beta_k)\}</math>.
''
== Corolário ==
|