 ##  [Spread](/spread-0) 

 Definition

The spread S(X) of a topological space X is the supremum of the cardinalities of discrete subspaces of X; that is, the largest size of a subset of X endowed with the subspace topology that is discrete (points isolated in the subspace).

 

 

 

 

 

 





## Principle

Principle

Spread captures how large a discrete configuration can be inside the space; it organizes the maximal discrete 'width' the topology permits.

 

 

 

 

 





## Demonstration

Demonstration

A discrete space of cardinality κ has S(X)=κ. In many separable metric spaces S(X)=ℵ0 because every discrete subspace is at most countable; for example, R^n has spread ℵ0.

 

 

 

 

## Misapplication

Misapplication

Confusing spread with density (which measures minimal dense subsets) or extent (which requires closed discrete sets) leads to misstatements; counting arbitrary separated sets without the discrete-subspace topology condition is incorrect.

 

 

 

 

 





## Consequence

Consequence

Knowing S(X) bounds how large independent or isolated configurations can be and influences combinatorial constructions, embeddings, and cardinal-function inequalities involving other invariants.

 

 

 

 

## Reversal

Reversal

The dual notion considers how small a maximal discrete subspace can be or considers closed-discrete constraints; replacing 'supremum over discrete subspaces' by 'infimum' yields fundamentally different, often trivial, invariants.

 

 

 

 

 





## Boundary

Boundary

Applies to arbitrary topological spaces and concerns discrete subspaces; it excludes considerations that require discreteness to be closed (those belong to extent) or global density properties.

 

 

 

 

 





## Semantic Tension

Semantic Tension

Semantic tension arises with density, cellularity, and extent: density measures minimal size of dense sets, cellularity measures largest family of pairwise disjoint nonempty opens, while spread focuses on discrete subspaces—nearby but distinct notions.

 

 

 

 

 





## Synthesis

Synthesis

Spread S(X) is the supremal cardinality of discrete subspaces of X; it quantifies the maximal possible size of subsets that are discrete in the subspace topology and thus gauges the space's capacity to host isolated points en masse.