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 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 [math]\displaystyle{ Y }[/math] without any need to extend definitions (such as "differentiable at a point") from real/complex-valued functions to [math]\displaystyle{ Y }[/math]-valued functions.

Preliminaries and notation

Throughout let [math]\displaystyle{ X, Y, }[/math] and [math]\displaystyle{ Z }[/math] be topological vector spaces and [math]\displaystyle{ L : X \to Y }[/math] be a linear map.

• [math]\displaystyle{ L : X \to Y }[/math] is a topological homomorphism or homomorphism, if it is linear, continuous, and [math]\displaystyle{ L : X \to \operatorname{Im} L }[/math] is an open map, where [math]\displaystyle{ \operatorname{Im} L = L(X) }[/math] has the subspace topology induced by [math]\displaystyle{ Y }[/math]
  • If [math]\displaystyle{ S }[/math] is a subspace of [math]\displaystyle{ X }[/math] then both the quotient map [math]\displaystyle{ X \to X / S }[/math] and the canonical injection [math]\displaystyle{ S \to X }[/math] are homomorphisms. In particular, any linear map [math]\displaystyle{ L : X \to Y }[/math] can be canonically decomposed as follows: [math]\displaystyle{ X \to X / \ker L \overset{L_0}\rightarrow \operatorname{Im} L \to Y }[/math] where [math]\displaystyle{ L_0(x + \ker L) := L (x) }[/math] defines a bijection.
• The set of continuous linear maps [math]\displaystyle{ X \to Z }[/math] (resp. continuous bilinear maps [math]\displaystyle{ X \times Y \to Z }[/math]) will be denoted by [math]\displaystyle{ L(X; Z) }[/math] (resp. [math]\displaystyle{ B(X, Y; Z) }[/math]) where if [math]\displaystyle{ Z }[/math] is the scalar field then we may instead write [math]\displaystyle{ L(X) }[/math] (resp. [math]\displaystyle{ B(X, Y) }[/math]).
• The set of separately continuous bilinear maps [math]\displaystyle{ X \times Y \to Z }[/math] (that is, continuous in each variable when the other variable is fixed) will be denoted by [math]\displaystyle{ \mathcal{B}(X, Y; Z) }[/math] where if [math]\displaystyle{ Z }[/math] is the scalar field then we may instead write [math]\displaystyle{ \mathcal{B}(X, Y). }[/math]
• We will denote the continuous dual space of [math]\displaystyle{ X }[/math] by [math]\displaystyle{ X^{\prime} }[/math] and the algebraic dual space (which is the vector space of all linear functionals on [math]\displaystyle{ X, }[/math] whether continuous or not) by [math]\displaystyle{ X^{\#}. }[/math]
  • To increase the clarity of the exposition, we use the common convention of writing elements of [math]\displaystyle{ X^{\prime} }[/math] with a prime following the symbol (for example, [math]\displaystyle{ x^{\prime} }[/math] denotes an element of [math]\displaystyle{ X^{\prime} }[/math] and not, say, a derivative and the variables [math]\displaystyle{ x }[/math] and [math]\displaystyle{ x^{\prime} }[/math] need not be related in any way).

Notation for topologies

• [math]\displaystyle{ \sigma\left(X, X^{\prime}\right) }[/math] denotes the coarsest topology on [math]\displaystyle{ X }[/math] making every map in [math]\displaystyle{ X^{\prime} }[/math] continuous and [math]\displaystyle{ X_{\sigma\left(X, X^{\prime}\right)} }[/math] or [math]\displaystyle{ X_\sigma }[/math] denotes [math]\displaystyle{ X }[/math] endowed with this topology.
• [math]\displaystyle{ \sigma\left(X^{\prime}, X\right) }[/math] denotes weak-* topology on [math]\displaystyle{ X^{\prime} }[/math] and [math]\displaystyle{ X_{\sigma\left(X^{\prime}, X\right)} }[/math] or [math]\displaystyle{ X^{\prime}_\sigma }[/math] denotes [math]\displaystyle{ X^{\prime} }[/math] endowed with this topology.
  • Note that every [math]\displaystyle{ x_0 \in X }[/math] induces a map [math]\displaystyle{ X^{\prime} \to \R }[/math] defined by [math]\displaystyle{ \lambda \mapsto \lambda \left(x_0\right). }[/math] [math]\displaystyle{ \sigma\left(X^{\prime}, X\right) }[/math] is the coarsest topology on X′ making all such maps continuous.
• [math]\displaystyle{ b\left(X, X^{\prime}\right) }[/math] denotes the topology of bounded convergence on [math]\displaystyle{ X }[/math] and [math]\displaystyle{ X_{b\left(X, X^{\prime}\right)} }[/math] or [math]\displaystyle{ X_b }[/math] denotes [math]\displaystyle{ X }[/math] endowed with this topology.
• [math]\displaystyle{ b\left(X^{\prime}, X\right) }[/math] denotes the topology of bounded convergence on [math]\displaystyle{ X^{\prime} }[/math] or the strong dual topology on [math]\displaystyle{ X^{\prime} }[/math] and [math]\displaystyle{ X_{b\left(X^{\prime}, X\right)} }[/math] or [math]\displaystyle{ X^{\prime}_b }[/math] denotes [math]\displaystyle{ X^{\prime} }[/math] endowed with this topology.
  • As usual, if [math]\displaystyle{ X^{\prime} }[/math] 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 [math]\displaystyle{ b\left(X^{\prime}, X\right). }[/math]
• [math]\displaystyle{ \tau\left(X, X^{\prime}\right) }[/math] denotes the Mackey topology on [math]\displaystyle{ X }[/math] or the topology of uniform convergence on the convex balanced weakly compact subsets of [math]\displaystyle{ X^\prime }[/math] and [math]\displaystyle{ X_{\tau\left(X, X^{\prime}\right)} }[/math] or [math]\displaystyle{ X_\tau }[/math] denotes [math]\displaystyle{ X }[/math] endowed with this topology. [math]\displaystyle{ \tau(X, X^{\prime}) }[/math] is the finest locally convex TVS topology on [math]\displaystyle{ X }[/math] whose continuous dual space is equal to [math]\displaystyle{ X^{\prime}. }[/math]
• [math]\displaystyle{ \tau\left(X^{\prime}, X\right) }[/math] denotes the Mackey topology on [math]\displaystyle{ X^{\prime} }[/math] or the topology of uniform convergence on the convex balanced weakly compact subsets of [math]\displaystyle{ X }[/math] and [math]\displaystyle{ X_{\tau\left(X^{\prime}, X\right)} }[/math] or [math]\displaystyle{ X^{\prime}_\tau }[/math] denotes [math]\displaystyle{ X }[/math] endowed with this topology.
  • Note that [math]\displaystyle{ \tau\left(X^{\prime}, X\right) \subseteq b\left(X^{\prime}, X\right) \subseteq \tau \left(X^{\prime}, X^{\prime\prime}\right). }[/math]
• [math]\displaystyle{ \varepsilon\left(X, X^{\prime}\right) }[/math] denotes the topology of uniform convergence on equicontinuous subsets of [math]\displaystyle{ X^{\prime} }[/math] and [math]\displaystyle{ X_{\varepsilon\left(X, X^{\prime}\right)} }[/math] or [math]\displaystyle{ X_\varepsilon }[/math] denotes [math]\displaystyle{ X }[/math] endowed with this topology.
  • If [math]\displaystyle{ H }[/math] is a set of linear mappings [math]\displaystyle{ X \to Y }[/math] then [math]\displaystyle{ H }[/math] is equicontinuous if and only if it is equicontinuous at the origin; that is, if and only if for every neighborhood [math]\displaystyle{ V }[/math] of the origin in [math]\displaystyle{ Y, }[/math] there exists a neighborhood [math]\displaystyle{ U }[/math] of the origin in [math]\displaystyle{ X }[/math] such that [math]\displaystyle{ \lambda(U) \subseteq V }[/math] for every [math]\displaystyle{ \lambda \in H. }[/math]
• A set [math]\displaystyle{ H }[/math] of linear maps from [math]\displaystyle{ X }[/math] to [math]\displaystyle{ Y }[/math] is called equicontinuous if for every neighborhood [math]\displaystyle{ V }[/math] of the origin in [math]\displaystyle{ Y, }[/math] there exists a neighborhood [math]\displaystyle{ U }[/math] of the origin in [math]\displaystyle{ X }[/math] such that [math]\displaystyle{ h(U) \subseteq V }[/math] for all [math]\displaystyle{ h \in H. }[/math]

Definition

Throughout let [math]\displaystyle{ X }[/math] and [math]\displaystyle{ Y }[/math] be topological vector spaces with continuous dual spaces [math]\displaystyle{ X^\prime }[/math] and [math]\displaystyle{ Y^\prime. }[/math] Note that almost all results described are independent of whether these vector spaces are over [math]\displaystyle{ \R }[/math] or [math]\displaystyle{ \Complex }[/math] but to simplify the exposition we will assume that they are over the field [math]\displaystyle{ \Complex. }[/math]

Continuous bilinear maps as a tensor product

Despite the fact that the tensor product [math]\displaystyle{ X \otimes Y }[/math] is a purely algebraic construct (its definition does not involve any topologies), the vector space [math]\displaystyle{ B\left(X^\prime_\sigma, Y^\prime_\sigma\right) }[/math] of continuous bilinear functionals is nevertheless always a tensor product of [math]\displaystyle{ X }[/math] and [math]\displaystyle{ Y }[/math] (that is, [math]\displaystyle{ B\left(X^\prime_\sigma, Y^\prime_\sigma\right) = X \otimes Y }[/math]) when [math]\displaystyle{ \,\otimes\, }[/math] is defined in the manner now described.

For every [math]\displaystyle{ (x, y) \in X \times Y, }[/math] let [math]\displaystyle{ x \otimes y }[/math] denote the bilinear form on [math]\displaystyle{ X^\prime \times Y^\prime }[/math] defined by [math]\displaystyle{ (x \otimes y) \left(x^\prime, y^\prime\right) := x^\prime(x) y^\prime(y). }[/math] This map [math]\displaystyle{ x \otimes y : X^\prime_\sigma \times Y^\prime_\sigma \to \Complex }[/math] is always continuous and so the assignment that sends [math]\displaystyle{ (x, y) \in X \times Y }[/math] to the bilinear form [math]\displaystyle{ x \otimes y }[/math] induces a canonical map [math]\displaystyle{ \cdot \,\otimes\, \cdot\; : \;X \times Y \to \mathcal{B}\left(X^\prime_\sigma, Y^\prime_\sigma\right) }[/math] whose image [math]\displaystyle{ X \otimes Y }[/math] is contained in [math]\displaystyle{ B\left(X^\prime_\sigma, Y^\prime_\sigma\right). }[/math] In fact, every continuous bilinear form on [math]\displaystyle{ X^\prime_\sigma \times Y^\prime_\sigma }[/math] belongs to the span of this map's image (that is, [math]\displaystyle{ B\left(X^\prime_\sigma, Y^\prime_\sigma\right) = (\operatorname{span} X \otimes Y) }[/math]). The following theorem may be used to verify that [math]\displaystyle{ B\left(X^\prime_\sigma, Y^\prime_\sigma\right) }[/math] together with the above map [math]\displaystyle{ \,\otimes\, }[/math] is a tensor product of [math]\displaystyle{ X }[/math] and [math]\displaystyle{ Y. }[/math]

Theorem — Let [math]\displaystyle{ X, Y, }[/math] and [math]\displaystyle{ Z }[/math] be vector spaces and let [math]\displaystyle{ T : X \times Y \to Z }[/math] be a bilinear map. Then [math]\displaystyle{ (Z, T) }[/math] is a tensor product of [math]\displaystyle{ X }[/math] and [math]\displaystyle{ Y }[/math] if and only if the image of [math]\displaystyle{ T }[/math] spans all of [math]\displaystyle{ Z }[/math] (that is, [math]\displaystyle{ Z = \operatorname{span} T(X \times Y) }[/math]), and the vectors spaces [math]\displaystyle{ X }[/math] and [math]\displaystyle{ Y }[/math] are [math]\displaystyle{ T }[/math]-linearly disjoint, which by definition means that for all sequences of elements [math]\displaystyle{ x_1, \ldots, x_n \in X }[/math] and [math]\displaystyle{ y_1, \ldots, y_n \in Y }[/math] of the same finite length [math]\displaystyle{ n \geq 1 }[/math] satisfying [math]\displaystyle{ 0 = T\left(x_1, y_1\right) + \cdots + T\left(x_n, y_n\right), }[/math]

1. if all [math]\displaystyle{ x_1, \ldots, x_n }[/math] are linearly independent then all [math]\displaystyle{ y_i }[/math] are [math]\displaystyle{ 0, }[/math] and
2. if all [math]\displaystyle{ y_1, \ldots, y_n }[/math] are linearly independent then all [math]\displaystyle{ x_i }[/math] are [math]\displaystyle{ 0. }[/math]

Equivalently, [math]\displaystyle{ X }[/math] and [math]\displaystyle{ Y }[/math] are [math]\displaystyle{ T }[/math]-linearly disjoint if and only if for all linearly independent sequences [math]\displaystyle{ x_1, \ldots, x_m }[/math] in [math]\displaystyle{ X }[/math] and all linearly independent sequences [math]\displaystyle{ y_1, \ldots, y_n }[/math] in [math]\displaystyle{ Y, }[/math] the vectors [math]\displaystyle{ \left\{T\left(x_i, y_j\right) : 1 \leq i \leq m, 1 \leq j \leq n\right\} }[/math] are linearly independent.

Topology

Henceforth, all topological vector spaces considered will be assumed to be locally convex. If [math]\displaystyle{ Z }[/math] is any locally convex topological vector space, then [math]\displaystyle{ \mathcal{B}\left(X^\prime_\sigma, Y^\prime_\sigma; Z\right)~\subseteq~ \mathcal{B}\left(X^\prime_b, Y^\prime_b; Z\right) }[/math] and for any equicontinuous subsets [math]\displaystyle{ G \subseteq X^\prime }[/math] and [math]\displaystyle{ H \subseteq Y^\prime, }[/math] and any neighborhood [math]\displaystyle{ N }[/math] in [math]\displaystyle{ Z, }[/math] define [math]\displaystyle{ \mathcal{U}(G, H, N) = \left\{b \in \mathcal{B}\left(X^\prime_b, Y^\prime_b; Z\right) ~:~ b(G, H) \subseteq N\right\} }[/math] where every set [math]\displaystyle{ b(G, H) }[/math] is bounded in [math]\displaystyle{ Z, }[/math] which is necessary and sufficient for the collection of all [math]\displaystyle{ \mathcal{U}(G, H, N) }[/math] to form a locally convex TVS topology on [math]\displaystyle{ \mathcal{B}\left(X^\prime_b, Y^\prime_b; Z\right). }[/math] This topology is called the [math]\displaystyle{ \varepsilon }[/math]-topology and whenever a vector spaces is endowed with the [math]\displaystyle{ \varepsilon }[/math]-topology then this will be indicated by placing [math]\displaystyle{ \varepsilon }[/math] as a subscript before the opening parenthesis. For example, [math]\displaystyle{ \mathcal{B}\left(X^\prime_b, Y^\prime_b; Z\right) }[/math] endowed with the [math]\displaystyle{ \varepsilon }[/math]-topology will be denoted by [math]\displaystyle{ \mathcal{B}_\varepsilon\left(X^\prime_b, Y^\prime_b; Z\right). }[/math] If [math]\displaystyle{ Z }[/math] is Hausdorff then so is the [math]\displaystyle{ \varepsilon }[/math]-topology.

In the special case where [math]\displaystyle{ Z }[/math] is the underlying scalar field, [math]\displaystyle{ B\left(X^\prime_\sigma, Y^\prime_\sigma\right) }[/math] is the tensor product [math]\displaystyle{ X \otimes Y }[/math] and so the topological vector space [math]\displaystyle{ B_\varepsilon\left(X^\prime_\sigma, Y^\prime_\sigma\right) }[/math] is called the injective tensor product of [math]\displaystyle{ X }[/math] and [math]\displaystyle{ Y }[/math] and it is denoted by [math]\displaystyle{ X \otimes_\varepsilon Y. }[/math] This TVS is not necessarily complete so its completion, denoted by [math]\displaystyle{ X \widehat{\otimes}_\varepsilon Y, }[/math] will be constructed. When all spaces are Hausdorff then [math]\displaystyle{ \mathcal{B}_\varepsilon\left(X^\prime_\sigma, Y^\prime_\sigma\right) }[/math] is complete if and only if both [math]\displaystyle{ X }[/math] and [math]\displaystyle{ Y }[/math] are complete, in which case the completion [math]\displaystyle{ X \widehat{\otimes}_\varepsilon Y }[/math] of [math]\displaystyle{ B_\varepsilon\left(X^\prime_\sigma, Y^\prime_\sigma\right) }[/math] is a vector subspace of [math]\displaystyle{ \mathcal{B}\left(X^\prime_\sigma, Y^\prime_\sigma\right). }[/math] If [math]\displaystyle{ X }[/math] and [math]\displaystyle{ Y }[/math] are normed spaces then so is [math]\displaystyle{ \mathcal{B}_\varepsilon\left(X^\prime_\sigma, Y^\prime_\sigma\right), }[/math] where [math]\displaystyle{ \mathcal{B}_\varepsilon\left(X^\prime_\sigma, Y^\prime_\sigma\right) }[/math] is a Banach space if and only if this is true of both [math]\displaystyle{ X }[/math] and [math]\displaystyle{ Y. }[/math]

Equicontinuous sets

One reason for converging on equicontinuous subsets (of all possibilities) is the following important fact:

A set of continuous linear functionals [math]\displaystyle{ H }[/math] on a TVS [math]\displaystyle{ X }[/math] is equicontinuous if and only if it is contained in the polar of some neighborhood [math]\displaystyle{ U }[/math] of the origin in [math]\displaystyle{ X }[/math]; that is, [math]\displaystyle{ H \subseteq U^\circ. }[/math]

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 [math]\displaystyle{ X^\prime }[/math] "encodes" all information about [math]\displaystyle{ X }[/math]'s given topology. Specifically, distinct locally convex TVS topologies on [math]\displaystyle{ X }[/math] 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 [math]\displaystyle{ X }[/math] and [math]\displaystyle{ Y. }[/math] Furthermore, the topology of a locally convex Hausdorff space [math]\displaystyle{ X }[/math] is identical to the topology of uniform convergence on the equicontinuous subsets of [math]\displaystyle{ X^\prime. }[/math]

For this reason, the article now lists some properties of equicontinuous sets that are relevant for dealing with the injective tensor product. Throughout [math]\displaystyle{ X }[/math] and [math]\displaystyle{ Y }[/math] are arbitrary TVSs and [math]\displaystyle{ H }[/math] is a collection of linear maps from [math]\displaystyle{ X }[/math] into [math]\displaystyle{ Y. }[/math]

• If [math]\displaystyle{ H \subseteq L(X; Y) }[/math] is equicontinuous then the subspace topologies that [math]\displaystyle{ H }[/math] inherits from the following topologies on [math]\displaystyle{ L(X; Y) }[/math] are identical:
  1. the topology of precompact convergence;
  2. the topology of compact convergence;
  3. the topology of pointwise convergence;
  4. the topology of pointwise convergence on a given dense subset of [math]\displaystyle{ X. }[/math]
• An equicontinuous set [math]\displaystyle{ H \subseteq L(X; Y) }[/math] is bounded in the topology of bounded convergence (that is, bounded in [math]\displaystyle{ L_b(X; Y) }[/math]). So in particular, [math]\displaystyle{ H }[/math] will also bounded in every TVS topology that is coarser than the topology of bounded convergence.
• If [math]\displaystyle{ X }[/math] is a barrelled space and [math]\displaystyle{ Y }[/math] is locally convex then for any subset [math]\displaystyle{ H \subseteq L(X; Y), }[/math] the following are equivalent:
  1. [math]\displaystyle{ H }[/math] is equicontinuous;
  2. [math]\displaystyle{ H }[/math] is bounded in the topology of pointwise convergence (that is, bounded in [math]\displaystyle{ L_{\sigma}(X; Y) }[/math]);
  3. [math]\displaystyle{ H }[/math] is bounded in the topology of bounded convergence (that is, bounded in [math]\displaystyle{ L_b(X; Y) }[/math]).

In particular, to show that a set [math]\displaystyle{ H }[/math] is equicontinuous it suffices to show that it is bounded in the topology of pointwise converge.

• If [math]\displaystyle{ X }[/math] is a Baire space then any subset [math]\displaystyle{ H \subseteq L(X; Y) }[/math] that is bounded in [math]\displaystyle{ L_\sigma(X; Y) }[/math] is necessarily equicontinuous.
• If [math]\displaystyle{ X }[/math] is separable, [math]\displaystyle{ Y }[/math] is metrizable, and [math]\displaystyle{ D }[/math] is a dense subset of [math]\displaystyle{ X, }[/math] then the topology of pointwise convergence on [math]\displaystyle{ D }[/math] makes [math]\displaystyle{ L(X; Y) }[/math] metrizable so that in particular, the subspace topology that any equicontinuous subset [math]\displaystyle{ H \subseteq L(X; Y) }[/math] inherits from [math]\displaystyle{ L_\sigma(X; Y) }[/math] is metrizable.

For equicontinuous subsets of the continuous dual space [math]\displaystyle{ X^\prime }[/math] (where [math]\displaystyle{ Y }[/math] is now the underlying scalar field of [math]\displaystyle{ X }[/math]), the following hold:

• The weak closure of an equicontinuous set of linear functionals on [math]\displaystyle{ X }[/math] is a compact subspace of [math]\displaystyle{ X_\sigma^\prime. }[/math]
• If [math]\displaystyle{ X }[/math] is separable then every weakly closed equicontinuous subset of [math]\displaystyle{ X_\sigma^\prime }[/math] is a metrizable compact space when it is given the weak topology (that is, the subspace topology inherited from [math]\displaystyle{ X_\sigma^\prime }[/math]).
• If [math]\displaystyle{ X }[/math] is a normable space then a subset [math]\displaystyle{ H \subseteq X^\prime }[/math] is equicontinuous if and only if it is strongly bounded (that is, bounded in [math]\displaystyle{ X_b^\prime }[/math]).
• If [math]\displaystyle{ X }[/math] is a barrelled space then for any subset [math]\displaystyle{ H \subseteq X^\prime, }[/math] the following are equivalent:
  1. [math]\displaystyle{ H }[/math] is equicontinuous;
  2. [math]\displaystyle{ H }[/math] is relatively compact in the weak dual topology;
  3. [math]\displaystyle{ H }[/math] is weakly bounded;
  4. [math]\displaystyle{ H }[/math] is strongly bounded.

We mention some additional important basic properties relevant to the injective tensor product:

• Suppose that [math]\displaystyle{ B : X_1 \times X_2 \to Y }[/math] is a bilinear map where [math]\displaystyle{ X_1 }[/math] is a Fréchet space, [math]\displaystyle{ X_2 }[/math] is metrizable, and [math]\displaystyle{ Y }[/math] is locally convex. If [math]\displaystyle{ B }[/math] is separately continuous then it is continuous.

Canonical identification of separately continuous bilinear maps with linear maps

The set equality [math]\displaystyle{ L\left(X^\prime_\sigma; Y_\sigma\right) = L\left(X^\prime_\tau; Y\right) }[/math] always holds; that is, if [math]\displaystyle{ u : X^\prime \to Y }[/math] is a linear map, then [math]\displaystyle{ u : X^\prime_{\sigma\left(X^\prime, X\right)} \to Y_{\sigma\left(Y, Y^\prime\right)} }[/math] is continuous if and only if [math]\displaystyle{ u : X^\prime_{\tau\left(X^\prime, X\right)} \to Y }[/math] is continuous, where here [math]\displaystyle{ Y }[/math] has its original topology.

There also exists a canonical vector space isomorphism [math]\displaystyle{ J : \mathcal{B}\left(X^\prime_{\sigma\left(X^\prime, X\right)}, Y^\prime_{\sigma\left(Y^\prime, Y\right)}\right) \to L\left(X^\prime_{\sigma \left(X^\prime, X\right)}; Y_{\sigma \left(Y, Y^\prime\right)}\right). }[/math] To define it, for every separately continuous bilinear form [math]\displaystyle{ B }[/math] defined on [math]\displaystyle{ X^\prime_{\sigma\left(X^\prime, X\right)} \times Y^\prime_{\sigma\left(Y^\prime, Y\right)} }[/math] and every [math]\displaystyle{ x^\prime \in X^\prime, }[/math] let [math]\displaystyle{ B_{x^\prime} \in \left(Y_\sigma^\prime\right)^\prime }[/math] be defined by [math]\displaystyle{ B_{x^\prime}\left(y^\prime\right) := B\left(x^\prime, y^\prime\right). }[/math] Because [math]\displaystyle{ \left(Y_\sigma^\prime\right)^\prime }[/math] is canonically vector space-isomorphic to [math]\displaystyle{ Y }[/math] (via the canonical map [math]\displaystyle{ y \mapsto }[/math] value at [math]\displaystyle{ y }[/math]), [math]\displaystyle{ B_{x^\prime} }[/math] will be identified as an element of [math]\displaystyle{ Y, }[/math] which will be denoted by [math]\displaystyle{ \tilde{B}_{x^\prime} \in Y. }[/math] This defines a map [math]\displaystyle{ \tilde{B} : X^\prime \to Y }[/math] given by [math]\displaystyle{ x^\prime \mapsto \tilde{B}_{x^\prime} }[/math] and so the canonical isomorphism is of course defined by [math]\displaystyle{ J(B) := \tilde{B}. }[/math]

When [math]\displaystyle{ L\left(X^\sigma_\sigma; Y_\sigma\right) }[/math] is given the topology of uniform convergence on equicontinous subsets of [math]\displaystyle{ X^\prime, }[/math] the canonical map becomes a TVS-isomorphism [math]\displaystyle{ J : \mathcal{B}_\varepsilon\left(X^\prime_\sigma, Y^\prime_\sigma\right) \to L_\varepsilon\left(X^\prime_\tau; Y\right). }[/math] In particular, [math]\displaystyle{ X \otimes_\varepsilon Y = B_\varepsilon\left(X^\prime_\sigma, Y^\prime_\sigma\right) }[/math] can be canonically TVS-embedded into [math]\displaystyle{ L_\varepsilon\left(X^\prime_\tau; Y\right) }[/math]; furthermore the image in [math]\displaystyle{ L\left(X^\prime_\sigma; Y_\sigma\right) }[/math] of [math]\displaystyle{ X \otimes_\varepsilon Y = B_\varepsilon\left(X^\prime_\sigma, Y^\prime_\sigma\right) }[/math] under the canonical map [math]\displaystyle{ J }[/math] consists exactly of the space of continuous linear maps [math]\displaystyle{ X^\prime_{\sigma\left(X^\prime, X\right)} \to Y }[/math] whose image is finite dimensional.

The inclusion [math]\displaystyle{ L\left(X^\prime_\tau; Y\right) \subseteq L\left(X^\prime_b; Y\right) }[/math] always holds. If [math]\displaystyle{ X }[/math] is normed then [math]\displaystyle{ L_\varepsilon\left(X^\prime_\tau; Y\right) }[/math] is in fact a topological vector subspace of [math]\displaystyle{ L_b\left(X^\prime_b; Y\right). }[/math] And if in addition [math]\displaystyle{ Y }[/math] is Banach then so is [math]\displaystyle{ L_b\left(X^\prime_b; Y\right) }[/math] (even if [math]\displaystyle{ X }[/math] is not complete).

Properties

The canonical map [math]\displaystyle{ \cdot \otimes \cdot : X \times Y \to \mathcal{B}\left(X_\sigma^{\prime}, Y_\sigma^{\prime}\right) }[/math] 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 [math]\displaystyle{ X \times Y \to X \otimes Y }[/math] separately continuous). The space [math]\displaystyle{ X \otimes_\varepsilon Y }[/math] is Hausdorff if and only if both [math]\displaystyle{ X }[/math] and [math]\displaystyle{ Y }[/math] are Hausdorff.

If [math]\displaystyle{ X }[/math] and [math]\displaystyle{ Y }[/math] are normed then [math]\displaystyle{ X \otimes_\varepsilon Y }[/math] is normable in which case for all [math]\displaystyle{ \theta \in X \otimes Y, }[/math] [math]\displaystyle{ \|\theta\|_\varepsilon \leq \|\theta\|_{\pi}. }[/math]

Suppose that [math]\displaystyle{ u : X_1 \to Y_1 }[/math] and [math]\displaystyle{ v : X_2 \to Y_2 }[/math] are two linear maps between locally convex spaces. If both [math]\displaystyle{ u }[/math] and [math]\displaystyle{ v }[/math] are continuous then so is their tensor product [math]\displaystyle{ u \otimes v : X_1 \otimes_\varepsilon X_2 \to Y_1 \otimes_\varepsilon Y_2. }[/math] Moreover:

• If [math]\displaystyle{ u }[/math] and [math]\displaystyle{ v }[/math] are both TVS-embeddings then so is [math]\displaystyle{ u \widehat{\otimes}_\varepsilon v : X_1 \widehat{\otimes}_\varepsilon X_2 \to Y_1 \widehat{\otimes}_\varepsilon Y_2. }[/math]
• If [math]\displaystyle{ X_1 }[/math] (resp. [math]\displaystyle{ Y_1 }[/math]) is a linear subspace of [math]\displaystyle{ X_2 }[/math] (resp. [math]\displaystyle{ Y_2 }[/math]) then [math]\displaystyle{ X_1 \otimes_\varepsilon Y_1 }[/math] is canonically isomorphic to a linear subspace of [math]\displaystyle{ X_2 \otimes_\varepsilon Y_2 }[/math] and [math]\displaystyle{ X_1 \widehat{\otimes}_\varepsilon Y_1 }[/math] is canonically isomorphic to a linear subspace of [math]\displaystyle{ X_2 \widehat{\otimes}_\varepsilon Y_2. }[/math]
• There are examples of [math]\displaystyle{ u }[/math] and [math]\displaystyle{ v }[/math] such that both [math]\displaystyle{ u }[/math] and [math]\displaystyle{ v }[/math] are surjective homomorphisms but [math]\displaystyle{ u \widehat{\otimes}_\varepsilon v : X_1 \widehat{\otimes}_\varepsilon X_2 \to Y_1 \widehat{\otimes}_\varepsilon Y_2 }[/math] is not a homomorphism.
• If all four spaces are normed then [math]\displaystyle{ \|u \otimes v\|_\varepsilon = \|u\| \|v\|. }[/math]

Relation to projective tensor product and nuclear spaces

The strongest locally convex topology on [math]\displaystyle{ B\left(X^{\prime}_\sigma, Y^{\prime}_\sigma\right) = X \otimes Y }[/math] making the canonical map [math]\displaystyle{ \cdot \otimes \cdot : X \times Y \to B\left(X_\sigma^{\prime}, Y_\sigma^{\prime}\right) }[/math] (defined by sending [math]\displaystyle{ (x, y) \in X \times Y }[/math] to the bilinear form [math]\displaystyle{ x \otimes y }[/math]) continuous is called the projective topology or the [math]\displaystyle{ \pi }[/math]-topology. When [math]\displaystyle{ B\left(X^{\prime}_\sigma, Y^{\prime}_\sigma\right) = X \otimes Y }[/math] is endowed with this topology then it will be denoted by [math]\displaystyle{ X \otimes_{\pi} Y }[/math] and called the projective tensor product of [math]\displaystyle{ X }[/math] and [math]\displaystyle{ Y. }[/math]

The following definition was used by Grothendieck to define nuclear spaces.

Definition 0: Let [math]\displaystyle{ X }[/math] be a locally convex topological vector space. Then [math]\displaystyle{ X }[/math] is nuclear if for any locally convex space [math]\displaystyle{ Y, }[/math] the canonical vector space embedding [math]\displaystyle{ X \otimes_\pi Y \to \mathcal{B}_\varepsilon\left(X^{\prime}_\sigma, Y^{\prime}_\sigma\right) }[/math] 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 [math]\displaystyle{ \operatorname{In} : X \otimes_\varepsilon Y \to X \widehat{\otimes}_\varepsilon Y }[/math] denotes the TVS-embedding of [math]\displaystyle{ X \otimes_\varepsilon Y }[/math] into its completion and let [math]\displaystyle{ {}^t \operatorname{In} : \left(X \widehat{\otimes}_\varepsilon Y\right)^{\prime}_b \to \left(X \otimes_\varepsilon Y\right)^{\prime}_b }[/math] be its transpose, which is a vector space-isomorphism. This identifies the continuous dual space of [math]\displaystyle{ X \otimes_\varepsilon Y }[/math] as being identical to the continuous dual space of [math]\displaystyle{ X \widehat{\otimes}_\varepsilon Y. }[/math]

The identity map [math]\displaystyle{ \operatorname{Id}_{X \otimes Y} : X \otimes_{\pi} Y \to X \otimes_\varepsilon Y }[/math] is continuous (by definition of the π-topology) so there exists a unique continuous linear extension [math]\displaystyle{ \hat{I} : X \widehat{\otimes}_{\pi} Y \to X \widehat{\otimes}_\varepsilon Y. }[/math] If [math]\displaystyle{ X }[/math] and [math]\displaystyle{ Y }[/math] are Hilbert spaces then [math]\displaystyle{ \hat{I} : X \widehat{\otimes}_{\pi} Y \to X \widehat{\otimes}_\varepsilon Y }[/math] is injective and the dual of [math]\displaystyle{ X \widehat{\otimes}_\varepsilon Y }[/math] is canonically isometrically isomorphic to the vector space [math]\displaystyle{ L^1\left(X; Y^{\prime}\right) }[/math] of nuclear operators from [math]\displaystyle{ X }[/math] into [math]\displaystyle{ Y }[/math] (with the trace norm).

Injective tensor product of Hilbert spaces

There is a canonical map [math]\displaystyle{ K : X \otimes Y \to L\left(X^{\prime}; Y\right) }[/math] that sends [math]\displaystyle{ z = \sum_{i=1}^n x_i \otimes y_i }[/math] to the linear map [math]\displaystyle{ K(z) : X^{\prime} \to Y }[/math] defined by [math]\displaystyle{ K(z)\left(x^{\prime}\right) := \sum_{i=1}^n x^{\prime}(x_i) y_i \in Y, }[/math] where it may be shown that the definition of [math]\displaystyle{ K(z) : X \to Y }[/math] does not depend on the particular choice of representation [math]\displaystyle{ \sum_{i=1}^n x_i \otimes y_i }[/math] of [math]\displaystyle{ z. }[/math] The map [math]\displaystyle{ K : X \otimes_\varepsilon Y \to L_b\left(X^{\prime}_b; Y\right) }[/math] is continuous and when [math]\displaystyle{ L_b\left(X^{\prime}_b; Y\right) }[/math] is complete, it has a continuous extension [math]\displaystyle{ \hat{K} : X \widehat{\otimes}_\varepsilon Y \to L_b\left(X^{\prime}_b; Y\right). }[/math]

When [math]\displaystyle{ X }[/math] and [math]\displaystyle{ Y }[/math] are Hilbert spaces then [math]\displaystyle{ \hat{K} : X \widehat{\otimes}_\varepsilon Y \to L_b\left(X^{\prime}_b; Y\right) }[/math] 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 [math]\displaystyle{ X }[/math] into [math]\displaystyle{ Y }[/math] (which is a closed vector subspace of [math]\displaystyle{ L_b\left(X^{\prime}; Y\right). }[/math] Hence [math]\displaystyle{ X \widehat{\otimes}_\varepsilon Y }[/math] is identical to space of compact operators from [math]\displaystyle{ X^{\prime} }[/math] into [math]\displaystyle{ Y }[/math] (note the prime on [math]\displaystyle{ X }[/math]). The space of compact linear operators between any two Banach spaces (which includes Hilbert spaces) [math]\displaystyle{ X }[/math] and [math]\displaystyle{ Y }[/math] is a closed subset of [math]\displaystyle{ L_b(X; Y). }[/math]

Furthermore, the canonical map [math]\displaystyle{ X \widehat{\otimes}_{\pi} Y \to X \widehat{\otimes}_\varepsilon Y }[/math] is injective when [math]\displaystyle{ X }[/math] and [math]\displaystyle{ Y }[/math] are Hilbert spaces.

Integral forms and operators

Integral bilinear forms

Denote the identity map by [math]\displaystyle{ \operatorname{Id} : X \otimes_{\pi} Y \to X \otimes_\varepsilon Y }[/math] and let [math]\displaystyle{ {}^{t}\operatorname{Id} : \left(X \otimes_\varepsilon Y\right)^{\prime}_b \to \left(X \otimes_{\pi} Y\right)^{\prime}_b }[/math] denote its transpose, which is a continuous injection. Recall that [math]\displaystyle{ \left(X \otimes_{\pi} Y\right)^{\prime} }[/math] is canonically identified with [math]\displaystyle{ B(X, Y), }[/math] the space of continuous bilinear maps on [math]\displaystyle{ X \times Y. }[/math] In this way, the continuous dual space of [math]\displaystyle{ X \otimes_\varepsilon Y }[/math] can be canonically identified as a subvector space of [math]\displaystyle{ B(X, Y), }[/math] denoted by [math]\displaystyle{ J(X, Y). }[/math] The elements of [math]\displaystyle{ J(X, Y) }[/math] are called integral (bilinear) forms on [math]\displaystyle{ X \times Y. }[/math] The following theorem justifies the word integral.

Theorem — The dual [math]\displaystyle{ J(X, Y) }[/math] of [math]\displaystyle{ X \widehat{\otimes}_\varepsilon Y }[/math] consists of exactly those continuous bilinear forms v on [math]\displaystyle{ X \times Y }[/math] that can be represented in the form of a map [math]\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) }[/math] where [math]\displaystyle{ S }[/math] and [math]\displaystyle{ T }[/math] are some closed, equicontinuous subsets of [math]\displaystyle{ X^{\prime}_\sigma }[/math] and [math]\displaystyle{ Y^{\prime}_\sigma, }[/math] respectively, and [math]\displaystyle{ \mu }[/math] is a positive Radon measure on the compact set [math]\displaystyle{ S \times T }[/math] with total mass [math]\displaystyle{ \leq 1. }[/math] Furthermore, if [math]\displaystyle{ A }[/math] is an equicontinuous subset of [math]\displaystyle{ J(X, Y) }[/math] then the elements [math]\displaystyle{ v \in A }[/math] can be represented with [math]\displaystyle{ S \times T }[/math] fixed and [math]\displaystyle{ \mu }[/math] running through a norm bounded subset of the space of Radon measures on [math]\displaystyle{ S \times T. }[/math]

Integral linear operators

Given a linear map [math]\displaystyle{ \Lambda : X \to Y, }[/math] one can define a canonical bilinear form [math]\displaystyle{ B_{\Lambda} \in Bi\left(X, Y^{\prime}\right), }[/math] called the associated bilinear form on [math]\displaystyle{ X \times Y^{\prime}, }[/math] by [math]\displaystyle{ B_{\Lambda}\left(x, y^{\prime}\right) := \left( y^{\prime} \circ \Lambda\right)(x). }[/math] A continuous map [math]\displaystyle{ \Lambda : X \to Y }[/math] is called integral if its associated bilinear form is an integral bilinear form. An integral map [math]\displaystyle{ \Lambda: X \to Y }[/math] is of the form, for every [math]\displaystyle{ x \in X }[/math] and [math]\displaystyle{ y^{\prime} \in Y^{\prime}: }[/math] [math]\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) }[/math] for suitable weakly closed and equicontinuous subsets [math]\displaystyle{ A^{\prime} }[/math] and [math]\displaystyle{ B^{\prime\prime} }[/math] of [math]\displaystyle{ X^{\prime} }[/math] and [math]\displaystyle{ Y^{\prime\prime}, }[/math] respectively, and some positive Radon measure [math]\displaystyle{ \mu }[/math] of total mass [math]\displaystyle{ \leq 1. }[/math]

Canonical map into L(X; Y)

There is a canonical map [math]\displaystyle{ K : X^{\prime} \otimes Y \to L(X; Y) }[/math] that sends [math]\displaystyle{ z = \sum_{i=1}^n x_i^{\prime} \otimes y_i }[/math] to the linear map [math]\displaystyle{ K(z) : X \to Y }[/math] defined by [math]\displaystyle{ K(z)(x) := \sum_{i=1}^n x_i^{\prime}(x) y_i \in Y, }[/math] where it may be shown that the definition of [math]\displaystyle{ K(z) : X \to Y }[/math] does not depend on the particular choice of representation [math]\displaystyle{ \sum_{i=1}^n x_i^{\prime} \otimes y_i }[/math] of [math]\displaystyle{ z. }[/math]

Examples

Space of summable families

Throughout this section we fix some arbitrary (possibly uncountable) set [math]\displaystyle{ A, }[/math] a TVS [math]\displaystyle{ X, }[/math] and we let [math]\displaystyle{ \mathcal{F}(A) }[/math] be the directed set of all finite subsets of [math]\displaystyle{ A }[/math] directed by inclusion [math]\displaystyle{ \subseteq. }[/math]

Let [math]\displaystyle{ \left(x_{\alpha}\right)_{\alpha \in A} }[/math] be a family of elements in a TVS [math]\displaystyle{ X }[/math] and for every finite subset [math]\displaystyle{ H \subseteq A, }[/math] let [math]\displaystyle{ x_H := \sum_{i \in H} x_i. }[/math] We call [math]\displaystyle{ \left(x_{\alpha}\right)_{\alpha \in A} }[/math] summable in [math]\displaystyle{ X }[/math] if the limit [math]\displaystyle{ \lim_{H \in \mathcal{F}(A)} x_{H} }[/math] of the net [math]\displaystyle{ \left(x_H\right)_{H \in \mathcal{F}(A)} }[/math] converges in [math]\displaystyle{ X }[/math] to some element (any such element is called its sum). The set of all such summable families is a vector subspace of [math]\displaystyle{ X^{A} }[/math] denoted by [math]\displaystyle{ S. }[/math]

We now define a topology on [math]\displaystyle{ S }[/math] in a very natural way. This topology turns out to be the injective topology taken from [math]\displaystyle{ l^1(A) \widehat{\otimes}_\varepsilon X }[/math] and transferred to [math]\displaystyle{ S }[/math] 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 [math]\displaystyle{ \mathfrak{U} }[/math] denote a base of convex balanced neighborhoods of 0 in [math]\displaystyle{ X }[/math] and for each [math]\displaystyle{ U \in \mathfrak{U}, }[/math] let [math]\displaystyle{ \mu_U : X \to \R }[/math] denote its Minkowski functional. For any such [math]\displaystyle{ U }[/math] and any [math]\displaystyle{ x = \left(x_{\alpha}\right)_{\alpha \in A} \in S, }[/math] let [math]\displaystyle{ q_U(x) := \sup_{x^{\prime} \in U^{\circ}} \sum_{\alpha \in A} \left| \left\langle x^{\prime}, x_{\alpha}\right\rangle\right| }[/math] where [math]\displaystyle{ q_U }[/math] defines a seminorm on [math]\displaystyle{ S. }[/math] The family of seminorms [math]\displaystyle{ \left\{q_U : U \in \mathfrak{U}\right\} }[/math] generates a topology making [math]\displaystyle{ S }[/math] into a locally convex space. The vector space [math]\displaystyle{ S }[/math] endowed with this topology will be denoted by [math]\displaystyle{ l^1(A, X). }[/math] The special case where [math]\displaystyle{ X }[/math] is the scalar field will be denoted by [math]\displaystyle{ l^1(A). }[/math]

There is a canonical embedding of vector spaces [math]\displaystyle{ l^1(A) \otimes X \to l^1(A, E) }[/math] defined by linearizing the bilinear map [math]\displaystyle{ l^1(A) \times X \to l^1(A, E) }[/math] defined by [math]\displaystyle{ \left(\left(r_{\alpha}\right)_{\alpha \in A}, x\right) \mapsto \left(r_{\alpha} x\right)_{\alpha \in A}. }[/math]

Theorem: — The canonical embedding (of vector spaces) [math]\displaystyle{ l^1(A) \otimes X \to l^1(A, E) }[/math] becomes an embedding of topological vector spaces [math]\displaystyle{ l^1(A) \otimes_\varepsilon X \to l^1(A, E) }[/math] when [math]\displaystyle{ l^1(A) \otimes X }[/math] is given the injective topology and furthermore, its range is dense in its codomain. If [math]\displaystyle{ \hat{X} }[/math] is a completion of [math]\displaystyle{ X }[/math] then the continuous extension [math]\displaystyle{ l^1(A) \widehat{\otimes}_\varepsilon X \to l^1\left(A, \hat{X}\right) }[/math] of this embedding [math]\displaystyle{ l^1(A) \otimes_\varepsilon X \to l^1\left(A, X\right) \subseteq l^1\left(A, \hat{X}\right) }[/math] is an isomorphism of TVSs. So in particular, if [math]\displaystyle{ X }[/math] is complete then [math]\displaystyle{ l^1(A) \widehat{\otimes}_\varepsilon X }[/math] is canonically isomorphic to [math]\displaystyle{ l^1(A, E). }[/math]

Space of continuously differentiable vector-valued functions

Throughout, let [math]\displaystyle{ \Omega }[/math] be an open subset of [math]\displaystyle{ \R^n, }[/math] where [math]\displaystyle{ n \geq 1 }[/math] is an integer and let [math]\displaystyle{ Y }[/math] be a locally convex topological vector space (TVS).

Definition Suppose [math]\displaystyle{ p^0 = \left(p^0_1, \ldots, p^0_n\right) \in \Omega }[/math] and [math]\displaystyle{ f : \operatorname{Dom} f \to Y }[/math] is a function such that [math]\displaystyle{ p^0 \in \operatorname{Dom} f }[/math] with [math]\displaystyle{ p^0 }[/math] a limit point of [math]\displaystyle{ \operatorname{Dom} f. }[/math] Say that [math]\displaystyle{ f }[/math] is differentiable at [math]\displaystyle{ p^0 }[/math] if there exist [math]\displaystyle{ n }[/math] vectors [math]\displaystyle{ e_1, \ldots, e_n }[/math] in [math]\displaystyle{ Y, }[/math] called the partial derivatives of [math]\displaystyle{ f }[/math], such that [math]\displaystyle{ \lim_{\stackrel{p \to p^0,}{p \in \operatorname{domain} f}} \frac{f(p) - f\left(p^0\right) - \sum_{i=1}^n \left(p_i - p^0_i\right) e_i}{\left\|p - p^0\right\|_2} = 0 \text{ in } Y }[/math] where [math]\displaystyle{ p = \left(p_1, \ldots, p_n\right). }[/math]

One may naturally extend the notion of continuously differentiable function to [math]\displaystyle{ Y }[/math]-valued functions defined on [math]\displaystyle{ \Omega. }[/math] For any [math]\displaystyle{ k = 0, 1, \ldots, \infty, }[/math] let [math]\displaystyle{ C^k(\Omega; Y) }[/math] denote the vector space of all [math]\displaystyle{ C^k }[/math] [math]\displaystyle{ Y }[/math]-valued maps defined on [math]\displaystyle{ \Omega }[/math] and let [math]\displaystyle{ C_c^k(\Omega; Y) }[/math] denote the vector subspace of [math]\displaystyle{ C^k(\Omega; Y) }[/math] consisting of all maps in [math]\displaystyle{ C^k(\Omega; Y) }[/math] that have compact support.

One may then define topologies on [math]\displaystyle{ C^k(\Omega; Y) }[/math] and [math]\displaystyle{ C_c^k(\Omega; Y) }[/math] in the same manner as the topologies on [math]\displaystyle{ C^k(\Omega) }[/math] and [math]\displaystyle{ C_c^k(\Omega) }[/math] 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:

Theorem — If [math]\displaystyle{ Y }[/math] is a complete Hausdorff locally convex space, then [math]\displaystyle{ C^k(\Omega; Y) }[/math] is canonically isomorphic to the injective tensor product [math]\displaystyle{ C^k(\Omega) \widehat{\otimes}_\varepsilon Y. }[/math]

Spaces of continuous maps from a compact space

If [math]\displaystyle{ Y }[/math] is a normed space and if [math]\displaystyle{ K }[/math] is a compact set, then the [math]\displaystyle{ \varepsilon }[/math]-norm on [math]\displaystyle{ C(K) \otimes Y }[/math] is equal to [math]\displaystyle{ \| f \|_\varepsilon = \sup_{x \in K} \|f(x)\|. }[/math] If [math]\displaystyle{ H }[/math] and [math]\displaystyle{ K }[/math] are two compact spaces, then [math]\displaystyle{ C(H \times K) \cong C(H) \widehat{\otimes}_\varepsilon C(K), }[/math] where this canonical map is an isomorphism of Banach spaces.

Spaces of sequences converging to 0

If [math]\displaystyle{ Y }[/math] is a normed space, then let [math]\displaystyle{ l_{\infty}(Y) }[/math] denote the space of all sequences [math]\displaystyle{ \left(y_i\right)_{i=1}^{\infty} }[/math] in [math]\displaystyle{ Y }[/math] that converge to the origin and give this space the norm [math]\displaystyle{ \left\|\left(y_i\right)_{i=1}^{\infty}\right\| := \sup_{i \in \N} \left\|y_i\right\|. }[/math] Let [math]\displaystyle{ l_{\infty} }[/math] denote [math]\displaystyle{ l_{\infty}\left(\Complex\right). }[/math] Then for any Banach space [math]\displaystyle{ Y, }[/math] [math]\displaystyle{ l_{\infty} \widehat{\otimes}_\varepsilon Y }[/math] is canonically isometrically isomorphic to [math]\displaystyle{ l_{\infty}(Y). }[/math]

Schwartz space of functions

We will now generalize the Schwartz space to functions valued in a TVS. Let [math]\displaystyle{ \mathcal{L}\left(\R^n; Y\right) }[/math] be the space of all [math]\displaystyle{ f \in C^{\infty}\left(\R^n; Y\right) }[/math] such that for all pairs of polynomials [math]\displaystyle{ P }[/math] and [math]\displaystyle{ Q }[/math] in [math]\displaystyle{ n }[/math] variables, [math]\displaystyle{ \left\{P(x) Q\left(\partial / \partial x\right) f(x) : x \in \R^n\right\} }[/math] is a bounded subset of [math]\displaystyle{ Y. }[/math] To generalize the topology of the Schwartz space to [math]\displaystyle{ \mathcal{L}\left(\R^n; Y\right), }[/math] we give [math]\displaystyle{ \mathcal{L}\left(\R^n; Y\right) }[/math] the topology of uniform convergence over [math]\displaystyle{ \R^n }[/math] of the functions [math]\displaystyle{ P(x) Q\left(\partial / \partial x\right) f(x), }[/math] as [math]\displaystyle{ P }[/math] and [math]\displaystyle{ Q }[/math] vary over all possible pairs of polynomials in [math]\displaystyle{ n }[/math] variables.

Theorem — If [math]\displaystyle{ Y }[/math] is a complete locally convex space, then [math]\displaystyle{ \mathcal{L}\left(\R^n; Y\right) }[/math] is canonically isomorphic to [math]\displaystyle{ \mathcal{L}\left(\R^n\right) \widehat{\otimes}_\varepsilon Y. }[/math]

See also

• Auxiliary normed space
• Final topology – Finest topology making some functions continuous
• Inductive tensor product
• Nuclear operator
• Nuclear space – A generalization of finite dimensional Euclidean spaces different from Hilbert spaces
• Projective tensor product
• Topological tensor product – Tensor product constructions for topological vector spaces

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) (in fr). Produits tensoriels topologiques et espaces nucléaires. 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. (July 1, 1982). written at Berlin Heidelberg. Counterexamples in Topological Vector Spaces. Lecture Notes in Mathematics. 936. Berlin 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. 8 (Second ed.). New York, NY: Springer New York Imprint Springer. ISBN 978-1-4612-7155-0. OCLC 840278135. 
• Trèves, François (August 6, 2006). 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

• Nuclear space at ncatlab