Solution

ID: past-exam-of-the-mathematics-course-of-the-university-of-cambridge/2007/ib/paper-4/14a/b/solution

For each integer , the open balls cover the compact metric space . Compactness supplies a finite subcover with centres forming a finite set . Define , a countable union of finite sets and therefore countable.
For any and , choose with . One of the covering balls contains , so there is with . Every open neighbourhood of therefore meets , giving . Thus , and is a countable dense subset. If is empty, simply take .

New to topics? Read the docs here!