Solution

ID: past-exam-of-the-mathematics-course-of-the-university-of-cambridge/2009/ib/paper-3/4f/iii/solution

False. The rational numbers with their subspace topology from are Hausdorff. If a subset contains two distinct rationals , choose an irrational between them; intersecting the subset with and gives a separation into two nonempty relatively open sets. Thus every nonempty connected subset of is a singleton, so it is totally disconnected. Yet no rational is isolated, because every interval around it contains another rational. Therefore is not a discrete space. Hausdorffness and total disconnectedness do not imply discreteness.

New to topics? Read the docs here!