In a metric space![]()
1. Both
and the empty set
are closed (and in fact these are also open).
2. The union of any two closed sets, and any finite number of closed sets is closed.
3. The intersection of anyfamily of closed sets is closed.
Proof:
1.
is open so
is closed.
is op[en so
is closed. (both
and
are complements of open sets, hence closed).
2. Suppose
and
are closed sets. Their complements
and
are open so that
is open but
so
is open so
is closed.
3.![]()
If all the
are closed then
is open and so is
Then
is open and
is closed.