There is a connection between limit points and closed sets. The open set
in
does not contain all of its limit points or any of its boundary points, while the closed set
contains all of its boundary and limit points. This is an important attribute of closed sets. Recall that for a limit point
of a subset
of a metric space
every neighborhood of
contains a point in
different from
We can make the neighborhoods as small as we like so, in a sense, the limit points of
that are not in
are the points in
that are arbitrarily close to the set
We denote the set of limit points of
as
and the limit points of a set can tell us if the set is closed.
Proof.
Let
be a metric space, and let
be a subset of
First we assume that
is closed and show that
contains all of its limit points. Let
be a limit point of
We proceed by contradiction and assume that
Then
which is an open set. This implies that there is an
so that
But then this neighborhood
contains no points in
which contradicts the fact that
is a limit point of
We conclude that
and
contains all of its limit points.
The converse of the result we just proved is the subject of the next activity.