Im euklidischen Raum R^n ist eine Teilmenge genau dann kompakt (jede offene Überdeckung besitzt eine endliche Teilüberdeckung), wenn sie abgeschlossen und beschränkt ist; dies charakterisiert kompakte Mengen in der Standardtopologie von R^n.

Prinzip

Kompaktheit in endlichdimensionalen euklidischen Räumen ist äquivalent zur Überdeckungsformulierung mit endlicher Teilüberdeckung und reduziert sich auf die konkreten Bedingungen Abgeschlossenheit und Beschränktheit.

Demonstration

Das abgeschlossene Intervall [0,1] in R ist beschränkt und abgeschlossen, daher besitzt jede offene Überdeckung eine endliche Teilüberdeckung; demgegenüber lässt sich eine unbeschränkte Menge wie (0,∞) mit offenen Intervallen (n-1,n+1) so überdecken, dass keine endliche Teilmenge alles abdeckt.

Fehlanwendung

Das Anwenden des Kriteriums 'abgeschlossen und beschränkt' in unendlichdimensionalen normierten Räumen oder beliebigen metrischen Räumen ist fehlerhaft; in einem unendlichdimensionalen Banachraum müssen abgeschlossene und beschränkte Mengen nicht kompakt sein.

Konsequenz

In R^n garantiert der Satz das Vorhandensein von Maximum und Minimum für stetige Funktionen auf kompakten Mengen, Folgenkompaktheit und weitere endliche Eigenschaften, die in Analysis und Optimierung genutzt werden.

Umkehrung

Die Umkehrung zeigt, dass, wenn eine Menge nicht abgeschlossen oder nicht beschränkt ist, es eine offene Überdeckung ohne endliche Teilüberdeckung gibt; z. B. kann eine nicht abgeschlossene Menge durch Umgebungen der Randpunkte so überdeckt werden, dass keine endliche Auswahl ausreicht.

Abgrenzung

Die Aussage gilt speziell für R^n mit der Standardtopologie; sie schließt unendlichdimensionale Räume, nichtstandardmäßige Topologien und Kontexte aus, in denen 'beschränkt' anders definiert ist.

Semantische Spannung

Der Satz stellt die abstrakte topologische Definition der Kompaktheit (Überdeckungsbedingung) der konkreten metrisch-geometrischen Bedingung 'abgeschlossen und beschränkt' gegenüber; in allgemeinen Räumen sind Kompaktheit, Vollständigkeit, totale Beschränktheit und Abgeschlossenheit getrennte Eigenschaften.

Synthese

Heine–Borel verbindet die abstrakte Offen-Überdeckungsdefinition der Kompaktheit mit den anschaulichen Kriterien Abgeschlossenheit und Beschränktheit in endlichdimensionalen euklidischen Räumen und macht so die Prüfung von Kompaktheit konkret und anwendbar.