Let T be a linear operator on $R^2$ defined by T(x,y) = (2x+y, 2y) and $W_1 = span{(1,0)}$
Prove that there is no T-invariant subspace $W_2$ such that $R^2 = W_1 \oplus W_2$
At first I showed that $W_1$ is an eigenspace and T is not diagonalizable so $R^2$ cannot be decomposed into the direct sum of the eigenspaces of T. But this is not enough right since eigenspace is not the only T-invariant subspace.
So I tried this way instead
Suppose $R^2 = W_1 \oplus W_2$ . Then dim$W_2$ = 1 that is $W_2$ is spanned by a single vector (a,b) and b is nonzero. But T[(a,b)] = (2a+b, 2b) which is not in $W_2$. Therefore $W_2$ is not T-invariant.
Is my argument correct. We're using Friedberg in class and we've just covered eigenspace, invariant subspace and minimal polynomial.
Thanks