Continuous operator between Banach spaces, closed range I have some problems proving the following:
$T: X \rightarrow Y$ is a continuous, linear operator between Banach spaces. 
Prove that $T$ is surjective $\iff$ $T^* : Y^* \rightarrow X^*$ is injective and $im T$ is closed.
This is my attempt:
Let's define $$S^{\perp} = \{ f \in X^* \ | \ f(s) = 0 \ \ \   \forall s \in S \}, \ S \subset X$$
$$^{\perp}V = \{ x \in X \ | \ f(x) = 0 \ \ \  \forall f \in V \}, \ V \subset X^*$$
Then evidently $S \subset ^{\perp}(S^{\perp})$  and $V \subset ( ^{\perp}V)^{\perp}$.
I don't see, however, how Hahn-Banach theorem implies that $S = ^{\perp}(S^{\perp}) \iff S$ is closed.$(*)$
If I prove that fact for S, I have that $\overline{imT}= ^{\perp}(kerT^*)$ and $\overline{imT^*} \subset (kerT)^{\perp}$
So the implication $\Leftarrow$ now follows from the first equation above.
Could you help me prove the other direction and tell me how to justify the fact $(*)$?
Thank you.
 A: It is obvious that $S= {~}^\perp(S^\perp)$ implies that $S$ is a closed subspace. For the oposite implication, assume that $S$ is closed and $x\not\in S$. Let $T$ be the linear subspace
spanned by $S$ and $x$. It is closed and each $y\in T$ is of the form $y=s+\alpha x$ for unique $s\in S$ and number $\alpha$. Define $\xi_0$ on $T$ by $\xi_0(s+\alpha x)=\alpha$. This is a bounded linear functional on $T$ and $S$ is in its kernel. Let $\xi$ be an extension of $\xi_0$ to the whole space. Then $\xi \in S^\perp$ and consequently $x\not\in {~}^\perp(S^\perp)$. This proves the nontrivial inclusion in $S= {~}^\perp(S^\perp)$.
Boundedness of $\xi_0$.
Since $S$ is a closed subspace and $x\notin S$ the distance $d(x,S)=\inf\{ \| x-s\|; s\in S\}$ is a positive number, say $d(x,S)=\delta$. Let $y=s+\alpha x$ be an arbitrary vector in $T$. If $\alpha \ne 0$, then
$$ \| y\|=\| s+\alpha x\|=|\alpha|\| \frac{1}{\alpha}s+x\|\geq |\alpha|\delta=\delta|\xi_0(s+\alpha x)|=\delta|\xi_0(y)|. $$
It is obvious that $\delta|\xi_0(y)|=0\leq \|y\|$ if $y=s\in S$, i.e., if $\alpha=0$. Thus, in any case we have $|\xi_0(y)|\leq \frac{1}{\delta}\| y\|$ for any $y\in T$ which gives $\| \xi_0\| \leq \frac{1}{\delta}$.
