Function Spaces & Analytic Regularity

← Back to Domain-Specific Families

Abstractions about continuity, boundedness, integrability, operator domains, topologies, maximal functions, and spaces of analytic or continuous functions.

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

• Baire function — A real-valued function obtainable from continuous functions by countable transfinite iteration of pointwise sequential limits, classified by the least countable ordinal stage required.
• Capacity of a set — Assign a potential-theoretic size to a set through an extremal energy or admissible-function problem, detecting thinness and polar sets beyond additive volume.
• Continuous function — A function that preserves arbitrarily local closeness: inverse images of open sets are open, equivalently limits can pass through the function under suitable structures.
• Discontinuous linear map — A linear transformation between topological vector spaces that fails the continuity or boundedness condition imposed by their topologies.
• Domain of holomorphy — A domain in several complex variables that supports a holomorphic function unable to extend across any strictly larger connected domain, equivalently a holomorphically convex natural domain.
• Fréchet space — A complete metrizable locally convex topological vector space, often described by a countable separating family of seminorms and broad enough to include many function spaces that have no single adequate norm.
• Hardy–Littlewood maximal function — The pointwise supremum of local absolute-value averages of a function over all balls or cubes containing the evaluation point.
• Local boundedness — A property requiring a function, family or operator to remain bounded on some neighborhood of every point, without requiring one global bound over the whole domain.
• Locally integrable function — A measurable function whose absolute value has finite integral on every compact subset of its open domain, without requiring finite integral over the whole domain.
• Microcontinuity — The nonstandard-analysis form of continuity requiring infinitely close inputs to have infinitely close outputs.
• Nowhere continuous function — A function that fails the continuity condition at every point of its domain.
• Riemann sum — Approximate a definite integral by partitioning an interval, sampling the function once in each subinterval, multiplying each sampled value by subinterval width, and summing, with mesh refinement controlling convergence.
• Space of continuous functions on a compact space — Equip all real- or complex-valued continuous functions on a compact Hausdorff space with pointwise algebra and the supremum norm, obtaining a unital commutative Banach algebra whose structure reflects the underlying space.
• Ultrastrong topology — A locally convex operator topology on bounded operators generated by seminorms obtained from countable square-summable families of Hilbert-space vectors or positive normal functionals.
• Unbounded operator — A linear operator whose domain is typically a proper dense subspace of a normed space and which is not required to satisfy a global boundedness estimate.