If is closed and converges to , then cannot lie in the open complement: an open ball about such an would eventually contain all while missing . Thus .
Conversely, suppose contains every limit of a sequence in . If , every ball meets ; choose in that intersection. Then , so . Hence , proving that a subset of a metric space is a closed set exactly when it is sequentially closed.

Articles by others on the same topic (0)

There are currently no matching articles.