Professional Documents
Culture Documents
Canonical Form2
Canonical Form2
Canonical Form2
Canonical Form
Triangular form
Dr. R. Bhuvaneswari
BMS College for Women
October 2020
pv ` W qT “ vT ` W for v P V .
p1 px q|ppx q.
for v “ v ` W P V .
Now we prove that T is a linear transformation on V .
ùñ v1 ` W “ v2 ` W
ùñ v1 ´ v2 P W
ùñ pv1 ´ v2 qT P WT Ă W p7 W is invariant under T q
ùñ v1 T ´ v2 T P W
ùñ v1 T ` W “ v2 T ` W
ùñ v 1 T “ v 2 T .
Thus T is well-defined.
pv 1 ` v 2 qT “ pv1 ` W ` v2 ` W qT
“ pv1 ` v2 ` W qT
“ pv1 ` v2 qT ` W
“ v1 T ` v2 T ` W p7 T is linearq
“ v1 T ` W ` v2 T ` W
“ v 1T ` v 2T .
pαv qT “ pαv ` W qT
“ pαv qT ` W
“ vT α ` W p7 T is linearq
“ pvT ` W qα
“ v T α.
v̄ T 2 “ vT 2 ` W
“ pvT qT ` W
“ pvT ` W qT
“ pv T qT
2
“ vT .
Therefore,
T 2 “ pT q2 .
qpT q “ a0 ` a1 T ` a1 xT 2 ` . . . ` ak T k
ùñ qpT̄ q “ a0 ` a1 T̄ ` a1 T 2 ` . . . ` ak T k
ùñ qpT̄ q “ qpT q.
qpT̄ q “ qpT q “ 0 “ 0.
v1 T “ λ1 v1 .
Let W “ tαv1 : α P F u.
Then W is a one-dimensional subspace of V generated by v1 .
Note that WT Ă W .
Therefore, W is invariant under T .
pv ` W qT̄ “ vT ` W
v 2 T “ α22 v 2
v 2 T “ α32 v 2 ` α33 v 3
..
.
v i T “ αi2 v 2 ` αi3 v 3 ` ¨ ¨ ¨ ` αii v i
..
.
v n T “ αn2 v 2 ` αn3 v 3 ` ¨ ¨ ¨ ` αnn v n
α2 “ 0, α3 “ 0, . . . , αn “ 0.
α1 v1 “ 0
Since v1 ‰ 0, we get α1 “ 0.
α1 “ 0, α2 “ 0, . . . , αn “ 0.
v2 T ` W ´ α22 pv2 ` W q “ 0
ùñ v2 T ´ α22 v2 P W
v2 T ´ α22 v2 “ α21 v1
implies that
for αi1 P F .
ùñ v1 T “ α11 v1
v1 T “ α11 v1
v2 T “ α21 v1 ` α22 v2
..
.
vi T “ αi1 v1 ` αi2 v2 ` ¨ ¨ ¨ ` αii vi
..
.
vn T “ αn1 v1 ` αn2 v2 ` ¨ ¨ ¨ ` αnn vn
is precisely A.
Theorem
If V is an n´ dimensional vector space over F and if T P ApV q has
all its characteristic roots in F , then T satisfies a polynomial of
degree n over F .
v1 T “ α11 v1
v2 T “ α21 v1 ` α22 v2
..
.
vi T “ αi1 v1 ` αi2 v2 ` ¨ ¨ ¨ ` αii vi
..
.
vn T “ αn1 v1 ` αn2 v2 ` ¨ ¨ ¨ ` αnn vn
v 1 T “ λ1 v 1
v2 T “ α21 v1 ` λ2 v2
..
.
vi T “ αi1 v1 ` αi2 v2 ` ¨ ¨ ¨ ` αipi´1q vi´1 ` λi vi
..
.
vn T “ αn1 v1 ` αn2 v2 ` ¨ ¨ ¨ ` αn1 pn ´ 1qvn´1 ` λn vn
v1 T ´ λ1 v1 “ 0
pi.eqv1 pT ´ λ1 q “ 0
v2 pT ´ λ2 q “ α21 v1
..
.
vi pT ´ λi q “ αi1 v1 ` αi2 v2 ` ¨ ¨ ¨ ` αipi´1q vi´1
..
.
vn pT ´ λn q “ αn1 v1 ` αn2 v2 ` ¨ ¨ ¨ ` αn1 pn ´ 1qvn´1
v2 pT ´ λ2 qpT ´ λ1 q “ α21 v1 pT ´ λ1 q “ 0.
We know that
pT ´ λ1 qpT ´ λ2 q “ pT ´ λ2 qpT ´ λ1 q
Therefore,
v1 pT ´ λ2 qpT ´ λ1 q “ v1 pT ´ λ1 qpT ´ λ2 q “ 0
v1 pT ´ λi qpT ´ λi´1 q ¨ ¨ ¨ pT ´ λ1 q “ 0
v2 pT ´ λi qpT ´ λi´1 q ¨ ¨ ¨ pT ´ λ1 q “ 0
....
..
vi pT ´ λi qpT ´ λi´1 q ¨ ¨ ¨ pT ´ λ1 q “ 0