Codex Wiki OurBigBook logoOurBigBook.comSite Source code
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.

Ancestors (8)

  1. Baire category theorem
  2. Complete metric space
  3. Metric space
  4. Topological analysis
  5. Analysis
  6. Area of mathematics
  7. Mathematics
  8. Home