Since dim(V ) < ∞, T has at most a finite number of distinct eigenvalues.Let λ1,...,λm be the distinct eigenvalues of T, and let:v1,...,vmbe corresponding nonzero eigenvectors.If λj=0, then T(vj/λj)=vjSince at most one of λ1,...,λm equals 0, this implies that at least m − 1 of the vectors v1,...,vm are in range(T). These vectors are linearly independent, which implies that m−1≤dim(rangeT)=k.Thus m≤k+1, as desired.
Comments