Past exam of the functional Analysis and Banach and C*-Algebras course of the University of Oxford / 2010 / A / 1 / i / b / Solution

A quotient operator is a surjective bounded linear operator that is an open map. For a linear map, being an open map is equivalent to the existence of $c>0$ such thatThe inclusion gives a neighbourhood of $Tx$ inside the image of every sufficiently small ball about $x$, by translation and scaling. Conversely, an open map sends $B_X(0,1)$ to a neighbourhood of zero. A linear open map onto $Y$ is automatically surjective, since its image contains a ball and is a linear subspace.

The Banach-space adjoint is $T^{\ast }g=g\circ T$. For $g\in Y^{\ast }$, the ball inclusion givesAlso $\Vert T^{\ast }g\Vert \le \Vert T\Vert \Vert g\Vert$. Thus the Banach-space adjoint is an isomorphic embedding, with lower bound $c$.