# Biduals of operators

Let $T\colon X\to Y$ be a bounded linear operator acting between Banach spaces. Suppose $T$ is an isomorphism onto its range. Must $T^{**}\colon X^{**}\to Y^{**}$ be an isomorphism onto its range also?

-

By the closed range theorem, an operator $T$ has closed range if and only if the range of its adjoint is closed. Using this fact twice we see that $T$ has closed range if and only if $T^{\ast\ast}$ has closed range.
On the other hand, since $T$ is injective with closed range, we have that $T^\ast$ is onto, hence $T^{\ast\ast}$ is injective, too.
Combining these two observations gives that $T^{\ast\ast}$ is an isomorphism onto its range.