I am wondering about the proof of a theorem. I suspect that the proof, as described in the textbook I'm reading (see the comments below for detailed description) is either imprecise (maybe intentionally - this is an introductory level book) or, what is infinitely more probable, my understanding of diagonalizable matrices, eigenvectors and eigenspaces has some flaws. The theorem concerns a method for approximating dominant eigenvalue. In the textbook it is called "power method" and It seems to me that the same thing is described in Wikipedia as "power iteration algorithm" or Von Mises Iteration.
Theorem: Let A be a diagonalizable matrix with dominant eigenvalue . Then there exists a nonzero vector such, that the sequence of vectors defined by approaches a dominant eigenvector of A.
Proof: We may assume that the eigenvalues of A have been labeled so that:
Let be the corresponding eigenvectors. Since are linearly independent, they form a basis for . Consequently we can write as linear combination of these eigenvectors. Say:
We use that and substitute the above equation into it to get:
We next factor out to get
Doing so we use the fact that is not equal to zero.
So far so good. But I cannot get why the dominant eigenvalue cannot be zero. It is obvious that If there are more than one distinct eigenvalues, for to be dominant, its absolute value must be greater than the absolute value of every other eigenvalue. So it cannot be zero. But what if the only eigenvalue is 0? It certainly is not wrong to have eigenvalue equals zero and it's certainly not wrong diagonalizable matrix to have less than n distinct eigenvalues. It seems to me at first look, that only a zero matrix can have zero as only eigenvalue (and will have as eigenspace). But If we substitute zero matrix for A, things certainly won't behave as in the theorem? ...x will converge to the zero vector which is not eigenvector at all.
The book in question is - David Poole's Linear Algebra (Second Edition). (Great book so far as a layman as me can say). This is theorem 4.28 on page 309.