Suppose is a closed set and . Then is not a limit point of , so some punctured neighbourhood of misses . As , the entire neighbourhood misses . Thus is an open set.
Conversely, suppose every point has a neighbourhood disjoint from . No such point can be a limit point of , so every limit point lies in . This proves the equivalence between containing all limit points and having an complement that is an open set.
Articles by others on the same topic
There are currently no matching articles.