Does every Lindelof uniform space have a Lindelof completion?

Question

Recall Lindelof = every open cover has a countable subcover. Is the question of the title answered by known material from some standard text on uniform spaces?

Note it is well known to be true for metric spaces, since a metric space is separable if and only if it is Lindelof (see e.g., Engelking Gen Top 1989, 4.1.16).

[ADDED] In addition to Howes book (mentioned below), I have looked at a paper by T. Ishii, "Paracompactness and topological completion", Fund Math 92 (1976), 65-77. Theorem 4.1 (p. 74) of that paper seems to come close to the question. I think part (c) ==> (a) of that theorem implies that if X is Lindelof then the finest uniformity compatible with X has a completion which is Lindelof. But the proof is highly indirect and I don't follow all of it yet. And I am also not sure that does what we need: the completion of X in its original uniformity must be Lindelof.

This question deserves an answer, preferably with a direct proof.

[ADDED Jan 6] A related question along these lines: If X is a "Dieudonne complete" space (i.e., a space which admits a complete uniformity: see comment below) which is topologically separable (i.e., has a countable dense subset), must X always be a Lindelof space? An example to consider is X = S x S where S is the Sorgenfrey line. This is known to not be Lindelof. Does it have a complete compatible uniformity? I.e., is it "Dieudonne complete"? If it does, it provides a counterexample to the question.

[Add Jan 7] Yes, S x S is topologically complete ("Dieudonne complete"), because S is realcompact and therefore S x S is realcompact (see Engelking p. 217), and every realcompact space is topologically complete (Engelking p. 464). So X = S x S with a complete uniformity is an example of a complete uniform space with a (countable) dense Lindelof subspace, but X is not Lindelof.

However, this does not exhibit S x S as the completion of some uniform space which is Lindelof in the induced topology. So it does not (as yet) contradict the question of this thread: if X is a Lindelof uniform space must its completion (with respect to the original uniformity) also be Lindelof?

Answer 1

I am entering an "answer" because don't know any other way to mark the question settled. KP Hart added a comment suggesting the space S x S discussed above is a counterexample. This is correct because whenever D is a dense subset of a complete uniform space X, then X is the completion of D in the inherited uniformity. (The embedding D --> X is uniformly continuous.)

Answer 2

this paper by Howes gives a characterization of uniform spaces with a Lindelöf completion, but the characterization uses the derived uniformity, and notions like preparacompactness. I don't see as yet how it would imply, or refute, your question, but the link might help anyway. Howes did a write up of all the theory of uniform spaces and covering properties in his book "Modern Analysis and Topology" as well, and the result can also be found in its 4th chapter.

[added] It is equivalent for a Lindelöf uniform space $X$ to have a paracompact or a Lindelöf completion $X^{\ast}$, by the classical theorem (5.1.25 in Engelking, General Topology): a paracompact space that has a Lindelöf dense subspace is Lindelöf, and $X$ is dense in $X^{\ast}$.

Answer 3

Let $X = \beta S$ be the Stone-Cech compactification of an uncountable discrete space. The uniform structure for $X$ is what you want, I think. The subset $S$ is not Lindelof, but its completion is $X$. (Actually, the one-point compactification should work, too.)