In mathematics, more specifically in functional analysis, a Banach space is a complete normed vector space. Thus, a Banach space is a vector space with a metric that allows the computation of vector length and distance between vectors and is complete in the sense that a Cauchy sequence of vectors always converges to a well-defined limit that is within the space.
In mathematics, any vector space has a corresponding dual vector space consisting of all linear forms on together with the vector space structure of pointwise addition and scalar multiplication by constants.
Functional analysis is a branch of mathematical analysis, the core of which is formed by the study of vector spaces endowed with some kind of limit-related structure and the linear functions defined on these spaces and suitably respecting these structures. The historical roots of functional analysis lie in the study of spaces of functions and the formulation of properties of transformations of functions such as the Fourier transform as transformations defining, for example, continuous or unitary operators between function spaces. This point of view turned out to be particularly useful for the study of differential and integral equations.
In the area of mathematics known as functional analysis, a reflexive space is a locally convex topological vector space for which the canonical evaluation map from into its bidual is a homeomorphism. A normed space is reflexive if and only if this canonical evaluation map is surjective, in which case this evaluation map is an isometric isomorphism and the normed space is a Banach space. Those spaces for which the canonical evaluation map is surjective are called semi-reflexive spaces.
In functional analysis and related areas of mathematics, Fréchet spaces, named after Maurice Fréchet, are special topological vector spaces. They are generalizations of Banach spaces. All Banach and Hilbert spaces are Fréchet spaces. Spaces of infinitely differentiable functions are typical examples of Fréchet spaces, many of which are typically not Banach spaces.
In mathematics, Pontryagin duality is a duality between locally compact abelian groups that allows generalizing Fourier transform to all such groups, which include the circle group, the finite abelian groups, and the additive group of the integers, the real numbers, and every finite-dimensional vector space over the reals or a p-adic field.
In mathematics, a duality translates concepts, theorems or mathematical structures into other concepts, theorems or structures in a one-to-one fashion, often by means of an involution operation: if the dual of A is B, then the dual of B is A. In other cases the dual of the dual – the double dual or bidual – is not necessarily identical to the original. Such involutions sometimes have fixed points, so that the dual of A is A itself. For example, Desargues' theorem is self-dual in this sense under the standard duality in projective geometry.
In mathematics, the ba space of an algebra of sets is the Banach space consisting of all bounded and finitely additive signed measures on . The norm is defined as the variation, that is
In mathematics, particularly in functional analysis, a bornological space is a type of space which, in some sense, possesses the minimum amount of structure needed to address questions of boundedness of sets and linear maps, in the same way that a topological space possesses the minimum amount of structure needed to address questions of continuity. Bornological spaces are distinguished by the property that a linear map from a bornological space into any locally convex spaces is continuous if and only if it is a bounded linear operator.
In mathematics, nuclear spaces are topological vector spaces that can be viewed as a generalization of finite-dimensional Euclidean spaces and share many of their desirable properties. Nuclear spaces are however quite different from Hilbert spaces, another generalization of finite-dimensional Euclidean spaces. They were introduced by Alexander Grothendieck.
In mathematics, a Grothendieck space, named after Alexander Grothendieck, is a Banach space in which every sequence in its continuous dual space that converges in the weak-* topology will also converge when is endowed with which is the weak topology induced on by its bidual. Said differently, a Grothendieck space is a Banach space for which a sequence in its dual space converges weak-* if and only if it converges weakly.
In the area of mathematics known as functional analysis, a semi-reflexive space is a locally convex topological vector space (TVS) X such that the canonical evaluation map from X into its bidual is bijective. If this map is also an isomorphism of TVSs then it is called reflexive.
In mathematics, any vector space V has a corresponding double dual vector space defined as the dual space of the dual space of V.
In functional analysis, an area of mathematics, the projective tensor product of two locally convex topological vector spaces is a natural topological vector space structure on their tensor product. Namely, given locally convex topological vector spaces and , the projective topology, or π-topology, on is the strongest topology which makes a locally convex topological vector space such that the canonical map is continuous. When equipped with this topology, is denoted and called the projective tensor product of and .
In the mathematical field of functional analysis, DF-spaces, also written (DF)-spaces are locally convex topological vector space having a property that is shared by locally convex metrizable topological vector spaces. They play a considerable part in the theory of topological tensor products.
In functional analysis, a discipline within mathematics, a locally convex topological vector space (TVS) is said to be infrabarrelled if every bounded barrel is a neighborhood of the origin.
In functional analysis and related areas of mathematics, the strong dual space of a topological vector space (TVS) is the continuous dual space of equipped with the strong (dual) topology or the topology of uniform convergence on bounded subsets of where this topology is denoted by or The coarsest polar topology is called weak topology. The strong dual space plays such an important role in modern functional analysis, that the continuous dual space is usually assumed to have the strong dual topology unless indicated otherwise. To emphasize that the continuous dual space, has the strong dual topology, or may be written.
In mathematics, specifically in order theory and functional analysis, a subset of a vector lattice is said to be solid and is called an ideal if for all and if then An ordered vector space whose order is Archimedean is said to be Archimedean ordered. If then the ideal generated by is the smallest ideal in containing An ideal generated by a singleton set is called a principal ideal in
In mathematics, specifically in order theory and functional analysis, a locally convex vector lattice (LCVL) is a topological vector lattice that is also a locally convex space. LCVLs are important in the theory of topological vector lattices.
In functional analysis and related areas of mathematics, distinguished spaces are topological vector spaces (TVSs) having the property that weak-* bounded subsets of their biduals are contained in the weak-* closure of some bounded subset of the bidual.
