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

 Definition

Charakterisierung kompakter Teilmengen des euklidischen Raums: eine Teilmenge von R^n ist genau dann kompakt, wenn sie abgeschlossen und beschränkt ist.

 

 

 

 

 

 





## Prinzip

Prinzip

In endlichdimensionalen Räumen reduziert sich topologische Kompaktheit auf die metrischen Bedingungen Abgeschlossenheit und Beschränktheit, sodass die Existenz endlicher Überdeckungen durch einfache geometrische Prüfungen festgestellt werden kann.

 

 

 

 

 





## Demonstration

Demonstration

Das abgeschlossene Intervall [0,1] in R ist abgeschlossen und beschränkt, also kompakt: jede offene Überdeckung von [0,1] besitzt eine endliche Teilüberdeckung. Dagegen ist das offene Intervall (0,1) beschränkt, aber nicht abgeschlossen und somit nicht kompakt; etwa hat die Überdeckung durch Intervalle (1/n,1) keine endliche Teilüberdeckung.

 

 

 

 

## Fehlanwendung

Fehlanwendung

Der fehlerhafte Transfer der Aussage auf unendlichdimensionale normierte Räume oder beliebige metrische Räume: in vielen unendlichdimensionalen Banachräumen können abgeschlossene und beschränkte Mengen nicht kompakt sein.

 

 

 

 

 





## Konsequenz

Konsequenz

Ermöglicht einfache Kompaktheitsprüfungen in R^n, begründet Eigenschaften wie die Existenz endlicher Teilüberdeckungen, Folgenkompaktheit, das Erreichen von Extrema stetiger Funktionen und zahlreiche kompaktitätsabhängige Resultate in endlichdimensionaler Analysis.

 

 

 

 

## Umkehrung

Umkehrung

Kompakte Teilmengen von R^n sind notwendigerweise abgeschlossen und beschränkt; die Umkehrung (abgeschlossen und beschränkt ⇒ kompakt) gilt jedoch nur in endlicher Dimension und nicht in allgemeinen topologischen Vektorräumen.

 

 

 

 

 





## Abgrenzung

Abgrenzung

Gilt für euklidische Räume R^n und allgemein für endlichdimensionale normierte Vektorräume mit der üblichen Topologie. Ausgeschlossen sind unendlichdimensionale Banachräume, nicht-metrische Topologien und Situationen ohne Vollständigkeit oder endliche Dimension.

 

 

 

 

 





## Semantische Spannung

Semantische Spannung

Spannung besteht gegenüber Begriffen wie totaler Beschränktheit plus Vollständigkeit oder Folgenkompaktheit: in metrischen Räumen sind diese Begriffe äquivalent zur Kompaktheit, während Heine-Borel speziell für R^n die Formulierung geschlossen+beschränkt liefert.

 

 

 

 

 





## Synthese

Synthese

Im Bereich der Analysis: der Heine-Borel-Satz stellt die Kompaktheit in R^n als äquivalent zu den einfachen geometrischen Bedingungen abgeschlossen und beschränkt dar und liefert so einen praxisnahen Test für Kompaktheit in endlicher Dimension.