2.II.38A
Part II, 2005
Define a Krylov subspace .
Let be the dimension of . Prove that the sequence increases monotonically. Show that, moreover, there exists an integer with the following property: for , while for . Assuming that has a full set of eigenvectors, show that is equal to the number of eigenvectors of required to represent the vector .