Prove that if $V$ is finite dimensional and $T\in L(V)$, $T$ is injective iff $T$ is surjective.
From the direction of Injectivity to surjectivity, I was able to prove the relation. With the oppsite direction, I tried the following.
Assume that $T$ is surjective.
Let $(e_{1},e_{2},...e_{n})$ be a basis of $V$
Let $v_{1},v_{2} \in V$ ,
Then $v_{1} = a_{1}e_{1}+a_{2}e_{2}....a_{n}e_{n}$ for $a\in K$ where $K$ is a field.
Similarly, $v_{2} = b_{1}e_{1}+b_{2}e_{2}....b_{n}e_{n}$ for $b\in K$
Now, suppose that $v_{1} = v_{2}$, then
$a_{1}e_{1}+a_{2}e_{2}....a_{n}e_{n} = b_{1}e_{1}+b_{2}e_{2}....b_{n}e_{n}$
$\therefore a_{j} = b_{j}$ for $j=1,2,...n$
Now, $T(v_{1})=T(a_{1}e_{1}+a_{2}e_{2}....a_{n}e_{n})= a_{1}T(e_{1})+a_{2}T(e_{2})....a_{n}T(e_{n})$
Similarly, $T(v_{2})=T(b_{1}e_{1}+b_{2}e_{2}....b_{n}e_{n})= b_{1}T(e_{1})+b_{2}T(e_{2})....b_{n}T(e_{n})$
But since $a_{j} = b_{j}$
$a_{1}T(e_{1})+a_{2}T(e_{2})....a_{n}T(e_{n}) = b_{1}T(e_{1})+b_{2}T(e_{2})....b_{n}T(e_{n})$
So, $T(a_{1}e_{1}+a_{2}e_{2}....a_{n}e_{n}) = T(b_{1}e_{1}+b_{2}e_{2}....b_{n}e_{n})$
Which follows that, $T(v_{2}) = T(v_{2})$ Which makes $T$ injective.
Now I know something must be seriously wrong since I didn't mention anything about the surjectivity of $T$. It looks as though I have deduced that any linear mapping of finite dimensional vector spaces is injective.
Can anyone please tell me how this line of reasoning is wrong?
Although K.Power's proof is much more concise, I believe i have also completed the proof with the same method.
Now instead of $v_{1} = v_{2}$ , Assume $ T(v_{1}) = T(v_{2})$ then,
$ T(a_{1}e_{1}+a_{2}e_{2}....a_{n}e_{n}) = T(b_{1}e_{1}+b_{2}e_{2}....b_{n}e_{n})$
$a_{1}T(e_{1})+a_{2}T(e_{2})....a_{n}T(e_{n}) = b_{1}T(e_{1})+b_{2}T(e_{2})....b_{n}T(e_{n}) $
by rearranging the terms,
$0=(b_{1}-a_{1})T(e_{1})+(b_{2}-a_{2})T(e_{2})....(b_{n}-a_{n})T(e_{n})$
Now , assuming the surjectivity of $T$, $(T(e_{1}),T(e_{2}),...T(e_{n}))$ spans $ Im\ T=V $ where $dim V = n$
Since there are n elements in $(T(e_{1}),T(e_{2}),...T(e_{n}))$ that spans n dimensional space, $(T(e_{1}),T(e_{2}),...T(e_{n}))$ is linearly independent.
Now for $0=(b_{1}-a_{1})T(e_{1})+(b_{2}-a_{2})T(e_{2})....(b_{n}-a_{n})T(e_{n})$ to hold, $b_{j}-a_{j}$ must equal $0$ so $b_{j} = a_{j}$
So we can conclude that
$a_{1}e_{1}+a_{2}e_{2}....a_{n}e_{n} = b_{1}e_{1}+b_{2}e_{2}....b_{n}e_{n}$
$ \therefore v_{1} = v_{2}$