##  [Heine–Borel-Satz](/de/node/61252) 

 Definition

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

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

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

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

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

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

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

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

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.