Quiero demostrar que si $T:V\to V$ es un operador lineal (con V no necesariamente finita), pero con un límite de rango (es decir, Dim$T(V)=k$), entonces existe un polinomio distinto de cero, tales que $$P(T)v=0, \forall v \in V$$
Mi primera idea fue trabajar con el polinomio característico de a $T|_{T(V)}:T(V)\to T(V)$. Desde $T$ $T(V)$_invariant, el operador $T|_{T(V)}$ está bien definido, y desde Dim$T(V)=k$, se puede calcular su polinomio característico. Por lo tanto, si definimos $P$ a ser el polinomio característico de a $T|_{T(V)}$, por cayley-hamilton teorema, sabemos que: $$P(T)v=0, \forall v \in T(V)$$ ¿Cómo puedo extender para todos los $v\in V$.