Proof.
[Solution] Let
be a finite collection of compact
sets in a metric space
and let
be their union. An
open cover
of
covers each of the
By the
assumed compactness there is a finite subcover
such that
for each
All these sets
taken together give a finite subcover of
which is therefore compact.