0

Forma Cannica de Jordan

Neste apndice apresentamos uma demonstrao direta (isto , sem utilizar o
Teorema Espectral 3.3 ou o Teorema da Decomposio Primria) da existncia e
unicidade da forma cannica de Jordan de uma matriz complexa.
Denio 4.15 Sejam 1 , , os autovalores distintos de uma matriz , .
A matriz est na forma cannica de Jordan se
1 0
0 2
=

0 0

0
0
,

1 0
0 1
em que =
0 0

0 0 0

0
0
.
1

O bloco um bloco de Jordan associado ao autovalor . A cada autovalor

est associado ao menos um bloco , que pode ser uma matriz 1 1.
Note que o polinmio caracterstico da matriz da forma
( ) = ( 1 )1 ( ) .
Assim, o nmero de vezes que o autovalor aparece na diagonal de justamente
a sua multiplicidade como raiz do polinmio caracterstico.
Seja um operador no espao , com dim = . Suponhamos
que possa ser representado por uma matriz na forma cannica de Jordan. Isso
signica que existe uma base de tal que = , chamada base de Jordan.
Consideremos um dos blocos de Jordan e a base do espao invariante associado a esse bloco (veja o Exerccio ?? do Captulo ??).
Se = {1 , , }, ento
(1 ) = 1

e ( ) = 1 + ,

para {2, , }.

Essa uma cadeia de Jordan de comprimento . No caso de um bloco 1 1,

temos uma cadeia de comprimento 1 associado ao autovetor responsvel por aquele
bloco.
1

2
O mtodo de Fillipov fornece uma das provas mais diretas da existncia de
uma base na qual um operador assume a forma cannica de Jordan. Faremos essa
demonstrao adaptando e complementando aquela apresentada em Strang [24].
No enunciado do teorema estamos assumindo que seja um espao complexo.
Basta, entretanto, que o polinmio caracterstico de tenha todas as
suas razes no corpo .
Teorema 4.16 (Jordan)
Seja um operador no espao complexo de dimenso . Ento,
existe uma base de na qual representada por uma matriz na forma cannica
de Jordan. Essa representao nica, a menos de ordenamento dos blocos de
Jordan.
Demonstrao: Comeamos mostrando a existncia de uma base na qual o operador representado por uma matriz na forma cannica de Jordan.
Para isso, faremos induo em = dim , partindo do fato que, se dim = 1,
ento est na forma cannica de Jordan para qualquer base de e que essa
representao nica. Suponhamos ento o resultado vlido para qualquer operador denido num espao de dimenso menor do que ou igual a 1, incluindo
tambm a unicidade (a menos de ordenamento dos blocos) dessa representao.
Fixemos ento um autovalor de e consideremos o operador no invertvel
= . (O fato de no ser invertvel fundamental para o processo indutivo,
como veremos na sequncia.)
Como ker {0}, temos que dim ker 1. Se dim ker = , temos que
= est na forma de Jordan. Caso contrrio, denindo = im , temos que
1 dim < 1. Como ( ) (justique!) podemos aplicar a nossa
hiptese de induo ao operador | . Portanto, existe uma base 1 de
tal que, nessa base, | est na forma cannica de Jordan.
Agora vamos completar a base 1 at uma base de , mantendo na forma
cannica de Jordan. Para isso, consideremos inicialmente ker . Se =
dim ker , ento 1. Cada vetor em ker 1 um autovetor correspondente ao autovalor 0, de modo que existem exatamente cadeias de Jordan
em associadas ao autovalor 0. Consideremos uma dessas cadeias e sua base:
, +1 , , max ,
em que um autovetor associado ao autovalor 0 e max o ltimo vetor dessa cadeia.
Como max , existe tal que = max = 0 + max , de modo que as
cadeias relativas ao autovalor 0 em ker esto aumentando seu comprimento
quando acrescentamos o vetor base 1 .

3
O conjunto 2 = {1 , , } assim obtido linearmente independente, pois
sua imagem por o conjunto linearmente independente {1max , , max }. Como
= 0 + max , as cadeias relativas ao autovalor 0 em ker aumentaram
seu comprimento. Em outras palavras, a incluso dos vetores na base 1 aps
cada elemento max mantm a representao de na forma de Jordan.
Denotamos = < 1 , , >. Armamos que = {0}. De fato, se

= 0,

=1

aplicando a essa igualdade, obtemos apenas vetores que esto na base 1 , pois
= max . Isso implica, em particular, que = 0 para {1, , }, provando
o armado.
Se tivermos = , temos uma base na qual assume sua forma de Jordan. Mas pode ser que existam vetores em ker que no esto em . Se esse for
o caso e {1 , , } forem os vetores de 1 que esto em ker , podemos completar esse conjunto com vetores 1 , , at obter uma base de ker . Sejam
= < 1 , , > o subespao gerado por tais vetores e 3 = {1 , , }
uma base de , se {0}. Claramente ( ) = {0}. Uma vez que,
pelo Teorema do Ncleo e da Imagem, temos dim + dim + dim = , podemos concluir que = . A incluso dos vetores na base 1 aps
cada elemento max e a incluso dos vetores de 3 aps a incluso dos vetores de
1 e 2 mantm a representao de na forma de Jordan, pois os vetores de 3
so representados por blocos 1 1 associados ao autovalor 0. (O Exemplo 5.9
mostra que podemos ter {0}.)
Como = [ ] = , tambm temos que = + uma
matriz na forma de Jordan.
Agora consideremos a unicidade da forma de Jordan de . J decompusemos
o espao como = , em que dim 1. Por induo, admitimos
a unicidade da forma de Jordan em espaos de dimenso at 1. Em particular,
temos a unicidade da forma de Jordan em e podemos assumir que =
{0}.
Como cadeias distintas de Jordan decompem em subespaos distintos
(aos quais a hiptese de induo aplica-se), podemos assumir que seja
gerado por uma nica cadeia de Jordan associada ao autovalor 0 de . Mas ento
existe tal que = max , o elemento mximo da nica cadeia de Jordan em
= im e, nesse caso, a forma de Jordan de (e, portanto, de ) nica. A
unicidade (a menos de ordenamento dos blocos) da forma cannica de decorre
ento.


4
Corolrio 4.17 Seja um espao de dimenso nita. Um operador linear
diagonalizvel se, e somente se, o seu polinmio mnimo for produto de fatores
lineares distintos.
Demonstrao: Decorre imediatamente da forma de Jordan de , uma vez que o
polinmio mnimo ( ) de um bloco de Jordan corresponde ao comprimento
da cadeia de Jordan que lhe associada.

Corolrio 4.18 (Teorema Espectral)
Sejam um espao vetorial complexo de dimenso e um operador linear com polinmio caracterstico
( ) = ( 1 )1 ( ) ,
em que os autovalores , = 1, , so distintos.
Ento existem subespaos 1 , , invariantes por tais que
= 1 .
Alm disso, dim = , o polinmio mnimos de | ( ) = ( )
e = ker( ) , em que 1 o comprimento do maior bloco de
Jordan associado ao autovalor .
Demonstrao: Basta denir como o espao gerado pelos vetores de todas as
cadeias de Jordan correspondentes ao autovalor na forma cannica de Jordan.
claro que o polinmio mnimo de | justamente o comprimento da
maior cadeia de Jordan presente em . Assim, todo elemento de pertence
a ker( ) . A recproca obtida ao se representar numa base na qual
assume uma forma de Jordan.

Esse resultado nos indica como obter diretamente os subespaos : vale
ker( ) ker( ) = ker( ) +1 = = ker( ) . (4.7)
(Justique as incluses estritas; as igualdades so consequncias de ( ) e
( ) serem, respectivamente, os polinmios mnimo e caracterstico de | .
O ndice do autovalor encontrado quando essa sequncia de subespaos estabiliza-se. Ou, alternativamente, ker( ) o primeiro subespao
da sequncia que tem dimenso . Os elementos de ker( ) so os autovetores generalizados associados a .
Exemplos de clculos de uma base na qual uma matriz assume sua forma
de Jordan so apresentados na Seo ??.
Uma consequncia imediata da forma cannica de Jordan a existncia de uma
decomposio = + , com diagonalizvel, nilpotente e = .
Mostraremos agora a unicidade dessa decomposio, seguindo [?].

5
Teorema 4.19 Seja um operador no espao complexo de dimenso
nita . Existe uma nica decomposio = + , com diagonalizvel,
nilpotente e = .
Demonstrao: (Roteiro) Claramente e comutam com . Como =
ker( ) invariante por , esse espao tambm invariante por e .
Se , e denotam as restries | , | e | , respectivamente, ento
( ) = .
O lado esquerdo da igualdade nilpotente (como soma de operadores nilpotentes
que comutam), enquanto o lado direito diagonalizvel. Diagonalizando o lado
direito da igualdade, o lado esquerdo continua sendo nilpotente. Mas isso implica
que = 0 e, portanto, = . Mas essa justamente a decomposio
oferecida pela forma cannica de Jordan.

Exemplo 4.20 Seja 4 4 denido por
(1 , 2 , 3 , 4 ) = (21 2 + 4 , 32 3 , 2 + 3 , 2 + 34 ).
Vamos obter a forma cannica de Jordan de , bem como uma base na qual
assume essa forma.
A representao de na base cannica
0 1
2 1
3 1 0
0
.
= =
0
1
1 0

0 3
0 1
O polinmio caracterstico de () = ( 3)( 2)3 (verique!). Como
todos os autovalores de esto no corpo , podemos obter (um)a forma de Jordan
de .
Vericamos que
1 = ker( 2) = {(1 , 2 , 2 , 2 ) | 1 , 2 }
2 = ker( 2)2 = {(1 , 3 + 4 , 23 , 24 ) | 1 , 3 , 4 }.
Como a dimenso de ker( 2)2 igual multiplicidade de 2 como raiz do
polinmio caracterstico ( ) de , temos que o espao 2 do Teorema Espectral
3.3 (ou Corolrio 5.4) dado por ker( 2)2 .
Vamos obter uma base de Jordan para 2 . Para isso, notamos que existem
trs vetores em 2 e que dim(2 /1 ) = 1. Isso quer dizer que teremos um bloco

6
2 2 e um bloco 1 1 associados ao autovalor 2. Claramente o vetor 2 =
1 . Calculamos ento 1 = ( 2)2 = (1, 1, 1, 1).
(0, 1, 0, 2) 2 e 2
(A demonstrao do Teorema de Jordan garante que 1 1 e que 1 , 2 so
linearmente independentes; esses vetores produzem o bloco 2 2). Para obtermos
uma base de 1 , escolhemos o vetor 3 = (1, 0, 0, 0) 1 , que claramente
linearmente independente com 1 . (Mais uma vez, a demonstrao do Teorema
de Jordan garante que {1 , 2 , 3 } so linearmente independentes; o vetor 3
produz o bloco 1 1.)
Para o autovalor 3, a forma escalonada reduzida de
0 1
1 1
0 1 0
0
( 3) =
0
1 2 0

0 0
0 1

1
0
0

0
1
0
0

0 1
0
0
.
1
0

0
0

Assim, o subespao 3 = ker( 3) dado por

{(4 , 0, 0, 4 ) | 4 }.
Esse subespao tem base (1, 0, 0, 1) = 4 e produz um bloco 1 1 associado ao
autovalor 3.
Temos assim a base = {1 , 2 , 3 , 4 }, que uma base de Jordan de .
Os vetores 1 , 3 e 4 so autovetores de (os dois primeiros associados ao
autovalor 2 do operador ).
Assim, representando na base , obtemos uma forma de Jordan de :
2
(0
= =
0

1
0
2) 0
0
(2)
0
0

0
0
.
0

(3)

Exemplo 4.21 Obtenha uma base na qual a matriz esteja na forma cannica
de Jordan:
2 0 0 0 0 0
1 2 0 0 0 0
1 0 2 0 0 0
.
=
0 1 0 2 0 0
1 1 1 1 2 0

0 0 0 0 1 1
O polinmio caracterstico de ( ) = ( 2)5 ( + 1), pois a matriz
triangular inferior.

7
Se denotarmos por 1 o autoespao associado ao autovalor 1, vemos que
dim 1 = 1 e que uma base para esse subespao dado pelo vetor 6 . (Voc
consegue justicar esse fato sem fazer qualquer conta?) Denotaremos por 1 =
6 o primeiro vetor da base procurada.
Consideremos agora o autoespao 2 associado ao autovalor 2. Temos que
dim 2 = 5 e que
0 0 0 0 0 0
1 0 0 0 0 0
1 0 0 0 0 0
.
2=
0 1 0 0 0 0
1 1 1 1 0 0

0 0 0 0 1 3
Se denotarmos 1 = ker( 2), vemos que dim 1 = 2. (Voc consegue
perceber isso sem fazer qualquer conta? Lembre-se que o nmero de linhas nulas
no escalonamento de 2 fornece os graus de liberdade nas solues de (2) =
0, isto , a dimenso desse espao.)
Vericamos que
1 = ker( 2) = {(0, 0, 4 , 4 , 36 , 6 ) | 4 , 6 }
A dimenso do espao 1 nos d o nmero de blocos de Jordan associados
ao autovalor 2. Assim, dois blocos de Jordan esto associados a esse autovalor.
Como o espao invariante 2 associado ao autovalor 2 tem dimenso 5, existem
apenas duas possibilidades para a decomposio de Jordan desse subespao: ou
existe um bloco 2 2 e outro bloco 3 3, ou existe um bloco 4 4 e um bloco
1 1.
Um novo clculo nos mostra que
2 = ker( 2)2 = {(0, 0, 4 + 35 96 , 4 , 5 , 6 ) | 4 , 5 , 6 }.
Ora, isso indica que teremos um bloco 4 4 e um bloco 1 1 associados ao
autovalor = 2. Em particular, 2 = 4 .
Vericamos ento que
ker(2)3 = {(0, 33 34 + 95 276 , 23 , 24 , 25 , 26 )}
ker(2)4 = {(62 93 94 + 275 816 , 102 , 103 , 104 , 105 , 106 )}.
(J era claro que deveramos ter 5 graus de liberdade em ker( 2)4 .)
Escolhemos ento o vetor
5 = (1, 0, 0, 0, 0, 10/81) 4 3 .

8
Obtemos
4 = ( 2)5 = (0, 1, 1, 0, 1, 10/27), 3 = ( 2)4 = (0, 0, 0, 1, 0, 1/9)
e
2 = ( 2)3 = (0, 0, 0, 0, 1, 1/3).
Note que 2 um autovetor de , pois ele pertence a 1 . Como 1 tem
dimenso 2, existe um outro autovetor nesse espao, linearmente independente
com 2 . Podemos tomar 6 = (0, 0, 1, 1, 0, 0).
Tendo obtido os vetores {1 , , 6 }, a representao de nessa base satisfaz
1
2
3
4
5
6

=
=
=
=
=
=

1 (pois (+)1 = 0)
22 (pois ( 2)2 = 0)
2 + 23 (pois ( 2)3 = 2 )
3 + 24 (pois ( 2)4 = 3 )
4 + 25 (pois ( 2)5 = 4 )
26 .

Assim, a representao de nessa base

(1)
0
0
=
0
0

0
2
0
0

0
0

0
1
2
0
0
0

0
0
1
2
0
0

0
0
0 0
0 0
.
1 0

2 0

0 (2)

Exemplo 4.22 Seja

1 1 3 1
7
1
0 1
1
2
3
2
0
0 1
0 2
1
=
,
0
0 1
1 2
0
0
0
0
0 1
3

0
0
0
0 4
0
cujo polinmio caracterstico (obviamente) () = ( + 1)5 ( + 4).

9
Temos
ker( + 4)
ker(+)
ker(+)2
ker(+)3

=
=
=
=

{(26 , 0, 6 , 6 , 6 , 6 ) | 6 }
{(1 , 4 , 24 , 4 , 0, 0) | 1 , 4 }
{(1 , 2 , 24 25 , 4 , 5 , 0) | 1 , 2 , 4 , 5 }
{(1 , 2 , 3 , 4 , 5 , 0) | 1 , 2 , 3 , 4 , 5 }.

Escolhemos 1 = (2, 0, 1, 1, 1, 1) ker( + 4). Esse o primeiro vetor

de uma base na qual representada por sua forma cannica de Jordan.
Como dim(ker(+)3 / ker(+)2 ) = 1, existe apenas um bloco 3 3. Claramente, 4 = (0, 0, 1, 0, 0, 0) ker(+)3 ker(+)2 . Seja ento (+)4 = 3 =
(1, 1, 0, 0, 0, 0) ker(+)2 e (+)3 = 2 = (1, 0, 0, 0, 0, 0) ker(+).
Como dim(ker(+)2 / ker(+)) = 2, existe um vetor nesse espao que linearmente independente com 3 . primeira vista, poderamos escolher o vetor
= (0, 1, 0, 0, 0, 0), pois ele est em ker(+)2 e no est em ker(+). Entre2
tanto, em ker(+)
, os vetores 3 e so linearmente dependentes: basta notar que
ker(+)
a diferena entre eles um vetor em ker(+). Uma escolha correta para o vetor
2
de ker(+)
, linearmente independente com 3 6 = (0, 0, 2, 0, 1, 0) (verique).
ker(+)
Ento, (+)6 = 5 = (1, 1, 2, 1, 0, 0) ker(+).
Notamos, em particular, que pode ser complicada a escolha de trs vetores
linearmente independentes em um espao /1 . Em geral, isso pode ser obtido
por simples inspeo: o vetor 5 escolhido tem uma coordenada que no est
presente no espao ker(+). Se essa inspeo no for suciente, a melhor maneira
pensar como construda a base do espao /1 : partindo de uma base de
1 os elementos que completam a base de formam a base desse espao. Esse
o mtodo computacional adequado quando a dimenso de /1 for grande.

Agora passamos a mostrar um segundo mtodo para obter uma base na qual
uma matriz assume sua forma de Jordan, que evita o clculo de potncias de
. Esse mtodo est diretamente relacionado com o tratamento da forma
cannica de Jordan apresentado no Apndice 5, mas independe de sua leitura.
Exemplo 4.23 (variao sobre o Exemplo 5.7) Seja
0 0 0 0 0 0
1 0 0 0 0 0
1 0 0 0 0 0
,
=
0 1 0 0 0 0
1 1 1 1 0 0

0 0 0 0 1 3
cujo polinmio caracterstico ( ) = 5 ( + 3). Note que a matriz foi obtida
da matriz do Exemplo 5.7 ao tomarmos = 2. (Neste mtodo, essencial
procurarmos cadeias associados ao autovalor 0.)

10
Claramente 6 = (0 0 0 0 0 1) o (nico) autovetor associado ao autovalor
3. Ele nos fornece o primeiro vetor da base de Jordan: 1 = 6 . (Se esse vetor
no fosse evidente, resolveramos o sistema ( 3) = 0.)
Sendo 6 um vetor arbitrrio, escalonando a matriz aumentada ( | )
encontramos bases para ker e im :
0
1
1

0
1

0
0
0
1
1
0

0
0
0
0
1
0

0
0
0
0
1
0

0 0
0 0
0 0
0 0
0 0
1 3

|
|
|
|
|
|

1
1
0
2

0
3

4
0
0
5

6
0

0
1
0
0
0
0

0
0
1
0
0
0

0
0
1
0
0
0

0 0
0 0
0 0
1 3
0 0
0 0

2
|

4
|

| 5 2 4 .
6

|
3
2

Assim, uma base para ker dada por

0
0
0
0
0
0

1

4 = 4 + 6 0 ,
0
1
4
3
0
3


6
1
0
6
enquanto im tem como base os vetores de correspondentes aos pivs (veja o
Corolrio ??):
0
0 0 0
0
1 0 0

1 0 0
, , e 0 ,
0
0 1 0
0
1 1 1


1
0 0 0
de modo que im = {(0, 3 , 3 , 4 , 5 , 6 )}.
fcil vericar que ker im tem como base um autovetor associado ao
autovalor 0. Apenas este autovetor pode produzir uma cadeia de Jordan de comprimento maior do que 1.
0
0
0
= ker im .
0
3

1

11
O segundo autovetor associado a 0 no pertence a ker im e dado por
0
0
1
= .
1
0

0
Assim, existem apenas dois blocos associados ao autovalor 0. Um deles uma
cadeia de Jordan de tamanho 4 (justique!) que tem como primeiro vetor
2 = ;
o outro uma cadeia de Jordan de tamanho 1 criada pelo vetor 6 = .
Precisamos encontrar os outros elementos da cadeia gerada por 2 . Para isso,
resolvemos
= 2 ,
cuja soluo geral , de acordo com a forma escalonada reduzida por linhas de
(|),
= (0, 0, 3 , , 1 + 3, ).
Escolhemos uma soluo 3 (de = 2 ) com 3 im . Para que a soluo
pertena a esse espao, devemos ter = 3; escolhendo = 0, obtemos
3 = (0, 0, 0, 3, 1, 0).
O vetor 4 escolhido como uma soluo em im de = 3 . A forma
escalonada reduzida por linhas de (|) garante que a soluo geral desse sistema

= (0, 3, 2 , , 3, ).
Devemos ter = 1 para que im . Escolhendo = 1, obtemos ento
4 = (0, 3, 3, 1, 3, 1).
Finalmente, resolvemos o sistema = 4 e obtemos, por exemplo, a soluo
5 = (3, 1, 1, 0, 1, 0),
vetor que no est em im + ker . Note que, qualquer que seja a escolha de na
determinao do vetor 4 , teremos que a soluo de = 4 no estar em im .

A notao utilizada est de acordo com a demonstrao da forma de Jordan apresentada no

Apndice 5.

12
Assim, a base = (1 , 2 , 3 , 4 , 5 , 6 ) coloca na forma cannica de Jordan. Somando 2, a matriz est na forma de Jordan apresentada no Exemplo
5.7 com a mesma base .

Exemplo 4.24 (Variao sobre o Exemplo 5.8) Consideremos mais uma vez a
matriz do Exemplo 5.8. Procederemos analogamente ao Exemplo 5.9 com relao matriz = 2. Consideremos o sistema = :
0
0
0
(|) =
0
0

1 1 3 1 7
0
1
2
3 2
0
0
0 2 1
0
0
0
1 2
0
0
0
0 3
0
0
0
0 3

|
|
|
|
|
|

1
2
3
,
4
5

cuja soluo dada por

0
0
0
(| ) =
0
0

1
0
0
0
0
0

0 1 0 0
1
2 0 0
0
0 1 0
0
0 0 1
0
0 0 0
0
0 0 0

| 1 + 2 24 55 /3
2 34 + 45 /3
|

4 25 /3
|
,
5 /3

5 + 6
|

3 + 24 55 /3
|

de modo que uma base para ker formada pelos vetores

1
0
0
1 =
0
0

0

0
1
2
4 = ,
1
0

0

enquanto uma base para im formada pelos vetores

1
0
0
,
0
0

0

1
1
0
,
0
0

0

7
1
2
3

2
e 1 .
2
1
3
0


3
0

A base est de acordo a notao = apresentada no Apndice 5.

13
Escalonando a matriz que tem esses vetores como linhas, obtemos uma descrio mais simples para a imagem de : im = {(1 , 2 , 53 , 54 , 33 +64 , 33
64 )} e ker im . Isso quer dizer que os autovetores de associados com o
autovalor 1 vo gerar cadeias de comprimento maior do que 1.
Seja 1 = (1, 0, 0, 0, 0, 0). Substituindo as coordenadas deste vetor na matriz
(| ), encontramos as solues de = 1 :
{ = (1 , 1 + 4 , 24 , 4 , 0, 0) | 1 , 4 }.
Escolhendo 1 = 4 = 0, obtemos o vetor 2 im
2 = (0, 1, 0, 0, 0, 0).
Substituindo as coordenadas desse vetor na matriz (| ) encontramos as solues
de = 2 :
= (1 , 1 + 4 , 1 24 , 4 , 0, 0).
Escolhendo 1 = 4 = 0, obtemos a soluo
3 = (0, 1, 1, 0, 0, 0).
Note que a soluo geral de = 2 sempre pertence a im . Isso era esperado, pois o autovetor 4 tambm gera uma cadeia.
Procedemos analogamente com relao ao autovetor 4 = (0, 1, 2, 1, 0, 0).
Substituindo as coordenadas desse vetor no sistema (, ), encontramos a soluo
geral de = 4 :
= (1 , 1 + 4 , 2 24 , 1, 0, 0).
Escolhendo 1 = 4 = 0, obtemos a soluo
5 = (0, 1, 2, 0, 1, 0),
que linearmente independente da soluo 2 .
Note que, como antes, a soluo de = 4 nunca pertence a im .
Se calcularmos o autovetor associado ao autovalor 3, encontraremos 6 =
(2, 0, 1, 1, 1, 1). A representao de na base = {1 , 2 , 3 , 4 , 5 , 6 } est
na forma de Jordan; somando 1 ao elementos diagonais dessa matriz, obtemos a
forma de Jordan da matriz , tambm assumida na base .

Observao 4.25 Se tivssemos uma matriz cujos autovetores possuem multiplicidade (por exemplo, no caso em que det = ( 1)3 ( + 1)5 ), o mtodo
utilizado nos exemplos anteriores seria aplicado s matrizes = + e = .
As cadeias obtidas ao considerarmos a matriz nos forneceria a parte da base
associada ao autovalor 1 de , enquanto as cadeias obtidas considerando nos
forneceria a parte da base associada ao autovalor 1 de .

14
Vamos agora mostrar alguns atalhos que podem ser utilizados na obteno da
forma cannica de Jordan.
Exemplo 4.26 Consideremos a matriz
0 1
0
1
2 14
6
10
=
,
1 1 7 3

0
2
0
2
cujo polinmio caracterstico ( ) = ( + 2)3 . Para determinar a forma de
Jordan do(s) bloco(s) associados ao autovalor 2, consideremos
0 1
0
1
4 14
6
10
.
+2=
1 1 5 3

0
2
2
2
Podemos obter a dimenso do espao ker( + 2) por escalonamento. Contudo,
podemos observar que o menor 3 3
0
0 1
4 14
6

1 5 3
tem determinante no nulo, como se observa facilmente ao desenvolver o determinante pela primeira linha dessa matriz. A consequncia que + 2 tem posto 3
(de acordo com o Teorema de Kronecker, exerccio ?? do Captulo ??), de forma
que existe um bloco 3 3 associado ao autovalor 2. Multiplicando, obtemos
1
4
3
0
2
8 6
24
( 2)2 =
0
1
4
3

8 2 8 2

0
48
( 2)3 =
0

16

0
0
0
0

0
0
0 24
.
0
0

0
8

A segunda coluna de ( 2)3 nos informa que 2 ker( 2)3 , enquanto a

segunda coluna de ( 2)2 nos informa que esse vetor no pertence a ker( 2)2 .
Assim, uma base em que a matriz assume sua forma de Jordan dada por =
{( 2)2 2 , ( 2)2 , 2 , }, em que um autovetor associado ao autovalor 0.

Referncias Bibliogrcas
[1] H. Amann: Ordinary Dierential Equations - an Introduction to Nonlinear
Analysis, Walter de Gruyter, Berlin, 1990.
[2] H. Anton and C. Rorres: Elementary Linear Algebra: Applications version,
6th. edition, Wiley, New York, 1991.
[3] R. Bellman: Introduction to Matrix Analysis, McGraw-Hill Book Company,
New York, 1960. (Republished in the series Classics in Applied Mathematics, vol. 12, SIAM, 1995).
[4] H. Bueno: Equaes Diferenciais Ordinrias - 1a. parte. Notas de aula. Departamento de Matemtica da UFMG, 2001.
[5] H. P. Bueno: Functions of Matrices, Cubo 5 (2003), no. 3, 31-54.
[6] H. Bueno: lgebra Linear: um segundo curso. SBM, Rio de Janeiro, 2006.
[7] B. Chisala: A quick Cayley-Hamilton, Amer. Math. Monthly 105 (1998), no.
9, 842-844.
[8] E. A. Coddington and N. Levinson: Theory of Ordinary Dierential Equations, McGraw-Hill, New York, 1955.
[9] H. S. M. Coxeter: Regular Polytopes, 3rd. Edition, Dover, New York, 1973.
[10] N. Dunford and J. T. Schwarz: Linear operators I, Interscience, New York,
1968.
[11] Gantmacher, F. R.: The Theory of Matrices, vol. 1 and 2, Chelsea Publishing
Co., New York, 1959.
[12] N.J. Higham: Function of Matrices - Theory and Applications, Siam, Philadelphia, 2008.
[13] M. Hirsch and S. Smale: Dierential Equations, Dynamical Systems and
Linear Algebra, Academic Press, New York, 1974.
15

16

REFERNCIAS BIBLIOGRFICAS

[14] K. Homan and R. Kunze: Linear Algebra, 2nd. edition, Prentice Hall, Englewoods Clis, 1971.
[15] S. Lang: Linear Algebra, 3rd. Edition, Springer-Verlag, New York, 1989.
[16] S. Lang: Complex Analysis, 4th. Edition, Springer, New York, 1999.
[17] P. D. Lax: Linear Algebra, Wiley-Interscience Publication, New York, 1997.
[18] M. Reed and B. Simon: Methods of Modern Mathematical Physics, vol. I,
Academic Press, New York, 1972.
[19] W. Rudin: Real and Complex Analysis, 3rd. Edition, McGraw-Hill, New
York, 1987.
[20] R. J. Santos: lgebra Linear e Aplicaes, Imprensa Universitria da UFMG,
Belo Horizonte, 2004.
[21] R. J. Santos: Introduo s Equaes Diferenciais Ordinrias, Imprensa Universitria da UFMG, Belo Horizonte, 2005.
[22] N. C. Saldanha and C. Tomei: Spectra of Regular Polytopes, Discrete &
Computational Geometry 7 (1992), 403-414.
[23] J. Sotomayor: Lies de Equaes Diferenciais Ordinrias, IMPA, Rio de
Janeiro, 1979.
[24] G. Strang: Linear Algebra and its Applications, 3rd. edition, Harcourt, Fort
Worth, 1988.
[25] C. Tomei: Novos Cursos de lgebra Linear para Alunos de Engenharia e
Cincias Bsicas, XXII CNMAC, 1999.

ndice Remissivo
autovalor
ndice de um, 4
autovetores
generalizados, 4
base
de Jordan, 1
bloco
de Jordan, 1
forma
cannica de Jordan, 1
ndice de um autovalor, 4
Jordan, C.
base de, 1
bloco de, 1
cadeia de, 2
comprimento de uma, 2
forma cannica de, 1
matriz
forma cannica de Jordan, 1
teorema
espectral, 4
forma de Jordan complexa, 2

17