In a metric space
1. Bothand 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. Supposeand
are closed sets. Their complements
and
are open so that
is open but
so
is open so
is closed.
3.
If all theare closed then
is open and so is
Thenis open and
is closed.