Let T be a linear operator on a vector space V, and let v be a nonzero vector in V, and let W be the T-cyclic subspace of V generated by v.
My question is, how do I show that W is T-invariant, and how do I show that any T-invariant subspace of V containing v also contains W?