If is invertible, the bounded inverse theorem makes bounded, andMoreover is invertible with inverse , so the same argument shows that is bounded below.
Conversely, supposefor some . The first bound makes injective. It also makes closed: if is Cauchy, then is Cauchy, and continuity gives its limit in the range. The second bound gives . By image-kernel orthogonality for an adjoint,so the range is dense. Being both closed and dense, it equals . Thus is bijective, and the first lower bound gives . Therefore
Articles by others on the same topic
There are currently no matching articles.