El Spread S(X) de un espacio topológico X es el supremo de las cardinalidades de los subespacios discretos de X; es decir, el mayor tamaño de un subconjunto de X que, con la topología relativa, es discreto (los puntos son aislados en el subespacio).

Principio

El Spread captura cuán grande puede ser una configuración discreta dentro del espacio; organiza la 'anchura' discreta máxima que la topología permite.

Demostración

Un espacio discreto de cardinalidad κ tiene S(X)=κ. En muchos espacios métricos separables S(X)=ℵ0 porque todo subespacio discreto es a lo sumo numerable; por ejemplo R^n tiene spread ℵ0.

Aplicación incorrecta

Confundir el spread con la densidad (que mide tamaños mínimos de conjuntos densos) o con la extensión/extent (que exige discreción cerrada) conduce a errores; contar conjuntos simplemente separados sin la condición de discreción en la topología relativa es incorrecto.

Consecuencia

Conocer S(X) limita cuán grandes pueden ser configuraciones independientes o aisladas e influye en construcciones combinatorias, incrustaciones y desigualdades entre funciones cardinales relacionadas.

Inversión

La inversión considera cuán pequeño puede ser un subespacio discreto maximal o exige que la discreción sea cerrada; sustituir 'supremo sobre subespacios discretos' por 'ínfimo' produce invariantes de carácter diferente, a menudo triviales.

Límite

Se aplica a espacios topológicos y trata subespacios discretos; excluye consideraciones que requieren que la discreción sea cerrada (esas pertenecen a la extensión) o propiedades globales de densidad.

Tensión semántica

La tensión semántica aparece con la densidad, la celularidad y la extensión: la densidad mide el tamaño mínimo de conjuntos densos, la celularidad la mayor familia de abiertos disjuntos, mientras que el spread se centra en subespacios discretos—nociones cercanas pero distintas.

Síntesis

El Spread S(X) es la cardinalidad suprema de los subespacios discretos de X; cuantifica el tamaño máximo posible de subconjuntos discretos en la topología relativa y mide la capacidad del espacio para albergar muchos puntos aislados.