I helped some students today with linear algebra, which I took last year. They asked me a question from their homework to which I couldn't find an answer:
Let $V$ be a finitely generated vector space over $\mathbb F$. We are given an operator $T\in End(V)$, such that it has some nontrivial eigenvector $v$ with some eigenvalue $c\in\mathbb F$. Show that exists a functional $l\in V^*$ such that $T^*(l)=cl$ (when $T^*:V^* \rightarrow V^*$ is defined by $T^* (f)=f\circ T$).
I tried first to complete $\{v\}$ to a basis of $V$, induction, and some more possible paths, but none of them seem to work, because even in the two-dimensional scenario, I still fail to see the property which $f$ must fulfill. What am I missing?