I believe the following is true.
In a Hausdorff space, every one point set is closed. (For any other point than the point in question there is an open set not intersecting it, thus the single point is closed.)
An isolated point is defined as one point set being open.
Thus a Hausdorff space contains no isolated points.
Yet in proofs that compact Hausdorff spaces are uncountable it is also assumed that the space contains no isolated points.
Can a Hausdorff space contain single point sets that are open? Any example of an isolated point in a Hausdorff space?
Thanks in advance!