|
DF-space
In the 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. DF-spaces were first defined by Alexander Grothendieck and studied in detail by him in . Grothendieck was led to introduce these spaces by the following property of strong duals of metrizable spaces: If X is a metrizable locally convex space and V_1, V_2, \ldots is a sequence of convex 0-neighborhoods in X^_b such that V := \cap_ V_i absorbs every strongly bounded set, then V is a 0-neighborhood in X^_b (where X^_b is the continuous dual space of X endowed with the strong dual topology). Definition A locally convex topological vector space (TVS) X is a DF-space, also written (''DF'')-space, if # X is a countably quasi-barrelled space (i.e. every strongly bounded countable union of equicontinu ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
LM-space
In functional analysis and related areas of mathematics, a metrizable (resp. pseudometrizable) topological vector space (TVS) is a TVS whose topology is induced by a metric (resp. pseudometric). An LM-space is an inductive limit of a sequence of locally convex metrizable TVS. Pseudometrics and metrics A pseudometric on a set X is a map d : X \times X \rarr \R satisfying the following properties: d(x, x) = 0 \text x \in X; Symmetry: d(x, y) = d(y, x) \text x, y \in X; Subadditivity: d(x, z) \leq d(x, y) + d(y, z) \text x, y, z \in X. A pseudometric is called a metric if it satisfies: Identity of indiscernibles: for all x, y \in X, if d(x, y) = 0 then x = y. Ultrapseudometric A pseudometric d on X is called a ultrapseudometric or a strong pseudometric if it satisfies: Strong/Ultrametric triangle inequality: d(x, z) \leq \max \ \text x, y, z \in X. Pseudometric space A pseudometric space is a pair (X, d) consisting of a set X and a pseudometric d on X such that X's ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Metrizable Topological Vector Space
In functional analysis and related areas of mathematics, a metrizable (resp. pseudometrizable) topological vector space (TVS) is a TVS whose topology is induced by a metric (resp. pseudometric). An LM-space is an inductive limit of a sequence of locally convex metrizable TVS. Pseudometrics and metrics A pseudometric on a set X is a map d : X \times X \rarr \R satisfying the following properties: d(x, x) = 0 \text x \in X; Symmetry: d(x, y) = d(y, x) \text x, y \in X; Subadditivity: d(x, z) \leq d(x, y) + d(y, z) \text x, y, z \in X. A pseudometric is called a metric if it satisfies: Identity of indiscernibles: for all x, y \in X, if d(x, y) = 0 then x = y. Ultrapseudometric A pseudometric d on X is called a ultrapseudometric or a strong pseudometric if it satisfies: Strong/Ultrametric triangle inequality: d(x, z) \leq \max \ \text x, y, z \in X. Pseudometric space A pseudometric space is a pair (X, d) consisting of a set X and a pseudometric d on X such that X's ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Metrizable Topological Vector Space
In functional analysis and related areas of mathematics, a metrizable (resp. pseudometrizable) topological vector space (TVS) is a TVS whose topology is induced by a metric (resp. pseudometric). An LM-space is an inductive limit of a sequence of locally convex metrizable TVS. Pseudometrics and metrics A pseudometric on a set X is a map d : X \times X \rarr \R satisfying the following properties: d(x, x) = 0 \text x \in X; Symmetry: d(x, y) = d(y, x) \text x, y \in X; Subadditivity: d(x, z) \leq d(x, y) + d(y, z) \text x, y, z \in X. A pseudometric is called a metric if it satisfies: Identity of indiscernibles: for all x, y \in X, if d(x, y) = 0 then x = y. Ultrapseudometric A pseudometric d on X is called a ultrapseudometric or a strong pseudometric if it satisfies: Strong/Ultrametric triangle inequality: d(x, z) \leq \max \ \text x, y, z \in X. Pseudometric space A pseudometric space is a pair (X, d) consisting of a set X and a pseudometric d on X such that X's ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Complete Topological Vector Space
In functional analysis and related areas of mathematics, a complete topological vector space is a topological vector space (TVS) with the property that whenever points get progressively closer to each other, then there exists some point x towards which they all get closer. The notion of "points that get progressively closer" is made rigorous by or , which are generalizations of , while "point x towards which they all get closer" means that this Cauchy net or filter converges to x. The notion of completeness for TVSs uses the theory of uniform spaces as a framework to generalize the notion of completeness for metric spaces. But unlike metric-completeness, TVS-completeness does not depend on any metric and is defined for TVSs, including those that are not metrizable or Hausdorff. Completeness is an extremely important property for a topological vector space to possess. The notions of completeness for normed spaces and metrizable TVSs, which are commonly defined in terms of ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Projective Tensor Product
The strongest locally convex topological vector space (TVS) topology on X \otimes Y, the tensor product of two locally convex TVSs, making the canonical map \cdot \otimes \cdot : X \times Y \to X \otimes Y (defined by sending (x, y) \in X \times Y to x \otimes y) continuous is called the projective topology or the π-topology. When X \otimes Y is endowed with this topology then it is denoted by X \otimes_ Y and called the projective tensor product of X and Y. Preliminaries Throughout let X, Y, and Z be topological vector spaces and L : X \to Y be a linear map. * L : X \to Y is a topological homomorphism or homomorphism, if it is linear, continuous, and L : X \to \operatorname L is an open map, where \operatorname L, the image of L, has the subspace topology induced by Y. ** If S \subseteq X is a subspace of X then both the quotient map X \to X / S and the canonical injection S \to X are homomorphisms. In particular, any linear map L : X \to Y can be canonically decomposed as ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Countably Quasi-barrelled Space
In functional analysis, a topological vector space (TVS) is said to be countably quasi-barrelled if every strongly bounded countable union of equicontinuous subsets of its continuous dual space is again equicontinuous. This property is a generalization of quasibarrelled spaces. Definition A TVS ''X'' with continuous dual space X^ is said to be countably quasi-barrelled if B^ \subseteq X^ is a strongly 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 quasi-barrelled if and only if each bornivorous barrel in ''X'' that is equal to the countable intersection of closed convex balanced neighborhoods of 0 is itself a neighborhood of 0. σ-quasi-barrelled space A TVS with continuous dual space X^ is said to be σ-quasi-barrelled if every strongly bounded (countable) sequence in X^ is equicontinuous. Sequentially quasi-barrelled space A TVS with continuo ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Fréchet Space
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 ( normed vector spaces that are complete with respect to the metric induced by the norm). 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 Banach spaces. A Fréchet space X is defined to be a locally convex metrizable topological vector space (TVS) that is complete as a TVS, meaning that every Cauchy sequence in X converges to some point in X (see footnote for more details).Here "Cauchy" means Cauchy with respect to the canonical uniformity that every TVS possess. That is, a sequence x_ = \left(x_m\right)_^ in a TVS X is Cauchy if and only if for all neighborhoods U of the origin in X, x_m - x_n \in U whenever m and n are sufficiently large. Note that this definition of a ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Fréchet–Urysohn Space
In the field of topology, a Fréchet–Urysohn space is a topological space X with the property that for every subset S \subseteq X the closure of S in X is identical to the ''sequential'' closure of S in X. Fréchet–Urysohn spaces are a special type of sequential space. Fréchet–Urysohn spaces are the most general class of spaces for which sequences suffice to determine all topological properties of subsets of the space. That is, Fréchet–Urysohn spaces are exactly those spaces for which knowledge of which sequences converge to which limits (and which sequences do not) suffices to completely determine the space's topology. Every Fréchet–Urysohn space is a sequential space but not conversely. The space is named after Maurice Fréchet and Pavel Urysohn. Definitions Let (X, \tau) be a topological space. The of S in (X, \tau) is the set: \begin \operatorname S :&= S := \left\ \end where \operatorname_X S or \operatorname_ S may be written if clarity is needed ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Sequential Space
In topology and related fields of mathematics, a sequential space is a topological space whose topology can be completely characterized by its convergent/divergent sequences. They can be thought of as spaces that satisfy a very weak axiom of countability, and all first-countable spaces (especially metric spaces) are sequential. In any topological space (X, \tau), if a convergent sequence is contained in a closed set C, then the limit of that sequence must be contained in C as well. This property is known as sequential closure. Sequential spaces are precisely those topological spaces for which sequentially closed sets are in fact closed. (These definitions can also be rephrased in terms of sequentially open sets; see below.) Said differently, any topology can be described in terms of nets (also known as Moore–Smith sequences), but those sequences may be "too long" (indexed by too large an ordinal) to compress into a sequence. Sequential spaces are those topological spaces ... [...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, norm, topology, etc.) and the 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 spaces of functions and the formulation of properties of transformations of functions such as the Fourier transform as transformations defining continuous, unitary etc. operators between function spaces. This point of view turned out to be particularly useful for the study of differential and integral equations. The usage of the word '' functional'' as a noun goes back to the calculus of variations, implying a function whose argument is a function. The term was first used in Hadamard's 1910 book on that subject. However, the general concept of a functional had previously been introduced in 1887 by the I ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Topology
In mathematics, topology (from the Greek words , and ) is concerned with the properties of a geometric object that are preserved under continuous deformations, such as stretching, twisting, crumpling, and bending; that is, without closing holes, opening holes, tearing, gluing, or passing through itself. A topological space is a set endowed with a structure, called a '' topology'', which allows defining continuous deformation of subspaces, and, more generally, all kinds of continuity. Euclidean spaces, and, more generally, metric spaces are examples of a topological space, as any distance or metric defines a topology. The deformations that are considered in topology are homeomorphisms and homotopies. A property that is invariant under such deformations is a topological property. Basic examples of topological properties are: the dimension, which allows distinguishing between a line and a surface; compactness, which allows distinguishing between a line and a circle; co ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Infrabarreled Space
In functional analysis, a discipline within mathematics, a locally convex topological vector space (TVS) is said to be infrabarrelled (also spelled infra barreled) if every bounded absorbing barrel is a neighborhood of the origin. Characterizations If X is a Hausdorff locally convex space then the canonical injection from X into its bidual is a topological embedding if and only if X is infrabarrelled. Properties Every quasi-complete infrabarrelled space is barrelled. Examples Every 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 ... is infrabarrelled. A closed vector subspace of an infrabarrelled space is, however, not necessarily infrabarrelled. Every product and locally convex direct sum of any family of infrabarrelled spaces is infrabarrelled. Eve ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
