Mudanças entre as edições de "Forma canônica de Jordan"

De Wikoleculares
Ir para navegação Ir para pesquisar
m (Construção da forma de Jordan de uma matriz)
m (Construção da forma de Jordan de uma matriz)
 
(3 revisões intermediárias pelo mesmo usuário não estão sendo mostradas)
Linha 16: Linha 16:
 
\begin{cases}
 
\begin{cases}
 
J_i,i = \lambda \\
 
J_i,i = \lambda \\
J_i,i+1 = 1 \\
+
J_{i,i+1} = 1 \\
 
J_i,l = 0, \mbox{ se } l \ne i \mbox{ e } l \ne i+1
 
J_i,l = 0, \mbox{ se } l \ne i \mbox{ e } l \ne i+1
 
\end{cases}
 
\end{cases}
 
</math>
 
</math>
  
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>.
+
Note que <math>\lambda</math> é o único autovalor, tem multiplicidade algébrica <math>ma(\lambda)=k</math> e multiplicidade geométrica <math>mg(\lambda)=1</math>.
  
 
=== Exemplos ===
 
=== Exemplos ===
Linha 43: Linha 43:
 
\end{pmatrix}
 
\end{pmatrix}
 
</math>
 
</math>
 
  
 
== Forma canônica de Jordan ==
 
== Forma canônica de Jordan ==
Linha 109: Linha 108:
 
== Construção da forma de Jordan de uma matriz ==
 
== 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. Cada bloco de Jordan <math>J_k(\lambda)</math> contribui com <math>mg(\lambda) = 1</math> e <math>ma(\lambda)=k</math>.
+
Para se construir a forma de Jordan, é necessário conhecer a multiplicidade algébrica e geométrica de cada um dos autovalores. No entanto, para matrizes de ordem maior que 3 isto pode não ser suficiente. Cada bloco de Jordan <math>J_k(\lambda)</math> contribui com <math>mg(\lambda) = 1</math> e <math>ma(\lambda)=k</math>.
  
 
=== Exemplo ===
 
=== Exemplo ===
Linha 139: Linha 138:
 
Como <math>1 \le mg(\lambda)\le ma(\lambda)</math>, temos:
 
Como <math>1 \le mg(\lambda)\le ma(\lambda)</math>, temos:
 
<math>mg(2) = 1 \mbox{ ou } 2 \mbox{ e } mg(4) = 1</math>
 
<math>mg(2) = 1 \mbox{ ou } 2 \mbox{ e } mg(4) = 1</math>
 +
  
 
Calculado <math>mg(2) = \dim{S_2}</math>:
 
Calculado <math>mg(2) = \dim{S_2}</math>:
Linha 171: Linha 171:
 
</math>
 
</math>
  
ou seja, <math>S_2 = Span {(1,0,-1),(0,1,0)} \mbox{ e } \dim {S_2} = mg(2) = 2</math>
+
 
 +
ou seja, <math>S_2 = Span \lbrace(1,0,-1),(0,1,0)\rbrace \mbox{ e } \dim {S_2} = mg(2) = 2</math>
  
 
==== Forma de Jordan ====
 
==== Forma de Jordan ====

Edição atual tal como às 21h25min de 27 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.

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, 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 & 0 & 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, é necessário conhecer a multiplicidade algébrica e geométrica de cada um dos autovalores. No entanto, para matrizes de ordem maior que 3 isto pode não ser suficiente. Cada 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)} contribui com 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} e 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} .

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 \lbrace(1,0,-1),(0,1,0)\rbrace \mbox{ e } \dim {S_2} = mg(2) = 2}

Forma de Jordan

Finalmente, 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 \lambda=2 } tem mg = 2, teremos dois blocos unitários de 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=2 } . E mais um bloco unitário de 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=4 } :

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} }

Links

Ver também