Talk:Heine-Borel Theorem/Real Line

From ProofWiki
Jump to navigation Jump to search

I believe, by doing a little research, that the initial statement is wrong. It should be made to apply only to a closed real interval, not a general closed set in $\R$. Comments? --prime mover 03:46, 16 March 2012 (EDT)

Somehow, I do think that the theorem statement is true. I think that it is just that the proof doesn't prove the general case for a closed subspace of $\R^n$.
By the Heine-Borel Theorem/Metric Space, we have that a subset of $\R^n$ is compact if and only if it is complete and totally bounded (if my proof is valid).
Then we have that $\R^n$ is complete.
A Subspace of Complete Metric Space is Closed iff Complete.
So a subspace of $\R^n$ is closed if and only if it is complete.
It is quite easy to show that a subspace of $\R^n$ is bounded if and only if it is totally bounded.
So we get the Heine-Borel Theorem/Euclidean Space, which states that a subspace of $\R^n$ is compact if and only if it is closed and bounded.
(Anyway, sorry for the page changes.) Abcxyz 10:10, 16 March 2012 (EDT)
Also, the result that a closed real interval is sequentially compact is basically the Bolzano-Weierstrass Theorem. We have from Sequence of Implications of Metric Space Compactness Properties that a metric space is compact if and only if it is sequentially compact. So I was thinking that maybe the proof in this article could be included as a third proof of the Bolzano-Weierstrass Theorem. Comments? Abcxyz 10:20, 16 March 2012 (EDT)