Collectionwise Normal Space¶

Separate every discrete indexed family of closed sets at once by matching pairwise-disjoint open neighborhoods, extending ordinary two-set normality to arbitrary family size.

Version: v3 · 2026-09-19 · History
Domain-specific #: 1498
Domain group: Formal Sciences
Origin domain: Mathematics
Subdomain: General Topology → Mathematics
Aliases: Collectionwise Normality, Collection Wise Normal Space, Collection Wise Normality

Core Idea¶

A topological space \(X\) is collectionwise normal when every discrete indexed family \((F_i)_{i\in I}\) of closed subsets can be expanded to a matching pairwise-disjoint family of open sets \((U_i)_{i\in I}\):

\[ F_i\subseteq U_i\quad(i\in I), \qquad U_i\cap U_j=\varnothing\quad(i\ne j). \]

The input word discrete is a family condition. Every point of \(X\) must have a neighborhood meeting at most one \(F_i\). It is stronger than saying the \(F_i\) are pairwise disjoint and stronger than local finiteness, but it does not say that \(X\) itself has the discrete topology. The output is also indexed: \(U_i\) must contain the corresponding \(F_i\), so the axiom cannot be discharged by finding unrelated disjoint open sets.

How would you explain it like I'm…

No faithful explanation at this level. Two of three generators agree that a child-level picture collapses the discrete-family condition into mere non-touching (pairwise disjoint) blobs and loses the finite-versus-arbitrary-family distinction the concept depends on.

A Bubble for Every Blob

Mathematicians study 'spaces' and ask how well you can keep sets inside them apart. A Collectionwise Normal Space is one with a strong keep-apart rule. Suppose you have a family of closed blobs, any number of them, spread out so that around every point there's a little area touching at most one blob. Then you can wrap each blob in its own open bubble, with no two bubbles overlapping, and each bubble belongs to its own blob. Ordinary 'normal' spaces only promise this for two blobs at a time, and repeating that doesn't always work for huge families, because earlier bubbles can use up the room later ones need.

Separating Discrete Closed Families

A topological space is collectionwise normal if every discrete family of closed sets can be surrounded by a matching family of pairwise disjoint open sets, one around each closed set. 'Discrete' means each point of the space has a neighborhood touching at most one of the closed sets—stronger than just being pairwise disjoint. The open sets must match up: each must contain its own closed set. Ordinary normality separates two disjoint closed sets, and (under the convention used here) any countable discrete family; collectionwise normality extends this to families of any size. Repeating the two-set step uncountably many times doesn't work, because earlier choices can crowd out room for later ones. Every metrizable space is collectionwise normal, and Bing proved a Moore space is metrizable exactly when it is collectionwise normal.

A space X is collectionwise normal if for every discrete indexed family (F_i)_{i∈I} of closed subsets there are pairwise disjoint open sets (U_i)_{i∈I} with F_i ⊆ U_i. Discreteness is a family condition: every point has a neighborhood meeting at most one F_i, which is stronger than pairwise disjointness and than local finiteness, and says nothing about X having the discrete topology. The output family is indexed to the input, and by Engelking's equivalence theorem it may even be required to be discrete. Normality handles two sets, hence any finite discrete family and, under this entry's convention, any countable one—so 'countably collectionwise normal' coincides with normality—while collectionwise normality removes the cardinality bound, which cannot be obtained by transfinite iteration since earlier neighborhoods may exhaust room for later members. The property matters in metrization theory: all metrizable spaces are collectionwise normal, and Bing showed a Moore space is metrizable iff it is collectionwise normal. This entry defines only the family-expansion axiom without built-in T₁ or Hausdorff assumptions; under the matching convention it implies normality and, when singletons are closed, collectionwise Hausdorffness, with neither converse holding in general.

Scope of Application¶

Collectionwise normality belongs to general and set-theoretic topology, where the size and arrangement of closed families control metrization, covering, extension, and subspace results. Its technical vocabulary remains literal in these settings and should not be exported as a loose synonym for “separate many things.”

Separation-axiom hierarchies — locates the gap between normality, collectionwise Hausdorffness, collectionwise normality, and their hereditary or cardinal-bounded refinements.
Metrization theory — combines with developments, uniform bases, or related cover structures in criteria that recover a compatible metric.
Moore-space theory — supplies the exact strengthening of normality that Bing's metrization theorem needs; the normal Moore-space problem shows why ordinary normality cannot simply be substituted.
Paracompactness and covering properties — receives sufficient conditions from Hausdorff paracompactness and interacts with locally finite refinements, while remaining distinct from them.
Set-theoretic topology — exposes where normality-to-collectionwise-normality implications depend on additional topological or set-theoretic assumptions.
Dimension and extension theory — discrete open expansions are used to coordinate indexed local constructions without unintended intersections; the family-level guarantee is the reusable input.

Under the convention used here, ordinary normality separates every countable discrete family of closed sets; unrestricted collectionwise normality removes the cardinal bound. Thus countably collectionwise normal remains standard terminology but is equivalent to normality under this convention. This statement retains the entry's explicit (T_1)/Hausdorff caveat: extra separation axioms are included only when the chosen convention or theorem requires them.

Clarity¶

The name makes one hidden quantifier visible. “Normal” answers whether two closed sets can be separated; “collectionwise” asks whether the answer stays yes when the problem is presented as one arbitrary indexed family. That change blocks the invalid proof strategy “separate the sets one pair at a time.” For infinitely many members, locally correct choices can accumulate, and revising one neighborhood can destroy disjointness already established elsewhere. The collectionwise axiom asserts the existence of a globally compatible assignment in one statement.

Manages Complexity¶

Without the abstraction, a proof involving \((F_i)_{i\in I}\) carries a quadratic—and for infinite \(I\), globally coupled—obligation: choose one neighborhood per member, preserve every containment, and prevent every pair of witnesses from intersecting. Solving those constraints sequentially is unsafe because the remaining feasible region changes after every choice. Collectionwise normality compresses the whole compatibility problem to one reusable certificate on the ambient space.

Abstract Reasoning¶

Diagnostic — certify the input before invoking the axiom. Verify that each \(F_i\) is closed and that every point has a neighborhood meeting at most one family member. Pairwise disjointness is not enough; one accumulation point can invalidate the premise. The inference is then direct: discrete closed input family plus collectionwise-normal ambient space yields matching pairwise-disjoint open witnesses.

Knowledge Transfer¶

Within point-set, set-theoretic, and metrization topology, the mechanism transfers intact. The same five roles—discrete closed family, arbitrary index, open expansion, same-index containment, simultaneous disjointness—recur in Moore-space metrization, covering-property arguments, extension theorems, and hereditary refinements. A proof can move between these subfields without translating the identity because open, closed, discrete family, and neighborhood keep their formal meanings.

Relationships to Other Abstractions¶

Current abstraction Collectionwise Normal Space Domain-specific

Parents (1) — outgoing typed relations

Collectionwise Normal Space is a kind of Topological Space Domain-specific

Collectionwise Normal Space is related to the prime topology because every role and consequence is invariantly stated in the open-set structure, but it is not another prime-level account of topology.

Hierarchy paths (5) — routes to 3 parentless roots

Collectionwise Normal Space → is a kind of Topological Space → includes Closure

Show alternative paths (4)

Neighborhood in Abstraction Space¶

Collectionwise Normal Space sits in a moderately populated region (47^th percentile for distinctiveness): it has near-neighbors but no dense thicket of look-alikes.

Family — Point-Set Topology & Measure Structures (14 abstractions)

Nearest neighbors

Computed from structural-signature embeddings · 2026-10-25