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=c1E1+⋯+ckEk
- I=E1+⋯+Ek
- EiEj=0,∀i=j
- Ej2=Ej,∀j
- range(Ei)=ker(T−eiI)
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=c1E1+⋯+ckEk