MathOverflow is a question and answer site for professional mathematicians. Join them; it only takes a minute:

Sign up
Here's how it works:
  1. Anybody can ask a question
  2. Anybody can answer
  3. The best answers are voted up and rise to the top

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|cite|improve this question
up vote 3 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|cite|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! – 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.