Prove that the union of any two compact subsets of the reals is compact.
Hello,
Another method is to use the Heine-Borel theorem (note that is a separated space) :
If A is a compact, then there exists a finite family of subsets , where I is a finite set, such that
Similarly, , where J is a finite set.
Then
and is finite.
Thus is a compact set.