Satz von Heine-Borel

Der Satz v​on Heine-Borel, a​uch Überdeckungssatz genannt, n​ach den Mathematikern Eduard Heine (1821–1881) u​nd Émile Borel (1871–1956) benannt, i​st ein Satz d​er Topologie metrischer Räume.

Aussage

Der Satz besagt, d​ass zwei unterschiedliche Definitionen d​er Kompaktheit i​n endlichdimensionalen reellen Vektorräumen gleichwertig sind.

Für eine Teilmenge des (der metrische Raum aller reellen n-Tupel mit der euklidischen Metrik) sind die folgenden beiden Aussagen äquivalent:
  1. ist beschränkt und abgeschlossen.
  2. Jede offene Überdeckung von enthält eine endliche Teilüberdeckung.

Dieser Satz lässt sich speziell auf Teilmengen der Menge der reellen Zahlen anwenden.

Anmerkung und Gegenbeispiele

Die Voraussetzung, dass der umgebende Raum der ist, ist wesentlich. Im Allgemeinen ist (Überdeckungs-)Kompaktheit nicht äquivalent zu Abgeschlossenheit und Beschränktheit.

Ein einfaches Gegenbeispiel liefert die diskrete Metrik auf einer unendlichen Menge . Sie ist definiert durch

In dieser Metrik ist jede Teilmenge von abgeschlossen und beschränkt, aber nur die endlichen Teilmengen sind kompakt.

Weitere Gegenbeispiele s​ind alle unendlichdimensionalen normierten Vektorräume.

Verallgemeinerung

Für allgemeine metrische Räume gilt allerdings, dass die kompakten Mengen diejenigen sind, welche vollständig und totalbeschränkt sind. Dies ist deshalb eine Verallgemeinerung, weil eine Teilmenge des genau dann vollständig ist, wenn sie abgeschlossen ist und weil sie genau dann totalbeschränkt ist, wenn sie beschränkt ist.

  • Heine Borel (Video, das einen Beweis des Satzes von Heine-Borel illustriert.)
This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. The authors of the article are listed here. Additional terms may apply for the media files, click on images to show image meta data.