3
$\begingroup$

Let $\tau$ be the topology generated by half-open intervals of the form $[a,b)$ where $a$ is a rational number and $b$ is a real number. Let $C$ denote the space endowed with the previously described topology.

Prove/disprove: $C \times C$ is a Lindelof space.

How do you proceed: here $C$ is not equal to the Sorgenfrey line (because of the rational endpoint). Do we have to use Jones lemma like when showing $\mathbb{R}_{l} \times \mathbb{R}_{l}$ is not Lindelof?

1 Answers 1

2

Hint: You can show that $C$ is second countable.

Update after the first 2 comments: Once you have that, what can you say about $C\times C$? What can you say about the relationship between second countability and Lindelöfness?

  • 0
    @Jonas Meyer: Would $\{ [c,d]: c,d rational\}$ be a countable basis for $C$ because given a basic open set $[a,b)$ with $a$ rational and $b$ real, let $x \in [a,b)$ and choose rationals $w,z$ such that $a$x \in [z,w] \subseteq [a,b)$. Correct? – 2011-02-01
  • 0
    @Tow: Not quite, because $[c,d]$ is not open. However, $[c,d)$ is. There's one other slight problem with your argument: $x$ might be $a$. That's OK, because you can just take $z=a$ (instead of $z\gt a$). Modulo this detail, your reasoning directly translates to showing that the set of intervals $[c,d)$ with $c$ and $d$ rational is a basis.2011-02-01
  • 0
    @Jonas Meyer: Thank you very much.2011-02-01
  • 0
    @Tow: You're welcome.2011-02-01
  • 0
    Can we show $\tau$ is regular?2011-02-03
  • 0
    @Henno Brandsma: Yes. I guess you are asking a Socratic question?2011-02-03
  • 0
    @Jonas: when we know it's regular, it will be separable metrizable. This solves all such issues about Lindelöfness, normality etc.2011-02-06
  • 0
    @Henno: Thank you for explaining.2011-02-06