Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. 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

I was reading a note on the Sorgenfrey line at this web page.

In the first proof (proof A), the Sorgenfrey line is Lindelöf. So my question is, with the same structure, is $[0,1)$ with the sorgenfrey topology also Lindelöf?

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

Yes, $[0,1)$ with the Sorgenfrey topology is Lindelöf, and the proof in Dan Ma’s Topology Blog works just as well. In fact, the Sorgenfrey line $S$ is hereditarily Lindelöf, and the same proof works; this is result B of the blog post.

share|cite|improve this answer
When he says the open cover $\mathscr{A}$ of the Sorgenfrey line S open intervals of the form $[a, b)$, does that apply to every number in the reals? – Akaichan May 3 '13 at 15:16
@IvordesGreenleaf: Not necessarily. The point is that if $\mathscr{U}$ is any open cover of $S$, it has a refinement $\mathscr{R}$ consisting entirely of intervals of the form $[a,b)$, and if $\mathscr{R}$ has a countable subcover, then trivially so has $\mathscr{U}$. – Brian M. Scott May 3 '13 at 15:18
Then $[0,1)$ works only because it is a countable subspace of $S$? – Akaichan May 3 '13 at 15:22
@IvordesGreenleaf: ??? $[0,1)$ is certainly not countable. And every subspace of $S$ is Lindelöf, by exactly the same proof. – Brian M. Scott May 3 '13 at 15:28
That's what I thought, $[0,1]$ is uncountable. Just a little confused, sorry. And we just know that [0,1) is trivially a subspace of S? – Akaichan May 3 '13 at 15:37

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.