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

A topological space $X$ is weakly Lindelof if every open cover has a countable subfamily $U$ such that $\bigcup \{ V: V\in U\}$ is dense in X.

Question: Are closed subsets of weakly Lindelof spaces necessarily weakly Lindelof?

share|cite|improve this question
up vote 4 down vote accepted

The Niemytzki plane is weakly Lindelöf (the open upper half plane is a dense Lindelöf subspace); the $x$-axis is an uncountable closed and discrete subspace.

share|cite|improve this answer
Many thanks. Tick to the first answer (by a minute). Looking at the (non-Hausdorff) examples which motivated this question, I now see that one of them has a non-weakly-Lindelof closed set whose complement is a dense open compact set. Thus the whole space is weakly Lindelof. In fact it has the stronger property that every open cover has a finite subfamily with dense union. Presumably this stronger property cannot occur in a non-compact Hausdorff space? – Douglas Somerset Apr 21 '12 at 20:04
It can, spaces in which this happens are called H-closed: – KP Hart Apr 22 '12 at 8:08

No. Consider the space whose points are all sequences of 0's and 1's of length $\leq\omega$. Visualize it as the binary tree plus "limits" for all paths through the tree, and topologize it accordingly. That is, each finite sequence is an isolated point, but a neighborhood of an infinite sequence $s$ must contain all sufficiently long finite initial segments of $s$. This space is weakly Lindelöf because the finite sequences constitute a countable dense set. But the infinite sequences constitute a closed, discrete, uncountable, and therefore not weakly Lindelöf subspace.

share|cite|improve this answer

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.