Take the 2-minute tour ×
MathOverflow is a question and answer site for professional mathematicians. It's 100% free, no registration required.

Let $E$ be a normed (real) space which is not complete. Is it always possible to find $f$ a continuous bijective linear function from $E$ to $E$ such that $f^{-1}$ is not continuous?

share|improve this question

1 Answer 1

up vote 2 down vote accepted

No. If $E$ has codimension less than the continuum in a Banach space then such an $f$ must be open. This was proved by Saxon and Levin; see the proposition on page 95 of

this paper

which is

Saxon, Stephen; Levin, Mark, Every countable-codimensional subspace of a barrelled space is barrelled. Proc. Amer. Math. Soc. 29 1971 91–96.

So for an example, take any discontinuous linear functional on a Banach space and let $E$ be its kernel.

share|improve this answer
Thanks Bill. What would you recommend as books to go between "initial functional analysis" (Banach isomorphism theorem, Banach-Steinhaus theorem...) and the research articles you mention? I have to bridge the gap! –  mathcounterexamples.net Jul 8 '12 at 19:52
Sorry, I don't. This is TVS theory rather than Banach space theory. I would look at the books referenced in the Levin-Saxon paper; i.e., Edwards' book and Bourbaki's book on TVS (v. 5). Probably one of them contains the result that finite codimensional subspaces of Banach spaces are barrelled. IIRC, Edwards' book is reader friendly, while Bourbaki's has the advantage of being in French. –  Bill Johnson Jul 8 '12 at 20:05

Your Answer


By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.