El supremo de las cardinalidades de familias de conjuntos abiertos no vacíos y dos a dos disjuntos en un espacio topológico; equivalente al tamaño máximo de una familia abierta disjunta (también llamado número de Suslin o C(X)).

Principio

Mide cuántas regiones abiertas mutuamente separadas puede soportar simultáneamente el espacio; es un invariante cardinal global obtenido como supremo sobre familias de abiertos disjuntos.

Demostración

En la recta real R con la topología usual la celularidad es ℵ0 porque cualquier familia disjunta de intervalos abiertos no vacíos es numerable; en un espacio discreto de cardinalidad κ la celularidad es κ ya que los puntos singulares son abiertos disjuntos.

Aplicación incorrecta

Tratar la celularidad como un invariante local (por ejemplo, asignar la misma celularidad a cada vecindad de un punto) o confundirla con densidad o peso conduce a conclusiones erróneas sobre separabilidad o bases.

Consecuencia

Conocer la celularidad restringe construcciones: una celularidad alta impide ciertas propiedades de recubrimiento o separación y afecta cotas cardinales para otros invariantes (por ejemplo, los teoremas de producto involucran cotas en términos de celularidad).

Inversión

La noción inversa sería restringirse a familias de abiertos que se deben intersectar entre sí (ninguna pareja disjunta), lo que produce un comportamiento dominado por intersecciones en lugar de capacidad de separación.

Límite

Se aplica a espacios topológicos arbitrarios y concierne sólo a abiertos; excluye familias que sean exclusivamente cerradas y el invariante no captura cómo están dispuestos los abiertos más allá de la disjunción (por ejemplo, ignora tamaños de cierres o puntos de acumulación).

Tensión semántica

La celularidad se confunde con facilidad con la densidad (tamaño mínimo de un conjunto denso) o el spread (tamaño máximo de subespacios discretos); cada uno cuantifica un aspecto distinto de 'tamaño' y pueden diferir mucho en un mismo espacio.

Síntesis

La celularidad cuantifica el número máximo de regiones abiertas dos a dos disjuntas que puede contener un espacio; es una medida cardinal global de la capacidad de separación que complementa otros invariantes como densidad y peso.