Let S be an uncountable subset of [0,1]. Prove that there is a real number c in [0,1] such that both S∩[0,c] and S∩[c,1] are uncountable.
It seems obvious, but what is the proof?
to illustrate more, if you stay in the middle and YOU are in the middle, and since you know you are in the middle, there will be equal number from your left and from you right.. that is the time when you could say that they have the same countability (cardinality).. get the point?
as per S can be irrationals, you can always write [a,b]\Q.