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 completed injective tensor products. 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
without any need to extend definitions (such as "differentiable at a point") from real/complex-valued functions to
-valued functions.
Preliminaries and notation
Throughout let
and
be topological vector spaces and
be a linear map.
is a topological homomorphism or homomorphism, if it is linear, continuous, and
is an open map, where
has the subspace topology induced by
- If
is a subspace of
then both the quotient map
and the canonical injection
are homomorphisms. In particular, any linear map
can be canonically decomposed as follows:
where
defines a bijection.
- The set of continuous linear maps
(resp. continuous bilinear maps
) will be denoted by
(resp.
) where if
is the scalar field then we may instead write
(resp.
). - The set of separately continuous bilinear maps
(that is, continuous in each variable when the other variable is fixed) will be denoted by
where if
is the scalar field then we may instead write ![{\displaystyle {\mathcal {B}}(X,Y).}](https://wikimedia.org/api/rest_v1/media/math/render/svg/2775bf0ce5e43e9c30a0367e41efca693c25d0d2)
- We will denote the continuous dual space of
by
and the algebraic dual space (which is the vector space of all linear functionals on
whether continuous or not) by
- To increase the clarity of the exposition, we use the common convention of writing elements of
with a prime following the symbol (for example,
denotes an element of
and not, say, a derivative and the variables
and
need not be related in any way).
Notation for topologies
denotes the coarsest topology on
making every map in
continuous and
or
denotes
endowed with this topology.
denotes weak-* topology on
and
or
denotes
endowed with this topology. - Note that every
induces a map
defined by
is the coarsest topology on X′ making all such maps continuous.
denotes the topology of bounded convergence on
and
or
denotes
endowed with this topology.
denotes the topology of bounded convergence on
or the strong dual topology on
and
or
denotes
endowed with this topology. - As usual, if
is considered as a topological vector space but it has not been made clear what topology it is endowed with, then the topology will be assumed to be ![{\displaystyle b\left(X^{\prime },X\right).}](https://wikimedia.org/api/rest_v1/media/math/render/svg/aa0e55178a0f99c5872922f4637574702c1516d2)
denotes the Mackey topology on
or the topology of uniform convergence on the convex balanced weakly compact subsets of
and
or
denotes
endowed with this topology.
is the finest locally convex TVS topology on
whose continuous dual space is equal to ![{\displaystyle X^{\prime }.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/980210d5ccf78c678264901dc7b0ce8a53d827bc)
denotes the Mackey topology on
or the topology of uniform convergence on the convex balanced weakly compact subsets of
and
or
denotes
endowed with this topology. - Note that
![{\displaystyle \tau \left(X^{\prime },X\right)\subseteq b\left(X^{\prime },X\right)\subseteq \tau \left(X^{\prime },X^{\prime \prime }\right).}](https://wikimedia.org/api/rest_v1/media/math/render/svg/a71d417143162b344e1cd8750f69af82b64698f5)
denotes the topology of uniform convergence on equicontinuous subsets of
and
or
denotes
endowed with this topology. - If
is a set of linear mappings
then
is equicontinuous if and only if it is equicontinuous at the origin; that is, if and only if for every neighborhood
of the origin in
there exists a neighborhood
of the origin in
such that
for every ![{\displaystyle \lambda \in H.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/f8b6531a5b3652f9187851378a8a983825c7a957)
- A set
of linear maps from
to
is called equicontinuous if for every neighborhood
of the origin in
there exists a neighborhood
of the origin in
such that
for all ![{\displaystyle h\in H.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/d10c356f8b2cea62359891c45c61a5670d8ade85)
Definition
Throughout let
and
be topological vector spaces with continuous dual spaces
and
Note that almost all results described are independent of whether these vector spaces are over
or
but to simplify the exposition we will assume that they are over the field
Continuous bilinear maps as a tensor product
Despite the fact that the tensor product
is a purely algebraic construct (its definition does not involve any topologies), the vector space
of continuous bilinear functionals is nevertheless always a tensor product of
and
(that is,
) when
is defined in the manner now described.
For every
let
denote the bilinear form on
defined by
![{\displaystyle (x\otimes y)\left(x^{\prime },y^{\prime }\right):=x^{\prime }(x)y^{\prime }(y).}](https://wikimedia.org/api/rest_v1/media/math/render/svg/cb7757ea705d986893b7dbc0d690a40cd356c6ce)
This map
![{\displaystyle x\otimes y:X_{\sigma }^{\prime }\times Y_{\sigma }^{\prime }\to \mathbb {C} }](https://wikimedia.org/api/rest_v1/media/math/render/svg/c41496b3a1f89ae34c4fa2aa456da956708327f2)
is always continuous and so the assignment that sends
![{\displaystyle (x,y)\in X\times Y}](https://wikimedia.org/api/rest_v1/media/math/render/svg/7c926d99020dbba8bb892899e023462a52426a79)
to the bilinear form
![{\displaystyle x\otimes y}](https://wikimedia.org/api/rest_v1/media/math/render/svg/56efedc83f0f00d1a89451a753d743db31ceb74c)
induces a canonical map
![{\displaystyle \cdot \,\otimes \,\cdot \;:\;X\times Y\to {\mathcal {B}}\left(X_{\sigma }^{\prime },Y_{\sigma }^{\prime }\right)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/3665bc77bad893ad68a73c3d3da64ad6f38865d0)
whose image
![{\displaystyle X\otimes Y}](https://wikimedia.org/api/rest_v1/media/math/render/svg/73cb0079947d63aa9b62873f3b215171615e435c)
is contained in
![{\displaystyle B\left(X_{\sigma }^{\prime },Y_{\sigma }^{\prime }\right).}](https://wikimedia.org/api/rest_v1/media/math/render/svg/b24858c0a0caa7d492e5273c97acd8bf426a6fe2)
In fact, every continuous bilinear form on
![{\displaystyle X_{\sigma }^{\prime }\times Y_{\sigma }^{\prime }}](https://wikimedia.org/api/rest_v1/media/math/render/svg/228e2921ca813105fd8c8c530651dc1a13b1f6de)
belongs to the span of this map's image (that is,
![{\displaystyle B\left(X_{\sigma }^{\prime },Y_{\sigma }^{\prime }\right)=\operatorname {span} (X\otimes Y)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/0fbe51d33b53ba2fb1ad407ca0ef392437bb58a4)
). The following theorem may be used to verify that
![{\displaystyle B\left(X_{\sigma }^{\prime },Y_{\sigma }^{\prime }\right)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/d06d4a8612839c0f7fe62f645f0c02571a54f007)
together with the above map
![{\displaystyle \,\otimes \,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/ed8512cf8a8dc7a8ab63d528e50537014e0f4f4a)
is a tensor product of
![{\displaystyle X}](https://wikimedia.org/api/rest_v1/media/math/render/svg/68baa052181f707c662844a465bfeeb135e82bab)
and
Theorem — Let
and
be vector spaces and let
be a bilinear map. Then
is a tensor product of
and
if and only if the image of
spans all of
(that is,
), and the vectors spaces
and
are
-linearly disjoint, which by definition means that for all sequences of elements
and
of the same finite length
satisfying
- if all
are linearly independent then all
are
and - if all
are linearly independent then all
are ![{\displaystyle 0.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/916e773e0593223c306a3e6852348177d1934962)
Equivalently,
and
are
-linearly disjoint if and only if for all linearly independent sequences
in
and all linearly independent sequences
in
the vectors
are linearly independent.
Topology
Henceforth, all topological vector spaces considered will be assumed to be locally convex. If
is any locally convex topological vector space, then
and for any equicontinuous subsets
and
and any neighborhood
in
define
![{\displaystyle {\mathcal {U}}(G,H,N)=\left\{b\in {\mathcal {B}}\left(X_{b}^{\prime },Y_{b}^{\prime };Z\right)~:~b(G,H)\subseteq N\right\}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/28639f4034d7a88ab1a816cbe5459e52f5d54295)
where every set
![{\displaystyle b(G\times H)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/c21affa865dbfac03aa3bbe2aeea4f047f587d45)
is bounded in
![{\displaystyle Z,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/8f923ae5bf14eb7ac2432711f736967c063e26d4)
which is necessary and sufficient for the collection of all
![{\displaystyle {\mathcal {U}}(G,H,N)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/8a842a4869e2eeec3ce484187a6c23645b33047d)
to form a locally convex TVS topology on
![{\displaystyle {\mathcal {B}}\left(X_{b}^{\prime },Y_{b}^{\prime };Z\right).}](https://wikimedia.org/api/rest_v1/media/math/render/svg/3529ce93d1544ccbe46dbb483dc722998f74134b)
This topology is called the
-topology and whenever a vector spaces is endowed with the
![{\displaystyle \varepsilon }](https://wikimedia.org/api/rest_v1/media/math/render/svg/a30c89172e5b88edbd45d3e2772c7f5e562e5173)
-topology then this will be indicated by placing
![{\displaystyle \varepsilon }](https://wikimedia.org/api/rest_v1/media/math/render/svg/a30c89172e5b88edbd45d3e2772c7f5e562e5173)
as a subscript before the opening parenthesis. For example,
![{\displaystyle {\mathcal {B}}\left(X_{b}^{\prime },Y_{b}^{\prime };Z\right)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/6b74c589bb1740692f9e5cea537b7d01230f2f47)
endowed with the
![{\displaystyle \varepsilon }](https://wikimedia.org/api/rest_v1/media/math/render/svg/a30c89172e5b88edbd45d3e2772c7f5e562e5173)
-topology will be denoted by
![{\displaystyle {\mathcal {B}}_{\varepsilon }\left(X_{b}^{\prime },Y_{b}^{\prime };Z\right).}](https://wikimedia.org/api/rest_v1/media/math/render/svg/2e91d72f6c3988c9d20748d5722282c8454b3a41)
If
![{\displaystyle Z}](https://wikimedia.org/api/rest_v1/media/math/render/svg/1cc6b75e09a8aa3f04d8584b11db534f88fb56bd)
is Hausdorff then so is the
![{\displaystyle \varepsilon }](https://wikimedia.org/api/rest_v1/media/math/render/svg/a30c89172e5b88edbd45d3e2772c7f5e562e5173)
-topology.
In the special case where
is the underlying scalar field,
is the tensor product
and so the topological vector space
is called the injective tensor product of
and
and it is denoted by
This TVS is not necessarily complete so its completion, denoted by
will be constructed. When all spaces are Hausdorff then
is complete if and only if both
and
are complete, in which case the completion
of
is a vector subspace of
If
and
are normed spaces then so is
where
is a Banach space if and only if this is true of both
and
Equicontinuous sets
One reason for converging on equicontinuous subsets (of all possibilities) is the following important fact:
- A set of continuous linear functionals
on a TVS
[note 1] is equicontinuous if and only if it is contained in the polar of some neighborhood
of the origin in
; that is, ![{\displaystyle H\subseteq U^{\circ }.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/9bd74b1e558db7e5a9a925dc2c524e305a0e562e)
A TVS's topology is completely determined by the open neighborhoods of the origin. This fact together with the bipolar theorem means that via the operation of taking the polar of a subset, the collection of all equicontinuous subsets of
"encodes" all information about
's given topology. Specifically, distinct locally convex TVS topologies on
produce distinct collections of equicontinuous subsets and conversely, given any such collection of equicontinuous sets, the TVS's original topology can be recovered by taking the polar of every (equicontinuous) set in the collection. Thus through this identification, uniform convergence on the collection of equicontinuous subsets is essentially uniform convergence on the very topology of the TVS; this allows one to directly relate the injective topology with the given topologies of
and
Furthermore, the topology of a locally convex Hausdorff space
is identical to the topology of uniform convergence on the equicontinuous subsets of
For this reason, the article now lists some properties of equicontinuous sets that are relevant for dealing with the injective tensor product. Throughout
and
are any locally convex space and
is a collection of linear maps from
into
- If
is equicontinuous then the subspace topologies that
inherits from the following topologies on
are identical: - the topology of precompact convergence;
- the topology of compact convergence;
- the topology of pointwise convergence;
- the topology of pointwise convergence on a given dense subset of
![{\displaystyle X.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/5ba76c5a460c4a0bb1639a193bc1830f0a773e03)
- An equicontinuous set
is bounded in the topology of bounded convergence (that is, bounded in
). So in particular,
will also bounded in every TVS topology that is coarser than the topology of bounded convergence. - If
is a barrelled space and
is locally convex then for any subset
the following are equivalent:
is equicontinuous;
is bounded in the topology of pointwise convergence (that is, bounded in
);
is bounded in the topology of bounded convergence (that is, bounded in
).
In particular, to show that a set
is equicontinuous it suffices to show that it is bounded in the topology of pointwise converge.
- If
is a Baire space then any subset
that is bounded in
is necessarily equicontinuous. - If
is separable,
is metrizable, and
is a dense subset of
then the topology of pointwise convergence on
makes
metrizable so that in particular, the subspace topology that any equicontinuous subset
inherits from
is metrizable.
For equicontinuous subsets of the continuous dual space
(where
is now the underlying scalar field of
), the following hold:
- The weak closure of an equicontinuous set of linear functionals on
is a compact subspace of ![{\displaystyle X_{\sigma }^{\prime }.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/7fdf484c00434dfc521d9d7156326897dca1af10)
- If
is separable then every weakly closed equicontinuous subset of
is a metrizable compact space when it is given the weak topology (that is, the subspace topology inherited from
). - If
is a normable space then a subset
is equicontinuous if and only if it is strongly bounded (that is, bounded in
). - If
is a barrelled space then for any subset
the following are equivalent:
is equicontinuous;
is relatively compact in the weak dual topology;
is weakly bounded;
is strongly bounded.
We mention some additional important basic properties relevant to the injective tensor product:
- Suppose that
is a bilinear map where
is a Fréchet space,
is metrizable, and
is locally convex. If
is separately continuous then it is continuous.
Canonical identification of separately continuous bilinear maps with linear maps
The set equality
always holds; that is, if
is a linear map, then
is continuous if and only if
is continuous, where here
has its original topology.
There also exists a canonical vector space isomorphism
![{\displaystyle J:{\mathcal {B}}\left(X_{\sigma \left(X^{\prime },X\right)}^{\prime },Y_{\sigma \left(Y^{\prime },Y\right)}^{\prime }\right)\to L\left(X_{\sigma \left(X^{\prime },X\right)}^{\prime };Y_{\sigma \left(Y,Y^{\prime }\right)}\right).}](https://wikimedia.org/api/rest_v1/media/math/render/svg/25fd20f33fd71a40ec785b23297433bd1936b1cc)
To define it, for every separately continuous bilinear form
![{\displaystyle B}](https://wikimedia.org/api/rest_v1/media/math/render/svg/47136aad860d145f75f3eed3022df827cee94d7a)
defined on
![{\displaystyle X_{\sigma \left(X^{\prime },X\right)}^{\prime }\times Y_{\sigma \left(Y^{\prime },Y\right)}^{\prime }}](https://wikimedia.org/api/rest_v1/media/math/render/svg/f480c20c456578ef045ae4feead22532f9fef743)
and every
![{\displaystyle x^{\prime }\in X^{\prime },}](https://wikimedia.org/api/rest_v1/media/math/render/svg/1dff786954b85503f3e4cda8a5aec745a094c61d)
let
![{\displaystyle B_{x^{\prime }}\in \left(Y_{\sigma }^{\prime }\right)^{\prime }}](https://wikimedia.org/api/rest_v1/media/math/render/svg/4bf7f05a3ccb76e749d0043d036a404bce4d88f2)
be defined by
![{\displaystyle B_{x^{\prime }}\left(y^{\prime }\right):=B\left(x^{\prime },y^{\prime }\right).}](https://wikimedia.org/api/rest_v1/media/math/render/svg/aa234c236c2ee9aaef5d42a7f1bb2526c3f6e769)
Because
![{\displaystyle \left(Y_{\sigma }^{\prime }\right)^{\prime }}](https://wikimedia.org/api/rest_v1/media/math/render/svg/63d412490fb74a1f2b73ac29677780ac2f5a8194)
is canonically vector space-isomorphic to
![{\displaystyle Y}](https://wikimedia.org/api/rest_v1/media/math/render/svg/961d67d6b454b4df2301ac571808a3538b3a6d3f)
(via the canonical map
![{\displaystyle y\mapsto }](https://wikimedia.org/api/rest_v1/media/math/render/svg/9daf9be56f9688c1f331ce83daab7afaf0e2b2c6)
value at
![{\displaystyle y}](https://wikimedia.org/api/rest_v1/media/math/render/svg/b8a6208ec717213d4317e666f1ae872e00620a0d)
),
![{\displaystyle B_{x^{\prime }}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/03092e4e51d057f0819a6a49265bf5317d15e312)
will be identified as an element of
![{\displaystyle Y,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/a3765557b7effa1a5f2f4dce9c80a25973b7009f)
which will be denoted by
![{\displaystyle {\tilde {B}}_{x^{\prime }}\in Y.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/bae0f352fdcab94cd264fa8828744c51357130ac)
This defines a map
![{\displaystyle {\tilde {B}}:X^{\prime }\to Y}](https://wikimedia.org/api/rest_v1/media/math/render/svg/c743a9312f5a26507e1c87afe6337ad26526ef29)
given by
![{\displaystyle x^{\prime }\mapsto {\tilde {B}}_{x^{\prime }}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/9f70f53cd18796411094762f0a00614f8ca3811a)
and so the canonical isomorphism is of course defined by
When
is given the topology of uniform convergence on equicontinous subsets of
the canonical map becomes a TVS-isomorphism
![{\displaystyle J:{\mathcal {B}}_{\varepsilon }\left(X_{\sigma }^{\prime },Y_{\sigma }^{\prime }\right)\to L_{\varepsilon }\left(X_{\tau }^{\prime };Y\right).}](https://wikimedia.org/api/rest_v1/media/math/render/svg/a29a62756d3e3c61d6ef3fe4ebf44b03ac11db76)
In particular,
![{\displaystyle X\otimes _{\varepsilon }Y=B_{\varepsilon }\left(X_{\sigma }^{\prime },Y_{\sigma }^{\prime }\right)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/d8eaf5e1d33dbfd25c330bde5d4db5cbadb34590)
can be canonically TVS-embedded into
![{\displaystyle L_{\varepsilon }\left(X_{\tau }^{\prime };Y\right)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/294b40adedbe64c5544cd71015b409d18b9dc812)
; furthermore the image in
![{\displaystyle L\left(X_{\sigma }^{\prime };Y_{\sigma }\right)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/af9e2d40f0a08262877a0f6cd312e3b384daf1ff)
of
![{\displaystyle X\otimes _{\varepsilon }Y=B_{\varepsilon }\left(X_{\sigma }^{\prime },Y_{\sigma }^{\prime }\right)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/d8eaf5e1d33dbfd25c330bde5d4db5cbadb34590)
under the canonical map
![{\displaystyle J}](https://wikimedia.org/api/rest_v1/media/math/render/svg/359e4f407b49910e02c27c2f52e87a36cd74c053)
consists exactly of the space of continuous linear maps
![{\displaystyle X_{\sigma \left(X^{\prime },X\right)}^{\prime }\to Y}](https://wikimedia.org/api/rest_v1/media/math/render/svg/0bb8a49c299fb616fb920f24d964c74d8d16a949)
whose image is finite dimensional.
The inclusion
always holds. If
is normed then
is in fact a topological vector subspace of
And if in addition
is Banach then so is
(even if
is not complete).
Properties
The canonical map
is always continuous and the ε-topology is always coarser than the π-topology, which is in turn coarser than the inductive topology (the finest locally convex TVS topology making
separately continuous). The space
is Hausdorff if and only if both
and
are Hausdorff.
If
and
are normed then
is normable in which case for all
Suppose that
and
are two linear maps between locally convex spaces. If both
and
are continuous then so is their tensor product
Moreover:
- If
and
are both TVS-embeddings then so is ![{\displaystyle u{\widehat {\otimes }}_{\varepsilon }v:X_{1}{\widehat {\otimes }}_{\varepsilon }X_{2}\to Y_{1}{\widehat {\otimes }}_{\varepsilon }Y_{2}.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/f49b929f192f77bea93531e0b7cfc4a74a4ea1d5)
- If
(resp.
) is a linear subspace of
(resp.
) then
is canonically isomorphic to a linear subspace of
and
is canonically isomorphic to a linear subspace of ![{\displaystyle X_{2}{\widehat {\otimes }}_{\varepsilon }Y_{2}.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/78a5f852461413d854a7726a79d3dacaf39ac398)
- There are examples of
and
such that both
and
are surjective homomorphisms but
is not a homomorphism. - If all four spaces are normed then
![{\displaystyle \|u\otimes v\|_{\varepsilon }=\|u\|\|v\|.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/a6d70ab21fa51eadce193ddd6b9646b6037da6cf)
Relation to projective tensor product and nuclear spaces
The projective topology or the
-topology is the finest locally convex topology on
that makes continuous the canonical map
defined by sending
to the bilinear form
When
is endowed with this topology then it will be denoted by
and called the projective tensor product of
and
The following definition was used by Grothendieck to define nuclear spaces.
Definition 0: Let
be a locally convex topological vector space. Then
is nuclear if for any locally convex space
the canonical vector space embedding
is an embedding of TVSs whose image is dense in the codomain.
Canonical identifications of bilinear and linear maps
In this section we describe canonical identifications between spaces of bilinear and linear maps. These identifications will be used to define important subspaces and topologies (particularly those that relate to nuclear operators and nuclear spaces).
Dual spaces of the injective tensor product and its completion
Suppose that
![{\displaystyle \operatorname {In} :X\otimes _{\varepsilon }Y\to X{\widehat {\otimes }}_{\varepsilon }Y}](https://wikimedia.org/api/rest_v1/media/math/render/svg/be8dac31f0ff16cd3a966043085b0e9dcb8a46dc)
denotes the TVS-embedding of
![{\displaystyle X\otimes _{\varepsilon }Y}](https://wikimedia.org/api/rest_v1/media/math/render/svg/6ee5357492d6e55dd71b77afcf0d6775e381229e)
into its completion and let
![{\displaystyle {}^{t}\operatorname {In} :\left(X{\widehat {\otimes }}_{\varepsilon }Y\right)_{b}^{\prime }\to \left(X\otimes _{\varepsilon }Y\right)_{b}^{\prime }}](https://wikimedia.org/api/rest_v1/media/math/render/svg/16e8da7236fa5f8aa818683b95acd40f50f9cab6)
be its
transpose, which is a vector space-isomorphism. This identifies the continuous dual space of
![{\displaystyle X\otimes _{\varepsilon }Y}](https://wikimedia.org/api/rest_v1/media/math/render/svg/6ee5357492d6e55dd71b77afcf0d6775e381229e)
as being identical to the continuous dual space of
The identity map
![{\displaystyle \operatorname {Id} _{X\otimes Y}:X\otimes _{\pi }Y\to X\otimes _{\varepsilon }Y}](https://wikimedia.org/api/rest_v1/media/math/render/svg/22cfa33e46003624bec53a592fea7b8543395f4b)
is continuous (by definition of the
π-topology) so there exists a unique continuous linear extension
![{\displaystyle {\hat {I}}:X{\widehat {\otimes }}_{\pi }Y\to X{\widehat {\otimes }}_{\varepsilon }Y.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/88b001cb4248552f52fc7716808557ae848731eb)
If
![{\displaystyle X}](https://wikimedia.org/api/rest_v1/media/math/render/svg/68baa052181f707c662844a465bfeeb135e82bab)
and
![{\displaystyle Y}](https://wikimedia.org/api/rest_v1/media/math/render/svg/961d67d6b454b4df2301ac571808a3538b3a6d3f)
are
Hilbert spaces then
![{\displaystyle {\hat {I}}:X{\widehat {\otimes }}_{\pi }Y\to X{\widehat {\otimes }}_{\varepsilon }Y}](https://wikimedia.org/api/rest_v1/media/math/render/svg/3be6b3df578cecbd64a193ec9c858562b0185751)
is injective and the dual of
![{\displaystyle X{\widehat {\otimes }}_{\varepsilon }Y}](https://wikimedia.org/api/rest_v1/media/math/render/svg/7027fdd6dc19c95e4ef3ee64baf6d38bf069797e)
is canonically isometrically isomorphic to the vector space
![{\displaystyle L^{1}\left(X;Y^{\prime }\right)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/1aa78e8cf972b069f84dc6b677da7f12bd9f025a)
of
nuclear operators from
![{\displaystyle X}](https://wikimedia.org/api/rest_v1/media/math/render/svg/68baa052181f707c662844a465bfeeb135e82bab)
into
![{\displaystyle Y}](https://wikimedia.org/api/rest_v1/media/math/render/svg/961d67d6b454b4df2301ac571808a3538b3a6d3f)
(with the trace norm).
Injective tensor product of Hilbert spaces
There is a canonical map
![{\displaystyle K:X\otimes Y\to L\left(X^{\prime };Y\right)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/b45dcb6885a9cae685d2ddc5667243f4e67091f0)
that sends
![{\displaystyle z=\sum _{i=1}^{n}x_{i}\otimes y_{i}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/09a8286a317c7dedd84db24655543af3099ea3a7)
to the linear map
![{\displaystyle K(z):X^{\prime }\to Y}](https://wikimedia.org/api/rest_v1/media/math/render/svg/f44987a7737b12a95b0f1b485bc0d08474cb3f53)
defined by
![{\displaystyle K(z)\left(x^{\prime }\right):=\sum _{i=1}^{n}x^{\prime }(x_{i})y_{i}\in Y,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/8209d10fdc3a053a93c9e73aeb8e42ece81d9393)
where it may be shown that the definition of
![{\displaystyle K(z):X\to Y}](https://wikimedia.org/api/rest_v1/media/math/render/svg/ede743c0b7b3c50c64ad35c9283bed1ffba3d2e6)
does not depend on the particular choice of representation
![{\textstyle \sum _{i=1}^{n}x_{i}\otimes y_{i}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/b6e9f5908e96fb7af64118902603de53c71f31ef)
of
![{\displaystyle z.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/fd7f273b229260c8fe9aa42378b0471336394cc2)
The map
![{\displaystyle K:X\otimes _{\varepsilon }Y\to L_{b}\left(X_{b}^{\prime };Y\right)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/e646f619bf1923fe6bb3748e2c90cc2633125cff)
is continuous and when
![{\displaystyle L_{b}\left(X_{b}^{\prime };Y\right)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/a27b94a8727c367c48cd42c77511be55bc1e1602)
is complete, it has a continuous extension
![{\displaystyle {\hat {K}}:X{\widehat {\otimes }}_{\varepsilon }Y\to L_{b}\left(X_{b}^{\prime };Y\right).}](https://wikimedia.org/api/rest_v1/media/math/render/svg/4a4e51ed4ca7f419da111972411b6402cc124de2)
When
and
are Hilbert spaces then
is a TVS-embedding and isometry (when the spaces are given their usual norms) whose range is the space of all compact linear operators from
into
(which is a closed vector subspace of
Hence
is identical to space of compact operators from
into
(note the prime on
). The space of compact linear operators between any two Banach spaces (which includes Hilbert spaces)
and
is a closed subset of
Furthermore, the canonical map
is injective when
and
are Hilbert spaces.
Integral forms and operators
Integral bilinear forms
Denote the identity map by
![{\displaystyle \operatorname {Id} :X\otimes _{\pi }Y\to X\otimes _{\varepsilon }Y}](https://wikimedia.org/api/rest_v1/media/math/render/svg/a4cb7dea7b005de1175c50a0940524abf47e25c6)
and let
![{\displaystyle {}^{t}\operatorname {Id} :\left(X\otimes _{\varepsilon }Y\right)_{b}^{\prime }\to \left(X\otimes _{\pi }Y\right)_{b}^{\prime }}](https://wikimedia.org/api/rest_v1/media/math/render/svg/fa2d94821cce0163292c389e30b843fc4c5dc971)
denote its
transpose, which is a continuous injection. Recall that
![{\displaystyle \left(X\otimes _{\pi }Y\right)^{\prime }}](https://wikimedia.org/api/rest_v1/media/math/render/svg/83f4e9456a72f964cb20668b25379012dd81e372)
is canonically identified with
![{\displaystyle B(X,Y),}](https://wikimedia.org/api/rest_v1/media/math/render/svg/ce273e1e5a2a0f228eba0dcbcc5c573092b860b8)
the space of continuous bilinear maps on
![{\displaystyle X\times Y.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/41f39ef78be28dc2b9015ff7f82e9a1ef719a9f4)
In this way, the continuous dual space of
![{\displaystyle X\otimes _{\varepsilon }Y}](https://wikimedia.org/api/rest_v1/media/math/render/svg/6ee5357492d6e55dd71b77afcf0d6775e381229e)
can be canonically identified as a subvector space of
![{\displaystyle B(X,Y),}](https://wikimedia.org/api/rest_v1/media/math/render/svg/ce273e1e5a2a0f228eba0dcbcc5c573092b860b8)
denoted by
![{\displaystyle J(X,Y).}](https://wikimedia.org/api/rest_v1/media/math/render/svg/6f1dba59b3bbba8004a11624ab6e1667f6d00b52)
The elements of
![{\displaystyle J(X,Y)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/0211ee45e15e55ec00ff0042f443823b2431055c)
are called
integral (
bilinear)
forms on
![{\displaystyle X\times Y.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/41f39ef78be28dc2b9015ff7f82e9a1ef719a9f4)
The following theorem justifies the word
integral.
Theorem — The dual
of
consists of exactly those continuous bilinear forms v on
that can be represented in the form of a map
![{\displaystyle b\in B(X,Y)\mapsto v(b)=\int _{S\times T}b{\big \vert }_{S\times T}\left(x^{\prime },y^{\prime }\right)\operatorname {d} \mu \left(x^{\prime },y^{\prime }\right)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/cf7af8aa3a13059c3dffccb3cc805ffca053b513)
where
![{\displaystyle S}](https://wikimedia.org/api/rest_v1/media/math/render/svg/4611d85173cd3b508e67077d4a1252c9c05abca2)
and
![{\displaystyle T}](https://wikimedia.org/api/rest_v1/media/math/render/svg/ec7200acd984a1d3a3d7dc455e262fbe54f7f6e0)
are some closed, equicontinuous subsets of
![{\displaystyle X_{\sigma }^{\prime }}](https://wikimedia.org/api/rest_v1/media/math/render/svg/d8bce51578ddbd1e55b3575e7e3ac53f0a70f3f7)
and
![{\displaystyle Y_{\sigma }^{\prime },}](https://wikimedia.org/api/rest_v1/media/math/render/svg/36b1661b7fb0d3e4ba79a1f80a75b621f7800e57)
respectively, and
![{\displaystyle \mu }](https://wikimedia.org/api/rest_v1/media/math/render/svg/9fd47b2a39f7a7856952afec1f1db72c67af6161)
is a positive
Radon measure on the compact set
![{\displaystyle S\times T}](https://wikimedia.org/api/rest_v1/media/math/render/svg/7d25dd1726c95ab55a9812e09f4a7610cbf25b5a)
with total mass
![{\displaystyle \leq 1.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/6aa331abdd3ac36cb99a5b04b5480c007d63f2aa)
Furthermore, if
![{\displaystyle A}](https://wikimedia.org/api/rest_v1/media/math/render/svg/7daff47fa58cdfd29dc333def748ff5fa4c923e3)
is an equicontinuous subset of
![{\displaystyle J(X,Y)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/0211ee45e15e55ec00ff0042f443823b2431055c)
then the elements
![{\displaystyle v\in A}](https://wikimedia.org/api/rest_v1/media/math/render/svg/e47413162b1047d7c55dcbef6c81881b64bae37f)
can be represented with
![{\displaystyle S\times T}](https://wikimedia.org/api/rest_v1/media/math/render/svg/7d25dd1726c95ab55a9812e09f4a7610cbf25b5a)
fixed and
![{\displaystyle \mu }](https://wikimedia.org/api/rest_v1/media/math/render/svg/9fd47b2a39f7a7856952afec1f1db72c67af6161)
running through a norm bounded subset of the space of
Radon measures on
Integral linear operators
Given a linear map
one can define a canonical bilinear form
called the associated bilinear form on
by
![{\displaystyle B_{\Lambda }\left(x,y^{\prime }\right):=\left(y^{\prime }\circ \Lambda \right)(x).}](https://wikimedia.org/api/rest_v1/media/math/render/svg/43d9b40d3cb259e7e1ad07a692c28e3dcf4d2d32)
A continuous map
![{\displaystyle \Lambda :X\to Y}](https://wikimedia.org/api/rest_v1/media/math/render/svg/96d41d2145f46e84e1b32735155e43d8a45ce728)
is called
integral if its associated bilinear form is an integral bilinear form. An integral map
![{\displaystyle \Lambda :X\to Y}](https://wikimedia.org/api/rest_v1/media/math/render/svg/96d41d2145f46e84e1b32735155e43d8a45ce728)
is of the form, for every
![{\displaystyle x\in X}](https://wikimedia.org/api/rest_v1/media/math/render/svg/3e580967f68f36743e894aa7944f032dda6ea01d)
and
![{\displaystyle \left\langle y^{\prime },\Lambda (x)\right\rangle =\int _{A^{\prime }\times B^{\prime \prime }}\left\langle x^{\prime },x\right\rangle \left\langle y^{\prime \prime },y^{\prime }\right\rangle \operatorname {d} \mu \left(x^{\prime },y^{\prime \prime }\right)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/6f12633e59b8c8cf168926cc3371b5fb5efa8b03)
for suitable weakly closed and equicontinuous subsets
![{\displaystyle A^{\prime }}](https://wikimedia.org/api/rest_v1/media/math/render/svg/6f9db61370bf443bcc8eb09aa0a01406998c42fb)
and
![{\displaystyle B^{\prime \prime }}](https://wikimedia.org/api/rest_v1/media/math/render/svg/8e3010aeb9434fe547360026e9ed3a7a0fcc2b1a)
of
![{\displaystyle X^{\prime }}](https://wikimedia.org/api/rest_v1/media/math/render/svg/d7a3a5819cc45f097de14b3ac5a8bedd902bc66d)
and
![{\displaystyle Y^{\prime \prime },}](https://wikimedia.org/api/rest_v1/media/math/render/svg/7656e001361de54fc4af9de51dd39da24d4ab03a)
respectively, and some positive Radon measure
![{\displaystyle \mu }](https://wikimedia.org/api/rest_v1/media/math/render/svg/9fd47b2a39f7a7856952afec1f1db72c67af6161)
of total mass
Canonical map into L(X; Y)
There is a canonical map
that sends
to the linear map
defined by
where it may be shown that the definition of
does not depend on the particular choice of representation
of
Examples
Space of summable families
Throughout this section we fix some arbitrary (possibly uncountable) set
a TVS
and we let
be the directed set of all finite subsets of
directed by inclusion
Let
be a family of elements in a TVS
and for every finite subset
let
We call
summable in
if the limit
of the net
converges in
to some element (any such element is called its sum). The set of all such summable families is a vector subspace of
denoted by
We now define a topology on
in a very natural way. This topology turns out to be the injective topology taken from
and transferred to
via a canonical vector space isomorphism (the obvious one). This is a common occurrence when studying the injective and projective tensor products of function/sequence spaces and TVSs: the "natural way" in which one would define (from scratch) a topology on such a tensor product is frequently equivalent to the injective or projective tensor product topology.
Let
denote a base of convex balanced neighborhoods of 0 in
and for each
let
denote its Minkowski functional. For any such
and any
let
![{\displaystyle q_{U}(x):=\sup _{x^{\prime }\in U^{\circ }}\sum _{\alpha \in A}\left|\left\langle x^{\prime },x_{\alpha }\right\rangle \right|}](https://wikimedia.org/api/rest_v1/media/math/render/svg/cc7fb04ce96d6aa5ad1e825364488f1c5987be6f)
where
![{\displaystyle q_{U}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/b3c4ab48f204c202b413aa5d1dfe79f3da6789fc)
defines a seminorm on
![{\displaystyle S.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/23bbb1f0f6ebdfa78b4fed06049640f7386bb44b)
The family of seminorms
![{\displaystyle \left\{q_{U}:U\in {\mathfrak {U}}\right\}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/13b9278b46a7eb44555c5c90966e36a7bc3ac131)
generates a topology making
![{\displaystyle S}](https://wikimedia.org/api/rest_v1/media/math/render/svg/4611d85173cd3b508e67077d4a1252c9c05abca2)
into a locally convex space. The vector space
![{\displaystyle S}](https://wikimedia.org/api/rest_v1/media/math/render/svg/4611d85173cd3b508e67077d4a1252c9c05abca2)
endowed with this topology will be denoted by
![{\displaystyle l^{1}(A,X).}](https://wikimedia.org/api/rest_v1/media/math/render/svg/6cd60dab3f0b45806d45f091d50a579b91aee4cf)
The special case where
![{\displaystyle X}](https://wikimedia.org/api/rest_v1/media/math/render/svg/68baa052181f707c662844a465bfeeb135e82bab)
is the scalar field will be denoted by
There is a canonical embedding of vector spaces
defined by linearizing the bilinear map
defined by
Theorem: — The canonical embedding (of vector spaces)
becomes an embedding of topological vector spaces
when
is given the injective topology and furthermore, its range is dense in its codomain. If
is a completion of
then the continuous extension
of this embedding
is an isomorphism of TVSs. So in particular, if
is complete then
is canonically isomorphic to
Space of continuously differentiable vector-valued functions
Throughout, let
be an open subset of
where
is an integer and let
be a locally convex topological vector space (TVS).
Definition Suppose
and
is a function such that
with
a limit point of
Say that
is differentiable at
if there exist
vectors
in
called the partial derivatives of
, such that
![{\displaystyle \lim _{\stackrel {p\to p^{0},}{p\in \operatorname {domain} f}}{\frac {f(p)-f\left(p^{0}\right)-\sum _{i=1}^{n}(p_{i}-p_{i}^{0})e_{i}}{\left\|p-p^{0}\right\|_{2}}}=0{\text{ in }}Y}](https://wikimedia.org/api/rest_v1/media/math/render/svg/2e37b0cb47ef1e6738608293d101ef6ae7f4366b)
where
One may naturally extend the notion of continuously differentiable function to
-valued functions defined on
For any
let
denote the vector space of all
-valued maps defined on
and let
denote the vector subspace of
consisting of all maps in
that have compact support.
One may then define topologies on
and
in the same manner as the topologies on
and
are defined for the space of distributions and test functions (see the article: Differentiable vector-valued functions from Euclidean space). All of this work in extending the definition of differentiability and various topologies turns out to be exactly equivalent to simply taking the completed injective tensor product:
Spaces of continuous maps from a compact space
If
is a normed space and if
is a compact set, then the
-norm on
is equal to
If
and
are two compact spaces, then
where this canonical map is an isomorphism of Banach spaces.
Spaces of sequences converging to 0
If
is a normed space, then let
denote the space of all sequences
in
that converge to the origin and give this space the norm
Let
denote
Then for any Banach space
is canonically isometrically isomorphic to
Schwartz space of functions
We will now generalize the Schwartz space to functions valued in a TVS. Let
be the space of all
such that for all pairs of polynomials
and
in
variables,
is a bounded subset of
To generalize the topology of the Schwartz space to
we give
the topology of uniform convergence over
of the functions
as
and
vary over all possible pairs of polynomials in
variables.
See also
Notes
- ^ This is true even if
is not assumed to be Hausdorff or locally convex.
References
Bibliography
- Diestel, Joe (2008). The metric theory of tensor products : Grothendieck's résumé revisited. Providence, R.I: American Mathematical Society. ISBN 978-0-8218-4440-3. OCLC 185095773.
- Dubinsky, Ed (1979). The structure of nuclear Fréchet spaces. Berlin New York: Springer-Verlag. ISBN 3-540-09504-7. OCLC 5126156.
- Grothendieck, Grothendieck (1966). Produits tensoriels topologiques et espaces nucléaires (in French). Providence: American Mathematical Society. ISBN 0-8218-1216-5. OCLC 1315788.
- Husain, Taqdir (1978). Barrelledness in topological and ordered vector spaces. Berlin New York: Springer-Verlag. ISBN 3-540-09096-7. OCLC 4493665.
- Khaleelulla, S. M. (1982). Counterexamples in Topological Vector Spaces. Lecture Notes in Mathematics. Vol. 936. Berlin, Heidelberg, New York: Springer-Verlag. ISBN 978-3-540-11565-6. OCLC 8588370.
- Narici, Lawrence; Beckenstein, Edward (2011). Topological Vector Spaces. Pure and applied mathematics (Second ed.). Boca Raton, FL: CRC Press. ISBN 978-1584888666. OCLC 144216834.
- Nlend, H (1977). Bornologies and functional analysis : introductory course on the theory of duality topology-bornology and its use in functional analysis. Amsterdam New York New York: North-Holland Pub. Co. Sole distributors for the U.S.A. and Canada, Elsevier-North Holland. ISBN 0-7204-0712-5. OCLC 2798822.
- Nlend, H (1981). Nuclear and conuclear spaces : introductory courses on nuclear and conuclear spaces in the light of the duality. Amsterdam New York New York, N.Y: North-Holland Pub. Co. Sole distributors for the U.S.A. and Canada, Elsevier North-Holland. ISBN 0-444-86207-2. OCLC 7553061.
- Pietsch, Albrecht (1972). Nuclear locally convex spaces. Berlin, New York: Springer-Verlag. ISBN 0-387-05644-0. OCLC 539541.
- Robertson, A. P. (1973). Topological vector spaces. Cambridge England: University Press. ISBN 0-521-29882-2. OCLC 589250.
- Ryan, Raymond (2002). Introduction to tensor products of Banach spaces. London New York: Springer. ISBN 1-85233-437-1. OCLC 48092184.
- Schaefer, Helmut H.; Wolff, Manfred P. (1999). Topological Vector Spaces. GTM. Vol. 8 (Second ed.). New York, NY: Springer New York Imprint Springer. ISBN 978-1-4612-7155-0. OCLC 840278135.
- Trèves, François (2006) [1967]. Topological Vector Spaces, Distributions and Kernels. Mineola, N.Y.: Dover Publications. ISBN 978-0-486-45352-1. OCLC 853623322.
- Wong (1979). Schwartz spaces, nuclear spaces, and tensor products. Berlin New York: Springer-Verlag. ISBN 3-540-09513-6. OCLC 5126158.
External links