Functional Analysis & Normed Spaces

← Back to Domain-Specific Families

Abstractions about topological and normed vector spaces, linear functionals, convergence, integration, duality, interpolation, and representation theorems. They characterize spaces through compactness, positivity, seminorms, inner products, and stability properties.

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

• Aubin–Lions lemma — A compactness result for time-dependent functions combining spatial compact embedding with control of a time derivative in a weaker space.
• Ba space — The Banach space of bounded finitely additive signed measures on an algebra of sets, equipped with the total-variation norm.
• Banach–Mazur compactum — The compact metric space of isometry classes of fixed-dimensional normed spaces under logarithmic Banach–Mazur distance.
• Besov space — A scale of function spaces measuring smoothness through integrability and multiscale difference or frequency-decay parameters, generalizing Sobolev and Hölder spaces.
• BK-space — A Banach sequence space in which every coordinate projection is continuous.
• Bochner integral — The Banach-space-valued extension of the Lebesgue integral defined by norm limits of integrals of simple functions.
• C space — The Banach space of all convergent real or complex sequences equipped with the supremum norm, containing c0 as the closed subspace of sequences converging to zero.
• Cauchy–Schwarz inequality — The inequality bounding the absolute inner product of two vectors by the product of their norms, with equality exactly when the vectors are linearly dependent under the usual hypotheses.
• Conjugate index — For a Banach space, the largest exponent for which its dual is guaranteed to have the corresponding finite cotype, expressed through Hölder-conjugate type and cotype behavior under the governing convention.
• Convex conjugate — The supremum transform mapping an extended-real function on a vector space to the greatest affine lower-bound gap over its dual space.
• Differentiable vector-valued functions from Euclidean space — Differentiable maps from an open Euclidean domain into a topological vector space, with derivatives encoded by continuous multilinear maps.
• Eberlein–Šmulian theorem — The Banach-space result equating weak compactness with weak sequential compactness and weak limit-point compactness.
• F-space — A real or complex vector space equipped with a complete translation-invariant metric whose addition and scalar multiplication are continuous.
• Gelfand–Shilov space — A space of smooth test functions whose derivatives and polynomially weighted values obey factorial growth bounds controlling simultaneous decay and regularity.
• Hyers–Ulam–Rassias stability — A functional-equation stability property stating that an approximate solution satisfying a controlled error bound lies near an exact solution.
• Indefinite inner product space — A vector space with a Hermitian sesquilinear form that can assign positive, negative or zero squared length to nonzero vectors.
• Indicator function (convex analysis) — An extended-real function that is zero on a selected set and positive infinity outside it, encoding membership as a hard optimization constraint.
• Kōmura's theorem — An almost-everywhere differentiability theorem for absolutely continuous functions taking values in a reflexive Banach space.
• L-infinity — The Banach space of essentially bounded measurable functions under the essential-supremum norm, with bounded sequences as the counting-measure case.
• L-semi-inner product — A Banach-space generalization of inner product that is linear in one argument and positive but need not be conjugate symmetric or additive in the other.
• Lebesgue's lemma — An approximation bound stating that a bounded linear projection's error is at most one plus its operator norm times the best attainable error from the target subspace.
• Lomonosov's invariant subspace theorem — A theorem stating that every bounded operator on an infinite-dimensional complex Banach space that commutes with a nonzero compact operator has a nontrivial closed invariant subspace.
• Marcinkiewicz interpolation theorem — An interpolation theorem deriving strong intermediate Lp bounds for a sublinear operator from suitable weak-type endpoint bounds.
• Mazur's lemma — A result stating that convex combinations of tails of a weakly convergent sequence in a normed space can be chosen to converge in norm to the same limit.
• Normal convergence — Convergence of a function series whose sum of termwise uniform norms is finite.
• Order convergence — Convergence in an ordered vector lattice defined by eventual confinement between bounds that close monotonically on the limit.
• Riesz space — A real vector space equipped with a lattice order compatible with vector addition and nonnegative scalar multiplication.
• Riesz–Markov–Kakutani representation theorem — A representation theorem identifying continuous linear functionals on suitable spaces of continuous functions with integration against unique regular measures.
• Seminorm — A nonnegative subadditive absolutely homogeneous function on a vector space that may vanish on nonzero vectors.
• Smith space — A complete compactly generated locally convex space possessing one compact set that absorbs every compact subset.
• Strongly positive bilinear form — A bilinear form on a normed vector space that dominates a fixed positive multiple of squared norm on every vector.
• Tsirelson space — The first reflexive Banach-space construction containing no subspace isomorphic to any classical ℓp space or c0, built through an implicit norm that recursively controls separated block sequences.
• Uniform norm — The supremum of pointwise magnitudes of a bounded function, inducing the metric of uniform convergence and the maximum-coordinate norm in finite dimensions.