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

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

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

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

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

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

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

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

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.