Advertisement

Heine-Borel theorem

From Academic Kids

In mathematical analysis, the Heine-Borel theorem, named after Eduard Heine and Félix Édouard Justin Émile Borel, states:

A subset of the real numbers R is compact iff it is closed and bounded.

The central idea arose from trying to find uniform bounds on the behavior of a function over all points in a set. Such bounds could often be found for some small open interval about any point in a set, but the question became, could these bounds somehow be combined to form global uniform bounds over the entire set? This led to open covers and the concept of compactness, which led to the actual theorem. The Bolzano-Weierstrass theorem is closely related.

The theorem is true not only for the real numbers, but also for some other metric spaces: the complex numbers, the p-adic numbers, and Euclidean space Rn. However, it fails for the rational numbers and for infinite dimensional normed vector spaces. The proper generalization to arbitrary metric spaces is:

A subset of a metric space is compact if and only if it is complete and totally bounded.

This generalisation also applies to topological vector spaces and, more generally, to uniform spaces.

Here is a sketch of the "=>"-part of the proof, in the context of a general metric space, according to Jean Dieudonné:

  1. It is obvious that any compact set E is totally bounded.
  2. Let (xn) be an arbitrary Cauchy sequence in E; let Fn be the closure of the set { xk : kn } in E and Un := EFn. If the intersection of all Fn would be empty, (Un) would be an open cover of E, hence there would be a finite subcover (Unk) of E, hence the intersection of the Fnk would be empty; this implies that Fn is empty for all n larger than any of the nk, which is a contradiction. Hence, the intersection of all Fn is not empty, and any point in this intersection is an accumulation point of the sequence (xn).
  3. Any accumulation point of a Cauchy sequence is a limit point (xn); hence any Cauchy sequence in E converges in E, in other words: E is complete.

A proof of the "<="-part can be sketched as follows:

  1. If E were not compact, there would exist a cover (Ul)l of E having no finite subcover of E. Use the total boundedness of E to define inductively a sequence of balls (Bn) in E with
    • the radius of Bn is 2n;
    • there is no finite subcover (UlBn)l of Bn;
    • Bn+1Bn is not empty.
  2. Let xn be the center point of Bn and let yn be any point in Bn+1Bn; hence we have d(xn+1, xn) ≤ d(xn+1, yn) + d(yn, xn) ≤ 2n−1 + 2n ≤ 2n+1. It follows for np < q: d(xp, xq) ≤ d(xp, xp+1) + ... + d(xq−1, xq) ≤ 2p+1 + ... + 2q+2 ≤ 2n+2. Therefore, (xn) is a Cauchy sequence in E, converging to some limit point a in E, because E is complete.
  3. Let l0 be an index such that Ul0 contains a; since (xn) converges to a and Ul0 is open, there is a large n such that the ball Bn is a subset of Ul0 - in contradiction to the construction of Bn.

The proof of the "=>" part easily generalises to arbitrary uniform spaces, but the proof of the "<=" part is more complicated and requires the axiom of choice. (Already in a general metric space, the "<=" part requires dependent choice.)de:Satz von Heine-Borel pl:Twierdzenie Heinego-Borela

Navigation

Academic Kids Menu

  • Art and Cultures
    • Art (http://www.academickids.com/encyclopedia/index.php/Art)
    • Architecture (http://www.academickids.com/encyclopedia/index.php/Architecture)
    • Cultures (http://www.academickids.com/encyclopedia/index.php/Cultures)
    • Music (http://www.academickids.com/encyclopedia/index.php/Music)
    • Musical Instruments (http://academickids.com/encyclopedia/index.php/List_of_musical_instruments)
  • Biographies (http://www.academickids.com/encyclopedia/index.php/Biographies)
  • Clipart (http://www.academickids.com/encyclopedia/index.php/Clipart)
  • Geography (http://www.academickids.com/encyclopedia/index.php/Geography)
    • Countries of the World (http://www.academickids.com/encyclopedia/index.php/Countries)
    • Maps (http://www.academickids.com/encyclopedia/index.php/Maps)
    • Flags (http://www.academickids.com/encyclopedia/index.php/Flags)
    • Continents (http://www.academickids.com/encyclopedia/index.php/Continents)
  • History (http://www.academickids.com/encyclopedia/index.php/History)
    • Ancient Civilizations (http://www.academickids.com/encyclopedia/index.php/Ancient_Civilizations)
    • Industrial Revolution (http://www.academickids.com/encyclopedia/index.php/Industrial_Revolution)
    • Middle Ages (http://www.academickids.com/encyclopedia/index.php/Middle_Ages)
    • Prehistory (http://www.academickids.com/encyclopedia/index.php/Prehistory)
    • Renaissance (http://www.academickids.com/encyclopedia/index.php/Renaissance)
    • Timelines (http://www.academickids.com/encyclopedia/index.php/Timelines)
    • United States (http://www.academickids.com/encyclopedia/index.php/United_States)
    • Wars (http://www.academickids.com/encyclopedia/index.php/Wars)
    • World History (http://www.academickids.com/encyclopedia/index.php/History_of_the_world)
  • Human Body (http://www.academickids.com/encyclopedia/index.php/Human_Body)
  • Mathematics (http://www.academickids.com/encyclopedia/index.php/Mathematics)
  • Reference (http://www.academickids.com/encyclopedia/index.php/Reference)
  • Science (http://www.academickids.com/encyclopedia/index.php/Science)
    • Animals (http://www.academickids.com/encyclopedia/index.php/Animals)
    • Aviation (http://www.academickids.com/encyclopedia/index.php/Aviation)
    • Dinosaurs (http://www.academickids.com/encyclopedia/index.php/Dinosaurs)
    • Earth (http://www.academickids.com/encyclopedia/index.php/Earth)
    • Inventions (http://www.academickids.com/encyclopedia/index.php/Inventions)
    • Physical Science (http://www.academickids.com/encyclopedia/index.php/Physical_Science)
    • Plants (http://www.academickids.com/encyclopedia/index.php/Plants)
    • Scientists (http://www.academickids.com/encyclopedia/index.php/Scientists)
  • Social Studies (http://www.academickids.com/encyclopedia/index.php/Social_Studies)
    • Anthropology (http://www.academickids.com/encyclopedia/index.php/Anthropology)
    • Economics (http://www.academickids.com/encyclopedia/index.php/Economics)
    • Government (http://www.academickids.com/encyclopedia/index.php/Government)
    • Religion (http://www.academickids.com/encyclopedia/index.php/Religion)
    • Holidays (http://www.academickids.com/encyclopedia/index.php/Holidays)
  • Space and Astronomy
    • Solar System (http://www.academickids.com/encyclopedia/index.php/Solar_System)
    • Planets (http://www.academickids.com/encyclopedia/index.php/Planets)
  • Sports (http://www.academickids.com/encyclopedia/index.php/Sports)
  • Timelines (http://www.academickids.com/encyclopedia/index.php/Timelines)
  • Weather (http://www.academickids.com/encyclopedia/index.php/Weather)
  • US States (http://www.academickids.com/encyclopedia/index.php/US_States)

Information

  • Home Page (http://academickids.com/encyclopedia/index.php)
  • Contact Us (http://www.academickids.com/encyclopedia/index.php/Contactus)

  • Clip Art (http://classroomclipart.com)
Toolbox
Personal tools