|
Integral Map
An integral bilinear form is a bilinear functional that belongs to the continuous dual space of X \widehat_ Y, the injective tensor product of the locally convex topological vector spaces (TVSs) ''X'' and ''Y''. An integral linear operator is a continuous linear operator that arises in a canonical way from an integral bilinear form. These maps play an important role in the theory of nuclear spaces and nuclear maps. Definition - Integral forms as the dual of the injective tensor product Let ''X'' and ''Y'' be locally convex TVSs, let X \otimes_ Y denote the projective tensor product, X \widehat_ Y denote its completion, let X \otimes_ Y denote the injective tensor product, and X \widehat_ Y denote its completion. Suppose that \operatorname : X \otimes_ Y \to X \widehat_ Y denotes the TVS-embedding of X \otimes_ Y into its completion and let ^\operatorname : \left( X \widehat_ Y \right)^_b \to \left( X \otimes_ Y \right)^_b be its transpose, which is a vector space-isomorphism ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Bilinear Map
In mathematics, a bilinear map is a function combining elements of two vector spaces to yield an element of a third vector space, and is linear in each of its arguments. Matrix multiplication is an example. Definition Vector spaces Let V, W and X be three vector spaces over the same base field F. A bilinear map is a function B : V \times W \to X such that for all w \in W, the map B_w v \mapsto B(v, w) is a linear map from V to X, and for all v \in V, the map B_v w \mapsto B(v, w) is a linear map from W to X. In other words, when we hold the first entry of the bilinear map fixed while letting the second entry vary, the result is a linear operator, and similarly for when we hold the second entry fixed. Such a map B satisfies the following properties. * For any \lambda \in F, B(\lambda v,w) = B(v, \lambda w) = \lambda B(v, w). * The map B is additive in both components: if v_1, v_2 \in V and w_1, w_2 \in W, then B(v_1 + v_2, w) = B(v_1, w) + B(v_2, w) and B(v, w_1 + w_2) = B(v ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
TVS-embedding
In mathematics, a topological vector space (also called a linear topological space and commonly abbreviated TVS or t.v.s.) is one of the basic structures investigated in functional analysis. A topological vector space is a vector space that is also a topological space with the property that the vector space operations (vector addition and scalar multiplication) are also continuous functions. Such a topology is called a and every topological vector space has a uniform topological structure, allowing a notion of uniform convergence and completeness. Some authors also require that the space is a Hausdorff space (although this article does not). One of the most widely studied categories of TVSs are locally convex topological vector spaces. This article focuses on TVSs that are not necessarily locally convex. Banach spaces, Hilbert spaces and Sobolev spaces are other well-known examples of TVSs. Many topological vector spaces are spaces of functions, or linear operators acting on top ... [...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 f ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Nuclear Space
In mathematics, nuclear spaces are topological vector space, 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. The topology on nuclear spaces can be defined by a family of seminorms whose Unit sphere#Unit balls in normed vector spaces, unit balls decrease rapidly in size. Vector spaces whose elements are "smooth" in some sense tend to be nuclear spaces; a typical example of a nuclear space is the set of smooth functions on a compact manifold. All finite-dimensional vector spaces are nuclear. There are no Banach space, Banach spaces that are nuclear, except for the finite-dimensional ones. In practice a sort of converse to this is often true: if a "naturally occurring" topological vector space is a Banach space, ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Nuclear Operator
In mathematics, nuclear operators are an important class of linear operators introduced by Alexander Grothendieck in his doctoral dissertation. Nuclear operators are intimately tied to the projective tensor product of two topological vector spaces (TVSs). Preliminaries and notation Throughout let ''X'',''Y'', and ''Z'' be topological vector spaces (TVSs) and ''L'' : ''X'' → ''Y'' be a linear operator (no assumption of continuity is made unless otherwise stated). * The projective tensor product of two locally convex TVSs ''X'' and ''Y'' is denoted by X \otimes_ Y and the completion of this space will be denoted by X \widehat_ Y. * ''L'' : ''X'' → ''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'' is a subspace of ''X'' then both the quotient map ''X'' → ''X''/''S'' and the canonical injection ''S ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Injective Tensor Product
In mathematics, the injective tensor product of two topological vector spaces (TVSs) was introduced by Alexander Grothendieck and was used by him to define nuclear spaces. An injective tensor product is in general not necessarily complete, so its completion is called the . Injective tensor products have applications outside of nuclear spaces. In particular, as described below, up to TVS-isomorphism, many TVSs that are defined for real or complex valued functions, for instance, the Schwartz space or the space of continuously differentiable functions, can be immediately extended to functions valued in a Hausdorff locally convex TVS Y with any need to extend definitions (such as "differentiable at a point") from real/complex-valued functions to Y-valued functions. Preliminaries and notation 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 ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Final Topology
In general topology and related areas of mathematics, the final topology (or coinduced, strong, colimit, or inductive topology) on a set X, with respect to a family of functions from topological spaces into X, is the finest topology on X that makes all those functions continuous. The quotient topology on a quotient space is a final topology, with respect to a single surjective function, namely the quotient map. The disjoint union topology is the final topology with respect to the inclusion maps. The final topology is also the topology that every direct limit in the category of topological spaces is endowed with, and it is in the context of direct limits that the final topology often appears. A topology is coherent with some collection of subspaces if and only if it is the final topology induced by the natural inclusions. The dual notion is the initial topology, which for a given family of functions from a set X into topological spaces is the coarsest topology on X that makes ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Auxiliary Normed Spaces
In functional analysis, two methods of constructing normed spaces from disks were systematically employed by Alexander Grothendieck to define nuclear operators and nuclear spaces. One method is used if the disk D is bounded: in this case, the auxiliary normed space is \operatorname D with norm p_D(x) := \inf_ r. The other method is used if the disk D is absorbing: in this case, the auxiliary normed space is the quotient space X / p_D^(0). If the disk is both bounded and absorbing then the two auxiliary normed spaces are canonically isomorphic (as topological vector spaces and as normed spaces). Preliminaries A subset of a vector space is called a disk and is said to be disked, absolutely convex, or convex balanced if it is convex and balanced. If C and D are subsets of a vector space X then D absorbs C if there exists a real r > 0 such that C \subseteq a Dfor any scalar a satisfying , a, \geq r. WThe set D is called absorbing in X if D absorbs \ for every x \in X. A su ... [...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 Cau ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Complete Metric Space
In mathematical analysis, a metric space is called complete (or a Cauchy space) if every Cauchy sequence of points in has a limit that is also in . Intuitively, a space is complete if there are no "points missing" from it (inside or at the boundary). For instance, the set of rational numbers is not complete, because e.g. \sqrt is "missing" from it, even though one can construct a Cauchy sequence of rational numbers that converges to it (see further examples below). It is always possible to "fill all the holes", leading to the ''completion'' of a given space, as explained below. Definition Cauchy sequence A sequence x_1, x_2, x_3, \ldots in a metric space (X, d) is called Cauchy if for every positive real number r > 0 there is a positive integer N such that for all positive integers m, n > N, d\left(x_m, x_n\right) < r. Complete space A metric space is complete if any of the following equivalent conditions are satisfied: :#Every |
Nuclear Operator
In mathematics, nuclear operators are an important class of linear operators introduced by Alexander Grothendieck in his doctoral dissertation. Nuclear operators are intimately tied to the projective tensor product of two topological vector spaces (TVSs). Preliminaries and notation Throughout let ''X'',''Y'', and ''Z'' be topological vector spaces (TVSs) and ''L'' : ''X'' → ''Y'' be a linear operator (no assumption of continuity is made unless otherwise stated). * The projective tensor product of two locally convex TVSs ''X'' and ''Y'' is denoted by X \otimes_ Y and the completion of this space will be denoted by X \widehat_ Y. * ''L'' : ''X'' → ''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'' is a subspace of ''X'' then both the quotient map ''X'' → ''X''/''S'' and the canonical injection ''S ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Injective Tensor Product
In mathematics, the injective tensor product of two topological vector spaces (TVSs) was introduced by Alexander Grothendieck and was used by him to define nuclear spaces. An injective tensor product is in general not necessarily complete, so its completion is called the . Injective tensor products have applications outside of nuclear spaces. In particular, as described below, up to TVS-isomorphism, many TVSs that are defined for real or complex valued functions, for instance, the Schwartz space or the space of continuously differentiable functions, can be immediately extended to functions valued in a Hausdorff locally convex TVS Y with any need to extend definitions (such as "differentiable at a point") from real/complex-valued functions to Y-valued functions. Preliminaries and notation 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 ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |