Generalized Topological Function Spaces

← Back to Domain-Specific Families

Abstractions about specialized topological and locally convex spaces, compactifications, Baire properties, constructibility, and countability conditions.

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

• Brauner space — A complete compactly generated locally convex space whose compact subsets are cofinal in one countable increasing family, forming the stereotype dual class paired with Fréchet spaces.
• Cantor set — The compact perfect nowhere-dense subset obtained by repeatedly deleting open middle thirds from a closed interval.
• Constructible topology — The compact Hausdorff totally disconnected refinement of the Zariski topology on a scheme or spectrum, generated by making quasi-compact open sets and their complements open.
• Countably quasi-barrelled space — A topological vector space in which every strongly bounded dual subset that is a countable union of equicontinuous sets is itself equicontinuous.
• DF-space — Characterize a locally convex topological vector space by countable quasi-barrelledness together with a fundamental sequence of bounded sets, capturing the structural class modeled by strong duals of metrizable spaces.
• Menger space — A topological space in which, from every sequence of open covers, finitely many sets can be selected from each cover so that all selected sets together still cover the space.
• Montel space — A barrelled topological vector space in which every closed bounded subset is compact, extending Montel-type compactness from spaces of holomorphic functions.
• Parovicenko space — A compact Hausdorff space of continuum weight satisfying characteristic separation and interior conditions modeled on the Stone–Čech remainder of the integers.
• Property of Baire — The property of a set that it differs from some open set by a meager set.
• Wallman compactification — Embed a T1 space densely into a compact space whose points are maximal centered families of closed sets and whose closed subbasis records membership in each original closed set.