Skip to main content

Section Limit Points and Closed Sets

There is a connection between limit points and closed sets. The open set (1,2) in (R,dE) does not contain all of its limit points or any of its boundary points, while the closed set [1,2] contains all of its boundary and limit points. This is an important attribute of closed sets. Recall that for a limit point x of a subset A of a metric space X, every neighborhood of x contains a point in A different from x. We can make the neighborhoods as small as we like so, in a sense, the limit points of A that are not in A are the points in X that are arbitrarily close to the set A. We denote the set of limit points of A as Aβ€², and the limit points of a set can tell us if the set is closed.

Proof.

Let X be a metric space, and let C be a subset of X. First we assume that C is closed and show that C contains all of its limit points. Let x∈X be a limit point of C. We proceed by contradiction and assume that xβˆ‰C. Then x∈Xβˆ–C, which is an open set. This implies that there is an Ο΅>0 so that B(x,Ο΅)βŠ†Xβˆ–C. But then this neighborhood B(x,Ο΅) contains no points in C, which contradicts the fact that x is a limit point of C. We conclude that x∈C and C contains all of its limit points.
The converse of the result we just proved is the subject of the next activity.

Activity 10.8.

Let C be a subset of a metric space X, and let Cβ€² be the set of limit points of C. In this activity we prove that C is closed if C contains all of its limit points. So assume Cβ€²βŠ†C.

(b)

If we proceed by contradiction to prove that C is closed, we assume that C is not closed. What does this tell us about Xβˆ–C?

(d)

How does the result of (c) contradict the assumption that C contains all of its limit points?