Theorem
- Let TβL(V), dim(V)<β
- Suppose T is diagonalizable and c1β,β¦,ckβ are distinct Eigenvalues of T
- There βE1β,β¦,EkββL(V) such that:
- T=c1βE1β+β―+ckβEkβ
- I=E1β+β―+Ekβ
- EiβEjβ=0,βiξ =j
- Ej2=Ejβ,βj
- range(Eiβ)=ker(TβeiβI)
Proof
- Suppose T is diagonalizable with distinct Eigenvalues e1β,β¦,ekβ.
- let Wiβ be the space of characteristic vectors associated with characteristic values ciβ
- As we have that βe,W1βββ―βWkβ
- Let Eiβ be the projections associated with the decomposion as with property 1, Then, the last 4 conditions are satisfied
Proof of Property 1
- We have shown that Ξ±=EΞ±1β+β―+EΞ±kβ
- Then, TΞ±=TEΞ±1β+β―+TEΞ±kβ
- That is to say, T=c1βE1β+β―+ckβEkβ