Past exam of the functional analysis II course of the University of Oxford / 2023 / 2 / b / i / Solution

The open mapping theorem states that a surjective bounded linear operator $T:X\to Y$ between Banach spaces is an open map: $T(U)$ is an open set in $Y$ whenever $U$ is an open set in $X$. Equivalently, there is $\delta >0$ such thatwhere both displayed balls are open. In particular, a bijective bounded linear operator between Banach spaces has a bounded inverse, the bounded inverse theorem.