Skip to content

Topological Vector Spaces

← Back to Domain-Specific Families

Abstractions that classify locally convex and topological vector spaces by boundedness and duality properties — barrelledness variants (infrabarrelled space, countably quasi-barrelled space, DF-space), compactness-related classes (Montel space, Grothendieck space, scattered space), and set-theoretic coding devices such as Wallman compactification.

9 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.
  • 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.
  • Grothendieck Space — A Banach space whose continuous-dual sequences gain weak convergence whenever they converge weak-star, equivalently forcing every bounded operator into c0 or any separable Banach space to be weakly compact.
  • Infrabarrelled space — In functional analysis, a discipline within mathematics, a locally convex topological vector space (TVS) is said to be infrabarrelled (also spelled infrabarreled) if every bounded barrel is a neighborhood of the origin.
  • Montel space — A barrelled topological vector space in which every closed bounded subset is compact, extending Montel-type compactness from spaces of holomorphic functions.
  • 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.
  • Set-Theoretic Code — A real coding a hereditarily countable set by a well-founded extensional relation on natural numbers whose Mostowski collapse recovers the set's transitive closure.
  • 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.