# 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:
• #### My thoughts on Deng Xiaoping and the Cultural Revolution

Originally published at 狗和留美者不得入内. You can comment here or there. I’ll say that I‘ve talked with people in the older generation who think…

• #### Rebuttal to a comment on this matter of “market vs command economy” regarding PRC

Originally published at 狗和留美者不得入内. You can comment here or there. Original comment on Steve Hsu’s blog: http://disq.us/p/2f9gtns The…

• #### More on America’s disingenuousness and its overrated achievements and capabilities

Originally published at 狗和留美者不得入内. You can comment here or there. http://disq.us/p/2f75cui I generally agree with the thesis that America is in…

• Post a new comment

#### Error

Anonymous comments are disabled in this journal

default userpic