Die Ausdehnung E(X) eines topologischen Raums X ist das Supremum der Kardinalitäten abgeschlossener diskreter Teilräume von X; äquivalent die größte Kardinalzahl κ, sodass X ein abgeschlossenes diskretes Teilset der Kardinalität κ enthält.

Prinzip

Die Ausdehnung misst, wie groß eine diskrete Konfiguration sein kann, während sie gleichzeitig im umgebenden Raum abgeschlossen bleibt; sie kontrolliert die maximale Größe abgeschlossener isolierter Stücke.

Demonstration

Ein abgeschlossen diskreter Raum der Kardinalität κ hat E(X)=κ. In vielen separablen metrischen Räumen ist jeder abgeschlossene diskrete Teilraum höchstens abzählbar, sodass E(X)=ℵ0.

Fehlanwendung

Die Ausdehnung mit dem Spread (der beliebige diskrete Teilräume erlaubt) oder mit der Dichte (die minimale Größe dichter Mengen) zu verwechseln führt zu falschen Schlüssen; nichtabgeschlossene diskrete Mengen zählen nicht zur Ausdehnung.

Konsequenz

Die Ausdehnung schränkt die möglichen Größen abgeschlossener diskreter Konfigurationen ein und beeinflusst Kompaktheit, Lindelöf-Eigenschaften und Trennungssätze; geringe Ausdehnung kann große abgeschlossene diskrete Hindernisse für Kompaktheitsähnliche Eigenschaften ausschließen.

Umkehrung

Ersetzt man 'abgeschlossen diskret' durch 'beliebig diskret', erhält man den Spread; die Betrachtung minimaler abgeschlossener diskreter Größen (Infimum) ergibt andere Invarianten mit entgegengesetztem qualitativem Verhalten.

Abgrenzung

Gilt für topologische Räume und bezieht sich auf abgeschlossene diskrete Teilräume; es schließt diskrete Teilräume, die nicht abgeschlossen sind, aus und sagt nichts direkt über offene Familien oder Netzwerke aus.

Semantische Spannung

Es besteht eine Spannung zwischen Ausdehnung und Spread: beide messen diskrete Konfigurationen, aber die Ausdehnung verlangt Abgeschlossenheit. Es besteht auch Spannung zu Kompaktheitsinvarianten, da Ausdehnung abgeschlossene diskrete Hindernisse einschränkt.

Synthese

Die Ausdehnung E(X) ist das supremale Kardinal abgeschlossener diskreter Teilräume von X; sie quantifiziert die maximale Größe diskreter, abgeschlossener Sammlungen und misst damit die abgeschlossene isolierte Struktur im Raum.