Proof That a Union of Compact Subsets of a Space is Compact
Theorem
If
are compact subsets of a topological space
then their union
is also compact.
Proof
Let
be compact subsets ofand let
be an open cover of
so that
Sinceis compact a finite subcover
exists for
Then
andis compact.
