# 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:
• #### How weak convergence and weak topology arises naturally from infinite dimensional vector spaces

Originally published at 狗和留美者不得入内. You can comment here or there. Let be a vector space over endowed with an inner product . Assume that…

• #### Using the Minkowski functional to prove separation of sets via a hyperplane

Originally published at 狗和留美者不得入内. You can comment here or there. We shall use n.v.s to refer to normed vector space. Definition 1 Let be a…

• #### On the Baire category theorem and the open mapping theorem

Originally published at 狗和留美者不得入内. You can comment here or there. Theorem 1 (Baire Category Theorem) Let be a complete metric space. The…

• Post a new comment

#### Error

Anonymous comments are disabled in this journal

default userpic