# Thread: Totally lost with Sorgenfry

1. ## Totally lost with Sorgenfry

Are the Rational numbers an open subset of the Real numbers with respect to the Sorg. topology?

No really sure how to begin. Can somebody start me off?

2. An open set is a union of basis elements. Is there any basis element of that topology that doesn't contain any irrational numbers?

3. Well, am I correct in saying that this is the basis:

$B=\{ [ a,b):a \in R, b \in Q, a < b\}$

4. Surely you have the definitions available in your textbook or lecture notes?

5. No, lecturer is the worst. I'm having a hard enough time finding info off of google without it being way too complicated.

6. okay here is a basis, correct?

$\{[a,b) \times [c,d) : a, b,c,d \in R, a

So, in answer to your question, all of the intervals contain irrational numbers?

7. Now you seem to be putting a topology on R^2 (Sorgenfrey plane). What is a rational number in R^2? Do you mean elements of QxQ? If so, then the original hint applies and yes, your answer to the question is correct. Can you finish from there?

8. To be absolutely honest, I don't know what to do next.

9. If every set in a collection contains non-rationals, then any union of those sets must contain non-rationals. Every open set is such a union, and so...?

10. and so the set of rationals cannot be an open subset?