Functional Analysis¶

← Back to Domain-Specific Abstractions by Domain

55 domain-specific abstractions whose origin domain is Functional Analysis.

Absorbing set — A subset of a vector space whose scalar dilations eventually contain every vector, forming a basic neighborhood and boundedness concept in topological vector spaces.
Aubin–Lions lemma — A compactness result for time-dependent functions combining spatial compact embedding with control of a time derivative in a weaker space.
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.
Bounded operator — A linear operator between normed spaces whose output norm is at most a fixed constant times the input norm.
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.
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.
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.
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.
Discontinuous linear map — A linear transformation between topological vector spaces that fails the continuity or boundedness condition imposed by their topologies.
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.
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.
Functional Calculus — A spectrum-controlled homomorphism that extends scalar functions f to operator expressions f(T) while preserving the algebraic relations needed to reason about T through f.
Fundamental theorem of Hilbert spaces — Characterize completeness of a Hausdorff pre-Hilbert space by surjectivity of its canonical inner-product isometry into the continuous anti-dual.
Gelfand representation — The homomorphism sending each element of a commutative Banach algebra to its evaluation function on the character space, becoming an isometric -isomorphism for commutative C-algebras.
Gelfand–Shilov space — A space of smooth test functions whose derivatives and polynomially weighted values obey factorial growth bounds controlling simultaneous decay and regularity.
Hilbert–Schmidt integral operator — An integral operator whose square-integrable kernel makes it a compact Hilbert–Schmidt operator.
Indefinite inner product space — A vector space with a Hermitian sesquilinear form that can assign positive, negative or zero squared length to nonzero vectors.
Invariant subspace problem — The family of questions asking whether every operator in a specified class on a topological vector space has a nonzero proper closed subspace mapped into itself.
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.
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.
Montel space — A barrelled topological vector space in which every closed bounded subset is compact, extending Montel-type compactness from spaces of holomorphic functions.
Normal convergence — Convergence of a function series whose sum of termwise uniform norms is finite.
Normal operator — A bounded linear operator on a complex Hilbert space that commutes with its adjoint.
Nuclear operators between Banach spaces — Linear operators admitting a summable rank-one representation through dual functionals and target vectors.
Nuclear space — A locally convex topological vector space whose connecting maps between suitable seminorm completions are nuclear, giving strong finite-dimensional-like compactness and tensor properties.
Operator topologies — Standard topologies on spaces of bounded linear operators that distinguish norm, strong, weak and weak-star modes of operator convergence.
Order convergence — Convergence in an ordered vector lattice defined by eventual confinement between bounds that close monotonically on the limit.
Partial isometry — A Hilbert-space operator that acts isometrically on the orthogonal complement of its kernel and vanishes on the kernel, mapping an initial subspace onto a final subspace.
Positive element — Place a self-adjoint element of a C-star algebra in its positive cone when its spectrum is nonnegative, equivalently when it is a star-square b-star-b or has a unique positive square root, thereby inducing the order used throughout operator algebra.
Positive-definite kernel — Assign a Hermitian pairwise function whose every finite Gram matrix has a nonnegative quadratic form, equivalently realizing the inputs as inner-product feature vectors in a Hilbert space.
Projective tensor product — The tensor product of locally convex spaces equipped with the strongest locally convex topology making the canonical bilinear map continuous.
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.
Schatten norm — The p-norm of a compact operator's singular-value sequence, generalizing matrix Frobenius and nuclear norms to operators on Hilbert spaces.
Schwartz topological vector space — A locally convex topological vector space whose bounded sets are precompact, equivalently whose neighborhoods satisfy a finite-covering condition after suitable shrinking and scaling.
Semi-reflexive space — A locally convex topological vector space whose canonical map into its strong bidual is algebraically onto, without necessarily being a topological isomorphism.
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.
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.
Strongly positive bilinear form — A bilinear form on a normed vector space that dominates a fixed positive multiple of squared norm on every vector.
Topological homomorphism — A continuous linear map between topological vector spaces that induces a topological isomorphism from the quotient by its kernel onto its image.
Total subset — A subset of a topological vector space whose linear span is dense in the entire space.
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.
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.
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.
Unitary operator — A surjective linear operator on a Hilbert space that preserves inner products, equivalently one whose adjoint is its inverse.
Von Neumann algebra — A unital star-algebra of bounded operators on a Hilbert space closed in the weak operator topology, equivalently equal to its double commutant.
Weakly measurable function — Call a Banach-space-valued function weakly measurable when every scalarization by a continuous linear functional is measurable, and use essential separable-valuedness to determine when this implies strong measurability.
Webbed space — A topological vector space equipped with a web structure that supports generalized closed-graph and open-mapping theorems.