Mudanças entre as edições de "Forma canônica de Jordan"
Linha 1: | Linha 1: | ||
− | A '''forma canônica de Jordan''' de um operador linear <math>T: V \to V</math>, <math>\dim {V} = n < \infty</math>, é uma matriz formada por blocos de Jordan na sua diagonal. A forma canônica é bastante útil por permitir que se extraia informações sobre a transformação com facilidade, | + | A '''forma canônica de Jordan''' de um operador linear <math>T: V \to V</math>, <math>\dim {V} = n < \infty</math>, é uma matriz formada por blocos de Jordan de seus autovalores na sua diagonal. A forma canônica é bastante útil por permitir que se extraia informações sobre a transformação com facilidade, reconhecer se duas transformações são similares e tornar bastante simples a exponenciação da transformação. |
== Blocos de Jordan == | == Blocos de Jordan == | ||
Linha 21: | Linha 21: | ||
</math> | </math> | ||
− | Note que \lambda é o único autovalor, e tem multiplicidade algébrica k e multiplicidade geométrica 1. | + | Note que <math>\lambda</math> é o único autovalor, e tem multiplicidade algébrica <math>ma(\lambda)=k</math> e multiplicidade geométrica <math>mg(\lambda)=1</math>. |
− | Exemplos | + | === Exemplos === |
<math> | <math> | ||
Linha 43: | Linha 43: | ||
\end{pmatrix} | \end{pmatrix} | ||
</math> | </math> | ||
+ | |||
== Forma canônica de Jordan == | == Forma canônica de Jordan == | ||
Linha 57: | Linha 58: | ||
</math> | </math> | ||
− | Onde <math>\lambda_i</math> pode ser igual a <math>\lambda_j</math> | + | Onde <math>\lambda_i</math> pode ser igual a <math>\lambda_j</math> e a ordem dos blocos <math>J_{N_i}(\lambda_i)</math> é indiferente. |
+ | |||
+ | === Exemplos === | ||
+ | |||
+ | <math> | ||
+ | A_{9x9} = | ||
+ | \begin{pmatrix} | ||
+ | J_2 (3) & 0 & 0 & 0\\ | ||
+ | 0 & J_1 (3) & 0 & 0\\ | ||
+ | 0 & 0 & J_3 (2) & 0\\ | ||
+ | 0 & 0 & 2 & J_3 (1) | ||
+ | \end{pmatrix} | ||
+ | </math> | ||
+ | |||
+ | (4 blocos de Jordan) | ||
+ | |||
+ | ma (3) = 2+1 = 3; mg (3) = 2 | ||
+ | |||
+ | ma (2) = 3; mg (2) = 1 | ||
+ | |||
+ | ma (1) = 3; mg (1) = 1 | ||
+ | |||
+ | |||
+ | <math> | ||
+ | A_{4x4} = | ||
+ | \begin{pmatrix} | ||
+ | 10 & 1 & 0 & 0\\ | ||
+ | 0 & 10 & 0 & 0\\ | ||
+ | 0 & 0 & 10 & 0\\ | ||
+ | 0 & 0 & 0 & 5 | ||
+ | \end{pmatrix} | ||
+ | </math> | ||
+ | |||
+ | (3 blocos de Jordan) | ||
+ | |||
+ | ma (10) = 2+1 = 3; mg (10) = 2 | ||
+ | |||
+ | ma (5) = 1; mg (5) = 1 | ||
+ | |||
+ | == Teoremas == | ||
+ | |||
+ | === Proposição === | ||
+ | |||
+ | ''Duas matrizes são similares se, e somente se, os blocos de Jordan de suas formas de Jordan são os mesmos.'' | ||
+ | |||
+ | === Teorema === | ||
+ | |||
+ | ''Toda matriz é similar a uma matriz na forma de Jordan.'' | ||
+ | |||
+ | == Construção da forma de Jordan de uma matriz == | ||
+ | |||
+ | Para se construir a forma de Jordan, é suficiente e necessário conhecer a multiplicidade algébrica e geométrica de cada um dos autovalores. | ||
+ | |||
+ | === Exemplo === | ||
+ | |||
+ | <math> | ||
+ | A = | ||
+ | \begin{pmatrix} | ||
+ | 3 & 0 & 1\\ | ||
+ | 0 & 2 & 0\\ | ||
+ | 1 & 0 & 3 | ||
+ | \end{pmatrix} | ||
+ | </math> | ||
+ | |||
+ | ==== Determinação dos autovalores e sua multiplicidade algébrica ==== | ||
+ | |||
+ | <math> | ||
+ | det (A-\lambda I) = | ||
+ | \begin{vmatrix} | ||
+ | 3 - \lambda I & 0 & 1\\ | ||
+ | 0 & 2 - \lambda I & 0\\ | ||
+ | 1 & 0 & 3 - \lambda I | ||
+ | \end{vmatrix} = (\lambda - 2)^2(\lambda - 4) | ||
+ | </math> | ||
+ | |||
+ | Logo, ma(2)=2 e ma(4)=1. | ||
+ | |||
+ | ==== Multiplicidade geométrica ==== | ||
+ | |||
+ | Como <math>1 \le mg(\lambda)\le ma(\lambda)</math>, temos: | ||
+ | <math>mg(2) = 1 \mbox{ ou } 2 \mbox{ e } mg(4) = 1</math> | ||
+ | |||
+ | Calculado <math>mg(2) = \dim{S_2}</math>: | ||
+ | |||
+ | <math> | ||
+ | Ax = 2x \implies | ||
+ | \begin{pmatrix} | ||
+ | 3 & 0 & 1\\ | ||
+ | 0 & 2 & 0\\ | ||
+ | 1 & 0 & 3 | ||
+ | \end{pmatrix} | ||
+ | \begin{pmatrix} | ||
+ | x_1\\ | ||
+ | x_2\\ | ||
+ | x_3 | ||
+ | \end{pmatrix} | ||
+ | = | ||
+ | \begin{pmatrix} | ||
+ | 2x_1\\ | ||
+ | 2x_2\\ | ||
+ | 2x_3 | ||
+ | \end{pmatrix} | ||
+ | \iff | ||
+ | |||
+ | \begin{cases} | ||
+ | 3x_1+x_3=2x_1\\ | ||
+ | 2x_2=2x_2\\ | ||
+ | x_1+3x_3=2x_3 | ||
+ | \end{cases} | ||
+ | \iff | ||
+ | x_1=-x_3 | ||
+ | </math> | ||
+ | |||
+ | ou seja, <math>S_2 = Span {(1,0,-1),(0,1,0)} \mbox{ e } \dim {S_2} = mg(2) = 2</math> | ||
+ | |||
+ | ==== Forma de Jordan ==== | ||
+ | |||
+ | Finalmente: | ||
+ | |||
+ | <math> | ||
+ | J_A = | ||
+ | \begin{pmatrix} | ||
+ | 2 & 0 & 0\\ | ||
+ | 0 & 2 & 0\\ | ||
+ | 0 & 0 & 4 | ||
+ | \end{pmatrix} | ||
+ | </math> | ||
+ | |||
+ | == Links == | ||
+ | |||
+ | * [http://mathworld.wolfram.com/JordanCanonicalForm.html Forma canônica de Jordan no MathWorld.] | ||
+ | * [http://en.wikipedia.org/wiki/Jordan_form Forma canônica de Jordan na Wikipedia] | ||
+ | |||
+ | == Ver também == | ||
+ | |||
+ | * [[Matemática III]] | ||
[[Categoria: Matemática]] | [[Categoria: Matemática]] |
Edição das 15h00min de 26 de setembro de 2006
A forma canônica de Jordan de um operador linear Falhou ao verificar gramática (MathML com retorno SVG ou PNG (recomendado para navegadores modernos e ferramentas de acessibilidade): Resposta inválida ("Math extension cannot connect to Restbase.") do servidor "https://wikimedia.org/api/rest_v1/":): {\displaystyle T: V \to V} , Falhou ao verificar gramática (MathML com retorno SVG ou PNG (recomendado para navegadores modernos e ferramentas de acessibilidade): Resposta inválida ("Math extension cannot connect to Restbase.") do servidor "https://wikimedia.org/api/rest_v1/":): {\displaystyle \dim {V} = n < \infty} , é uma matriz formada por blocos de Jordan de seus autovalores na sua diagonal. A forma canônica é bastante útil por permitir que se extraia informações sobre a transformação com facilidade, reconhecer se duas transformações são similares e tornar bastante simples a exponenciação da transformação.
Índice
Blocos de Jordan
Um bloco de Jordan Falhou ao verificar gramática (MathML com retorno SVG ou PNG (recomendado para navegadores modernos e ferramentas de acessibilidade): Resposta inválida ("Math extension cannot connect to Restbase.") do servidor "https://wikimedia.org/api/rest_v1/":): {\displaystyle J_k (\lambda)} é uma matriz triangular superior da forma:
Falhou ao verificar gramática (MathML com retorno SVG ou PNG (recomendado para navegadores modernos e ferramentas de acessibilidade): Resposta inválida ("Math extension cannot connect to Restbase.") do servidor "https://wikimedia.org/api/rest_v1/":): {\displaystyle J_k (\lambda) = \begin{pmatrix} \lambda & 1 &0 &\cdots & 0 \\ 0 & \lambda & 1 &\ddots & \vdots \\ 0 & 0 & \ddots & \ddots & 0 \\ \vdots & \ddots & \ddots & \lambda & 1 \\ 0 & \cdots & 0 & 0 &\lambda \end{pmatrix} = \begin{cases} J_i,i = \lambda \\ J_i,i+1 = 1 \\ J_i,l = 0, \mbox{ se } l \ne i \mbox{ e } l \ne i+1 \end{cases} }
Note que Falhou ao verificar gramática (MathML com retorno SVG ou PNG (recomendado para navegadores modernos e ferramentas de acessibilidade): Resposta inválida ("Math extension cannot connect to Restbase.") do servidor "https://wikimedia.org/api/rest_v1/":): {\displaystyle \lambda} é o único autovalor, e tem multiplicidade algébrica Falhou ao verificar gramática (MathML com retorno SVG ou PNG (recomendado para navegadores modernos e ferramentas de acessibilidade): Resposta inválida ("Math extension cannot connect to Restbase.") do servidor "https://wikimedia.org/api/rest_v1/":): {\displaystyle ma(\lambda)=k} e multiplicidade geométrica Falhou ao verificar gramática (MathML com retorno SVG ou PNG (recomendado para navegadores modernos e ferramentas de acessibilidade): Resposta inválida ("Math extension cannot connect to Restbase.") do servidor "https://wikimedia.org/api/rest_v1/":): {\displaystyle mg(\lambda)=1} .
Exemplos
Falhou ao verificar gramática (MathML com retorno SVG ou PNG (recomendado para navegadores modernos e ferramentas de acessibilidade): Resposta inválida ("Math extension cannot connect to Restbase.") do servidor "https://wikimedia.org/api/rest_v1/":): {\displaystyle J_3 (2) = \begin{pmatrix} 2 & 1 & 0\\ 0 & 2 & 1\\ 0 & 0 & 2 \end{pmatrix} \quad J_1 (4) = \begin{pmatrix} 4\end{pmatrix} \quad J_2 (0) = \begin{pmatrix} 0 & 1\\ 0 & 0 \end{pmatrix} }
Forma canônica de Jordan
Uma matriz C está na forma canônica de Jordan se, e somente se, está nesta forma:
Falhou ao verificar gramática (MathML com retorno SVG ou PNG (recomendado para navegadores modernos e ferramentas de acessibilidade): Resposta inválida ("Math extension cannot connect to Restbase.") do servidor "https://wikimedia.org/api/rest_v1/":): {\displaystyle C = \begin{pmatrix} J_{N_1} (\lambda_1) & 0 &\cdots & 0 \\ 0 & J_{N_2} (\lambda_2) &\ddots & \vdots \\ \vdots & \ddots & \ddots & 0 \\ 0 & \cdots & 0 & J_{N_k} (\lambda_k) \end{pmatrix} }
Onde Falhou ao verificar gramática (MathML com retorno SVG ou PNG (recomendado para navegadores modernos e ferramentas de acessibilidade): Resposta inválida ("Math extension cannot connect to Restbase.") do servidor "https://wikimedia.org/api/rest_v1/":): {\displaystyle \lambda_i} pode ser igual a Falhou ao verificar gramática (MathML com retorno SVG ou PNG (recomendado para navegadores modernos e ferramentas de acessibilidade): Resposta inválida ("Math extension cannot connect to Restbase.") do servidor "https://wikimedia.org/api/rest_v1/":): {\displaystyle \lambda_j} e a ordem dos blocos Falhou ao verificar gramática (MathML com retorno SVG ou PNG (recomendado para navegadores modernos e ferramentas de acessibilidade): Resposta inválida ("Math extension cannot connect to Restbase.") do servidor "https://wikimedia.org/api/rest_v1/":): {\displaystyle J_{N_i}(\lambda_i)} é indiferente.
Exemplos
Falhou ao verificar gramática (MathML com retorno SVG ou PNG (recomendado para navegadores modernos e ferramentas de acessibilidade): Resposta inválida ("Math extension cannot connect to Restbase.") do servidor "https://wikimedia.org/api/rest_v1/":): {\displaystyle A_{9x9} = \begin{pmatrix} J_2 (3) & 0 & 0 & 0\\ 0 & J_1 (3) & 0 & 0\\ 0 & 0 & J_3 (2) & 0\\ 0 & 0 & 2 & J_3 (1) \end{pmatrix} }
(4 blocos de Jordan)
ma (3) = 2+1 = 3; mg (3) = 2
ma (2) = 3; mg (2) = 1
ma (1) = 3; mg (1) = 1
Falhou ao verificar gramática (MathML com retorno SVG ou PNG (recomendado para navegadores modernos e ferramentas de acessibilidade): Resposta inválida ("Math extension cannot connect to Restbase.") do servidor "https://wikimedia.org/api/rest_v1/":): {\displaystyle A_{4x4} = \begin{pmatrix} 10 & 1 & 0 & 0\\ 0 & 10 & 0 & 0\\ 0 & 0 & 10 & 0\\ 0 & 0 & 0 & 5 \end{pmatrix} }
(3 blocos de Jordan)
ma (10) = 2+1 = 3; mg (10) = 2
ma (5) = 1; mg (5) = 1
Teoremas
Proposição
Duas matrizes são similares se, e somente se, os blocos de Jordan de suas formas de Jordan são os mesmos.
Teorema
Toda matriz é similar a uma matriz na forma de Jordan.
Construção da forma de Jordan de uma matriz
Para se construir a forma de Jordan, é suficiente e necessário conhecer a multiplicidade algébrica e geométrica de cada um dos autovalores.
Exemplo
Falhou ao verificar gramática (MathML com retorno SVG ou PNG (recomendado para navegadores modernos e ferramentas de acessibilidade): Resposta inválida ("Math extension cannot connect to Restbase.") do servidor "https://wikimedia.org/api/rest_v1/":): {\displaystyle A = \begin{pmatrix} 3 & 0 & 1\\ 0 & 2 & 0\\ 1 & 0 & 3 \end{pmatrix} }
Determinação dos autovalores e sua multiplicidade algébrica
Falhou ao verificar gramática (MathML com retorno SVG ou PNG (recomendado para navegadores modernos e ferramentas de acessibilidade): Resposta inválida ("Math extension cannot connect to Restbase.") do servidor "https://wikimedia.org/api/rest_v1/":): {\displaystyle det (A-\lambda I) = \begin{vmatrix} 3 - \lambda I & 0 & 1\\ 0 & 2 - \lambda I & 0\\ 1 & 0 & 3 - \lambda I \end{vmatrix} = (\lambda - 2)^2(\lambda - 4) }
Logo, ma(2)=2 e ma(4)=1.
Multiplicidade geométrica
Como Falhou ao verificar gramática (MathML com retorno SVG ou PNG (recomendado para navegadores modernos e ferramentas de acessibilidade): Resposta inválida ("Math extension cannot connect to Restbase.") do servidor "https://wikimedia.org/api/rest_v1/":): {\displaystyle 1 \le mg(\lambda)\le ma(\lambda)} , temos: Falhou ao verificar gramática (MathML com retorno SVG ou PNG (recomendado para navegadores modernos e ferramentas de acessibilidade): Resposta inválida ("Math extension cannot connect to Restbase.") do servidor "https://wikimedia.org/api/rest_v1/":): {\displaystyle mg(2) = 1 \mbox{ ou } 2 \mbox{ e } mg(4) = 1}
Calculado Falhou ao verificar gramática (MathML com retorno SVG ou PNG (recomendado para navegadores modernos e ferramentas de acessibilidade): Resposta inválida ("Math extension cannot connect to Restbase.") do servidor "https://wikimedia.org/api/rest_v1/":): {\displaystyle mg(2) = \dim{S_2}} :
Falhou ao verificar gramática (MathML com retorno SVG ou PNG (recomendado para navegadores modernos e ferramentas de acessibilidade): Resposta inválida ("Math extension cannot connect to Restbase.") do servidor "https://wikimedia.org/api/rest_v1/":): {\displaystyle Ax = 2x \implies \begin{pmatrix} 3 & 0 & 1\\ 0 & 2 & 0\\ 1 & 0 & 3 \end{pmatrix} \begin{pmatrix} x_1\\ x_2\\ x_3 \end{pmatrix} = \begin{pmatrix} 2x_1\\ 2x_2\\ 2x_3 \end{pmatrix} \iff \begin{cases} 3x_1+x_3=2x_1\\ 2x_2=2x_2\\ x_1+3x_3=2x_3 \end{cases} \iff x_1=-x_3 }
ou seja, Falhou ao verificar gramática (MathML com retorno SVG ou PNG (recomendado para navegadores modernos e ferramentas de acessibilidade): Resposta inválida ("Math extension cannot connect to Restbase.") do servidor "https://wikimedia.org/api/rest_v1/":): {\displaystyle S_2 = Span {(1,0,-1),(0,1,0)} \mbox{ e } \dim {S_2} = mg(2) = 2}
Forma de Jordan
Finalmente:
Falhou ao verificar gramática (MathML com retorno SVG ou PNG (recomendado para navegadores modernos e ferramentas de acessibilidade): Resposta inválida ("Math extension cannot connect to Restbase.") do servidor "https://wikimedia.org/api/rest_v1/":): {\displaystyle J_A = \begin{pmatrix} 2 & 0 & 0\\ 0 & 2 & 0\\ 0 & 0 & 4 \end{pmatrix} }