Welcome to MathOverflow

Question

3

1

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?

flag	asked Jul 8 at 8:55 Jean-Pierre M. 67●3

Bill Johnson · Accepted Answer · 2012-07-08 17:44:59Z UTC

2

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.

answered Jul 8 at 17:44

Bill Johnson
14.4k●1●33●60

	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! – Jean-Pierre M. Jul 8 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 at 20:05

Around Banach isomorphism theorem

Remember to vote up questions/answers you find interesting or helpful (requires 15 reputation points)

1 Answer

You can accept an answer to one of your own questions by clicking the check mark next to it. This awards 15 reputation points to the person who answered and 2 reputation points to you.