Le Spread S(X) d'un espace topologique X est la borne supérieure des cardinalités des sous-espaces discrets de X ; autrement dit la plus grande taille d'un sous-ensemble de X, muni de la topologie relative, qui soit discret (points isolés dans le sous-espace).

Principe

Le Spread mesure la taille maximale d'une configuration discrète que l'on peut loger dans l'espace ; il organise la 'largeur' discrète maximale autorisée par la topologie.

Démonstration

Un espace discret de cardinal κ a S(X)=κ. Dans de nombreux espaces métriques séparables S(X)=ℵ0 car tout sous-espace discret y est au plus dénombrable ; par exemple R^n a spread ℵ0.

Mauvaise application

Confondre le spread avec la densité (qui mesure la taille minimale d'un ensemble dense) ou avec l'étendue (qui exige des sous-espaces discrets fermés) conduit à des erreurs ; compter des ensembles simplement séparés sans la condition de discrétion relative est incorrect.

Conséquence

Connaître S(X) borne la taille maximale de configurations indépendantes ou isolées et influence des constructions combinatoires, des plongements et des inégalités entre fonctions cardinales impliquant d'autres invariants.

Inversion

La notion duale considère la taille minimale d'un sous-espace discret maximal ou impose la discrétion fermée ; remplacer « borne supérieure sur les sous-espaces discrets » par « borne inférieure » donne des invariants fondamentalement différents, souvent triviaux.

Limite

S'applique à tout espace topologique et concerne les sous-espaces discrets ; il exclut les considérations qui exigent que la discrétion soit fermée (ces cas relèvent de l'étendue) ou les propriétés globales de densité.

Tension sémantique

La tension sémantique vient de la proximité avec la densité, la cellularité et l'étendue : la densité mesure la taille minimale d'un ensemble dense, la cellularité la plus grande famille d'ouverts disjoints, tandis que le spread se focalise sur les sous-espaces discrets — des notions proches mais distinctes.

Synthèse

Le Spread S(X) est la cardinalité suprême des sous-espaces discrets de X ; il évalue la taille maximale de sous-ensembles qui sont discrets dans la topologie relative et mesure la capacité de l'espace à contenir massivement des points isolés.