5
$\begingroup$

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)

$\endgroup$
2
  • 1
    $\begingroup$ 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?) $\endgroup$ Apr 28, 2014 at 21:54
  • 2
    $\begingroup$ 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. $\endgroup$
    – janacek
    Apr 29, 2014 at 7:24

1 Answer 1

9
$\begingroup$

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.

$\endgroup$
3
  • 1
    $\begingroup$ "uniform convergence on finite subsets" is also known as "pointwise convergence". $\hspace{1.37 in}$ $\endgroup$
    – user5810
    Apr 28, 2014 at 23:57
  • $\begingroup$ Interestingly, most of these examples are also separable. $\endgroup$ Apr 29, 2014 at 0:48
  • $\begingroup$ @NateEldredge Well, only if $|A| \le \mathfrak{c}$, so in a sense, most spaces $\mathbb{R}^A$ are non-separable... $\endgroup$ May 5, 2014 at 13:31

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service and acknowledge you have read our privacy policy.

Not the answer you're looking for? Browse other questions tagged or ask your own question.