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: v1 · 2026-08-30 · History
Domain-specific #: 1498
Origin domain: mathematics
Subdomain: general topology
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.

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) — more general patterns this builds on

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 → Topological Space → Closure

Show alternative paths (4)

Neighborhood in Abstraction Space¶

Collectionwise Normal Space sits in a sparse region of the domain-specific corpus (62^nd percentile for distinctiveness): few abstractions share its structure, so a faithful description tends to retrieve it precisely.

Family — General Topology & Separation (12 abstractions)

Nearest neighbors

Computed from structural-signature embeddings · 2026-09-08