Der Spread S(X) eines topologischen Raums X ist das Supremum der Kardinalitäten diskreter Teilräume von X; das heißt die größte Größe einer Teilmenge von X, die mit der Subraumtopologie diskret ist (Punkte sind isoliert im Teilraum).

Prinzip

Spread erfasst, wie groß eine diskrete Konfiguration im Raum werden kann; es ordnet die maximale diskrete "Breite", die die Topologie zulässt.

Demonstration

Ein diskreter Raum der Kardinalität κ hat S(X)=κ. In vielen separablen metrischen Räumen gilt S(X)=ℵ0, da jeder diskrete Teilraum höchstens abzählbar ist; z. B. hat R^n Spread ℵ0.

Fehlanwendung

Den Spread mit Dichte (die die minimale Größe dichter Teilmengen misst) oder mit dem Umfang/Extent (der abgeschlossene diskrete Teilräume betrachtet) zu verwechseln führt zu Fehlinterpretationen; beliebige separierte Mengen zu zählen ohne die Bedingung der Subraum-Discreteness ist falsch.

Konsequenz

Kenntnis von S(X) setzt Schranken für die Größe unabhängiger oder isolierter Konfigurationen und beeinflusst kombinatorische Konstruktionen, Einbettungen und Ungleichungen zwischen kardinalen Invarianten.

Umkehrung

Die Umkehrung betrachtet, wie klein ein maximaler diskreter Teilraum sein kann, oder verlangt, dass Diskretheit abgeschlossen ist; das Ersetzen von 'Supremum über diskrete Teilräume' durch 'Infimum' liefert grundlegend andere, oft triviale Invarianten.

Abgrenzung

Gilt für beliebige topologische Räume und betrifft diskrete Teilräume; es schließt Überlegungen aus, die Diskretheit als abgeschlossen verlangen (das gehört zur Ausdehnung/Extent) oder globale Dichteeigenschaften.

Semantische Spannung

Semantische Spannung besteht gegenüber Dichte, Zellularität und Ausdehnung: Dichte misst minimale dichte Mengen, Zellularität größte Familien paarweise disjunkter nichtleerer offener Mengen, während Spread sich auf diskrete Teilräume konzentriert — nahe verwandte, aber unterscheidbare Begriffe.

Synthese

Der Spread S(X) ist die supremale Kardinalität diskreter Teilräume von X; er quantifiziert die maximale mögliche Größe von Teilmengen, die in der Subraumtopologie diskret sind, und misst damit die Fähigkeit des Raums, viele isolierte Punkte aufzunehmen.