Theorem

  1. Let ,
  2. Suppose is diagonalizable and are distinct Eigenvalues of
  3. There such that:

Proof

  1. Suppose is diagonalizable with distinct Eigenvalues .
  2. let be the space of characteristic vectors associated with characteristic values
  3. As we have that
  4. Let be the projections associated with the decomposion as with property 1, Then, the last 4 conditions are satisfied

Proof of Property 1

  1. We have shown that
  2. Then,
  3. That is to say,