In: Advanced Math
Suppose that X is a non-empty, complete, and countable metric space. Use Baire Category Theorem only to prove directly that X has an isolated point. Include a precise statement of the theorem in your proof and indicate how it is being applied.
Let d be metric defined on the non empty set X which is countable and the metric space is complete.
Want to prove that: X has an isolated point.
We will prove it by the method of contradiction.
Now suppose X doesn't have any isolated point, which means every point is a limit point.
Now fix an enumeration
.
For any arbitrary let
,
Since every singleton set is closed, and complement of any closed set is an open set. Thus is an open set in X.
As we know every point of X is limit and adding or subtracting a single point doesn't affect on the limit points.
Therefore Closure set of is the whole X, which means is dense in X.
Now for each is open and dense in X.
Now consider the Baire category theorem, which states that
In a non-empty complete metric space X, intersection of countable family of open dense subset is dense in X.
Therefore using the above theorem:
is dense in X.
Now for any using the definition
Thus no elements of X, belongs to therefore
is an empty set which can not be a dense set.
This leads to a contradiction, that is, our assumption is wrong.
Therefore X has an isolated point.