dand A

espaço vatorial, direta

e

TE End(N) m+(x) (a x). ...(n Xr)

=
-
-

Vis =
[vij0(Wij) (x
=
-

x;)
i,j

Base

Bij [vij, TVij,..., T-(ij)]

=

Cij [vij, IT-xit) bij, 2T-xit).- wijd

=

...,

C((x i) -

[TI ..
J Bij
=
B =

C(2x xr)")-

i,j
A
forma canônica racional

by vij,
=
ba (T
=
-

Xi ) wij, ...,
(T-
ba= xe)*wig,..., beg=(T-xit)es-wig

12heg:Tb TCT-xi)*wg IT-xiI)twig

= = +
XiCT-Nit)*-wig bets+ibe
=

TBeij= TIT-xet)es-wij= XiTCT-xit) -wij nibeij

=

único
*

autovetor

Xi
e
0
It wire,
-..
·
-I(Xi,wij)
0 1 Xi
↑
bloco de Jordan

I(Xs,ees)
[T]e= ...

0
C =

IXr,err) -

forma canônica de Jordan

TrT TrITIg
= =
(ex +ess+... enixs+ least-..+ exalhat... (erst... enurbar
+ +
+

[xe-
=

Nos livros de
Álgebra Linear tradicionais, os bloco do Jordan
aparecem
como

sex,n) I?... 1
0
=

Vamos ver
que
I(X,n)e JYx, n) was similares.

Tome
0
B =
1 Mn(A)

"0
I.

IEnnite
-

E1 Ent
BT = =

2 Ein-itsEjnjts=IEs-den
BBT =

Analogamente, BTB Idn

=
=
BeGnClk)

Vamos calcular BJ2X, n)BT.

Ja,n)
2XEa+Ents
=
DaniEEntEntanEs
e

X 1

...." 1 Ix,n)
=EXE+ Existe
e
=

Jordan?
Como determinar e
forma canônica de

1) Escrever C(x) totalmente

decomposto:G(2)=(r-x....(X-Xr)d, di-eist... tein ()

isto
significa, em
particular, encontrar os autovalores.

2)
Subespaços Ex
TO N
=
E0 Weher (T-xil)

din Ex:= din her (T-x:1)

⑯.:Em cada bloco de Jordan I(i, j) temos exatamente 1 autovetor com autovalor de

dirn Ex=nide blocos de Lordern associados ao autovalor di

Obs.: multiplicidade algébrica de xi di =

multiplicidade geométrica de Xi=hi=(*) nide termos.

=

8) O de (r-xi) "mata"
polinômio minimal, que
não
conhecemos, nos
fornece o menor
expoente que
todos os vetores na
componente primária
Nxi [Wie) ---
=
* finit
mi(x) (x x)...(x
=
-
-
xu).

Então, temos que ficar analisando as dimensões de her (T-Xit), her LT-xit, her (T-xit),...
até
que estabiliza.
Exemplos
1) 8 1 0 I

T = -

1 54 1

0 0 2 0

0 0 0 2

e
a -
3 0

G(x) det(xt-T) (e-a- 1- - -

det----
=
+
=

0 0 0 x-G

(x
= -
8x 15+ +

1)(x 2)(x 4) - -

(x
= -
2)(x -

4)
-

1 1 0 1

blocos relativos x 4:dimher (T-41)= dim her 1 1 G I

quantos a
-
=

0 0 20
-

00 0 0

Eliminação Gaussiana -

1 1 0 1 -

1 1 O d -

11 0 1

1 1 G 10 - 04 D - 0 04 0

0 0
-

2 0 0 0-2 0 0 000

0 00 0 0 0 00 0 0 0 0

=>
dim her (T-41) 2 =

I
=>
blocos com x 4.=

-oIe
3 1 0 I

184 1

0 0 2 0

000 2
27 21 -

1 8 -3

D 20 Z E

T =
D 02 Z E

0 0 0 G 0

0 0 0 0 2

x -
2 -
1 I - 3

0 x -
2 0 -

7 -

det (21-T) det = 0 0 x -

2 -7 - =(x - 2)8
0 0 0 x -
2 0

0 0 0 D x -
2

ni de blocos: 0 1 -
1 8 - 0 1 -
1 8 -

D 0 0 7 E D 0 0 7 E

direr her (T-21) dir =

her 0 00 7 E ->
dim her 0 00 00

D 000 0 D 0 0 0 0

0 0 0 D 0 0 00 D 0

dim her (T -21) 0 =

i l
2 1

2 1

-- au

--
12

O 1 -

1 & - O 1 -

1 & - 00000

0 00 7 ~000 7 S 0 0 0 0

(T -

21)= 0 0 0 0.0
7 0 0 7 E -0 0000

0 000 00000 0 0 000 0

0 0 0 0 0 0 0 0 0 0 0 0 0 00

m(x) (x 2)2 =
-
 Te
0 0

-
i) =

6) 111 -

1 0

0 100 1

T =
0 0 0 1 0

0 0 -

12 1

0 00 01

-· -
:
x
-

1 10

-8 -
0
-

C(x) det (xt-T)

=

det
= - 0

0 0 x -
2 -

0 0 00 x
-

(x
-
-

1)4(x(x 2)(x- -

1) (x +
-

1)) (x 1)ox(x
= -
-

2) 1) (x
+ = -
1)0

ne de blocos 0 I 1 -

1 0 0 I 1 -

1 0

0 000 I 0 0 -

11 I

dim her (T-1) =

dim her 0 0 -1 1 0 ->
din her 00 -

1 1 0

0 0 -
11 1 0 0 0 0 1

0 00 0 0 0 000 0

0 11 -

1 0 0 1 1 -

10

0 0 11 0 0 11
-

I -

->
din her O 0 00 -

1 ->
din her O 0 00 -

0 0 00 1 0 0 000

00000 0000 0

2 blocos.
 01 1 -

0 0 1 1 -

1 O 0 0 0 0 0

0 0 0 0
0 000 1 0 0 I 0 0 0

(T-IP 0
=

0 -

1 1 0 0 0 -

11 0 -0 000 1

0 0 -

d * 100 -
11 1 0 00 0 1

0 0 0 0 0 00 0 0 0000 0
0

É (T-1) 0.
fácil ver
que
=

=> mi(x) (x =
-
1)

I
1 I O 0 0

0 1 10 0

[T
8-
--
=

-
-
-

00 I

Triangularizibilidade de uma matriz

⑫f.:Uma transf. Linear TE End,(N) (dim Nead triangularizarel superiormente

é se existir

uma base ordenada B =

(Us, ...,
Un) de N
tg. TWit span (Vs, ....
Wil
*
*... *

[T1 =0 *...

:
0 0 ...

Teorema:(Schur)
sejam um
I-espaço rotorial de dimensão
finiter e TEEndy(X). Então:

1) Se m, (e C)
ferem totalmente decompostos em It então te
triangularizarel superior
-

mente.

2) So I
algebricamente fechado,
é então todo
operador TE End(N) triangularizavel
é
superior
-

mente.
Dm.:2) decorre de 1).

Vamos demonstrar 1) indução sobre dim V.

por n =

n 1:
=

TEEnd() = 1. T (a)
=

que é uma matric 1x1

triangular superior.

Juponha válido
para
1 chen e
sga TeEndy(N), dimX n.
=

Tome xtAautovalor de To WeY, wFO autovetor de T.

Complete o
conjunto (1 [0] para uma base B de N

IT
= Mn (A)
At -
A:1-10 A*-*

-T) det
=
(x1- [T]B) (n =
-

x)
Al
decomposto em A[X]
decomporto em k[X]

JPEGhne(t) t.g. PAP-=

U
triangular superior.
1

ezions
a deta=det atGfal
Seja 0
= =

0 &TRY
=ie
=
a =

e
Caso real

hema:Seja peRII, se eleraiz de

pentao também
I o é

Dem: p(x) d+ant+... +

=

anx, a:E.

0
p(z)
=
0
=
0
p(z)
=

as+anh+
=
... an? aptas+...
+
=
+
anz
e

REX) irredutíveis de
Em os únicos
polinômios são
grau
1 e
grau
G.

(a -(a bi))(x +
-

(a bi)) 2
-
=
-
2ax + (a b)
+

(a)
este o
é
polinomic característico de A =

(x- a)
det(et-A) det
=

a ( a) 3 e-Cax
=
-
+
=

+ (ar b).
+

(a) companheira ((e-2ax +(a b)

Vamos A ésimilar à matrix +

0
=
-
ab-
que
=

ver

1 Gon

(a b)(3) (ame)
Als) Ce
-
A= -

Ar=(arhab ee I
La A
(5) 2a(a) (waw- ha I e
= =

b45)(?) (amae)
(2aA-(a2 +
=
(A=2aA (a b)1)
=> + + 0
=

B GV, Au]
=
bare
para
o IX] módulo
-

cídico (v).

[TIr Me[T]saM My
=(da) iMa=(ab-e)
=
 verificar!
MatTIceMp
(e-e)) â)(seis) (e-es)(aahab*(8-car)
=
-

-:Uma matriz Mn(t)

At é
quase triangular superior se

..
_

[A
em
que Ai=(ai) as Ai =

(eb)
· um
operador T-End(N) é
quase triangularizável superiormente se existe uma base B

de N t.g. [T] quase triangular

é
superior.

(Schur real) Soja

Teorema: caso N vatorial real de dimensão
finita. Então
-

um
espaço
todo
operador Linear TE
End(N) é
quase triangularizável superiormente.
⑰

Espaços vetoriais com

produto interne

(A R =
au ((
Num N
ef.: 1)
Seja espaço
vetorial real. Um
produto interno em éuma
forma belinear,
simétrica, positiva definida em X, i.e., uma
é
aplicação
4.):NxN o

tal
que:
i) [aWs +va, z) x
=

90s,e) [a,w) +

(0,aw, wa) x10,ws) 10,wa

+ =
+

ii) 90,2) (w, v> =

:i) FNEX, (0,0) 0

=
- (0,0) 0
=
= v 0.
=

: 1) o item a mais uma das instâncias do item é

suficiente para
deduzir a outra.
2) O item e
implica que 1,) não
é
degenerando, i.e., e (V,w) 0w
=
v 0.
=
=

&f.:2) Seja N um
espaço
vetorial
complexo. Um produto interno em N éuma
forma
serquilinear, positiva definida X, i.e., uma
aplicação
em é

4.):NxY oK

tal
que:
i) [aWs +va, z) x
=

90s,e) [a,w)
+

(0,aw, wa) x10,ws) 10,wa

+ =
+

ii) 90,2) (w, v> =

:i) FNEX, (0,0) 0

=
- (0,0) 0
=
= v 0.
=

: 1) o item a mais o item 1

implica que (V, aw, + 210, wes+1, was.
web=

2) o item
que 1,7 não-degenerado.
I também implica é