Documenti di Didattica
Documenti di Professioni
Documenti di Cultura
GEOMETRIA IV
C.d.L. in MATEMATICA
1
Indice
Introduzione 3
1 Triangolazione di endomorfismi 5
2 Polinomio minimo 10
Bibliografia 35
3
Introduzione
1. Triangolazione di endomorfismi.
2. Polinomio minimo.
3. Forma canonica di Jordan.
4
1 Triangolazione di endomorfismi
In questo capitolo verrà analizzata una classe più ampia di quella degli endo-
morfismi semplici: gli endomorfismi triangolabili.
1 1
A=( )
0 1
5
non è triangolabile come matrice reale, ma lo è come matrice comples-
sa. Altrimenti, dovrebbe esistere una matrice reale invertibile P tale che
P −1 AP = T con T triangolare superiore. Quindi,
1 d −b
P −1 AP =
0 1 a b t t12
( )( )( ) = ( 11 ).
ad − bc −c a −1 0 c d 0 t22
Cioè
1 ab + cd b2 + d2 t t12
( 2 2 ) = ( 11 ),
ad − bc −a −c −ab − cd 0 t22
1. A è triangolabile.
⎛ λ1 a′12 ⋯ a′1n ⎞
−1 ⎜ 0 ⎟
P AP = ⎜ ⎟.
⎜ ⋮ A1 ⎟
⎝ 0 ⎠
Si noti che, gli autovalori di A1 sono autovalori di A, siccome vale che χA (t) =
(λ1 − t)χA1 (t). Per l’ipotesi induttiva, esiste una matrice invertibile Q0 tale che
6
A. Montinaro
Q−1
0 A1 Q0 = Tn−1 , dove Tn−1 è una matrice triangolare superiore di ordine n − 1.
Sia
⎛ 1 0 ⋯ 0 ⎞
⎜ 0 ⎟
Q=⎜ ⎟,
⎜ ⋮ Q0 ⎟
⎝ 0 ⎠
allora vale che Q−1 P −1 AP Q è uguale a
Pertanto,
⎛ λ1 a12 ... a1n ⎞
−1 −1 ⎜ 0 ⎟
Q P AP Q = ⎜ ⎟
⎜ ⋮ Tn−1 ⎟
⎝ 0 ⎠
e quindi A è triangolabile.
Teorema 1.5. Sia f ∈ EndK (Vn ), allora sono equivalenti le seguenti af-
fermazioni:
1. f è triangolabile.
2. Il polinomio caratteristico di f è interamente decomponibile su K.
7
Corollario 1.6. Se f ∈ EndK̄ (Vn ), dove K̄ è la chiusura algebrica di K, allora
f è triangolabile.
⎛−1 −1 −1⎞
A=⎜0 0 1 ⎟.
⎝0 −1 −2⎠
Svolgimento. Il polinomio caratteristico di A è
3
χA (t) = t3 + 3t2 + 3t + 1 = (t + 1) ,
⎛3
1
2
− 23 ⎞
A = ⎜−1 9
2
− 27 ⎟ .
⎝−1 1 9 ⎠
2 2
8
A. Montinaro
Il polinomio caratteristico di f è
3
χf (t) = t3 − 12t2 + 48t − 64 = (t − 4) ,
⎛0
1
2
0⎞ ⎛ 3 1
2
− 32 ⎞ ⎛1 1 0⎞
MB0 (f ) = ⎜1 − 12 0⎟ ⎜−1 9
2
− 72 ⎟ ⎜2 0 0⎟
⎝0 0 1⎠ ⎝−1 1 9 ⎠⎝
0 0 1⎠
2 2
⎛4 − 21 − 47 ⎞
= ⎜0 7
2
1
4
⎟.
⎝0 −1 9 ⎠
2
La sottomatrice
7 1
A1 = ( 2 4)
−1 9
2
Sia
⎛1 0 0⎞
Q = ⎜0 1 1⎟
⎝0 2 0⎠
vale che Q−1 P −1 AP Q è uguale
⎛0
1
2
0 ⎞⎛ 3 1
2
− 32 ⎞ ⎛1 1 1⎞
⎜0 0 1
2
⎟ ⎜−1 9
2
− 72 ⎟ ⎜2 0 0⎟
⎝1 − 12 − 12 ⎠ ⎝−1 1 9 ⎠⎝
0 2 0⎠
2 2
9
2 Polinomio minimo
P ∶ Mn (K) Ð→ Mn (K), A z→ a0 In + a1 A + ⋯ + am Am
10
A. Montinaro
Sia v⃗ ∈ Vn , allora v⃗ = w
⃗ + θ⃗ ⃗ ∈ Vn−1 e θ ∈ K, essendo V = Vn−1 ⊕ L(⃗
en con w en ).
Se v⃗′ = (λn IdVn − f )(⃗v ), allora
⃗ u
Siccome w, ⃗ ∈ Vn−1 e poiché Vn−1 è f -invariante, allora v⃗′ appartiene a Vn−1 .
Quindi,
χf (f )(⃗
v) = (λ1 IdVn − f ) ○ ⋯ ○ (λn−1 IdVn − f ) ○ (λn IdVn − f )(⃗
v)
v′ )
= (λ1 IdVn − f ) ○ ⋯ ○ (λn−1 IdVn − f )(⃗
v′ )
= (λ1 IdVn−1 − g) ○ ⋯ ○ (λn−1 IdVn−1 − g)(⃗
v′ )
= χg (g)(⃗
⃗
= 0,
e pertanto χf (f ) = 0.
χT (T ) = (T − λ1 In )(T − λ2 In ) . . . (T − λ2 In ) = 0
χA (A) = (A − λ1 In ) (A − λ2 In ) ⋯ (A − λ2 In )
= P P −1 (A − λ1 In ) P P −1 (A − λ2 In ) P P −1 ⋯P P −1 (A − λ2 In ) P P −1
= P (P −1 AP − λ1 In ) (P −1 AP − λ2 In ) ⋯ (P −1 AP − λ2 In ) P −1
= P (T − λ1 In ) (T − λ2 In ) ⋯ (T − λ2 In ) P −1
= P χT (T )P −1
= 0.
11
Sia f ∈ EndK (Vn ), nell’anello (K[t], +, ⋅) si consideri il sottoinsieme
0⃗ = mf (f )(⃗
v ) = (f r + ar−1 f r−1 + ⋅ ⋅ ⋅ + a0 IdVn )(⃗
v)
= f (⃗
r
v ) + ar−1 f (⃗
r−1
v ) + ⋅ ⋅ ⋅ + a0 v⃗
= λr v⃗ + ar−1 λr−1 v⃗ + ⋯ + a0 v⃗
= mf (λ)⃗
v.
Esempio 2.5. Provare che le seguenti matrici hanno lo stesso polinomio carat-
teristico ma diverso polinomio minimo.
⎛2 1 −1⎞ ⎛2 1 −1⎞
A = ⎜0 1 1⎟ B = ⎜0 1 0 ⎟.
⎝0 0 1⎠ ⎝0 0 1⎠
12
A. Montinaro
Segue dalla Proposizione 2.3 e dal Teorema 2.4 che mA (t) e mB (t) saranno uno
tra i polinomi (t − 1)(t − 2) e (t − 1)2 (t − 2). Siccome,
⎛1 1 −1⎞ ⎛0 1 −1⎞ ⎛0 0 1⎞
(A − I3 )(A − 2I3 ) = ⎜0 0 1 ⎟ ⎜0 −1 1 ⎟ = ⎜0 0 −1⎟
⎝0 0 0 ⎠ ⎝0 0 −1⎠ ⎝0 0 0⎠
⎛1 1 −1⎞ ⎛0 1 −1⎞ ⎛0 0 0⎞
(B − I3 )(B − 2I3 ) = ⎜0 0 0 ⎟ ⎜0 −1 0 ⎟ = ⎜0 0 0⎟
⎝0 0 0 ⎠ ⎝0 0 −1⎠ ⎝0 0 0⎠
⎛5 3 1⎞
A = ⎜−1 1 −1⎟ .
⎝2 6 6⎠
3
Svolgimento. Il polinomio caratteristico di A è χA (t) = (4 − t) . Poiché mA (t) ∣
χA (t) e mA (4) = 0, segue che mA (t) = (t − 4)i con i ∈ {1, 2, 3}. Siccome A ≠ 4I3
e
⎛1 3 1 ⎞⎛ 1 3 1 ⎞ ⎛0 0 0⎞
(A − 4I3 )2 = ⎜−1 −3 −1⎟ ⎜−1 −3 −1⎟ = ⎜0 0 0⎟
⎝2 6 2 ⎠⎝ 2 6 2 ⎠ ⎝0 0 0⎠
2
segue che mA (t) = (t − 4) .
⎛3 0 2⎞
A = ⎜−4 2 −5⎟ .
⎝−4 0 −3⎠
Svolgimento. E’ facile vedere che χA (t) = (t − 1)(2 − t)(t + 1). Poiché mA (t) ∣
χA (t) e −1, 1, 2 sono radici di mA (t), segue che mA (t) = −χA (t) = (t − 1)(t −
2)(t + 1).
13
3 Forma canonica di Jordan
⎛0 0 0 ⎞⎛ 3 0 0⎞ ⎛0 0 0⎞
(A − 2I3 )(A + I3 ) = ⎜−1 −5 −1⎟ ⎜−1 −2 −1⎟ = ⎜ 3 6 3 ⎟.
⎝−1 4 −1⎠ ⎝−1 4 2 ⎠ ⎝−6 −12 −6⎠
14
A. Montinaro
Lemma 3.3. Sia f ∈ EndK (Vn ) con polinomio minimo mf (t) = p(t)q(t), dove
p(t) = (t − λ1 )e1 , q(t) = (t − λ2 )e2 ⋯(t − λr )er , con λ1 , ..., λr gli autovalori distinti
di f , ed e1 , ..., er interi positivi. Allora V = V1 ⊕ W , dove V1 = ker(p(f )) e
W = ker(q(f )).
Dimostrazione. Poiché i polinomi p(t) e q(t) non hanno fattori a comune, esi-
⃗ ∈ V , allora
stono a(t), b(t) ∈ K[t] tali che a(t)p(t) + b(t)q(t) = 1. Sia x
⃗ = IdV (⃗
x x) = (a(f ) ○ p(f ) + b(f ) ○ q(f ))(⃗
x) = a(f )(p(f )(⃗
x)) + b(f )(q(f )(⃗
x)).
Siccome
q(f )(a(f )(p(f )(⃗
x))) = a(f )(q(f )(p(f )(⃗
x))) = a(f )(mf (f )(⃗ ⃗
x)) = 0,
segue che a(f )(p(f )(⃗x)) ∈ W , essendo W = ker(q(f )). Analogamente, si prova
che b(f )(q(f )(⃗
x)) ∈ V1 . Pertanto,
V = V1 + W.
15
Corollario 3.4. W = Im(p(f )).
v )) = 0⃗ e pertanto Im(p(f )) ⊆ W .
Dimostrazione. Sia v⃗ ∈ V , allora q(f ) (p(f )(⃗
Quindi, W = Im(p(f )) per V = V1 ⊕ W e per il Teorema del Rango.
V = V1 ⊕ V2 ⊕ ⋯ ⊕ Vr . (3.1)
z(f )(⃗
v) x + y⃗))
= mg (f )(p(f )(⃗
= mg (f )(p(f )(⃗
x)) + mg (f )(p(f )(⃗
y ))
= mg (f )(p(f )(⃗
x)) + p(f )(mg (f )(⃗
y ))
= mg (f )(p(f )(⃗
x)) + p(f )(mg (g)(⃗
y ))
= 0⃗
poiché V1 = ker((f −λ1 IdV )e1 ) = ker(p(f )) e per come è definito l’endomorfismo
g. Quindi z(f ) = 0 e pertanto z(t) ∈ Jf . Allora mf (t) ∣ z(t) e quindi q(t) ∣
mg (t), essendo mf (t) = q(t)p(t) e z(t) = mg (t)p(t). Pertanto,
16
A. Montinaro
V = V1 ⊕ W = V1 ⊕ V2 ⊕ ⋯ ⊕ Vr ,
(f − λi IdV )ei (f (⃗
x)) = f ((f − λi IdV )ei (⃗ ⃗
x)) = 0.
Pertanto f (⃗
x) ∈ ker(f − λi IdV )ei e quindi ker(f − λi IdV )ei è f -invariante.
Sia V = V1 ⊕V2 ⊕⋯⊕Vr la decomposizione primaria di V rispetto a f ∈ EndK (V ).
Per ogni i = 1, . . . , r, posto fi = f∣Vi , vale che fi ∈ EndK (Vi ) poiché le componenti
r
primarie sono f -invarianti. Se Bi è una base di Vi , i = 1, ..., r, allora B = ⋃ Bi è
i=1
una base di V e vale che
⎛ A1 0 ⋯ 0⎞
⎜0 A2 ⋯ 0⎟
MB (f ) = ⎜ ⎟ (3.2)
⎜ ⋮ ⋮ ⋱ ⋮ ⎟
⎝0 0 ⋯ Ar ⎠
1. mf (t) = mf1 (t) . . . mfr (t) e per ogni i = 1, . . . , r risulta mfi (t) =
(t − λi )ei .
2. Per ogni i = 1, . . . , r vale che dim(Vi ) è uguale alla molteplicità
algebrica dell’autovalore λi .
17
Dimostrazione. Sia x ⃗ ∈ Vi , i = 1, . . . , r, allora (f − λi IdV )ei (⃗ ⃗ Pertanto,
x) = 0.
(fi −λi IdVi ) (⃗
ei
x) = 0⃗ e quindi (fi −λi IdVi )ei = 0. Ciò implica che (t−λi )ei ∈ Jfi .
Allora mfi (t) ∣ (t − λi )ei per ogni i = 1, . . . , r e quindi ∏ri=1 mfi (t) ∣ mf (t).
Sia v⃗ ∈ V , vale che v⃗ = ∑rj=1 v⃗j con v⃗j ∈ Vj (in modo unico), essendo V =
V1 ⊕ ⋯ ⊕ Vr . Allora
r r ⎛ r ⎞
∏ mfi (f )(⃗
v) = ∏ mfi (f ) ∑ v⃗j
i=1 i=1 ⎝j=1 ⎠
r r
= ∑ (∏ mfi (f )) (⃗
vj )
j=1 i=1
r ⎛ r ⎞
= ∑ ∏ mfi (f ) (mfj (f )(⃗
vj ))
⎝
j=1 i=1,i≠j ⎠
r ⎛ r ⎞
= ∑ ∏ mfi (f ) (mfj (fj )(⃗
vj ))
j=1 ⎝i=1,i≠j ⎠
r ⎛ r ⎞
= ∑ ∏ mfi (f ) (⃗0)
j=1 ⎝i=1,i≠j ⎠
= 0⃗
Allora ∏ri=1 mfi (f ) = 0 e quindi ∏ri=1 mfi (t) ∈ Jf . Pertanto mf (t) ∣ ∏ri=1 mfi (t).
Quindi,
r
mf (t) = ∏ mfi (t). (3.3)
i=1
Da (3.3), siccome mf (t) = ∏ri=1 (t − λi )ei e per ogni i = 1, . . . , r vale che mfi (t) ∣
(t − λi )ei , segue che
mfi (t) = (t − λi )ei
per ogni i = 1, .., r.
Dalla Proposizione 2.3 e dal Teorema 2.4 segue mfi (t) ∣ χfi (t) e mfi (t) e
χfi (t) hanno le stesse radici (con molteplicità possibilmente diversa). Pertanto,
χfi (t) = (t − λi )ai , dove ei ≤ ai .
Sia MB (f ) come in (3.2), allora
18
A. Montinaro
⎛2 0 0⎞
MB (f ) = ⎜0 −3 −1⎟ .
⎝0 4 1⎠
⎛−2 4 4⎞ ⎛ 0 4 4⎞ ⎛−4 20 8⎞
(A − I3 )(A + I3 ) = ⎜ 0 −2 0⎟ ⎜ 0 0 0⎟ = ⎜ 0 0 0⎟
⎝−1 7 2⎠ ⎝−1 7 4⎠ ⎝−2 10 4⎠
19
e quindi
⎛J1 0 ⋯ 0 0 ⎞
⎜0 J2 ⋯ 0 0 ⎟
⎜ ⎟
⎜⋮ ⋮ ⋱ 0 0 ⎟
⎜ ⎟
⎜0 0 0 Jm−1 0 ⎟
⎝0 0 0 0 Jm ⎠
20
A. Montinaro
⎛Jm1 (λ) 0 ⋯ 0 ⎞
⎜ 0 Jm2 (λ) ⋯ 0 ⎟
MB (f ) = ⎜ ⎟ (3.4)
⎜ ⋮ ⋮ ⋱ ⋮ ⎟
⎝ 0 0 ⋯ Jmk (λ)⎠
1. dim V = 2
λ 1 λ 0
( ) ( )
0 λ 0 λ
2. dim V = 3
⎛λ 1 0⎞ ⎛λ 1 0⎞ ⎛λ 0 0⎞
⎜0 λ 1⎟ ⎜0 λ 0⎟ ⎜0 λ 0⎟
⎝0 0 λ⎠ ⎝0 0 λ⎠ ⎝0 0 λ⎠
3. dim V = 4
⎛λ 1 0 0⎞ ⎛λ 1 0 0⎞ ⎛λ 1 0 0⎞
⎜0 λ 1 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 0 0⎞ ⎛λ 0 0 0⎞
⎜0 λ 0 0⎟ ⎜0 λ 0 0⎟
⎜ ⎟ ⎜ ⎟
⎜0 0 λ 0⎟ ⎜0 0 λ 0⎟
⎝0 0 0 λ⎠ ⎝0 0 0 λ⎠
1. Vale che
⃗ = ker g 0 ⊆ ker g 1 ⊆ ker g 2 ⊆ ⋯ ⊆ ker g k−1 ⊆ ker g k = V
{0} (3.5)
21
2. Sia {⃗ ⃗x } una base di ker g h estesa ad una base {⃗
u1 , . . . , u ⃗x , v⃗1 , . . . , v⃗y }
u1 , ..., u
di ker g h+1
e quindi ad una base
{⃗ ⃗x , v⃗1 , . . . , v⃗y , w
u1 , . . . , u ⃗1 , . . . , w
⃗z }
{⃗ ⃗x , g(w
u1 , . . . , u ⃗1 ), . . . , g(w
⃗z )}
{⃗ ⃗x , g(w
u1 , . . . , u ⃗1 ), . . . , g(w
⃗z )} ⊂ ker g h+1 .
e quindi
⎛z ⎞ ⎛z ⎞
0⃗ = g h ∑ βj g(w ⃗j .
⃗j ) = g h+1 ∑ βj w
⎝j=1 ⎠ ⎝j=1 ⎠
Allora, {⃗
u1 , . . . , u ⃗1 , . . . , w
⃗x , v⃗1 , . . . , v⃗y , w ⃗z } è un sottoinsieme linearmente
dipendente di ker g h+1 e quindi di ker g h+2 per (3.4). Ma ciò è assurdo,
essendo {⃗ ⃗x , v⃗1 , . . . , v⃗y , w
u1 , . . . , u ⃗1 , . . . , w
⃗z } una base di ker g h+2 .
3. Esiste una base B di V tale che
⎛Jm1 (0) 0 ⋯ 0 ⎞
⎜ 0 Jm1 (0) ⋯ 0 ⎟
MB (g) = ⎜ ⎟ (3.6)
⎜ ⋮ ⋮ ⋱ ⋮ ⎟
⎝ 0 0 ⋯ Jmh (0)⎠
22
A. Montinaro
Sia ⃗bi = g(⃗ ai ), i = 1, . . . , n1 , dal punto (2) segue che {⃗b1 , . . . , ⃗bn1 } è un
sottoinsieme linearmente indipendente di ker g k−1 . Si estenda la lista dei
⃗b1 , . . . , ⃗bn ad un sottoinsieme ⃗b1 , . . . , ⃗bn di ker g k−1 in modo tale che
1 2
Alla fine del procedimento (dopo k passi) si ottiene una base B i cui
elementi sono elencati come segue:
⃗1
a ... ⃗ n1
a
⃗b1 ... ⃗bn ⃗bn +1 . . . ⃗bn2
1 1
c⃗1 ... c⃗n1 c⃗n1 +1 . . . c⃗n2 c⃗n2 +1 ... c⃗n3
⋮ ⋱ ⋮ ⋮ ⋱ ⋮ ⋮ ⋱ ⋮
z⃗1 ... z⃗n1 z⃗n1 +1 . . . z⃗n2 z⃗n2 +1 ... z⃗n3 ... z⃗nk .
Ora, riordinando gli elementi della base B (secondo l’ordine delle colonne,
dal basso verso l’alto e poi da sinistra verso destra) si ottiene
z1 , . . . , c⃗1 , ⃗b1 , a
B = {⃗ ⃗1 , z⃗2 , . . . , c⃗2 , ⃗b2 , a
⃗2 , . . . z⃗nh }.
ai ) = ⃗bi , g(⃗bi ) = c⃗i , . . . , g(⃗
Poiché g(⃗ zi ) = ⃗0 risulta che MB (g) è come in
(3.6).
4. MB (f ) è uguale a (3.4). Infatti, basta notare che f = g + λIdV e quindi
MB (f ) = MB (g) + λIn .
23
Esempio 3.14. Applicando il Teorema 3.13, ridurre in forma canonica di
Jordan la matrice
⎛3 1 0 0 0⎞
⎜−1 2 1 0 0⎟
⎜ ⎟
A=⎜1 0 1 0 0⎟
⎜ ⎟
⎜−1 0 1 3 1⎟
⎝ 1 0 −1 −1 1⎠
5
Svolgimento. Il polinomio caratteristico di A è χA (t) = (2 − t) . Il polinomio
minimo è quindi della forma mA (t) = (t − 2)i , per qualche intero i compreso tra
1 e 5. Poiché A ≠ 2I5 e
2
⎛1 1 0 0 0 ⎞ ⎛0 1 1 0 0⎞
⎜−1 0 1 0 0 ⎟ ⎜0 −1 −1 0 0⎟
2 ⎜ ⎟ ⎜ ⎟
(A − 2I5 ) = ⎜1 0 −1 0 0 ⎟ = ⎜0 1 1 0 0⎟
⎜ ⎟ ⎜ ⎟
⎜−1 0 1 1 1 ⎟ ⎜0 −1 −1 0 0⎟
⎝1 0 −1 −1 −1⎠ ⎝0 1 1 0 0⎠
3
⎛1 1 0 0 0 ⎞ ⎛0 0 0 0 0⎞
⎜−1 0 1 0 0 ⎟ ⎜0 0 0 0 0⎟
3 ⎜ ⎟ ⎜ ⎟
(A − 2I5 ) = ⎜1 0 −1 0 0 ⎟ = ⎜0 0 0 0 0⎟
⎜ ⎟ ⎜ ⎟
⎜−1 0 1 1 1 ⎟ ⎜0 0 0 0 0⎟
⎝1 0 −1 −1 −1⎠ ⎝0 0 0 0 0⎠
ker g = {(X1 , X2 , X3 , X4 , X5 ) ∶ X1 + X2 = X1 − X3 = X4 + X5 = 0}
dove v⃗3 , v⃗4 sono il primo e il quarto vettore della base canonica di R5 . Infine,
ker g 3 = R5 poiché mg (t) = t3 . Quindi, la base B0 è {⃗v1 , v⃗2 , v⃗3 , v⃗4 , v⃗5 }, dove v⃗5 è
il secondo vettore della base canonica.
Sia a⃗1 = v⃗5 , allora ⃗b1 = g(⃗a1 ) = v⃗3 e ⃗b2 = v⃗4 . Infine, siano c⃗1 = g(⃗b1 ) =
⃗
(1, −1, 1, −1, 1) e c⃗2 = g(b2 ) = (0, 0, 0, 1, −1). Procedendo come nel Teorema
3.13, si ottiene la seguente tabella:
a⃗1
⃗b1 ⃗b2
c⃗1 c⃗2 .
24
A. Montinaro
⎛0 0 1 0 0 ⎞⎛ 1 1 0 0 0 ⎞⎛ 1 1 0 0 0⎞
⎜1 0 −1 0 0 ⎟ ⎜−1 0 1 0 0 ⎟ ⎜−1 0 1 0 0⎟
⎜ ⎟⎜ ⎟⎜ ⎟
MB (g) = ⎜0 1 1 0 0 ⎟⎜ 1 0 −1 0 0 ⎟⎜ 1 0 0 0 0⎟
⎜ ⎟⎜ ⎟⎜ ⎟
⎜0 0 1 0 −1⎟ ⎜−1 0 1 1 1 ⎟ ⎜−1 0 0 1 1⎟
⎝0 0 0 1 1 ⎠⎝ 1 0 −1 −1 −1⎠ ⎝ 1 0 0 −1 0⎠
⎛0 1 0 0 0⎞
⎜0 0 1 0 0⎟
J (0)
⎜ ⎟ 0
= ⎜0 0 0 0 0⎟ = ( 3 ).
⎜ ⎟ 0 J2 (0)
⎜0 0 0 0 1⎟
⎝0 0 0 0 0⎠
Infine,
⎛2 1 0 0 0⎞
⎜0 2 1 0 0⎟
J (2)
⎜ ⎟ 0
MB (f ) = MB (g) + 2I5 = ⎜0 0 2 0 0⎟ = ( 3 ).
⎜ ⎟ 0 J2 (2)
⎜0 0 0 2 1⎟
⎝0 0 0 0 2⎠
che è la forma canonica di Jordan di A.
⎛ A1 0 ⋯ 0⎞
⎜0 A2 ⋯ 0⎟
MB (f ) = ⎜ ⎟
⎜ ⋮ ⋮ ⋱ ⋮ ⎟
⎝0 0 ⋯ Ar ⎠
25
dove Ai = MBi (f∣Vi ), i = 1, . . . , r, è una matrice quadrata di ordine la moltepli-
cità algebrica mi dell’autovalore λi per la Proposizione 3.7 (2). Inoltre, poiché
mf∣Vi (t) = (t − λi )ei , i = 1, . . . , r per la Proposizione 3.7 (1), segue dal Teorema
3.13 che esiste una base Bi′ di Vi tale che
⎛Jm1 (λi ) 0 ⋯ 0 ⎞
⎜ 0 Jm2 (λi ) ⋯ 0 ⎟
MBi′ (f∣Vi ) = ⎜ ⎟
⎜ ⋮ ⋮ ⋱ ⋮ ⎟
⎝ 0 0 ⋯ Jmhi (λi )⎠
r
Quindi, B ′ = ⋃ Bi′ , è chiaramente una base di V e MB′ (f ) è in forma canonica
i=1
di Jordan.
Per provare che la forma di Jordan A = MB′ (f ) è unica a meno di una per-
mutazione dei blocchi di Jordan che la compongono, è sufficiente provare che il
numero ρ(f, λ, h) dei blocchi di Jordan di ordine h relativi al generico autovalore
λ presenti in A è dato da
⎛J1 0 ... 0 ⎞
⎜0 J2 ... 0 ⎟
A=⎜ ⎟.
⎜⋮ ⋮ ⋱ ⋮ ⎟
⎝0 0 ... Jm ⎠
Pertanto,
m
j
rg(f − λIdV )j = ∑ rg (Ji − λIai ) (3.7)
i=1
Se i > k, allora Ji −λIai è una matrice triangolare superiore con tutti gli elementi
della diagonale principale diversi da 0, e quindi rg(Ji − λIai )j = ai . Se invece
26
A. Montinaro
• Se ai ≤ h − 1, allora Mi = 0.
• Se ai = h, allora Mi = 1 − 0 − 0 = 1.
• Se ai ≥ h + 1, allora Mi = ai − h + 1 − 2(ai − h) + ai − h − 1 = 0.
Si noti che
ρ(f, λ, h) = rg(f − λIdV )h−1 − 2rg(f − λIdV )h + rg(f − λIdV )h+1 (3.10)
27
Il seguente corollario è un’immediata conseguenza del Teorema 3.15.
Si noti, infine, che la classe degli endomorfismi che ammettono una riduzione in
forma canonica di Jordan è più ampia della classe degli endomorfismi semplici.
Corollario 3.17. Siano f ∈ EndK (V ), dim(V ) = n, e sia mf (t) = (t−λ1 )e1 . . . (t−
λr )er , con λ1 , . . . , λr ∈ K, allora il massimo degli ordini dei blocchi di Jordan
relativi all’autovalore λi è ei .
ρ(fi , λi , ei ) = rg(fi − λi IdVi )ei −1 − 2rg(fi − λi IdVi )ei + rg(fi − λi IdVi )ei +1
= rg(fi − λi IdVi )ei −1 ≥ 1
Corollario 3.18. Siano f ∈ EndK (V ), dim(V ) = n, e sia mf (t) = (t−λ1 )e1 . . . (t−
λr )er , con λ1 , . . . , λr ∈ K, allora numero dei blocchi di Jordan relativi all’auto-
valore λi è uguale alla molteplicità geometrica di λi .
28
A. Montinaro
h=1
ei ei ei
= ∑ rg(fi − λi IdVi )
h−1
− 2 ∑ rg(fi − λi IdVi )h + ∑ rg(fi − λi IdVi )h+1
h=1 h=1 h=1
ei ei −1 ei −2
= ∑ rg(fi − λi IdVi )
h−1
− 2 ∑ rg(fi − λi IdVi )h + ∑ rg(fi − λi IdVi )h+1 .
h=1 h=1 h=1
Inoltre, N (λi ) = dim Vi − rg(fi − λi IdVi ) = dim ker(fi − λi IdVi ) per il Teorema
del Rango. D’altra parte, ker(f − λi IdV ) ⊆ Vi implica ker(f − λi IdV ) = ker(fi −
λi IdVi ). Quindi,
⎛0 0 1 1⎞
⎜1 0 0 0⎟
A=⎜ ⎟.
⎜0 0 0 0⎟
⎝0 0 0 1⎠
Siccome
⎛0 0 0 1⎞
⎜0 0 1 1⎟
rg(A2 ) = rg ⎜ ⎟ = 2,
⎜0 0 0 0⎟
⎝0 0 0 1⎠
vale che ρ(A, 0, 1) = 0.
29
Quindi la forma canonica di Jordan è composta da un unico blocco di ordine 3
relativo all’autovalore 0 ed un unico blocco di ordine 1 relativo all’autovalore 1.
Pertanto A è simile alla matrice
⎛0 1 0 0⎞
⎜0 0 1 0⎟ J (0) 0
J =⎜ ⎟=( 3 ). (3.11)
⎜0 0 0 0⎟ 0 J1 (1)
⎝0 0 0 1⎠
allora mA (t) = χA (t) = t3 (t−1). Segue dal Corollario 3.17 che la forma canonica
di Jordan di A deve avere un blocco Jordan di ordine 3 relativo all’autovalore
0 e 1 di ordine relativo all’autovalore 1. Pertanto, la forma canonica di Jordan
di A è data in (3.11), siccome A ha ordine 4. In generale, il Corollario 3.17
fornisce informazioni parziali sulla forma canonica di Jordan. Tuttavia, queste
informazioni sono complete se l’ordine di A è basso.
Determiniamo la matrice di passaggio da A alla forma canonica di Jordan di A.
Dal Teorema di Decomposizione Primaria segue che
Semplici calcoli mostrano che ker(A − I) = L(w), ⃗ dove w ⃗ = (1, 1, 0, 1), e che
ker(A3 ) = L(⃗e1 , e⃗2 , e⃗3 ), con e⃗1 , e⃗2 , e⃗3 i primi 3 vettori della base canonica di R4 .
Inoltre, è facile vedere che ker(A) = L(⃗ e1 , e⃗2 ). Pertanto,
e2 ), ker(A2 ) = L(⃗
⎛0 1 0 1⎞
⎜1 0 0 1⎟
P =⎜ ⎟
⎜0 0 1 0⎟
⎝0 0 0 1⎠
30
A. Montinaro
Infatti, P −1 AP = J, cioè
⎛0 1 0 −1⎞ ⎛0 0 1 1⎞ ⎛0 1 0 1⎞ ⎛ 0 1 0 0⎞
⎜1 0 0 −1⎟ ⎜1 0 0 0⎟ ⎜1 0 0 1⎟ ⎜ 0 0 1 0⎟
⎜ ⎟⎜ ⎟⎜ ⎟=⎜ ⎟.
⎜0 0 1 0 ⎟ ⎜0 0 0 0⎟ ⎜0 0 1 0⎟ ⎜ 0 0 0 0⎟
⎝0 0 0 1 ⎠ ⎝0 0 0 1⎠ ⎝0 0 0 1⎠ ⎝ 0 0 0 1⎠
1 −1
L = A − (i − 1)I2 = ( ).
1 −1
Quindi ker g = L(⃗ v ), dove v⃗ = (1, 1), e ker g 2 = C2 . Allora ker g = L(⃗
v ) ⊂ ker g 2 =
L(⃗v , e⃗1 ). Poiché v⃗ = g(⃗ e1 ) , la matrice P di passaggio dalla base canonica Bc
alla base B = {⃗ v , e⃗1 } è
−1 1
P −1 LP = (
0 1 1 1 0 1
)( )( )=( )
1 −1 1 −1 1 0 0 0
e quindi
i−1 1
MB (f ) = ( ) = J2 (i − 1).
0 i−1
è la forma canonica di Jordan cercata.
⎛0 1 0 0⎞
⎜ 11 6 −4 −4⎟
A=⎜ ⎟.
⎜ 22 15 −8 −9⎟
⎝−3 −2 1 2⎠
31
Svolgimento. Semplici calcoli mostrano che
Poiché
e siccome
⎛ 12 4 −4 −4⎞
⎜−32 −16 12 12 ⎟
(A − I4 )2 = ⎜ ⎟
⎜−28 −20 12 12 ⎟
⎝ 0 0 0 0⎠
ha rango 2, segue che ρ(A, 1, 1) = 0 e quindi ρ(A, 1, 2) = 1. Poiché
e siccome
⎛ 12 8 −4 −4 ⎞
⎜ 12 8 −4 −4 ⎟
(A + I4 )2 = ⎜ ⎟
⎜ 60 40 −20 −24⎟
⎝−12 −8 4 8 ⎠
ha rango 2, si ha ρ(A, −1, 1) = 0. Allora ρ(A, −1, 2) = 1. Pertanto, A è simile a
la matrice di Jordan
⎛1 1 0 0⎞
⎜0 1 0 0⎟ J (1) 0
J =⎜ ⎟=( 2 ). (3.12)
⎜0 0 −1 1⎟ 0 J2 (−1)
⎝0 0 0 −1⎠
⎛−20 −12 8 8⎞
⎜ 20 12 −8 −8⎟
(A − I4 ) (A + I4 )
2
= ⎜ ⎟
⎜−20 −12 8 8⎟
⎝ 0 0 0 0⎠
⎛ 0 0 0 0⎞
⎜ 0 0 0 0⎟
(A − I4 )(A + I4 ) 2
= ⎜ ⎟
⎜ 12 8 −4 −4⎟
⎝−12 −8 4 4⎠
32
A. Montinaro
segue che mA (t) = χA (t) = (t − 1)2 (t + 1)2 . Per il Corollario 3.17 si ha che la
forma canonica di Jordan di A ha due blocco Jordan di ordine 2, uno relativo
all’autovalore 1 ed uno relativo all’autovalore −1. Pertanto, la forma canonica
di Jordan di A è data in (3.12), siccome A ha ordine 4.
Determiniamo la matrice di passaggio da A alla forma canonica di Jordan di A.
Dal Teorema di Decomposizione Primaria risulta che
R4 = ker(A − I4 )2 ⊕ ker(A + I4 )2 .
Inoltre,
⎧
⎪−x + y = 0
⎪
⎪
⎪
ker(A − I4 ) ∶ ⎨11x + 5y − 4z − 4t = 0
⎪
⎪
⎪
⎪
⎩22x + 15y − 9z − 9t = 0
Quindi, ker(A − I4 ) = {(0, 0, −t, t) ∶ t ∈ R}, ovvero ker(A + I4 ) = L(⃗
u1 ) dove
⃗1 = (0, 0, 1, −1).
u
⎧
⎪
⎪12x + 4y − 4z − 4t = 0
ker(A − I4 ) ∶ ⎨
2
⎪
⎪−32x − 16y + 12z + 12t = 0
⎩
⎧
⎪
⎪12x + 8y − 4z − 4t = 0
ker(A + I4 )2 ∶ ⎨
⎪
⎪60x + 40y − 20z − 24t = 0
⎩
⎛0 1 1 0⎞
⎜0 1 −1 1⎟
P =⎜ ⎟.
⎜1 4 1 2⎟
⎝−1 0 0 0⎠
33
Pertanto ,
⎛0 0 0 −1⎞ ⎛ 0 1 0 0 ⎞⎛ 0 1 1 0⎞
⎜3 −1 −1⎟ ⎜ 11 −4 −4⎟ ⎜ 0 1 −1 1⎟
P −1 AP = ⎜
2 6
⎟⎜ ⎟⎜ ⎟,
⎜−2 −2 1 1 ⎟ ⎜ 22 15 −8 −9⎟ ⎜ 1 4 1 2⎟
⎝−5 −3 2 2 ⎠ ⎝−3 −2 1 2 ⎠ ⎝−1 0 0 0⎠
34
Bibliografia
35