# A nice consequence of Baire category theorem

Originally published at 狗和留美者不得入内. You can comment here or there.

In a complete metric space $X$, we call a point $x$ for which $\{x\}$ is open an isolated point. If $X$ is countable and there are no isolated points, we can take $\displaystyle\cap_{x \in X} X \setminus x = \emptyset$, with each of the $X \setminus x$ open and dense, to violate the Baire category theorem. From that, we can arrive at the proposition that in a complete metric space, no isolated points implies that the space uncountable, and similarly, that countable implies there is an isolated point.

Tags:
• #### Disqus comment search service released!

Originally published at 狗和留美者不得入内. You can comment here or there. THIS HAS BEEN UPDATED. SEE…

• #### Ron Maimon on Disqus

Originally published at 狗和留美者不得入内. You can comment here or there. I used my Disqus comment search to get all of Ron Maimon’s comments on…

• #### Found my Disqus search on Google

Originally published at 狗和留美者不得入内. You can comment here or there. On the third or second or seventh page. I think I was a bit harsh on them lol.…

• Post a new comment

#### Error

Anonymous comments are disabled in this journal

default userpic