Difference between revisions of "Heine-Borel Theorem"
(This only holds for R^n, not for general metric spaces) |
Hashtagmath (talk | contribs) (→Statement) |
||
| Line 10: | Line 10: | ||
In <math>\mathbb R^n</math> the totally bounded sets are precisely the bounded sets, so this new formulation does indeed imply the original theorem. | In <math>\mathbb R^n</math> the totally bounded sets are precisely the bounded sets, so this new formulation does indeed imply the original theorem. | ||
| + | ==See Also== | ||
{{stub}} | {{stub}} | ||
[[Category:Topology]] | [[Category:Topology]] | ||
| + | [[Category: Theorems]] | ||
Latest revision as of 11:30, 9 April 2019
The Heine-Borel theorem is an important theorem in elementary topology.
Statement
Let 
be any subset of 
. Then is compact if and only if is closed and bounded.
This statement does not hold if is replaced by an arbitrary metric space 
. However, a modified version of the theorem does hold:
Let be any metric space, and let be a subset of . Then is compact if and only if is closed and totally bounded.
In the totally bounded sets are precisely the bounded sets, so this new formulation does indeed imply the original theorem.
See Also
This article is a stub. Help us out by expanding it.
