Paper 4 , Section II, E

Numbers and Sets | Part IA, 2010

What does it mean for a set to be countable ?

Show that Q\mathbb{Q} is countable, but R\mathbb{R} is not. Show also that the union of two countable sets is countable.

A subset AA of R\mathbb{R} has the property that, given ϵ>0\epsilon>0 and x∈Rx \in \mathbb{R}, there exist reals a,ba, b with a∈Aa \in A and b∉Ab \notin A with ∣x−a∣<ϵ|x-a|<\epsilon and ∣x−b∣<ϵ|x-b|<\epsilon. Can AA be countable ? Can AA be uncountable ? Justify your answers.

A subset BB of R\mathbb{R} has the property that given b∈Bb \in B there exists ϵ>0\epsilon>0 such that if 0<∣b−x∣<ϵ0<|b-x|<\epsilon for some x∈Rx \in \mathbb{R}, then x∉Bx \notin B. Is BB countable ? Justify your answer.

Typos? Please submit corrections to this page on GitHub.