|
Semi-reflexive
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 (which is the strong dual of the strong dual of ''X'') is bijective. If this map is also an isomorphism of TVSs then it is called reflexive. Semi-reflexive spaces play an important role in the general theory of locally convex TVSs. Since a normable TVS is semi-reflexive if and only if it is reflexive, the concept of semi-reflexivity is primarily used with TVSs that are not normable. Definition and notation Brief definition Suppose that is a topological vector space (TVS) over the field \mathbb (which is either the real or complex numbers) whose continuous dual space, X^, separates points on (i.e. for any x \in X there exists some x^ \in X^ such that x^(x) \neq 0). Let X^_b and X^_ both denote the strong dual of , which is the vector space X^ of continuous linear func ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Reflexive Space
In the area of mathematics known as functional analysis, a reflexive space is a locally convex topological vector space (TVS) for which the canonical evaluation map from X into its bidual (which is the strong dual of the strong dual of X) is an isomorphism of TVSs. Since a normable TVS is reflexive if and only if it is semi-reflexive, every normed space (and so in particular, every Banach space) X is reflexive if and only if the canonical evaluation map from X into its bidual is surjective; in this case the normed space is necessarily also a Banach space. In 1951, R. C. James discovered a Banach space, now known as James' space, that is reflexive but is nevertheless isometrically isomorphic to its bidual (any such isomorphism is thus necessarily the canonical evaluation map). Reflexive spaces play an important role in the general theory of locally convex TVSs and in the theory of Banach spaces in particular. Hilbert spaces are prominent examples of reflexive Banach spaces. ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Reflexive Space
In the area of mathematics known as functional analysis, a reflexive space is a locally convex topological vector space (TVS) for which the canonical evaluation map from X into its bidual (which is the strong dual of the strong dual of X) is an isomorphism of TVSs. Since a normable TVS is reflexive if and only if it is semi-reflexive, every normed space (and so in particular, every Banach space) X is reflexive if and only if the canonical evaluation map from X into its bidual is surjective; in this case the normed space is necessarily also a Banach space. In 1951, R. C. James discovered a Banach space, now known as James' space, that is reflexive but is nevertheless isometrically isomorphic to its bidual (any such isomorphism is thus necessarily the canonical evaluation map). Reflexive spaces play an important role in the general theory of locally convex TVSs and in the theory of Banach spaces in particular. Hilbert spaces are prominent examples of reflexive Banach spaces. ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Distinguished Space
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 (that is, the strong dual space of their strong dual space) are contained in the weak-* closure of some bounded subset of the bidual. Definition Suppose that X is a locally convex space and let X^ and X^_b denote the strong dual of X (that is, the continuous dual space of X endowed with the strong dual topology). Let X^ denote the continuous dual space of X^_b and let X^_b denote the strong dual of X^_b. Let X^_ denote X^ endowed with the weak-* topology induced by X^, where this topology is denoted by \sigma\left(X^, X^\right) (that is, the topology of pointwise convergence on X^). We say that a subset W of X^ is \sigma\left(X^, X^\right)-bounded if it is a bounded subset of X^_ and we call the closure of W in the TVS X^_ the \sigma\left(X^, X^\right)-closure of W. If B is a subset of X then the ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Countably Barrelled Space
In functional analysis, a topological vector space (TVS) is said to be countably barrelled if every weakly bounded countable union of equicontinuous subsets of its continuous dual space is again equicontinuous. This property is a generalization of barrelled spaces. Definition A TVS ''X'' with continuous dual space X^ is said to be countably barrelled if B^ \subseteq X^ is a weak-* bounded subset of X^ that is equal to a countable union of equicontinuous subsets of X^, then B^ is itself equicontinuous. A Hausdorff locally convex TVS is countably barrelled if and only if each barrel in ''X'' that is equal to the countable intersection of closed convex balanced neighborhoods of 0 is itself a neighborhood of 0. σ-barrelled space A TVS with continuous dual space X^ is said to be σ-barrelled if every weak-* bounded (countable) sequence in X^ is equicontinuous. Sequentially barrelled space A TVS with continuous dual space X^ is said to be sequentially barrelled if every ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Quasi-complete Space
In functional analysis, a topological vector space (TVS) is said to be quasi-complete or boundedly complete if every closed and bounded subset is complete. This concept is of considerable importance for non- metrizable TVSs. Properties * Every quasi-complete TVS is sequentially complete. * In a quasi-complete locally convex space, the closure of the convex hull of a compact subset is again compact. * In a quasi-complete Hausdorff TVS, every precompact subset is relatively compact. * If is a normed space and is a quasi-complete locally convex TVS then the set of all compact linear maps of into is a closed vector subspace of L_b(X;Y). * Every quasi-complete infrabarrelled space is barreled. * If is a quasi-complete locally convex space then every weakly bounded subset of the continuous dual space is strongly bounded. * A quasi-complete nuclear space then has the Heine–Borel property. Examples and sufficient conditions Every complete TVS is quasi-complete. The ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Montel Space
In functional analysis and related areas of mathematics, a Montel space, named after Paul Montel, is any topological vector space (TVS) in which an analog of Montel's theorem holds. Specifically, a Montel space is a barrelled topological vector space in which every closed and bounded subset is compact. Definition A topological vector space (TVS) has the if every closed and bounded subset is compact. A is a barrelled topological vector space with the Heine–Borel property. Equivalently, it is an infrabarrelled semi-Montel space where a Hausdorff locally convex topological vector space is called a or if every bounded subset is relatively compact.A subset S of a topological space X is called relatively compact is its closure in X is compact. A subset of a TVS is compact if and only if it is complete and totally bounded. A is a Fréchet space that is also a Montel space. Characterizations A separable Fréchet space is a Montel space if and only if each weak-* ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Quasi-complete
In functional analysis, a topological vector space (TVS) is said to be quasi-complete or boundedly complete if every closed and bounded subset is complete. This concept is of considerable importance for non- metrizable TVSs. Properties * Every quasi-complete TVS is sequentially complete. * In a quasi-complete locally convex space, the closure of the convex hull of a compact subset is again compact. * In a quasi-complete Hausdorff TVS, every precompact subset is relatively compact. * If is a normed space and is a quasi-complete locally convex TVS then the set of all compact linear maps of into is a closed vector subspace of L_b(X;Y). * Every quasi-complete infrabarrelled space is barreled. * If is a quasi-complete locally convex space then every weakly bounded subset of the continuous dual space is strongly bounded. * A quasi-complete nuclear space then has the Heine–Borel property. Examples and sufficient conditions Every complete TVS is quasi-complete. Th ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Functional Analysis
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 (e.g. Inner product space#Definition, inner product, Norm (mathematics)#Definition, norm, Topological space#Definition, topology, etc.) and the linear transformation, linear functions defined on these spaces and respecting these structures in a suitable sense. The historical roots of functional analysis lie in the study of function space, spaces of functions and the formulation of properties of transformations of functions such as the Fourier transform as transformations defining continuous function, continuous, unitary operator, unitary etc. operators between function spaces. This point of view turned out to be particularly useful for the study of differential equations, differential and integral equations. The usage of the word ''functional (mathematics), functional'' as a noun goes back to the calculus of variati ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Linear Functional
In mathematics, a linear form (also known as a linear functional, a one-form, or a covector) is a linear map from a vector space to its field of scalars (often, the real numbers or the complex numbers). If is a vector space over a field , the set of all linear functionals from to is itself a vector space over with addition and scalar multiplication defined pointwise. This space is called the dual space of , or sometimes the algebraic dual space, when a topological dual space is also considered. It is often denoted , p. 19, §3.1 or, when the field is understood, V^*; other notations are also used, such as V', V^ or V^. When vectors are represented by column vectors (as is common when a basis is fixed), then linear functionals are represented as row vectors, and their values on specific vectors are given by matrix products (with the row vector on the left). Examples * The constant zero function, mapping every vector to zero, is trivially a linear functional. * Indexing int ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Normed Space
In mathematics, a normed vector space or normed space is a vector space over the real or complex numbers, on which a norm is defined. A norm is the formalization and the generalization to real vector spaces of the intuitive notion of "length" in the real (physical) world. A norm is a real-valued function defined on the vector space that is commonly denoted x\mapsto \, x\, , and has the following properties: #It is nonnegative, meaning that \, x\, \geq 0 for every vector x. #It is positive on nonzero vectors, that is, \, x\, = 0 \text x = 0. # For every vector x, and every scalar \alpha, \, \alpha x\, = , \alpha, \, \, x\, . # The triangle inequality holds; that is, for every vectors x and y, \, x+y\, \leq \, x\, + \, y\, . A norm induces a distance, called its , by the formula d(x,y) = \, y-x\, . which makes any normed vector space into a metric space and a topological vector space. If this metric space is complete then the normed space is a Banach space. Every normed vec ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Quasibarrelled Space
In functional analysis and related areas of mathematics, quasibarrelled spaces are topological vector spaces (TVS) for which every bornivorous barrelled set in the space is a Neighbourhood (topology), neighbourhood of the origin. Quasibarrelled spaces are studied because they are a weakening of the defining condition of barrelled spaces, for which a form of the Banach–Steinhaus theorem holds. Definition A subset B of a topological vector space (TVS) X is called bornivorous if it absorbs all bounded subsets of X; that is, if for each bounded subset S of X, there exists some scalar r such that S \subseteq r B. A barrelled set or a barrel in a TVS is a Set (mathematics), set which is Convex set, convex, Balanced set, balanced, Absorbing set, absorbing and Closed set, closed. A quasibarrelled space is a TVS for which every bornivorous barrelled set in the space is a Neighbourhood (topology), neighbourhood of the origin. Properties A locally convex Hausdorff quasibarrelled sp ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Barrelled Space
In functional analysis and related areas of mathematics, a barrelled space (also written barreled space) is a topological vector space (TVS) for which every barrelled set in the space is a neighbourhood for the zero vector. A barrelled set or a barrel in a topological vector space is a set that is convex, balanced, absorbing, and closed. Barrelled spaces are studied because a form of the Banach–Steinhaus theorem still holds for them. Barrelled spaces were introduced by . Barrels A convex and balanced subset of a real or complex vector space is called a and it is said to be , , or . A or a in a topological vector space (TVS) is a subset that is a closed absorbing disk; that is, a barrel is a convex, balanced, closed, and absorbing subset. Every barrel must contain the origin. If \dim X \geq 2 and if S is any subset of X, then S is a convex, balanced, and absorbing set of X if and only if this is all true of S \cap Y in Y for every 2-dimensional vector subspace Y; thus ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
