 ##  [Spread](/fr/node/63136) 

 Définition

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

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

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

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

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

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

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

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

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.