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

The following statement is well-known: for a Fréchet space $V$ and a closed subspace $W \subseteq V$ the quotient $V / W$ is again complete and hence a Fréchet space. For the particular case of a Banach space the same statement holds true.

Beyond the metrizable case this is no longer correct. So my first question is about a good counter-example, i.e. a complete locally convex space $V$ with a closed subspace $W$ such that $V / W$ is no longer complete.

My second question is whether counter-examples necessarily arise beyond the metrizable case, i.e. does every complete lcs have a closed subspace with a non-complete quotient? In other words, does the above quotient property characterize Fréchet spaces?

My third question is how the situation looks like for sequentially complete lcs with sequentially closed subspace. Are there any positive results/situations where the quotient is at least sequentially complete again?

Thanks a lot.

share|improve this question

4 Answers 4

up vote 3 down vote accepted

A counterexample for both the first and third questions can be found in Counterexamples in Topological Vector Spaces by Khaleelulla (p. 108).

Let $W$ denote the space of all $\mathbb C$-valued sequences $(x_n)$ and $\Phi$ the space of finite sequences. Let $E=E_1\oplus E_2$ where $E_1$ is the topological countable direct sum of copies of $W$ and $E_2$ is the topological countable product of copies of $\Phi$. $E$ is a complete locally convex space but the quotient $E/M$ where $M=\{(u,u):\ u\in E_1\cap E_2 \}$ is not even sequentially complete.

share|improve this answer
    
thanks, I will try to get this book in the library. Any ideas for the second question? –  Stefan Waldmann Mar 7 '11 at 13:36

I would like to add the following important case (which generalizes Bill Johnson's answer): An LS-spaces is defined as a countable inductive limit of Banach spaces $X_n\hookrightarrow X_{n+1}$ with compact inclusions (sometimes also called Silva spaces or DFS-spaces because they are precisely the strong duals or Frechet-Schwartz spaces). It follow from results of J. SEBASTIAO E SILVA from 1955 that LS-spaces are complete and quotients by closed subspaces are again LS (and henceforth complete).

A nice and quite typical example of an LS-space is the space of germs of analytic functions on a compact set. Another important example is the space $\mathscr E'(\Omega)$ of distributions with compact support.

share|improve this answer

Yet another answer: EVERY incomplete Hausdorff (locally convex) topological vector space is a counterexample! It is due to the late Susanne Dierolf who proved (Manuscripta Math., 17(1):73–77, 1975) that every topological vector space is a quotient of a complete one.

share|improve this answer

For the second question, consider the direct sum $Z$ of infinitely many copies of the scalar field. Given any subspace $X$, any algebraic complement $Y$ to the subspace is also a topological complement to $X$, so the quotient $Z/X$ is linearly homeomorphic to $Y$, which is again a direct sum of copies of the scalar field.

share|improve this answer
    
many thanks also to you! –  Stefan Waldmann Mar 8 '11 at 9:11
    
Bill, there seems to be some confusion over terminology, see the recent answer. Could you add some clarification? –  Yemon Choi Jan 5 at 12:01
    
@Yemon. The direct sum is what you call $c_{00}$. Your erased objection to the answer below is correct. All subspaces are closed and all linear operators are continuous. –  Bill Johnson Jan 5 at 14:35
    
Thanks, Bill; I must confess I didn't realize this was complete because I'm so accustomed to the norm topology –  Yemon Choi Jan 5 at 15:37
    
Im very sorry, I just realized that you wrote direct SUM, I was thinking about the direct PRODUCT. Like this, of course, your answer is correct and everything I wrote is nonsense. I think I will delete my "answer" now... –  Tom Jan 6 at 16:13

Your Answer

 
discard

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.