Topological Separation & Dimension

← Back to Domain-Specific Families

Abstractions about covering dimension, connectedness, separation, scattered and saturated sets, specialized topologies, and invariant topological properties.

13 abstractions in this family — domain-specific abstractions that sit near one another in structural-signature space (k-means over structural-signature embeddings). Each is shown with its short description.

• Cover (topology) — A family of subsets whose union contains a specified set or space, with open covers restricting the members to open subsets.
• Dispersion point — Identify a point whose removal turns a connected topological space into a space with no nontrivial connected component, concentrating the original connectedness at one indispensable point.
• Extremally disconnected space — A topological space in which the closure of every open set is open.
• Hypertopology — A topology placed on a hyperspace of subsets, commonly the nonempty closed subsets of a topological space, so sets themselves become continuously varying points.
• Lebesgue covering dimension — The least integer n such that every open cover of a topological space has an open refinement of order at most n+1.
• Locally simply connected space — Require every point to have a neighborhood basis of simply connected open sets, separating local loop triviality from global simple connectedness and weaker semilocal conditions.
• Normal space — A topological space in which every pair of disjoint closed sets can be enclosed in disjoint open neighborhoods, with Hausdorffness required separately for the T4 convention.
• Nuclear space — A locally convex topological vector space whose connecting maps between suitable seminorm completions are nuclear, giving strong finite-dimensional-like compactness and tensor properties.
• Remmert–Stein Theorem — Under a strict component-dimension gap, the closure across a lower-dimensional analytic exceptional set of an analytic subset remains analytic.
• Saturated set (intersection of open sets) — A subset of a topological space equal to the intersection of all open sets containing it, equivalently an upper set for the specialization preorder.
• Scattered Space — Classify a topological space by requiring every nonempty subspace to expose an isolated point, equivalently that transfinite removal of isolated points eventually exhausts it.
• Semiregular space — A topological space whose regular open sets form a base for its topology.
• Topological property — A property of topological spaces invariant under homeomorphism, depending only on open-set structure rather than coordinates, metric presentation or embedding.