Show that $\ker \hat{T} = \text{ann}(\text{range } T)$

Let $A = \ker \hat T$ and $B = ann(range(T))$. We want to show that $A \subset B$ and $B \subset A$.

Consider an arbitrary $f \in A$. By definition, $f \circ T = 0$. This means that for any $x \in V$, $f(T(x)) = 0$. Note that for any $y \in range(T)$, there is an $x$ such that $y = T(x)$. Thus, given such a $y$ and an $x$ with $y = T(x)$, we have $$ f(y) = f(T(x)) = 0 $$ so that $f \in B$.

Conversely, consider an arbitrary $f \in B$. For any $x$, we note that $T(x)$ is in the range of $T$, from which it follows that $f (T(x)) = 0$. However, since $f(T(x)) = 0$ for every $x$, we may conclude that $f \circ T = 0$, so that $f \in A$.