Das Supremum der Kardinalitäten von Familien paarweise disjunkter, nichtleerer offener Mengen in einem topologischen Raum; mit anderen Worten die größte Größe einer paarweise disjunkten offenen Familie (auch Suslin-Zahl oder C(X) genannt).

Prinzip

Misst, wie viele gegenseitig getrennte offene Bereiche der Raum gleichzeitig tragen kann; es ist ein globales kardinales Invarinat, das als Supremum über disjunkte offene Familien gebildet wird.

Demonstration

In der reellen Zahlengeraden R mit der üblichen Topologie ist die Zellulärität ℵ0, da jede disjunkte Familie nichtleererer offener Intervalle abzählbar ist; im diskreten Raum der Kardinalität κ ist die Zellulärität κ, da Einzelpunkte paarweise disjunkte offene Mengen bilden.

Fehlanwendung

Cellularity als lokales Invarinat zu behandeln (z. B. derselbe Wert in jeder Umgebung eines Punktes) oder sie mit Dichte oder Gewicht zu verwechseln führt zu falschen Schlüssen über Separabilität oder Basen.

Konsequenz

Die Kenntnis der Zellulärität schränkt Konstruktionen ein: hohe Zellulärität verhindert bestimmte Überdeckungs- oder Trenneigenschaften und wirkt sich auf kardinale Schranken anderer Invarianten aus (z. B. treten bei Produktsätzen Schranken in Abhängigkeit von der Zellulärität auf).

Umkehrung

Die Umkehr wäre, Familien offener Mengen zu betrachten, die einander stets schneiden (keine zwei disjunkt), was ein von Schnittmengen dominiertes Verhalten anzeigen würde statt einer Trennungskapazität.

Abgrenzung

Gilt für beliebige topologische Räume und bezieht sich nur auf offene Mengen; es schließt nur geschlossene Familien aus und das Invarinat erfasst nicht die Anordnung der offenen Mengen jenseits der Disjunktheit (z. B. ignoriert es die Größe von Abschlüssen oder Häufungspunkten).

Semantische Spannung

Zellulärität wird leicht mit Dichte (minimale Größe einer dichten Menge) oder Spread (maximale Größe diskreter Teilräume) verwechselt; jede Größe misst einen anderen Aspekt von 'Größe' und sie können im selben Raum stark unterschiedlich sein.

Synthese

Die Zellulärität quantifiziert die maximale Anzahl paarweise disjunkter offener Regionen, die ein Raum beherbergen kann; sie ist ein globales kardinales Maß der Trennungskapazität und ergänzt andere Invarianten wie Dichte und Gewicht.