The Krylov Subspaces

Let be a matrix, nonzero vector and
We define the Krylov subspace as:

Lemma

Let have distinct eigenvalues.
Then for any and any :

Proof

Expand in the eigenbasis
and then group together vectors with the same eigenvalue.