I am looking for a topological vector space $X$ satisfying in the following properties:

(1) Cardinal number of $X$ is at most of continuum.

(2) $X$ is not a hereditary Lindelof space.

(3) $X$ is a separable topological vector space.


Let $\mathbb{S}$ be the Sorgenfrey line and let $X = C_p( \mathbb{S})$, the space of continuous functions on $\mathbb{S}$ in the pointwise (i.e. product) topology. This has size at most $\mathfrak{c}$, as $\mathbb{S}$ is separable. All spaces $C_p(X)$ for $X$ Tychonoff are topological (locally convex) vector spaces (a quite interesting class of them and very well studied).

(For the following facts and relevant definitions, see Tkachuk A $C_p$-Theory Problem Book (Topological and function spaces))

$d(X) = d(C_p(\mathbb{S}) = iw( \mathbb{S}) = \aleph_0$ and $C_p(\mathbb{S})$ is not even normal, let alone (hereditarily) Lindelöf (this can be proved with Jones' lemma as for the Sorgenfrey plane). Or more directly, define $f_r: \mathbb{S} \to \mathbb{R}$ by $f_r(x) = 0$ if $x < r$, $f_r(x)= 1$ if $x \ge r$, for $r \in \mathbb{S}$ and note that $S=\{f_r : r \in \mathbb{S}\}$ is a discrete-in-itself subspace of $C_p(\mathbb{S})$ of size $\mathfrak{c}$ so that $C_p(\mathbb{S})$ cannot be hereditarily Lindelöf. One can also show that $S$ is closed as well and then the separability of $C_p(\mathbb{S})$ shows by Jones' lemma that it is not normal, while a Lindelöf Tychonoff space would be normal. But this is more work and $S$ suffices for your purpose.

In a way the simplest example is $\mathbb{R}^{\omega_1}$ in the product topology, which is just $C_p(D(\omega_1))$ of course, but this only consistently satisfies (1); in some models of ZFC we have $2^{\aleph_1} = 2^{\aleph_0}$ in others we have strict inequality. Without demand (1) that space would have been my go-to example.

  • $\begingroup$ I am not familiar with $C_p$-theory and cannot understnd your first sentence.(1). Functions from $\Bbb S$ to where? (2). The product topology on what set (space)? $\endgroup$ – DanielWainfleet Jun 6 '18 at 7:10
  • $\begingroup$ @DanielWainfleet (1) to $\mathbb{R}$ (2) $\mathbb{R}^{\mathbb{S}}$ of which the space of continuous functions is a subset. $\endgroup$ – Henno Brandsma Jun 6 '18 at 15:24
  • $\begingroup$ @HennoBrandsma: Could you please give a bit more why $C_p( \mathbb{S})$ is not hereditary Lindel\"{o}f? $\endgroup$ – Ali Bagheri Jun 6 '18 at 17:46
  • 1
    $\begingroup$ @AliBagheri I gave an additional argument. $\endgroup$ – Henno Brandsma Jun 6 '18 at 18:09
  • 1
    $\begingroup$ @AliBagheri glad to help. I quite like $C_p(X)$ theory, it's a good source of examples, and the ring theory (like in Gilman and Jerrison's book, ideals etc.) is also classic and beautiful. $\endgroup$ – Henno Brandsma Jun 6 '18 at 18:14

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

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