Heine-Borel Theorem/Euclidean Space/Necessary Condition/Proof 2
Theorem
For any natural number $n \ge 1$, a closed and bounded subspace of the Euclidean space $\R^n$ is compact.
Proof
The proof holds for $n = 1$, as follows.
Suppose $C$ is a closed, bounded subspace of $\R$.
Then $C \subseteq \closedint a b$ for some $a, b \in \R$.
Moreover, $C$ is closed in $\closedint a b$ by the Corollary to Closed Set in Topological Subspace.
Hence $C$ is compact, by Closed Subspace of Compact Space is Compact.
Now suppose $C \subseteq \R^n$ is closed and bounded.
Since $C$ is bounded, $C \subseteq \closedint a b \times \closedint a b \times \cdots \times \closedint a b = B$ for some $a, b \in \R$.
Now $B$ is compact by Topological Product of Compact Spaces.
Also, $C$ is closed in $B$ by the Corollary to Closed Set in Topological Subspace.
Hence $C$ is compact, by Closed Subspace of Compact Space is Compact.
$\blacksquare$
Source of Name
This entry was named for Heinrich Eduard Heine and Émile Borel.
Sources
- 1975: W.A. Sutherland: Introduction to Metric and Topological Spaces ... (previous) ... (next): $5$: Compact spaces: $5.7$: Compact Subspaces of $\R^n$: Theorem $5.7.1$
- 1989: Elon Lages Lima: Análise Real 1: Chapter $5$, Theorem $10$