So, the following is the theorem I'm trying to prove.
Let $f:V \to W$ be a linear map. Then, $f$ is injective iff $Ker(f) = \{0\}$.
My Proof Attempt:
Let $f: V \to W$ be an injective linear map. Then, we have to show that $Ker(f) = \{0\}$. Clearly, $\{0\} \subset Ker(f)$ since $Ker(f)$ is a subspace of $V$. So, we have to simply show that $Ker(f) \subset \{0\}$.
Let $v \in Ker(f)$. Then, $f(v) = 0$. Now, either $v = 0$ or $v \neq 0$.
If $v = 0$, then we're done. This proves that $Ker(f) = \{0\}$.
If $v \neq 0$, then $f(v) = 0 = f(0)$. So:
$f(v) = f(0) \implies v = 0$
That is a contradiction. Hence, $v = 0$ and $Ker(f) = \{0\}$.
Now, let $Ker(f) = \{0\}$. Then, we have to show that $f$ is injective. Let $x,y \in V$ such that $f(x) = f(y)$. Then:
$f(x) = f(y) \implies f(x)-f(y) = 0 \implies f(x-y) = 0 \implies x-y \in Ker(f)$
Hence, $x-y = 0$ and that proves that $x = y$. That is exactly the condition for injectivity and it proves the desired result.
Can someone look through the argument above and tell me if it is correct or not? Also, I would want to hear any sort of criticism on the quality of my proof-writing.