AoPSWiki

Looking for a challenging geometry text? Preparing for MATHCOUNTS or the AMC exams? Check out Art of Problem Solving's Introduction to Geometry by Richard Rusczyk.

Personal tools

Search

Toolbox

Heine-Borel Theorem

From AoPSWiki

The Heine-Borel theorem is an important theorem in elementary topology.

Statement

Let $E$ be any subset of $\mathbb R^n$ . Then $E$ is compact if and only if $E$ is closed and bounded.

This statement does not hold if $\mathbb R^n$ is replaced by an arbitrary metric space $X$ . However, a modified version of the theorem does hold:

Let $X$ be any metric space, and let $E$ be a subset of $X$ . Then $E$ is compact if and only if $E$ is closed and totally bounded.

In $\mathbb R^n$ the totally bounded sets are precisely the bounded sets, so this new formulation does indeed imply the original theorem.

This article is a stub. Help us out by expanding it.

Retrieved from "http://www.artofproblemsolving.com/Wiki/index.php/Heine-Borel_Theorem"

Categories: Stubs | Topology

Looking for a challenging geometry text? Preparing for MATHCOUNTS or the AMC exams? Check out Art of Problem Solving's Introduction to Geometry by Richard Rusczyk.

© Copyright 2008 AoPS Incorporated. All Rights Reserved. • Foundation • Privacy • Contact Us