|
Semi-reflexive Space
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] |
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] |
Continuous Function
In mathematics, a continuous function is a function such that a continuous variation (that is a change without jump) of the argument induces a continuous variation of the value of the function. This means that there are no abrupt changes in value, known as '' discontinuities''. More precisely, a function is continuous if arbitrarily small changes in its value can be assured by restricting to sufficiently small changes of its argument. A discontinuous function is a function that is . Up until the 19th century, mathematicians largely relied on intuitive notions of continuity, and considered only continuous functions. The epsilon–delta definition of a limit was introduced to formalize the definition of continuity. Continuity is one of the core concepts of calculus and mathematical analysis, where arguments and values of functions are real and complex numbers. The concept has been generalized to functions between metric spaces and between topological spaces. The latter are the mo ... [...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] |
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] |
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] |
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] |
Mackey Topology
In functional analysis and related areas of mathematics, the Mackey topology, named after George Mackey, is the finest topology for a topological vector space which still preserves the continuous dual. In other words the Mackey topology does not make linear functions continuous which were discontinuous in the default topology. A topological vector space (TVS) is called a Mackey space if its topology is the same as the Mackey topology. The Mackey topology is the opposite of the weak topology, which is the coarsest topology on a topological vector space which preserves the continuity of all linear functions in the continuous dual. The Mackey–Arens theorem states that all possible dual topologies are finer than the weak topology and coarser than the Mackey topology. Definition Definition for a pairing Given a pairing (X, Y, b), the Mackey topology on X induced by (X, Y, b), denoted by \tau(X, Y, b), is the polar topology defined on X by using the set of all \sigma(Y, X, b)-comp ... [...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] |
