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.