0
$\begingroup$

If $X,Y$ are locally convex spaces, and $f:X\rightarrow Y$ is a continuous linear transformation which is bijective, then is the inverse of $f$ continuous as well?

  • 3
    Of course not. Let $X$ be normed and infinite-dimensional and $Y = X$ be equipped with the weak topology $\sigma(X,X^\ast)$ which is strictly weaker than the norm topology.2012-08-10
  • 1
    The property you exploit in the proof of the open mapping theorem is completeness of domain and codomain. So perhaps if you take $X,Y$ to be Fréchet spaces (or perhaps other complete TVSs), the answer might be yes. Unfortunately, I don't know enough about the topic to answer that question.2012-08-10

1 Answers 1

3

As pointed out by Matt in the comments, the bounded inverse theorem makes use of completeness of both the domain and codomain and t.b. gives a counterexample there.

Local convexity is also quite irrelevant to the problem. The theorem is generally true for F-spaces, that is complete metric vector spaces, where the metric is compatible with the vector space operations. Locally convex F-spaces are Fréchet spaces.

Update: t.b. has made a point in the comments, that local convexity is not irrelevant since under this hypothesis, one can drop the metrizability requirement and replace is with something weaker.

  • 0
    Btw, this is the second time I see it: can one really say "locally convexity"? It makes me twitch every time I hear it. What about "local convexity"? Is that also acceptable? Or is locally convexity the correct term?2012-08-10
  • 3
    Local convexity is definitely not irrelevant... You can drop it but at the heavy cost of metrizability which is rather a strong requirement, but you can also get away with a variant called (ultra)[barrelledness](http://en.wikipedia.org/wiki/Barrelled_space) + a little more. @Matt: It is "local convexity".2012-08-10
  • 0
    @t.b. Ah, thanks. Then I'll keep on twitching... (assuming I'll be seeing it again) : )2012-08-10
  • 0
    @Matt Yes you are right, it sounds awefull.2012-08-10
  • 0
    @t.b. I'm perfectly happy to delete my answer, if you would elaborate on that.2012-08-10
  • 2
    No, no, never mind. The answer is fine for such a minimalistic question (you got +1 from me). I was just trying to make the point that local convexity is rather useful since it simplifies matters quite a bit. A very (almost painfully) detailed account of the necessary and sufficient conditions for the standard Baire-consequences to hold is given in Schechter's handbook, see theorems 27.26 and 27.27 on page 734, [Google books link here](http://books.google.com/books?id=eqUv3Bcd56EC&pg=PA734).2012-08-10