Question:

Show that the set of closed intervals

{[a,b] | a,b in rational number set, a<b}------->(1)

are not a basis for a topology in the real line R.

My approach to the question:

My initial thought was to prove this by proving that 'the 2 axioms for a given set to be a ', do not hold for the given set, i.e.

Let X be a set. A basis of a topology on X is a collection B of subsets in X such that

(B1) For every x ∈ X, there is an element B in B such that x ∈ U.

(B2) If x ∈ B1 ∩ B2 where B1, B2 are in B, then there is B3 in B such that x ∈ B3 ⊂ B1 ∩ B2.

We know that rational numbers are of the form p/q, where p, q are in R(set of real numbers), q not equal to 0 and the only common factor p & q both have is 1
That is, the given set is of the form, provided that a=p/g and b=r/s

B = {[p/q ,r/s] | p,q,r,s are in R, q & s not equal to 0, p/q<r/s} ---->(2)

Let's consider (B1)
I noticed that, [20, 21] does not belong to B, as 20=100/5 and 21=105/5 are not rational numbers.

However, sqrt(440)= 20.976176963403030939829070273599, which belongs to R falls in the region [20, 21].

Then, we can conclude that not all x in R doesn't belong to set P, which means (B1) does not hold for the set P.

With this, can we conclude that P is not a basis for a topology in the real line R?

-------------------------------------

I'm taking a Topology course on the 3rd year my undergraduate degree.

So, I was wondering whether the approach I've taken is correct and whether a considerably strong proof for the level of my degree programme/course. I didn't come up with a general method of proving this, but rather do it using a counterexample, as above.

Any help and thoughts would be highly appreciated!

I'd be really glad if someone could guide me on doing this as a general proof.

Thank you!