# Prove each subset using isolated points.

One can prove that a metric space is discrete iff each of its elements is an isolated point. Also, a subset of a metric space is closed iff it contains all its limit points. Is this a way to prove that each subset of a discrete metric space is closed, as if there are no limit points, than trivially, each subset contains all its limit points?

• Sure. But a definition for discrete space is that all its subsets are closed. So there is not much to prove then. If the definition say sthat all its subsets are open then we are not very far from the conclusion that they are all closed as well. Just note that every set is a complement of its complement. Commented May 11, 2018 at 9:57

Yes, that would be correct. If $S$ is a subset of a discrete metric space, then the set of limit points of $S$ is the empty set, which is, of course, a subset of $S$. Therefore, $S$ is closed.

But it is much more natural to prove that each set is closed by proving that each set is open.

• Thank you! I know there are other (more straightforward) ways to prove this, I was just curious. Commented May 11, 2018 at 11:31