Eine Topologie auf dem Hyperspace der abgeschlossenen (oder kompakten) Teilmengen eines topologischen Raums X, erzeugt durch Bedingungen des Treffens und der Einschließung mit offenen Mengen: typische Subbasis-Mengen sind {F: F⊂U} (obere/Containment-Bedingung) und {F: F∩U≠∅} (untere/Hit-Bedingung); die vollständige Vietoris-Topologie wird von beiden Typen erzeugt.

Prinzip

Kombiniere obere und untere Näherungsbegriffe für Mengen: kontrolliere, dass eine abgeschlossene Menge in ein offenes Ziel eingeschlossen ist (obere Bedingung) und dass sie bestimmte offene Ziele trifft (untere Bedingung); die Konvergenz von Mengenfamilien zerfällt in obere und untere Konvergenzkomponenten.

Demonstration

Auf dem Hyperspace abgeschlossener Mengen eines kompakten metrischen Raums X ist die Vietoris-Topologie kompakt und metrisierbar; eine Folge abgeschlossener Mengen F_n→F in der Vietoris-Topologie genau dann, wenn jeder Häufungspunkt von Punkten aus F_n in F liegt (obere Bedingung) und jeder Punkt von F durch Punkte aus den F_n approximiert wird (untere Bedingung).

Fehlanwendung

Die Vietoris-Topologie mit der Hausdorff-Metrik-Konvergenz oder mit der Fell-Topologie (die Lokalkompaktheit und Maßaspekte einbezieht) zu verwechseln kann Kontinuitäts- oder Kompaktheitsaussagen über mengenwertige Abbildungen und Operationen wie Vereinigung oder Durchschnitt verfälschen.

Konsequenz

Korrekt angewandt macht die Vietoris-Topologie mengenwertige Konstruktionen zu funktorialen topologischen Objekten: Operationen wie endliche Vereinigungen und Bilder unter stetigen Abbildungen sind unter natürlichen Hypothesen stetig, was die Untersuchung von Hyperspaces und dynamischen Attraktoren ermöglicht.

Umkehrung

Die Beschränkung auf nur obere oder nur untere Bedingungen ergibt die obere bzw. untere Vietoris-Topologie; jede allein erfasst einseitige Konvergenz, fehlt jedoch die zweiseitige Kontrolle der vollständigen Vietoris-Topologie.

Abgrenzung

Definiert je nach Kontext für abgeschlossene oder kompakte Teilmengen; Vorsicht bei nichtkompakten Grundräumen (die Kompaktheit des Hyperspaces kann entfallen) und bei der Wahl zwischen abgeschlossenen und kompakten Hyperspaces, da sich die topologischen Eigenschaften ändern.

Semantische Spannung

Steht im Wettbewerb mit der Hausdorff-Metrik-Topologie auf abgeschlossenen Mengen (falls diese Metrik existiert) und mit Fell-Topologien; Unterschiede liegen im Gewicht, das lokalen Treffbedingungen, globaler Einschließung und maßtheoretischen Zwängen beigemessen wird.

Synthese

Die Vietoris-Topologie versieht die Familie der abgeschlossenen (oder kompakten) Teilmengen von X mit einer Topologie, die durch Einschließungs- und Treffbedingungen erzeugt wird: sie kombiniert obere und untere Konvergenz so, dass ein Netz von Mengen genau dann konvergiert, wenn es weder streunende Häufungspunkte erzeugt noch Annäherungen an Punkte der Grenzmenge verliert.