I have recently studied the Heine-Borel theorem i.e. set is compact iff any open cover has a finite subcover. I have proven it only for compact intervals and their cartesian products for higher dimensions. I was told it follows directly and that it applies to any compact set. In particular, the sets $X \subset \mathbb R^n$ (Definition of compact is closed and bounded)
My question is how could one show this? Thank you for any ideas or insights.
Best Answer
I will shorten "any open cover of $A$ has a finite subcover" to "$A$ is cover-compact". Given what you know already, it suffices to prove that cover-compact subsets are compact and closed subsets of cover-compact sets are cover-compact, since any bounded set is a subset of a product of rectangles. Let us check each of these.