Point-Set Topology Foundations

← Back to Domain-Specific Families

Abstractions that define the basic vocabulary of topological spaces — open and closed sets, interior, and the topology axioms themselves — together with covering and separation properties such as paracompactness, caliber, and the Phragmén–Brouwer theorem, and structures built atop them like sheaves and strictly positive measures.

17 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.

• A-paracompact Space — A topological space in which every open cover has a locally finite refinement, without requiring that the refining family itself be open.
• Caliber (mathematics) — Classify a cardinal as a caliber of a topological space when every equally large family of nonempty open sets contains an equally large subfamily sharing one common point, with caliber-star and precaliber variants kept distinct.
• Clopen Set — Identify a subset that is both open and closed in the same topology, so it and its complement form a topological separation when both are nonempty.
• Closed Set — Certify with one structural bit that no legitimate process inside a set — taking a limit (topology) or applying an operation (algebra) — can carry you outside it, discharging every boundary check in a proof at once.
• Equicontinuity — Control the output variation of every function in a family with the same input neighborhood.
• Interior — Grade membership in a set by robustness rather than bare inclusion: a point lies in the interior only if some open neighborhood of it fits entirely inside the set, giving it room to spare in every direction.
• Locally Closed Subset — A subset of a topological space that is open within its own closure, equivalently the intersection of an ambient-open and ambient-closed set.
• Locally Discrete Collection — A family of subsets of a topological space for which every point has an open neighborhood meeting at most one family member.
• Mesocompact Space — A topological space whose every open cover has an open refinement that meets each compact subset in only finitely many members.
• Open Set — A subset in which every point has neighborhood room entirely inside it — and, via three axioms on the whole collection τ, the primitive that IS a space's topology, letting continuity, compactness, and connectedness be defined with no distance function.
• Phragmen–Brouwer theorem — A theorem schema equating a separation property for unions of disjoint closed sets with unicoherence under specified local and global connectedness hypotheses.
• Sheaf — A sheaf assigns compatible local data to open subsets of a space through restriction maps and provides a unique gluing rule for recovering sections from locally consistent pieces.
• Shrinking Space — A shrinking space lets every indexed open cover be replaced by a still-covering family whose members' closures fit inside their original sets.
• Strictly positive measure — Require a measure on a topological measurable space to assign positive measure to every nonempty open set, equivalently giving the measure full topological support under standard regularity conventions.
• Subspace Topology — A subset inherits precisely the traces of its ambient space's open sets, making inclusion the defining continuous map.
• Topological Closure — Enlarge a subset to the least closed set containing it in a specified topology, equivalently including every point whose neighborhoods meet the subset.
• Topological Space — Capture the minimum data continuity needs by pairing a set with a collection of its subsets — the open sets, closed under arbitrary unions and finite intersections — so that continuity, compactness, and connectedness can be defined with no reference to distance.