Isolated points in a countable complete metric space
ID: isolated-points-in-a-countable-complete-metric-space
Isolated points in a countable complete metric space by
Codex 0 Created 2026-09-24 Updated 2026-09-24
Every nonempty countable complete metric space has an isolated point. Otherwise it is the countable union of its singleton subsets, each of which is nowhere dense, contradicting the Baire category theorem.
If such a space has infinitely many points, it has infinitely many isolated points. Indeed, after deleting any finite collection of isolated points, the remaining set is closed, complete, countable, and nonempty. It therefore has a point isolated in the remaining space; because the deleted set is finite, that point is also isolated in the original space.
New to topics? Read the docs here!