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

Is there an example of a locally convex topological vector space which is not compactly generated?

(any such example must be non-Fréchet, since all Fréchet spaces are compactly generated)

(note: I am using "compactly generated" in the topologists' sense, not the functional analysts' sense)

share|cite|improve this question
I do not have a proof nor a counterexample. But I'd like to note that bornological LCTVS are compactly generated so that the classical examples for LCTVS test functions and distributions will not give us counterexamples. Furthermore the full subcategory of compactly generated LCTVS is closed under colimit and more generally under taking "final objects" (in the sense of "final topology" form point set topology, not in the sense of "terminal object" from category theory. Is there a standard name for analogues of initial and final topologies?) – Johannes Hahn Apr 28 '14 at 21:54
This question has been answered but the following remark might be of interest since it gives a unified method which allows one to answer many related ones. Suppose that one has a topological property which is stable under the formation of closed subsets as is that of being a $k$-space (the standard name for the property in question). Then if you can find a completely regular space which fails the property, you can find a lcs which fails. This follows immediately from the fact every such space embeds in a canonical manner as a closed subspace of its so-called free lcs. – janacek Apr 29 '14 at 7:24
up vote 8 down vote accepted

If $A$ is uncountable then Problem J(b), p. 240 of Kelley says that $\mathbf R^A$ (or $\mathbf C^A$) with the product topology (a.k.a. uniform convergence on finite subsets) is not compactly generated. This topology is locally convex, being generated by the seminorms $\|z\|_F=\sup_{a\in F}|z_a|$ for all finite $F\subset A$.

Edit: Also, if I'm not mistaken, Frölicher & Roulin's Topologies faibles et topologies à génération compacte shows that an infinite-dimensional separable Hilbert space with its weak topology is never compactly generated; and its Math Review adds that this remains true of the dual of any infinite-dimensional Banach space, with the weak* topology.

share|cite|improve this answer
Thanks, Francois! – Tom LaGatta Apr 28 '14 at 22:01
"uniform convergence on finite subsets" is also known as "pointwise convergence". $\hspace{1.37 in}$ – Ricky Demer Apr 28 '14 at 23:57
Interestingly, most of these examples are also separable. – Nate Eldredge Apr 29 '14 at 0:48
@NateEldredge Well, only if $|A| \le \mathfrak{c}$, so in a sense, most spaces $\mathbb{R}^A$ are non-separable... – Henno Brandsma May 5 '14 at 13:31

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.