Originally Posted by

**RedBarchetta** Let $\displaystyle T:V \rightarrow W $ be a linear transformation of some linear space $\displaystyle V$ to a linear space $\displaystyle W$. Let $\displaystyle V$ be infinite-dimensional. Prove that at least $\displaystyle T(V) $ or $\displaystyle N(T)$ is infinite-dimensional.

Intuitively it makes sense by the rank plus nullity theorem since for a finite-dimensional linear space $\displaystyle V$ we have $\displaystyle dim \,N(T) + dim\, T(V) = dim\, V$. Clearly, if $\displaystyle V$ is infinite-dimensional then $\displaystyle N(T)$ or $\displaystyle T(V)$ must be infinite dimensional as well. Although, I can't seem to show this. Contradiction seems the best approach.

Okay, lets assume that $\displaystyle dim\, N(T)=k$ and $\displaystyle dim\, T(V)=r$. Let $\displaystyle e_1,e_2,\ldots,e_k$ be a basis for $\displaystyle N(T)$. Also, let $\displaystyle T(e_{k+1}), T(e_{k+2}),\ldots, T(e_{k+r})$ be a basis for $\displaystyle T(V)$.

Now let $\displaystyle e_1,\ldots,e_k, e_{k+1},\ldots, e_{k+r},\ldots,e_{k+n}$ be linear independent vectors in $\displaystyle V$ where $\displaystyle n>r$.

You can't do that: you ALREADY chose $\displaystyle e_1,...,e_k,e_{k+1},...,e_{k+r}$ : the first k to be a basis of N(T) and the next ones such that their images under T are

a basis of T(V)

What you can say (and show!) is : since $\displaystyle e_1,...,e_k,e_{k+1},...,e_{k+r}$ are lin. ind. (proof?) in V and since V is infinite dim., we can add lin. ind. elements such that...etc.

Now applying $\displaystyle T$ to a linear combination of these elements we see that

$\displaystyle y=T(\displaystyle\sum_{i=1}^{k+n}c_i e_i)=\displaystyle\sum_{i=1}^{k+n}c_i T(e_i)=\displaystyle\sum_{i=k+1}^{k+n}c_i T(e_i)$ since $\displaystyle T(e_1)=T(e_2)=\cdots=T(e_k)=O$

But $\displaystyle y\in\, T(V)$ such that $\displaystyle y=\displaystyle\sum_{i=k+1}^{k+r}d_i T(e_i)$. From this we see that $\displaystyle \displaystyle\sum_{i=k+1}^{k+r}d_i T(e_i)=\displaystyle\sum_{i=k+1}^{k+n}c_i T(e_i)$. Which is saying a linear combination of linear independent elements is equal to a linear combination of linearly dependent elements....which is a contradiction?....I don't know what else to do from here.

Any help would be appreciated! Thank you.