## [Vietoris-Topologie](/de/node/62302) Definition 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 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 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 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 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 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 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 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 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.