Proof of Heine-Borel in $\mathbb R^n$ The textbook I'm using has a somewhat confusing proof of one of the directions of Heine-Borel's Theorem, namely the one that states that a closed and bounded subset of $\mathbb R^n$ is compact.  It uses sequences and "Changing the centers" to 'move' the balls to $\mathbb Q^n$ and then constructs a sequence which leads to a contradiction, the latter of which I'm confused about.
Could someone give me a more coherent proof in the same style or point me in the direction of a fairly understandable proof?
 A: By Bolzano-Weierstrass, any bounded sequence $(x_k)$ in $\mathbb R^n$ has a convergent subsequence. Now try to construct a sequence sequence that does not converge, assuming a set is closed and bounded, yet there exists an open covering that has no finite subcover.
Spoiler:
Let $A \subset \mathbb R^n$ be closed and bounded, s.t. there exists an open covering which has no finite subcovering. So let $U_i$ be such an open covering. Pick an open set, which we denote by $U_0$. Let
$x_0 \in A - U_0$ , which exists by assumption.
Choose $U_1 \in (U_i)$ with $x_0 \in U_1$. This exists by assumption.
Now we proceed in that manner and choose a sequence of open sets from the covering and a sequence in $A$ that is always one step before the covering sequence.
Then the constructed sequence $(x_k)$ is bounded, as it is contained in $A$. It has a convergent subsequence, say, to $x$. Choose such a sequence and keep the label $x_k$. As $A$ is closed, $x \in A$.
By assumption, we can choose some $V$ which covers $x$. We do so at any point of the sequence, say after some fixed number of steps. We strip off all elements of the sequence which are in $V$, and construct the two sequences again in the same fashion, with $V$ being included in the sequence of open sets that we used to define the sequence $x_k$.
We repeat this. Thus we construct a bounded sequence that does not converge - because otherwise, it would be covered by an open set in the sequence we have choosen.
Hence, if $A$ is closed and bounded, every open covering has a finite subcover. $qed$
A: The best proof I've seen is a topological one, using a few theorems about different topologies.
Namely:
1) In an order topology, $\left[ a,b \right]$ is a compact set.
2) The order topology on $\mathbb{R}$ is equivalent to the metric induced topology on $\mathbb{R}$.
3) Closed subsets of compact sets are compact.
Compact subsets of Hausdorff spaces are closed, and in the metric topology we can take $B_{n}(0)$, the ball of radius $n$ around 0, and since $\cup_{n=1}^{\infty} B_{n}(0) = \mathbb{R^{m}}$, we can choose a finite subcover, and so it is a bounded set.
That proves necessity. To prove sufficiency we simply note the following.
Let $K$ be a closed, bounded subset of $\mathbb{R}^n$. Then $K \subseteq \left[ -M, M\right]^n$ is actually compact, as $\left[ -M, M\right]$ is compact by 1), and since the order and metric topologies are equivalent, it is compact in the metric topology. By Tychonoff's Theorem(not even necessary, finite products of compact sets are compact), we have $\left[ -M, M\right]^n$ is also compact. Closed subsets of compact sets are compact, and $K$ is a closed subset of $\left[-M,M\right]$, so $K$ is compact, proving sufficiency.
A: One can use the following lemma to prove it: Let $(\mathbb{R}^n, d)$ be a Euclidean space with either the Euclidean metric or the taxicab metric. Then every bounded sequence in $(\mathbb{R}^n, d)$ has at least one convergent subsequence.
A: Use the following 2 propositions as step-stones.
(1): Sequences in $\mathbb R^n$ converge with respect to the sup norm metric, the taxicab metric, or the Euclidean metric if and only if it's component-sequences converge individually in $\mathbb R$. (2): (Heine-Borel Theorem for the line) $X \subseteq \mathbb R$ is closed and bounded if and only if any sequence in  $X$ has a convergent subsequence converging to a point in $X$.
By contradiction, we can show that $\forall 1 \leq i \leq n$, the projection of E on the $i^{th}$ dimension $E_{i} = \{x_{i} \in \mathbb R: x_{i}\text{ is the $i^{th}$ component of some $x \in E$}\}$ is a bounded and closed subset of $\mathbb R$.
Take a sequence $(x^{(n)})_{n=1}^\infty$ in $E$. By (2), the $1^{st}$ component-sequence $(x_{1}^{(k)})_{k=1}^\infty$ in $E_{1}$ has a convergent subsequence $(x_{1}^{(k^{1}_{j})})_{j=1}^\infty$, (where $k^{i}_{j}$ is used to denote the $j^{th}$ term of the convergent subsequence of the $i^{th}$ component-sequence). Then $(x_{2}^{k^{1}_{j}})_{j=1}^{\infty}$ is sequence in $E_{2}$ and similarly has a convergent subsequence $(x_{2}^{k^{2}_{j}})_{j=1}^{\infty}$. Passing from the $1^{st}$ component-sequence to the $n_{th}$ component-sequence, you then get a sequence on which each component-sequence converge. By (1), this completes the proof.
