Ein Netz (Moore–Smith‑Netz) in einem Raum X ist eine Funktion x: D → X von einem gerichteten Mengensystem (D, ≤) nach X. Netze verallgemeinern Folgen, indem sie beliebige gerichtete Indexmengen erlauben und so Konvergenz in Räumen erfassen, die nicht erste abzählbar sind.

Prinzip

Die gerichtete Ordnung auf den Indizes legt fest, welche Werte schließlich dominieren; x_d → x bedeutet: zu jeder Umgebung U von x existiert ein Index d0 mit x_d ∈ U für alle d ≥ d0. Netze drücken das Konzept des 'schließlich' so aus, dass Abschlüsse und Stetigkeit ohne Abzählbarkeitsannahmen wiederhergestellt werden können.

Demonstration

Betrachte die gerichtete Menge der endlichen Teilmengen eines unendlichen Index I, geordnet durch Inklusion; ein nach diesen endlichen Mengen indexiertes Netz kann Konvergenz von Funktionen in der Produkttopologie nachweisen, wo keine Folge das kann. In ersten abzählbaren Räumen hat jede konvergente Folge ein subsequentes Folgeauszug, was zeigt, dass Netze Folgen streng verallgemeinern.

Fehlanwendung

Netze mit Folgen gleichsetzen und Indizes auf N beschränken vernichtet Generalität; die Indizierung durch eine nicht gerichtete Ordnung oder das Missverstehen von 'schließlich' als 'für alle späteren Indizes' ohne Rücksicht auf die gerichtete Relation führt zu falschen Konvergenzbehauptungen.

Konsequenz

Netze liefern äquivalente Charakterisierungen von Abschluss, Stetigkeit und Kompaktheit in beliebigen topologischen Räumen: Ein Punkt x liegt genau dann im Abschluss von A, wenn ein Netz in A gegen x konvergiert. Sie präzisieren das Grenzverhalten, das für viele allgemeine topologische Argumente benötigt wird.

Umkehrung

Das Ersetzen von 'schließlich' durch Kofinalität der Komplemente oder der Austausch von Netzen durch Filter führt zur dualen Sprache: Jedes Netz erzeugt einen Filter und jeder Filter kann bis auf Kofinalität durch Netze repräsentiert werden; diese Dualität klärt Beweise oft durch Wechsel der Perspektive.

Abgrenzung

Netze sind außerordentlich allgemein und daher mitunter schwer handhabbar; in ersten abzählbaren Räumen genügen Folgen, und in maßtheoretischen Kontexten sind Netze weniger gebräuchlich. Netze benötigen gerichtete Indexmengen; beliebige Funktionen von ungeordneten Mengen sind keine Netze und tragen keine Konvergenzstruktur.

Semantische Spannung

'Netz' (Moore–Smith‑Netz) steht im Spannungsverhältnis zu 'Folge' (abzählbare Indizes) und zu filterbasierten Formulierungen der Konvergenz; man benutzt Netze, wenn Abzählbarkeit versagt, kehrt aber in metrisierbaren Kontexten häufig zu Folgen zurück.

Synthese

Ein Netz ist eine nach einer gerichteten Indexmenge parametrisierte Punktfamilie, die das endgültige Verhalten in Umgebungen kodiert: Durch Erlauben beliebiger gerichteter Indizes erfasst es die volle topologische Konvergenz und stellt Äquivalenzen zwischen Abschluss, Stetigkeit und Konvergenz auch außerhalb sequentieller Situationen wieder her.