Abstract
We study projective and injective tensor products of Banach \(L^0\)-modules over a \(\sigma \)-finite measure space. En route, we extend to Banach \(L^0\)-modules several technical tools of independent interest, such as quotient operators, summable families, and Schauder bases.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction
As of now, the language of normed modules introduced by Gigli in [11] has become an indispensable tool in analysis on metric measure spaces, especially on those verifying synthetic lower Ricci curvature bounds (the so-called \(\mathsf RCD\) spaces). Normed modules allow to define several spaces of measurable tensor fields, whose investigation has remarkable analytic and geometric consequences. In this respect, three constructions are particularly important: duals, pullbacks, and (in the case of Hilbert modules) tensor products. For example, the dual of the pullback is important for constructing the differential of a map of bounded deformation or the velocity of a test plan (cf. with the introduction of [13]), while the tensor product of Hilbert modules is a fundamental tool when studying the second order differential calculus on \(\mathsf RCD\) spaces (see [11, Section 3]). However, since many spaces of interest are ‘non-Riemannian’, it would be interesting to study tensor products of non-Hilbert normed modules, as well as to understand their relation with duals and pullbacks: this is the main goal of this paper. We assume the reader is familiar with (projective and injective) tensor products of Banach spaces, for which we refer e.g. to the authoritative monograph [21].
Let us briefly describe the content of the paper. Fix a \(\sigma \)-finite measure space \(\mathbb {X}=(\textrm{X},\Sigma ,{\mathfrak {m}})\), i.e. \(\textrm{X}\) is a set, \(\Sigma \) is a \(\sigma \)-algebra on \(\textrm{X}\), and \({\mathfrak {m}}:\Sigma \rightarrow [0,+\infty ]\) is a \(\sigma \)-finite (countably-additive) measure. We consider the class of Banach \(L^0(\mathbb {X})\)-modules, i.e. modules over the commutative ring \(L^0(\mathbb {X})\) that are endowed with a complete pointwise norm operator (cf. with Definition 2.4). Even though we are mostly interested in their applications to metric measure geometry, we consider Banach \(L^0\)-modules over general measure spaces. Our choice is due to the fact that Banach \(L^0\)-modules play an important role also in other research areas, see for example [15], as well as [14] and the references therein. The only results where we need to require an additional assumption on the base measure space (verified in the case of metric measure spaces) are Theorems 4.13 and 5.13. Given two Banach \(L^0(\mathbb {X})\)-modules \({\mathscr {M}}\) and \({\mathscr {N}}\), we first provide a useful criterion to detect the null tensors of the algebraic tensor product \({\mathscr {M}}\otimes {\mathscr {N}}\); see Lemma 3.19. Its proof is quite subtle, one reason being the fact that the algebraic dual of a module might not separate the points (differently from duals of vector spaces); cf. with Remark 3.20. Having Lemma 3.19 at our disposal, we can:
-
Define and study the projective tensor product \({\mathscr {M}}\hat{\otimes }_\pi {\mathscr {N}}\), see Sect. 4.
-
Define and study the injective tensor product \({\mathscr {M}}\hat{\otimes }_\varepsilon {\mathscr {N}}\), see Sect. 5.
Motivated by the analysis on metric spaces, our attention is focussed on the following results:
-
The dual of \({\mathscr {M}}\hat{\otimes }_\pi {\mathscr {N}}\) can be identified with the space \(\textrm{B}({\mathscr {M}},{\mathscr {N}})\) of bounded \(L^0(\mathbb {X})\)-bilinear maps from \({\mathscr {M}}\times \mathscr {N}\) to \(L^0(\mathbb {X})\) (see Theorem 4.11), while the dual of \({\mathscr {M}}\hat{\otimes }_\varepsilon {\mathscr {N}}\) is a quotient of the dual of the space \(\textrm{C}_{\textrm{pb}}(\mathbb D_{{\mathscr {M}}^*}^{w^*}\times {\mathbb {D}}_{\mathscr {N}^*}^{w^*};L^0(\mathbb {X}))\) (see Definition 3.16 and Theorem 5.12).
-
The operation of taking pullbacks of Banach \(L^0(\mathbb {X})\)-modules commutes both with projective tensor products (Theorem 4.13) and with injective tensor products (Theorem 5.13).
While some of the concepts and results we presented above are natural extensions of their version for Banach spaces, other ones are non-trivial generalisations (see e.g. the two different notions of a continuous module-valued map in Sect. 3.4) or have no counterpart in the Banach space setting (as in the case of pullback modules). We conclude the introduction by mentioning that a significant portion of the paper is devoted to the development of several technical tools (new in the setting of Banach \(L^0(\mathbb {X})\)-modules), which are needed in Sects. 4 and 5, and can be useful in the future research concerning normed modules: we study quotient operators (Sect. 3.1), summable families in Banach \(L^0(\mathbb {X})\)-modules (Sect. 3.2), and local Schauder bases (Sect. 3.3).
2 Preliminaries
Given an arbitrary set \(I\ne \varnothing \), we denote by \(\mathscr {P}(I)\) its power set (i.e. the set of its subsets) and
Given any couple of indexes \(i,j\in I\), we define \(\delta _{ij}\in \{0,1\}\) as \(\delta _{ij}{:}{=}1\) if \(i=j\) and \(\delta _{ij}{:}{=}0\) if \(i\ne j\). Moreover, if \(\textrm{X}\) is a set, then the characteristic function \(\mathbb {1}_E:\textrm{X}\rightarrow \{0,1\}\) of a subset \(E\subseteq \textrm{X}\) is
For any map \(\varphi :\textrm{X}\rightarrow \textrm{Y}\) between two sets \(\textrm{X}\) and \(\textrm{Y}\), we denote by \(\varphi [\textrm{X}]\subseteq \textrm{Y}\) the image of \(\varphi \).
2.1 Tensor products of modules
In this section, we recall the basics of the theory of tensor products of modules, which is originally due to [5]. See also [7] and the references indicated therein. Our standing convention is that all rings are assumed to have a multiplicative identity.
Theorem 2.1
(Tensor products of modules) Let \(R\) be a commutative ring. Let \(M\) and \(N\) be modules over \(R\). Then there exists a unique couple \((M\otimes N,\otimes )\), where \(M\otimes N\) is an \(R\)-module and \(\otimes :M\times N\rightarrow M\otimes N\) is an \(R\)-bilinear map, such that the following universal property holds: given any \(R\)-module \(Q\) and any \(R\)-bilinear map \(b:M\times N\rightarrow Q\), there exists a unique \(R\)-linear map \({\tilde{b}}:M\otimes N\rightarrow Q\), called the \(R\)-linearisation of \(b\), for which the diagram
![figure a](http://media.springernature.com/lw685/springer-static/image/art%3A10.1007%2Fs43034-023-00312-x/MediaObjects/43034_2023_312_Figa_HTML.png)
commutes. The couple \((M\otimes N,\otimes )\) is unique up to a unique isomorphism: given any \((T,\tilde{\otimes })\) with the same properties, there exists a unique isomorphism of \(R\)-modules \(\Phi :M\otimes N\rightarrow T\) such that
![figure b](http://media.springernature.com/lw685/springer-static/image/art%3A10.1007%2Fs43034-023-00312-x/MediaObjects/43034_2023_312_Figb_HTML.png)
commutes. We say that \((M\otimes N,\otimes )\), or just \(M\otimes N\), is the tensor product of \(M\) and \(N\).
Those elements of \(M\otimes N\) of the form \(v\otimes w\) are called elementary tensors. Any \(\alpha \in M\otimes N\) is a sum of elementary tensors: \(\alpha =\sum _{i=1}^n v_i\otimes w_i\) for some \(v_1,\ldots ,v_n\in M\) and \(w_1,\ldots ,w_n\in N\).
Let us recall the following criterion, which allows us to detect when a given element \(\sum _{i=1}^n v_i\otimes w_i\in M\otimes N\) is null: \(\sum _{i=1}^n v_i\otimes w_i=0\) if and only if
![](http://media.springernature.com/lw392/springer-static/image/art%3A10.1007%2Fs43034-023-00312-x/MediaObjects/43034_2023_312_Equ1_HTML.png)
Differently from the case of tensor products of vector spaces, in (2.1) one has to consider \(R\)-bilinear maps \(b\) with values into an arbitrary \(R\)-module \(Q\) (taking \(Q=R\) is not sufficient). Indeed, it can happen that no non-null bilinear map \(b:M\times N\rightarrow R\) exists even if \(M\), \(N\) are non-trivial; see [18].
Lemma 2.2
(Tensor products of \(R\)-linear maps) Let \(R\) be a commutative ring. Let \(T:M\rightarrow {\tilde{M}}\) and \(S:N\rightarrow {\tilde{N}}\) be \(R\)-linear maps between \(R\)-modules. Then there exists a unique \(R\)-linear map \(T\otimes S:M\otimes N\rightarrow {\tilde{M}}\otimes {\tilde{N}}\) such that \((T\otimes S)(v\otimes w)=T(v)\otimes S(w)\) for every \(v\in M\) and \(w\in N\).
Each commutative ring \(R\) is an \(R\)-module. Moreover, each \(R\)-module \(M\) is canonically isomorphic (as an \(R\)-module) to \(R\otimes M\) via the \(R\)-linear map \(M\ni v\mapsto 1_R\otimes v\in R\otimes M\). In particular, \(R\otimes R\cong R\).
2.2 The space \(L^0(\mathbb {X})\)
Let \(\mathbb {X}=(\textrm{X},\Sigma ,{\mathfrak {m}})\) be a \(\sigma \)-finite measure space. We denote by \(L^0(\mathbb {X})\) the space of all real-valued measurable functions from \(\textrm{X}\) to \(\mathbb {R}\), quotiented up to \({\mathfrak {m}}\)-a.e. identity. The equivalence class in \(L^0(\mathbb {X})\) of a given measurable function \({\bar{f}}:\textrm{X}\rightarrow \mathbb {R}\) will be denoted by \([{\bar{f}}]_{\mathfrak {m}}\). The space \(L^0(\mathbb {X})\) is a vector space and a commutative ring if endowed with the natural pointwise operations. Moreover, fixed a probability measure \(\tilde{\mathfrak {m}}\) on \((\textrm{X},\Sigma )\) with \({\mathfrak {m}}\ll \tilde{\mathfrak {m}}\ll {\mathfrak {m}}\), we have that
is a complete distance, and \(L^0(\mathbb {X})\) becomes a topological vector space and a topological ring if endowed with \(\textsf{d}_{L^0(\mathbb {X})}\). The distance \(\textsf{d}_{L^0(\mathbb {X})}\) depends on the chosen auxiliary measure \(\tilde{\mathfrak {m}}\), but its induced topology does not. We also have that a given sequence \((f_n)_{n\in \mathbb {N}}\subseteq L^0(\mathbb {X})\) converges to a limit function \(f\in L^0(\mathbb {X})\) with respect to \(\textsf{d}_{L^0(\mathbb {X})}\) if and only if there exists a subsequence \((n_i)_{i\in \mathbb {N}}\subseteq \mathbb {N}\) such that \(f(x)=\lim _i f_{n_i}(x)\) for \({\mathfrak {m}}\)-a.e. \(x\in \textrm{X}\). Finally, \(L^0(\mathbb {X})\) is a Riesz space if endowed with the natural partial order defined in the following way: given \(f,g\in L^0(\mathbb {X})\), we declare that \(f\le g\) if and only if \(f(x)\le g(x)\) for \({\mathfrak {m}}\)-a.e. \(x\in \textrm{X}\). The positive cone of \(L^0(\mathbb {X})\) is then denoted by
We also point out that \(L^0(\mathbb {X})\) is Dedekind complete, i.e. every subset \(\{f_i\}_{i\in I}\) of \(L^0(\mathbb {X})\) that is order-bounded (which means that there exists \(g\in L^0(\mathbb {X})^+\) such that \(|f_i|\le g\) for every \(i\in I\)) has both a supremum \(\bigvee _{i\in I}f_i\in L^0(\mathbb {X})\) and an infimum \(\bigwedge _{i\in I}f_i\in L^0(\mathbb {X})\). Let us recall that the supremum \(\bigvee _{i\in I}f_i\) is the unique element of \(L^0(\mathbb {X})\) having the following properties:
-
\(f_j\le \bigvee _{i\in I}f_i\) for every \(j\in I\).
-
If a function \(g\in L^0(\mathbb {X})\) satisfies \(f_j\le g\) for every \(j\in I\), then \(\bigvee _{i\in I}f_i\le g\).
The infimum is given by \(\bigwedge _{i\in I}f_i{:}{=}-\bigvee _{i\in I}(-f_i)\). Furthermore, \(L^0(\mathbb {X})\) has both the countable sup property and the countable inf property, i.e. for any order-bounded set \(\{f_i\}_{i\in I}\subseteq L^0(\mathbb {X})\) one can find \(C\subseteq I\) countable with \(\bigvee _{i\in C}f_i=\bigvee _{i\in I}f_i\) and \(\bigwedge _{i\in C}f_i=\bigwedge _{i\in I}f_i\). More generally, the space \(L^0_{\textrm{ext}}(\mathbb {X})\) of measurable functions from \(\textrm{X}\) to \([-\infty ,+\infty ]\), quotiented up to \({\mathfrak {m}}\)-a.e. identity, is a Dedekind complete Riesz space with the countable sup/inf properties. Notice that every set in \(L^0_{\textrm{ext}}(\mathbb {X})\) is order-bounded and that \(L^0(\mathbb {X})\) is a solid Riesz subspace of \(L^0_\textrm{ext}(\mathbb {X})\).
Given any measurable set \(E\in \Sigma \) with \({\mathfrak {m}}(E)>0\), we will use the following shorthand notation:
where \({\mathfrak {m}}|_E\) stands for the restriction of \({\mathfrak {m}}\) to \(E\), i.e. we set \({\mathfrak {m}}|_E(F){:}{=}{\mathfrak {m}}(E\cap F)\) for every \(F\in \Sigma \).
Remark 2.3
Let \(\mathbb {X}=(\textrm{X},\Sigma ,{\mathfrak {m}})\) be \(\sigma \)-finite and \(\{f_i\}_{i\in I}\subseteq L^0_{\textrm{ext}}(\mathbb {X})\). Fix a representative \({\bar{f}}_i\) of \(f_i\) for any \(i\in I\). Suppose there exists a measurable function \({\bar{g}}:\textrm{X}\rightarrow [-\infty ,+\infty ]\) such that \(\sup _{i\in I}{\bar{f}}_i(x)\le {\bar{g}}(x)\) for all \(x\in \textrm{X}\); we do not require that \(x\mapsto \sup _{i\in I}{\bar{f}}_i(x)\) is measurable. Then \(\bigvee _{i\in I}f_i\le [{\bar{g}}]_{\mathfrak {m}}\). Indeed, we can find a countable set \(C\subseteq I\) such that \(\bigvee _{i\in C}f_i=\bigvee _{i\in I}f_i\). As \(\sup _{i\in C}{\bar{f}}_i(x)\le \bar{g}(x)\) for every \(x\in \textrm{X}\) and \(\bigvee _{i\in C}f_i=\big [\sup _{i\in C}{\bar{f}}_i\big ]_{\mathfrak {m}}\), we deduce that \(\bigvee _{i\in I}f_i\le [{\bar{g}}]_{\mathfrak {m}}\).
We also point out that the metric space \((L^0(\mathbb {X}),\textsf{d}_{L^0(\mathbb {X})})\) is separable if and only if the measure space \((\textrm{X},\Sigma ,{\mathfrak {m}})\) is separable, which means that we can find a sequence \((E_n)_{n\in \mathbb {N}}\subseteq \Sigma \) such that
We refer e.g. to [12, Section 1.1.2] for a more detailed discussion on \(L^0(\mathbb {X})\) spaces. See also [1, 4].
2.3 Banach spaces
We briefly recall some definitions and results concerning Banach spaces.
Given an index set \(I\ne \varnothing \) and an exponent \(p\in [1,\infty ]\), we denote by \(\ell _p(I)\) the vector space
where for any \(a=(a_i)_{i\in I}\in \mathbb {R}^I\) we define the quantity \(\Vert a\Vert _{\ell _p(I)}\in [0,+\infty ]\) as
where \(\sum _{i\in I}|a_i|^p{:}{=}\sup _{F\in \mathscr {P}_f(I)}\sum _{i\in F}|a_i|^p\). It holds that \((\ell _p(I),\Vert \cdot \Vert _{\ell _p(I)})\) is a Banach space.
An (unconditional) Schauder basis of a Banach space \(\mathbb {B}\) is a family of vectors \(\{v_i\}_{i\in I}\subseteq \mathbb {B}\) such that for any \(v\in \mathbb {B}\) there is a unique \((\lambda _i)_{i\in I}\subseteq \mathbb {R}^I\) for which \(\{\lambda _i v_i\}_{i\in I}\subseteq \mathbb {B}\) is summable and
We recall that this means that for any \(\varepsilon >0\) there exists \(F_\varepsilon \in {\mathscr {P}}_f(I)\) such that
We point out that, letting \(\overline{\textrm{span}}(S)\) denote the closure of the linear span of a set \(S\subseteq \mathbb {B}\), we have
We also recall that the canonical elements \((\textsf{e}_i)_{i\in I}\subseteq \ell _1(I)\), which are given by
form an (unconditional) Schauder basis of \(\ell _1(I)\). See e.g. [9] for an account of Schauder bases.
A separable Banach space \(\mathbb {B}\) is said to be a universal separable Banach space if every separable Banach space can be embedded linearly and isometrically in \(\mathbb {B}\). The Banach–Mazur theorem states that universal separable Banach spaces exist; for instance, the space \(\textrm{C}([0,1])\) endowed with the supremum norm has this property. See e.g. [3] for a proof of this result.
2.4 Banach \(L^0\)-modules
The notion of normed/Banach \(L^0(\mathbb {X})\)-module we are going to recall was introduced in [11], but the axiomatisation we will present is taken from [10] (with a slight difference in the terminology, since here we distinguish between non-complete normed modules and Banach modules). Unless otherwise specified, the discussion is essentially taken from [2, 10, 11].
Definition 2.4
(Banach \(L^0\)-module) Let \(\mathbb {X}\) be a \(\sigma \)-finite measure space, \({\mathscr {M}}\) a module over \(L^0(\mathbb {X})\). Then we say that \({\mathscr {M}}\) is a normed \(L^0(\mathbb {X})\)-module if it is endowed with a map \(|\cdot |:{\mathscr {M}}\rightarrow L^0(\mathbb {X})^+\), which is said to be a pointwise norm on \({\mathscr {M}}\), verifying the following properties:
Moreover, we say that \({\mathscr {M}}\) is a Banach \(L^0(\mathbb {X})\)-module when the following distance is complete:
In the case where \(\mathbb {X}_\textsf{o}=(\{\textsf{o}\},\delta _\textsf{o})\) is the one-point probability space, the normed \(L^0(\mathbb {X}_\textsf{o})\)-modules (resp. the Banach \(L^0(\mathbb {X}_\textsf{o})\)-modules) can be identified with the normed spaces (resp. the Banach spaces), with the only caveat that the distance \(\textsf{d}_{{\mathscr {M}}}\) associated with a normed \(L^0(\mathbb {X}_\textsf{o})\)-module \({\mathscr {M}}\) is not induced by the norm \(\Vert \cdot \Vert _{{\mathscr {M}}}\) of \(\mathscr {M}\). However, one has that \(\textsf{d}_{{\mathscr {M}}}(v,0)=\Vert v\Vert _{\mathscr {M}}\wedge 1\) for every \(v\in {\mathscr {M}}\).
Next, we recall/introduce a number of definitions related to normed and Banach \(L^0(\mathbb {X})\)-modules. Let \(\mathbb {X}=(\textrm{X},\Sigma ,{\mathfrak {m}})\) be a \(\sigma \)-finite measure space. Let \({\mathscr {M}}\) and \(\mathscr {N}\) be normed \(L^0(\mathbb {X})\)-modules. Given any measurable set \(E\in \Sigma \), we can consider the ‘localisation’ of \({\mathscr {M}}\) on \(E\), i.e. the space
We can regard \({\mathscr {M}}|_E\) either as a normed \(L^0(\mathbb {X}|_E)\)-module or as a normed \(L^0(\mathbb {X})\)-submodule of \({\mathscr {M}}\). We say that some elements \(v_1,\ldots ,v_n\in {\mathscr {M}}\) are independent on \(E\) provided the mapping
is injective, while a vector subspace \({\mathcal {V}}\subseteq {\mathscr {M}}\) is said to generate \({\mathscr {M}}\) on \(E\) if it holds that \({\mathscr {M}}|_E=\textrm{cl}_{{\mathscr {M}}}\big (\mathbb {1}_E\cdot {\mathscr {G}}({\mathcal {V}})\big )\), where we denote
for every subset \({\mathcal {S}}\subseteq {\mathscr {M}}\). The module \({\mathscr {M}}\) is said to be finitely-generated if there exists a finite-dimensional vector subspace \(\mathcal V\subseteq {\mathscr {M}}\) that generates \({\mathscr {M}}\) (on \(\textrm{X}\)). A local basis for \({\mathscr {M}}\) on \(E\) is a collection of elements \(v_1,\ldots ,v_n\in {\mathscr {M}}\) that are independent on \(E\) and have the property that their linear span generates \({\mathscr {M}}\) on \(E\). In this case, \(L^0(\mathbb {X}|_E)^n\ni (f_1,\ldots ,f_n)\mapsto \sum _{i=1}^n f_i\cdot v_i\in {\mathscr {M}}|_E\) is bijective. Since two local bases on \(E\) must have the same cardinality, one can unambiguously say that \({\mathscr {M}}\) has local dimension \(n\) on \(E\). Local bases do exist, whence it follows that \({\mathscr {M}}\) admits a (\({\mathfrak {m}}\)-a.e. essentially unique) dimensional decomposition \((D_n)_{n\in \mathbb {N}\cup \{\infty \}}\), which means that \((D_n)_{n\in \mathbb {N}\cup \{\infty \}}\subseteq \Sigma \) is a partition of \(\textrm{X}\) with the following property: \({\mathscr {M}}\) has local dimension \(n\) on \(D_n\) for all \(n\in \mathbb {N}\), and \({\mathscr {M}}|_E\) is not finitely-generated if \(E\in \Sigma \) satisfies \(E\subseteq D_\infty \) and \({\mathfrak {m}}(E)>0\).
The support of \({\mathscr {M}}\) is the ‘biggest’ subset \(\textrm{S}({\mathscr {M}})\) of \(\textrm{X}\) where some element of \(\mathscr {M}\) is not null, i.e.
The space \(L^0(\mathbb {X})\) itself is a Banach \(L^0(\mathbb {X})\)-module with \(\textrm{S}(L^0(\mathbb {X}))=\textrm{X}\). The unit sphere of \({\mathscr {M}}\) is
The signum map \(\textrm{sgn}:{\mathscr {M}}\rightarrow \mathbb S_{{\mathscr {M}}}\cup \{0\}\) on \({\mathscr {M}}\) is defined as
Notice that \(v=|v|\cdot \textrm{sgn}(v)\) for every \(v\in {\mathscr {M}}\). Moreover, we define the unit disc of \({\mathscr {M}}\) as
A map \(T:{\mathscr {M}}\rightarrow {\mathscr {N}}\) is said to be a homomorphism of normed \(L^0(\mathbb {X})\)-modules provided it is \(L^0(\mathbb {X})\)-linear and continuous, or equivalently if it is linear and there exists \(g\in L^0(\mathbb {X})^+\) such that
We denote by \(\textsc {Hom}({\mathscr {M}};{\mathscr {N}})\) the space of all homomorphisms of normed \(L^0(\mathbb {X})\)-modules from \({\mathscr {M}}\) to \({\mathscr {N}}\). It is a normed \(L^0(\mathbb {X})\)-module if endowed with the natural pointwise operations and the following pointwise norm:
for every \(T\in \textsc {Hom}({\mathscr {M}};{\mathscr {N}})\). If \(\mathscr {N}\) is complete, then \(\textsc {Hom}({\mathscr {M}};{\mathscr {N}})\) is a Banach \(L^0(\mathbb {X})\)-module. By an isomorphism of normed \(L^0(\mathbb {X})\)-modules we mean a bijective homomorphism of normed \(L^0(\mathbb {X})\)-modules \(T:{\mathscr {M}}\rightarrow {\mathscr {N}}\) that preserves the pointwise norm, i.e. \(|T(v)|=|v|\) holds for every \(v\in {\mathscr {M}}\). Whenever an isomorphism between \({\mathscr {M}}\) and \({\mathscr {N}}\) exists, we write \({\mathscr {M}}\cong {\mathscr {N}}\). The kernel \(\textrm{ker}(T)\) of any \(T\in \textsc {Hom}({\mathscr {M}};{\mathscr {N}})\), which is given by \(\textrm{ker}(T){:}{=}\big \{v\in {\mathscr {M}}\,:\,T(v)=0\big \}\), is a closed normed \(L^0(\mathbb {X})\)-submodule of \({\mathscr {M}}\).
The dual of a normed \(L^0(\mathbb {X})\)-module \({\mathscr {M}}\) is defined as
If \({\mathscr {M}}\) is a Banach \(L^0(\mathbb {X})\)-module and \({\mathscr {V}}\) is a Banach \(L^0(\mathbb {X})\)-submodule of \({\mathscr {M}}\), then we have that the quotient module \({\mathscr {M}}/{\mathscr {V}}\) is a Banach \(L^0(\mathbb {X})\)-module if endowed with the pointwise norm
Any normed \(L^0(\mathbb {X})\)-module \({\mathscr {M}}\) has a unique completion \((\bar{{\mathscr {M}}},\iota )\), i.e. \(\bar{{\mathscr {M}}}\) is a Banach \(L^0(\mathbb {X})\)-module and \(\iota :{\mathscr {M}}\rightarrow \bar{{\mathscr {M}}}\) is a pointwise norm preserving homomorphism of normed \(L^0(\mathbb {X})\)-modules such that \(\iota [{\mathscr {M}}]\) is dense in \(\bar{{\mathscr {M}}}\). Uniqueness is in this sense: given any \((\tilde{{\mathscr {M}}},\tilde{\iota })\) having the same properties as \((\bar{{\mathscr {M}}},\iota )\), there is a unique isomorphism of Banach \(L^0(\mathbb {X})\)-modules \(\phi :\bar{{\mathscr {M}}}\rightarrow \tilde{{\mathscr {M}}}\) with \(\tilde{\iota }=\phi \circ \iota \).
Definition 2.5
(Categories of Banach \(L^0(\mathbb {X})\)-modules) Let \(\mathbb {X}\) be a \(\sigma \)-finite measure space. Then:
-
(i)
We denote by \({\textbf {BanMod}}_\mathbb {X}\) the category whose objects are the Banach \(L^0(\mathbb {X})\)-modules, and the morphisms between Banach \(L^0(\mathbb {X})\)-modules \({\mathscr {M}}\) and \(\mathscr {N}\) are given by \(\textsc {Hom}({\mathscr {M}};{\mathscr {N}}).\)
-
(ii)
We denote by \({\textbf {BanMod}}_\mathbb {X}^1\) the category whose objects are the Banach \(L^0(\mathbb {X})\)-modules, and the morphisms between Banach \(L^0(\mathbb {X})\)-modules \({\mathscr {M}}\) and \(\mathscr {N}\) are given by \({\mathbb {D}}_{\textsc {Hom}({\mathscr {M}};\mathscr {N})}\).
Notice that \({\textbf {BanMod}}_\mathbb {X}^1\) is a lluf subcategory of \({\textbf {BanMod}}_\mathbb {X}\), i.e. a subcategory containing all the objects of \({\textbf {BanMod}}_\mathbb {X}\). It is proved in [19, Theorem 3.13] that \({\textbf {BanMod}}_\mathbb {X}^1\) is a bicomplete category (i.e. it admits all small limits and colimits), while it is observed in [19, Remark 3.1] that \({\textbf {BanMod}}_\mathbb {X}\) admits all finite limits and colimits.
Theorem 2.6
(Hahn–Banach) Let \(\mathbb {X}\) be a \(\sigma \)-finite measure space and \({\mathscr {M}}\) a normed \(L^0(\mathbb {X})\)-module. Then for any given \(v\in {\mathscr {M}}\) there exists an element \(\omega _v\in {\mathbb {S}}_{\mathscr {M}^*}\cup \{0\}\) such that \(\omega _v(v)=|v|\).
Theorem 2.6 appeared in [11] and was obtained as a consequence of the classical Hahn–Banach theorem. For a more direct proof tailored to normed modules, we refer to [17, Theorem 3.30].
A norming subset of \({\mathscr {M}}^*\) is a set \(\mathcal T\subseteq {\mathbb {D}}_{{\mathscr {M}}^*}\) satisfying \(|v|=\bigvee _{\omega \in {\mathcal {T}}}\omega (v)\) for every \(v\in {\mathscr {M}}\). The Hahn–Banach theorem ensures that the unit disc \({\mathbb {D}}_{{\mathscr {M}}^*}\) itself is a norming subset of \({\mathscr {M}}^*\).
Definition 2.7
(Weak\(^*\) topology) Let \(\mathbb {X}\) be a \(\sigma \)-finite measure space and let \(\mathscr {M}\) be a Banach \(L^0(\mathbb {X})\)-module. Then we define the weak\(^*\) topology on \({\mathscr {M}}^*\) as the coarsest topology induced by the family
where \(\delta _v:{\mathscr {M}}^*\rightarrow L^0(\mathbb {X})\) is given by \(\delta _v(\omega ){:}{=}\omega (v)\) for every \(\omega \in \mathscr {M}^*\).
Remark 2.8
Similarly, one could define a weak topology on \({\mathscr {M}}\). Moreover, the weak and weak\(^*\) topologies on Banach \(L^0\)-modules verify properties that generalise the corresponding ones for Banach spaces. However, in this paper we will not investigate further in this direction.
2.4.1 Examples of Banach \(L^0\)-modules
We recall two key examples of Banach \(L^0(\mathbb {X})\)-modules.
Definition 2.9
(The space \(L^0(\mathbb {X};\mathbb {B})\)) Let \(\mathbb {X}=(\textrm{X},\Sigma ,{\mathfrak {m}})\) be a \(\sigma \)-finite measure space, \(\mathbb {B}\) a Banach space. Then we denote by \(L^0(\mathbb {X};\mathbb {B})\) the space of all measurable maps from \(\textrm{X}\) to \(\mathbb {B}\) taking values into a separable subset of \(\mathbb {B}\) (which depends on the map itself), quotiented up to \({\mathfrak {m}}\)-a.e. equality.
The \(L^0\)-Lebesgue–Bochner space \(L^0(\mathbb {X};\mathbb {B})\) is a Banach \(L^0(\mathbb {X})\)-module if endowed with
Given a vector \(\textsf{v}\in \mathbb {B}\), we denote by \(\underline{\textsf{v}}\in L^0(\mathbb {X};\mathbb {B})\) the vector field that is a.e. equal to \(\mathsf v\), i.e. we set
We also recall the following definition of module-valued space of generalised sequences:
Definition 2.10
(The space \(\ell _p(I,{\mathscr {M}})\)) Let \(I\) be a non-empty index set and \(p\in [1,\infty )\). Let \(\mathbb {X}\) be a \(\sigma \)-finite measure space and \({\mathscr {M}}\) a Banach \(L^0(\mathbb {X})\)-module. Given any \(v=(v_i)_{i\in I}\in \mathscr {M}^I\), we set
Notice that \(|v|_p\in L^0_{\textrm{ext}}(\mathbb {X})^+\) for every \(v\in {\mathscr {M}}^I\). Then we define the space \(\ell _p(I,\mathscr {M})\) as
The space \(\big (\ell _p(I,{\mathscr {M}}),|\cdot |_p\big )\) is a Banach \(L^0(\mathbb {X})\)-module, as it follows from [19, Proposition 3.10] (notice indeed that \(\ell _p(I,{\mathscr {M}})\) is a particular example of \(\ell _p\)-sum in the sense of [19, Definition 3.9]).
2.4.2 Fiberwise representation of a Banach \(L^0\)-module
One can easily check that the space of measurable sections of a measurable Banach bundle is a Banach \(L^0(\mathbb {X})\)-module, a particular example being given by the \(L^0\)-Lebesgue–Bochner space \(L^0(\mathbb {X};\mathbb {B})\), which corresponds to the constant bundle \(\mathbb {B}\). On the other hand, it is much more difficult to show the converse, i.e. that any Banach \(L^0(\mathbb {X})\)-module can be represented as the space of sections of some measurable Banach bundle. Results in this direction have been obtained in [8, 16]. We will use one such result (i.e. Theorem 2.11 below) to prove Lemma 2.12, which in turn will be essential in order to obtain Lemma 3.19, and accordingly to introduce projective and injective tensor products of Banach \(L^0\)-modules.
Given a \(\sigma \)-finite measure space \(\mathbb {X}=(\textrm{X},\Sigma ,{\mathfrak {m}})\), a separable Banach space \(\mathbb {B}\), and measurable maps \(v_1,\ldots ,v_n:\textrm{X}\rightarrow \mathbb {B}\), we say that the multivalued map \(\textrm{X}\ni x\mapsto {\textbf {E}}(x)\subseteq \mathbb {B}\), which we define as
is a measurable Banach bundle on \(\mathbb {X}\). Notice that each \({\textbf {E}}(x)\) is a closed vector subspace of \(\mathbb {B}\). The space \(\Gamma _{\mathfrak {m}}({\textbf {E}})\) of all \({\mathfrak {m}}\)-measurable sections of \({\textbf {E}}\) is then defined as the set of all measurable maps \(v:\textrm{X}\rightarrow \mathbb {B}\) satisfying \(v(x)\in {\textbf {E}}(x)\) for \({\mathfrak {m}}\)-a.e. \(x\in \textrm{X}\), quotiented up to \({\mathfrak {m}}\)-a.e. equality. It turns out that \(\Gamma _{\mathfrak {m}}({\textbf {E}})\) is a Banach \(L^0(\mathbb {X})\)-module if endowed with the natural pointwise operations.
Theorem 2.11
(Fiberwise representation of Banach \(L^0\)-modules) Let \(\mathbb {X}\) be a \(\sigma \)-finite measure space and \({\mathscr {M}}\) a Banach \(L^0(\mathbb {X})\)-module. Let \(\mathbb {B}\) be a universal separable Banach space. Suppose that \({\mathscr {M}}\) has local dimension \(n\in \mathbb {N}\) on a set \(E\in \Sigma \). Then there exist measurable maps \(v_1,\ldots ,v_n:\textrm{X}\rightarrow \mathbb {B}\) such that \(\mathscr {M}|_E\cong \Gamma _{\mathfrak {m}}({\textbf {E}})\), where we set \({\textbf {E}}(x){:}{=}\textrm{span}\{v_1(x),\ldots ,v_n(x)\}\) for every \(x\in \textrm{X}\).
Theorem 2.11 was first proved in [16], but we preferred to present its reformulation from [8].
Lemma 2.12
Let \(\mathbb {X}\) be a \(\sigma \)-finite measure space and let \(\mathscr {M}\) be a finitely-generated Banach \(L^0(\mathbb {X})\)-module. Let \(T:{\mathscr {M}}\rightarrow L^0(\mathbb {X})\) be an \(L^0(\mathbb {X})\)-linear operator. Then it holds that \(T\in {\mathscr {M}}^*\).
Proof
Let \(D_0,\ldots ,D_{{\bar{n}}}\) be the dimensional decomposition of \({\mathscr {M}}\). Fix any \(n=1,\ldots ,{\bar{n}}\). Thanks to Theorem 2.11, we can find measurable vector fields \(v_1,\ldots ,v_n:\textrm{X}\rightarrow \mathbb {B}\), where \(\mathbb {B}\) is any given universal separable Banach space, such that \(v_1(x),\ldots ,v_n(x)\in \mathbb {B}\) are linearly independent for every \(x\in D_n\) and \(\Gamma _{\mathfrak {m}}({\textbf {E}})\) is isomorphic to \({\mathscr {M}}|_{D_n}\), where we set \({\textbf {E}}(x){:}{=}\textrm{span}\{v_1(x),\ldots ,v_n(x)\}\) for every \(x\in \textrm{X}\). For any \(i=1,\ldots ,n\), we choose a measurable representative \(\phi _i:\textrm{X}\rightarrow \mathbb {R}\) of the function \(T(v_i)\in L^0(\mathbb {X})\), where we are identifying \({\mathscr {M}}|_{D_n}\) with \(\Gamma _{\mathfrak {m}}({\textbf {E}})\). Given any point \(x\in D_n\), the unique linear operator from \({\textbf {E}}(x)\) to \(\mathbb {R}\) sending each \(v_i(x)\) to \(\phi _i(x)\) is continuous, thus
Notice that \(g_n\) is measurable by construction. Moreover, any \(v\in {\mathscr {M}}|_{D_n}\) can be written (in a unique way) as \(v=\sum _{i=1}^n f_i\cdot v_i\) for some \(f_1,\ldots ,f_n\in L^0(\mathbb {X})\), so that we can estimate
for \({\mathfrak {m}}\)-a.e. \(x\in D_n\). Therefore, letting \(g{:}{=}\sum _{n=1}^{{\bar{n}}}\mathbb {1}_{D_n}g_n\in L^0(\mathbb {X})\), we conclude that \(|T(v)|\le g|v|\) for every \(v\in {\mathscr {M}}\). \(\square \)
2.4.3 Pullback modules
Let \(\mathbb {X}=(\textrm{X},\Sigma _\textrm{X},{\mathfrak {m}}_\textrm{X})\), \(\mathbb {Y}=(\textrm{Y},\Sigma _\textrm{Y},{\mathfrak {m}}_\textrm{Y})\) be \(\sigma \)-finite measure spaces. Let \(\varphi :\textrm{X}\rightarrow \textrm{Y}\) be a measurable map such that \(\varphi _\#{\mathfrak {m}}_\textrm{X}\ll {\mathfrak {m}}_\textrm{Y}\). Notice that the map \(\varphi \) induces via pre-composition a ring homomorphism \(L^0(\mathbb {Y})\ni f\mapsto f\circ \varphi \in L^0(\mathbb {X})\) that is also a Riesz homomorphism.
This is an instance of a more general phenomenon: given any Banach \(L^0(\mathbb {Y})\)-module \({\mathscr {M}}\), there is a unique couple \((\varphi ^*{\mathscr {M}},\varphi ^*)\), where \(\varphi ^*{\mathscr {M}}\) is a Banach \(L^0(\mathbb {X})\)-module, \(\varphi ^*:\mathscr {M}\rightarrow \varphi ^*{\mathscr {M}}\) is linear, and
We say that \(\varphi ^*{\mathscr {M}}\) is the pullback module of \({\mathscr {M}}\) under \(\varphi \). Uniqueness is in the sense of the following universal property: given any couple \((\mathscr {N},T)\) having the same properties as \((\varphi ^*\mathscr {M},\varphi ^*)\), there exists a unique isomorphism of Banach \(L^0(\mathbb {X})\)-modules \(\phi :\varphi ^*{\mathscr {M}}\rightarrow {\mathscr {N}}\) with \(T=\phi \circ \varphi ^*\).
The pullback of the dual \(\varphi ^*{\mathscr {M}}^*\) is isomorphic to a Banach \(L^0(\mathbb {X})\)-submodule of the dual of the pullback \((\varphi ^*{\mathscr {M}})^*\), but in general the two spaces do not coincide. More precisely, the unique homomorphism of Banach \(L^0(\mathbb {X})\)-modules \(\textsf{I}_\varphi :\varphi ^*\mathscr {M}^*\rightarrow (\varphi ^*{\mathscr {M}})^*\) satisfying
preserves the pointwise norm, but in general is not surjective. However, the following fact holds:
Theorem 2.13
(Sequential weak\(^*\) density of \(\varphi ^*{\mathscr {M}}^*\) in \((\varphi ^*{\mathscr {M}})^*\)) Let \(\mathbb {X}\), \(\mathbb {Y}\) be separable, \(\sigma \)-finite measure spaces. Let \(\varphi :\textrm{X}\rightarrow \textrm{Y}\) be a measurable map such that \(\varphi _\#{\mathfrak {m}}_\textrm{X}\ll {\mathfrak {m}}_\textrm{Y}\). Let \({\mathscr {M}}\) be a Banach \(L^0(\mathbb {Y})\)-module. Let \(\Theta \in (\varphi ^*{\mathscr {M}})^*\) be given. Then there exists a sequence \((\Theta _n)_{n\in \mathbb {N}}\subseteq \varphi ^*{\mathscr {M}}^*\) such that \(\textsf{I}_\varphi (\Theta _n)\rightarrow \Theta \) with respect to the weak\(^*\) topology of \((\varphi ^*{\mathscr {M}})^*\) introduced in Definition 2.7.
Theorem 2.13 was proved in [13, Theorem B.1]. It is unclear whether the separability assumption on \(\mathbb {X}\) and \(\mathbb {Y}\), which is due only to the proof strategy of [13, Theorem B.1], can be dropped.
2.4.4 Bounded \(L^0\)-bilinear operators
In Sects. 4 and 5 we will need to use the space \(\textrm{B}({\mathscr {M}},{\mathscr {N}})\):
Definition 2.14
(The space \({ B}({\mathscr {M}},{\mathscr {N}};{\mathscr {Q}})\)) Let \(\mathbb {X}\) be a \(\sigma \)-finite measure space. Let \(\mathscr {M}\), \({\mathscr {N}}\), \({\mathscr {Q}}\) be normed \(L^0(\mathbb {X})\)-modules. Then we denote by \(\textrm{B}({\mathscr {M}},{\mathscr {N}};{\mathscr {Q}})\) the space of all those \(L^0(\mathbb {X})\)-bilinear operators \(b:\mathscr {M}\times {\mathscr {N}}\rightarrow {\mathscr {Q}}\) that are also continuous. We also set \(\textrm{B}({\mathscr {M}},{\mathscr {N}}){:}{=}\textrm{B}(\mathscr {M},{\mathscr {N}};L^0(\mathbb {X}))\).
One can readily check that a bilinear map \(b:\mathscr {M}\times {\mathscr {N}}\rightarrow {\mathscr {Q}}\) is \(L^0(\mathbb {X})\)-bilinear and continuous (i.e. it belongs to \(\textrm{B}({\mathscr {M}},\mathscr {N};{\mathscr {Q}})\)) if and only if there exists a function \(g\in L^0(\mathbb {X})^+\) such that
Moreover, \(\textrm{B}({\mathscr {M}},{\mathscr {N}};{\mathscr {Q}})\) is a normed \(L^0(\mathbb {X})\)-module if endowed with the pointwise operations and
for every \(b\in \textrm{B}({\mathscr {M}},{\mathscr {N}};{\mathscr {Q}})\). If \({\mathscr {Q}}\) is complete, then \(\textrm{B}({\mathscr {M}},\mathscr {N};{\mathscr {Q}})\) is a Banach \(L^0(\mathbb {X})\)-module.
If \({\mathscr {M}}\), \({\mathscr {N}}\), \({\mathscr {Q}}\) are normed \(L^0(\mathbb {X})\)-modules, then each \(b\in \textrm{B}({\mathscr {M}},\mathscr {N};{\mathscr {Q}})\) can be uniquely extended to \({\bar{b}}\in \textrm{B}(\bar{{\mathscr {M}}},\bar{{\mathscr {N}}};\bar{{\mathscr {Q}}})\), where \(\bar{{\mathscr {M}}}\), \(\bar{{\mathscr {N}}}\), \(\bar{{\mathscr {Q}}}\) are the completions of \({\mathscr {M}}\), \({\mathscr {N}}\), \({\mathscr {Q}}\), respectively, and \(|{\bar{b}}|=|b|\).
3 Auxiliary results on Banach \(L^0\)-modules
3.1 Quotient operators between Banach \(L^0\)-modules
We begin with the key definition:
Definition 3.1
(Quotient operator) Let \(\mathbb {X}\) be a \(\sigma \)-finite measure space. Let \({\mathscr {M}}\) and \({\mathscr {N}}\) be normed \(L^0(\mathbb {X})\)-modules. Then we say that a homomorphism \(T:{\mathscr {M}}\rightarrow {\mathscr {N}}\) of normed \(L^0(\mathbb {X})\)-modules is a quotient operator provided it is surjective and it satisfies
Notice that each quotient operator \(T:{\mathscr {M}}\rightarrow {\mathscr {N}}\) verifies \(|T|\le 1\). More precisely, it holds that
If \({\mathscr {M}}\), \({\mathscr {N}}\) are two Banach \(L^0(\mathbb {X})\)-modules and \(T:{\mathscr {M}}\rightarrow {\mathscr {N}}\) is a homomorphism of Banach \(L^0(\mathbb {X})\)-modules, then \(T\) is a quotient operator if and only if the unique map \({\hat{T}}:{\mathscr {M}}/\textrm{ker}(T)\rightarrow {\mathscr {N}}\) satisfying
![figure c](http://media.springernature.com/lw685/springer-static/image/art%3A10.1007%2Fs43034-023-00312-x/MediaObjects/43034_2023_312_Figc_HTML.png)
is an isomorphism of Banach \(L^0(\mathbb {X})\)-modules, with \(\pi :{\mathscr {M}}\rightarrow {\mathscr {M}}/\textrm{ker}(T)\) the canonical projection.
Remark 3.2
If \(T:{\mathscr {M}}\rightarrow {\mathscr {N}}\) is a quotient operator between normed \(L^0(\mathbb {X})\)-modules, then its unique linear continuous extension \({\bar{T}}:\bar{{\mathscr {M}}}\rightarrow \bar{{\mathscr {N}}}\) to the completions is a quotient operator.
The glueing property of \({\mathscr {M}}\) ensures that if \(T:{\mathscr {M}}\rightarrow {\mathscr {N}}\) is a quotient operator and \(w\in {\mathscr {N}}\) is given, then for every \(\varepsilon >0\) we can find an element \(v\in {\mathscr {M}}\) such that \(T(v)=w\) and \(|v|\le |w|+\varepsilon \).
Lemma 3.3
Let \(\mathbb {X}\) be a \(\sigma \)-finite measure space and let \({\mathscr {M}}\) be a Banach \(L^0(\mathbb {X})\)-module. Given any Banach \(L^0(\mathbb {X})\)-submodule \({\mathscr {V}}\) of \({\mathscr {M}}\), we define the annihilator \({\mathscr {V}}^\perp \) of \({\mathscr {V}}\) in \({\mathscr {M}}^*\) as
Then \({\mathscr {V}}^\perp \) is a Banach \(L^0(\mathbb {X})\)-submodule of \({\mathscr {M}}^*\). Moreover, it holds that
an isomorphism of Banach \(L^0(\mathbb {X})\)-modules being given by the map
Proof
It is straightforward to check that \({\mathscr {V}}^\perp \) is a Banach \(L^0(\mathbb {X})\)-submodule of \({\mathscr {M}}^*\). Consider the homomorphism of Banach \(L^0(\mathbb {X})\)-modules \(T:{\mathscr {M}}^*\rightarrow {\mathscr {V}}^*\) given by \(T(\omega ){:}{=}\omega |_{{\mathscr {V}}}\) for all \(\omega \in {\mathscr {M}}^*\). Observe that \(|T|\le 1\). Moreover, the Hahn–Banach theorem ensures that for any \(\eta \in {\mathscr {V}}^*\) we can find \(\omega \in {\mathscr {M}}^*\) such that \(T(\omega )=\eta \) and \(|\omega |=|\eta |\). This shows that \(T\) is a quotient operator. Since \(\textrm{ker}(T)={\mathscr {V}}^\perp \), we conclude that the operator \({\mathscr {M}}^*/{\mathscr {V}}^\perp \ni \omega +{\mathscr {V}}^\perp \mapsto \omega |_{{\mathscr {V}}}\in {\mathscr {V}}^*\) is an isomorphism of Banach \(L^0(\mathbb {X})\)-modules. Therefore, the proof of the statement is complete. \(\square \)
We conclude with a sufficient condition for a given homomorphism to be a quotient operator:
Lemma 3.4
Let \(\mathbb {X}\) be a \(\sigma \)-finite measure space. Let \({\mathscr {M}}\), \({\mathscr {N}}\) be Banach \(L^0(\mathbb {X})\)-modules. Let \({\mathscr {W}}\) be a dense vector subspace of \({\mathscr {N}}\). Let \(T:{\mathscr {M}}\rightarrow {\mathscr {N}}\) be a homomorphism of Banach \(L^0(\mathbb {X})\)-modules with \(|T|\le 1\) satisfying the following property: given any \(w\in {\mathscr {N}}\) and \(\varepsilon >0\), there exists \(v\in {\mathscr {M}}\) such that \(\textsf{d}_{{\mathscr {N}}}(T(v),w)<\varepsilon \) and \(\textsf{d}_{L^0(\mathbb {X})}(|v|,|w|)<\varepsilon \). Then \(T\) is a quotient operator.
Proof
Let \(w\in {\mathscr {N}}\) and \(k\in \mathbb {N}\) be given. Set \(u^k_0{:}{=}0\in {\mathscr {M}}\) and find recursively \(u^k_n\in {\mathscr {M}}\) for \(n\in \mathbb {N}\) such that \(\textsf{d}_{{\mathscr {N}}}\big (T(u^k_n),w-\sum _{i=0}^{n-1}T(u^k_i)\big )<2^{-k-n-1}\) and \(\textsf{d}_{L^0(\mathbb {X})}\big (|u^k_n|,\big |w-\sum _{i=0}^{n-1}T(u^k_i)\big |\big )<2^{-k-n-1}\). Now define \(v^k_n{:}{=}\sum _{i=1}^n u^k_i\) for every \(n\in \mathbb {N}\). Then we have that \(\sum _{n\in \mathbb {N}}\textsf{d}_{{\mathscr {M}}}(v^k_{n+1},v^k_n)<+\infty \), since
It follows that \((v^k_n)_{n\in \mathbb {N}}\subseteq {\mathscr {M}}\) is Cauchy, thus it makes sense to define \(v^k\in {\mathscr {M}}\) as \(v^k{:}{=}\lim _n v^k_n\). Since
the continuity of the map \(T\) ensures that \(T(v^k)=w\). Moreover, we can estimate
Given that \(\textsf{d}_{L^0(\mathbb {X})}(r_k,0)<2^{-k}\) and \(|w|=|T(v^k)|\le |v^k|\), we can extract a subsequence \((k_j)_{j\in \mathbb {N}}\subseteq \mathbb {N}\) such that \(|v^{k_j}|\rightarrow |w|\) in the \({\mathfrak {m}}\)-a.e. sense. This implies that \(|w|=\bigwedge _{v\in T^{-1}(w)}|v|\), as desired. \(\square \)
3.2 Summability in Banach \(L^0\)-modules
First, we introduce a notion of summable family in a normed \(L^0\)-module. Recall that a family \(\{\textsf{v}_i\}_{i\in I}\) in a normed space \(\mathbb {B}\) is said to be summable, with sum \(\textsf{v}\in \mathbb {B}\), if for every \(\varepsilon >0\) there exists \(F\in {\mathscr {P}}_f(I)\) such that \(\big \Vert \textsf{v}-\sum _{i\in F\cup G}\textsf{v}_i\big \Vert _\mathbb {B}\le \varepsilon \) for every \(G\in {\mathscr {P}}_f(I{{\setminus }} F)\). We propose the following generalisation of this notion to normed \(L^0\)-modules:
Definition 3.5
(Summable family in a normed \(L^0\)-module) Let \(\mathbb {X}\) be a \(\sigma \)-finite measure space and \({\mathscr {M}}\) a normed \(L^0(\mathbb {X})\)-module. Then we say that a family \(\{v_i\}_{i\in I}\subseteq {\mathscr {M}}\) is summable in \({\mathscr {M}}\) if
The element \(v\in {\mathscr {M}}\) is unique, is called the sum of \(\{v_i\}_{i\in I}\) in \({\mathscr {M}}\), and is denoted by \(\sum _{i\in I}v_i\).
In a Banach space \(\mathbb {B}\), the Cauchy summability criterion states that a family \(\{\textsf{v}_i\}_{i\in I}\subseteq \mathbb {B}\) is summable if and only if for every \(\varepsilon >0\) there exists \(F\in {\mathscr {P}}_f(I)\) such that \(\big \Vert \sum _{i\in G}\textsf{v}_i\big \Vert _\mathbb {B}\le \varepsilon \) for every \(G\in {\mathscr {P}}_f(I{{\setminus }} F)\). This summability criterion can be generalised to Banach \(L^0\)-modules:
Proposition 3.6
(Cauchy summability criterion) Let \(\mathbb {X}\) be a \(\sigma \)-finite measure space. Let \({\mathscr {M}}\) be a Banach \(L^0(\mathbb {X})\)-module. Then it holds that a family \(\{v_i\}_{i\in I}\subseteq {\mathscr {M}}\) is summable if and only if
In this case, \(J{:}{=}\big \{i\in I\,:\,v_i\ne 0\big \}\) is at most countable. Moreover, given any increasing sequence \((F_n)_{n\in \mathbb {N}}\) of finite subsets of \(J\) satisfying \(J=\bigcup _{n\in \mathbb {N}}F_n\), we have that
Proof
Suppose \(\{v_i\}_{i\in I}\) is summable and set \(v{:}{=}\sum _{i\in I}v_i\in {\mathscr {M}}\) for brevity. We have that
which yields \(\bigvee _{G\in {\mathscr {P}}_f(I{{\setminus }} F)}\big |\sum _{i\in G}v_i\big |\le 2\bigvee _{G\in {\mathscr {P}}_f(I{{\setminus }} F)}\big |v-\sum _{i\in F\cup G}v_i\big |\) and accordingly
Conversely, suppose (3.3) holds. Then we can find an increasing sequence \(({\tilde{F}}_k)_{k\in \mathbb {N}}\) of finite subsets of \(J\) such that \(\psi _k{:}{=}\bigvee _{G\in {\mathscr {P}}_f(I{{\setminus }}{\tilde{F}}_k)}\big |\sum _{i\in G}v_i\big |\searrow 0\) holds \({\mathfrak {m}}\)-a.e. Notice that \(J=\bigcup _{k\in \mathbb {N}}{\tilde{F}}_k\). Up to a non-relabelled subsequence, we can also assume that \(\textsf{d}_{L^0(\mathbb {X})}(\psi _k\wedge 1,0)\le k^{-1}\) for every \(k\in \mathbb {N}\). Define \(J_k{:}{=}\big \{i\in I\,:\,\textsf{d}_{{\mathscr {M}}}(v_i,0)>k^{-1}\big \}\) for every \(k\in \mathbb {N}\). Given that \(|v_i|\le \psi _k\) for every \(i\in I{{\setminus }}{\tilde{F}}_k\), we deduce that \(\textsf{d}_{{\mathscr {M}}}(v_i,0)\le \textsf{d}_{L^0(\mathbb {X})}(\psi _k\wedge 1,0)\le k^{-1}\), so that \(i\notin J_k\). This shows that \(J_k\subseteq {\tilde{F}}_k\), thus in particular \(J_k\) is finite. Since \(J=\bigcup _{k\in \mathbb {N}}J_k\), we deduce that \(J\) is at most countable. Moreover,
implies that \(\big (\sum _{i\in {\tilde{F}}_k}v_i\big )_{k\in \mathbb {N}}\) is a Cauchy sequence in \({\mathscr {M}}\). Denoting by \(v\in {\mathscr {M}}\) its limit, we claim that \(\{v_i\}_{i\in I}\) is summable and \(v=\sum _{i\in I}v_i\). First, letting \(\phi _k{:}{=}\big |v-\sum _{i\in {\tilde{F}}_k}v_i\big |\in L^0(\mathbb {X})^+\), we have that \(\phi _k\rightarrow 0\) in \(L^0(\mathbb {X})\) as \(k\rightarrow \infty \), thus in particular \(\bigwedge _{k\in \mathbb {N}}\phi _k=0\). Therefore, we deduce that
which shows that \(\{v_i\}_{i\in I}\) is summable with sum \(v\), as we claimed. Finally, given an increasing sequence \((F_n)_{n\in \mathbb {N}}\) of finite subsets of \(J\) with \(J=\bigcup _{n\in \mathbb {N}}F_n\), we can extract a subsequence \((n_k)_{k\in \mathbb {N}}\) such that \({\tilde{F}}_k\subseteq F_{n_k}\) for every \(k\in \mathbb {N}\), so that \(\big |v-\sum _{i\in F_{n_k}}v_i\big |\le \phi _k+\psi _k\) for every \(k\in \mathbb {N}\), whence it follows that \(\sum _{i\in F_{n_k}}v_i\rightarrow v\) as \(k\rightarrow \infty \). Given that the limit \(v\) does not depend on the specific choice of the sequence \((F_n)_{n\in \mathbb {N}}\), we can conclude that (3.4) is verified. The proof is complete. \(\square \)
Furthermore, given any family \(\{f_i\}_{i\in I}\subseteq L^0(\mathbb {X})^+\), we define
This is consistent with Definition 3.5, since \(\bigvee _{F\in {\mathscr {P}}_f(I)}\sum _{i\in F}f_i\in L^0(\mathbb {X})^+\) if and only if \(\{f_i\}_{i\in I}\subseteq L^0(\mathbb {X})\) is summable. In this case, its sum coincides with \(\bigvee _{F\in {\mathscr {P}}_f(I)}\sum _{i\in F}f_i\). Moreover,
holds whenever \({\mathscr {M}}\) is a Banach \(L^0(\mathbb {X})\)-module and \(p\in [1,\infty )\). Let us also observe that
Indeed, using the summability of \(\{|v_i|\}_{i\in I}\) in \(L^0(\mathbb {X})\) and Proposition 3.6 we obtain that
whence the claimed identity (3.5) follows.
Remark 3.7
Let \(\{v_i\}_{i\in I}\) be a summable family in a given Banach \(L^0(\mathbb {X})\)-module \({\mathscr {M}}\). Then it holds that
Indeed, thanks to Proposition 3.6 we can find a sequence \((F_n)_{n\in \mathbb {N}}\subseteq {\mathscr {P}}_f(I)\) for which \(\big |\sum _{i\in F_n}v_i-\sum _{i\in I}v_i\big |\rightarrow 0\) in the \({\mathfrak {m}}\)-a.e. sense as \(n\rightarrow \infty \), so that \(\big |\sum _{i\in I}v_i\big |=\lim _n\big |\sum _{i\in F_n}v_i\big |\le \lim _n\sum _{i\in F_n}|v_i|\le \sum _{i\in I}|v_i|\). Also,
Indeed, arguing as in the proof of (3.5) we deduce that (3.3) is verified, so that \(\{v_i\}_{i\in I}\) is summable by Proposition 3.6. Notice also that \(\big |\sum _{i\in I}v_i\big |\le |v|_1\) holds by (3.6).
Lemma 3.8
Let \(\mathbb {X}\) be a \(\sigma \)-finite measure space. Let \(\varphi :{\mathscr {M}}\rightarrow {\mathscr {N}}\) be a homomorphism of Banach \(L^0(\mathbb {X})\)-modules \({\mathscr {M}}\), \({\mathscr {N}}\). Let \(\{v_i\}_{i\in I}\subseteq {\mathscr {M}}\) be summable. Then \(\{\varphi (v_i)\}_{i\in I}\subseteq {\mathscr {N}}\) is summable and
Proof
Set \(v{:}{=}\sum _{i\in I}v_i\) for brevity. If \(F\in {\mathscr {P}}_f(I)\) and \(G\in {\mathscr {P}}_f(I{{\setminus }} F)\), then
By taking first the supremum over \(G\) and then the infimum over \(F\), we thus obtain (3.7). \(\square \)
3.3 Local Schauder bases
We propose a notion of (unconditional) Schauder basis in a Banach \(L^0\)-module. The term ‘unconditional’ will be often omitted, as no other kind of basis is considered.
Definition 3.9
(Local Schauder basis) Let \(\mathbb {X}=(\textrm{X},\Sigma ,{\mathfrak {m}})\) be a \(\sigma \)-finite measure space and \({\mathscr {M}}\) a Banach \(L^0(\mathbb {X})\)-module. Let \(E\in \Sigma \) satisfy \({\mathfrak {m}}(E)>0\). Then we say that a family \(\{v_i\}_{i\in I}\subseteq {\mathscr {M}}\) is an (unconditional) local Schauder basis of \({\mathscr {M}}\) on \(E\) provided for any given \(v\in {\mathscr {M}}|_E\) there exists a unique \((f_i)_{i\in I}\in L^0(\mathbb {X}|_E)^I\) such that the family \(\{f_i\cdot v_i\}_{i\in I}\) is summable in \({\mathscr {M}}\) and
In the case where \(E=\textrm{X}\), we say that \(\{v_i\}_{i\in I}\) is an (unconditional) local Schauder basis of \({\mathscr {M}}\).
Lemma 3.10
Let \(\mathbb {X}\) be a \(\sigma \)-finite measure space, \(\mathbb {B}\) a Banach space with a Schauder basis \(\{\textsf{v}_i\}_{i\in I}\). Then it holds that the family \(\{\underline{\textsf{v}}_i\}_{i\in I}\) defined as in (2.5) is a local Schauder basis of \(L^0(\mathbb {X};\mathbb {B})\).
Proof
Let \(v\in L^0(\mathbb {X};\mathbb {B})\) be given. Fix a measurable representative \({\bar{v}}:\textrm{X}\rightarrow \mathbb {B}\) of \(v\). Since \(\{\textsf{v}_i\}_{i\in I}\) is a Schauder basis of \(\mathbb {B}\), for any point \(x\in \textrm{X}\) we can find a unique \(({\bar{f}}_i(x))_{i\in I}\in \mathbb {R}^I\) such that
Thanks to (2.2) and the classical Hahn–Banach theorem, for any index \(i\in I\) we can find \(\omega _i\in \mathbb {B}'\) (where \(\mathbb {B}'\) stands for the topological dual of \(\mathbb {B}\)) with \(\omega _i(\textsf{v}_j)=0\) for every \(j\in I{{\setminus }}\{i\}\) and \(\omega _i(\textsf{v}_i)=1\). Hence, Lemma 3.8 gives
whence it follows that \({\bar{f}}_i:\textrm{X}\rightarrow \mathbb {R}\) is measurable. Define \(f_i{:}{=}[{\bar{f}}_i]_{\mathfrak {m}}\in L^0(\mathbb {X})\) for every \(i\in I\). Since
by (3.8), taking into account also Remark 2.3 (as well as its natural variants) we deduce that
This proves that \(\{f_i\cdot \underline{\textsf{v}}_i\}_{i\in I}\) is summable in \(L^0(\mathbb {X};\mathbb {B})\) and \(v=\sum _{i\in I}f_i\cdot \underline{\textsf{v}}_i\). Finally, let us check that \((f_i)_{i\in I}\in L^0(\mathbb {X})^I\) is the unique family with this property. Suppose \((g_i)_{i\in I}\in L^0(\mathbb {X})^I\) satisfies the identity \(\sum _{i\in I}g_i\cdot \underline{\textsf{v}}_i=v\) in \(L^0(\mathbb {X};\mathbb {B})\). By virtue of Proposition 3.6, the set \(J{:}{=}\big \{i\in I\,:\,g_i\ne 0\big \}\) is at most countable. Fix a measurable representative \({\bar{g}}_i:\textrm{X}\rightarrow \mathbb {R}\) of \(g_i\) for every \(i\in J\). Since the family of all couples \((F,G)\) with \(F\in {\mathscr {P}}_f(J)\) and \(G\in {\mathscr {P}}_f(J{{\setminus }} F)\) is at most countable, we can find a set \(N\in \Sigma \) such that \({\mathfrak {m}}(N)=0\) and
It follows that \({\bar{g}}_i(x)={\bar{f}}_i(x)\) for every \(i\in J\) and \(x\in \textrm{X}{{\setminus }} N\), as well as \({\bar{f}}_i(x)=0\) for every \(i\in I{{\setminus }} J\) and \(x\in \textrm{X}{{\setminus }} N\). Hence, we conclude that \((g_i)_{i\in I}=(f_i)_{i\in I}\), so that the statement is achieved. \(\square \)
3.3.1 Applications to spaces of generalised sequences and to \(L^0\)-Lebesgue–Bochner spaces
Fix an arbitrary index set \(I\ne \varnothing \). Given any \(p\in [1,\infty )\) and any index \(i\in I\), we define
The resulting map \(p_i:\ell _p(I)\rightarrow \mathbb {R}\) is a \(1\)-Lipschitz linear operator. Hence, it makes sense to define
whenever \(\mathbb {X}\) is a \(\sigma \)-finite measure space. Moreover, recall that any element \(\textsf{a}\in \ell _p(I)\) is associated with the a.e. constant vector field \(\underline{\textsf{a}}\in L^0(\mathbb {X};\ell _p(I))\), which is given by \(\underline{\textsf{a}}(x){:}{=}\textsf{a}\) for \({\mathfrak {m}}\)-a.e. \(x\in \textrm{X}\).
Lemma 3.11
Let \(\mathbb {X}\) be a \(\sigma \)-finite measure space and \(I\ne \varnothing \) an index set. Let \(a\in L^0(\mathbb {X};\ell _1(I))\) be given. Let \((\textsf{e}_i)_{i\in I}\) be as in (2.3). Then the family \(\{a(\cdot )_i\cdot \underline{\textsf{e}}_i\}_{i\in I}\) is summable in \(L^0(\mathbb {X};\ell _1(I))\) and
In particular, the family \(\big \{|a(\cdot )_i|\big \}_{i\in I}\) is summable in \(L^0(\mathbb {X})\) and it holds that
Proof
Fix a measurable representative \({\bar{a}}:\textrm{X}\rightarrow \ell _1(I)\) of \(a\). As \(\{\textsf{e}_i\}_{i\in I}\) is a Schauder basis of \(\ell _1(I)\),
Using that \({\bar{a}}(x)_i=(p_i\circ {\bar{a}})(x)\) and taking into account Remark 2.3, we can thus conclude that
which gives the first claim (3.9). Finally, (3.10) follows from (3.9) together with the fact that
for every \(F\in {\mathscr {P}}_f(I)\) and \(G\in {\mathscr {P}}_f(I{{\setminus }} F)\). All in all, the proof of the statement is achieved. \(\square \)
Finally, the Banach \(L^0(\mathbb {X})\)-modules \(L^0(\mathbb {X};\ell _1(I))\) and \(\ell _1(I,L^0(\mathbb {X}))\) can be canonically identified:
Corollary 3.12
Let \(\mathbb {X}\) be a \(\sigma \)-finite measure space and \(I\ne \varnothing \) an index family. Let us define
Then the operator \(\phi :L^0(\mathbb {X};\ell _1(I))\rightarrow \ell _1(I,L^0(\mathbb {X}))\) is an isomorphism of Banach \(L^0(\mathbb {X})\)-modules.
Proof
The fact that \(\phi \) is a homomorphism of Banach \(L^0(\mathbb {X})\)-modules satisfying \(|\phi (a)|_1=|a|\) for every \(a\in L^0(\mathbb {X};\ell _1(I))\) follows from Lemma 3.11. Therefore, it remains to check only that \(\phi \) is surjective. To this aim, fix \(f=(f_i)_{i\in I}\in \ell _1(I,L^0(\mathbb {X}))\). We know that \(J{:}{=}\big \{i\in I\,:\,f_i\ne 0\big \}\) is at most countable. Take a measurable representative \({\bar{f}}_i:\textrm{X}\rightarrow \mathbb {R}\) of \(f_i\) for every \(i\in I\), with \({\bar{f}}_i\equiv 0\) for every \(i\in I{{\setminus }} J\). Since \(\sum _{i\in I}|f_i|=\sum _{i\in J}|f_i|\in L^0(\mathbb {X})\), we can also assume (up to modifying the functions \({\bar{f}}_i\) for \(i\in J\) on a null set) that \(\big \{|{\bar{f}}_i(x)|\big \}_{i\in I}\subseteq \mathbb {R}\) is summable for every \(x\in \textrm{X}\). Then the mapping \(\textrm{X}\ni x\mapsto {\bar{a}}(x){:}{=}\big ({\bar{f}}_i(x)\big )_{i\in I}\in \ell _1(I)\) is well-defined, is measurable, and takes values into a separable subset of \(\ell _1(I)\) (namely, the closure of the vector subspace generated by \(\{\textsf{e}_i\}_{i\in J}\)). Letting \(a\in L^0(\mathbb {X};\ell _1(I))\) be the equivalence class of \({\bar{a}}:\textrm{X}\rightarrow \ell _1(I)\), we have that \(\phi (a)=f\) by construction. This proves the surjectivity of \(\phi \), thus accordingly the statement is achieved. \(\square \)
3.4 Some notions of continuous module-valued maps
When dealing with injective tensor products of Banach spaces, a special role is played by the Banach space \(\textrm{C}(K)\), where \(K\) is a compact, Hausdorff topological space; cf. with the first paragraph of Sect. 5.2. It seems that in the more general setting of Banach \(L^0\)-modules there is no ‘canonical’ counterpart of \(\textrm{C}(K)\). Rather, we will propose two generalisations of \(\textrm{C}(K)\) in Definitions 3.13 and 3.16, respectively.
Let \((\Omega ,\Phi )\) be a uniform space (see [6]). Given an entourage \({\mathcal {U}}\in \Phi \) and any \(p\in \Omega \), we define
Recall that the uniform structure \(\Phi \) induces a topology \(\tau _\Phi \) on \(\Omega \), which is defined as follows:
We then regard every uniform space \((\Omega ,\Phi )\) as a topological space, endowed with \(\tau _\Phi \).
Definition 3.13
(Uniform order-continuity) Let \((\Omega ,\Phi )\) be a uniform space, \(\mathbb {X}\) a \(\sigma \)-finite measure space, and \({\mathscr {M}}\) a Banach \(L^0(\mathbb {X})\)-module. Then we say that a map \(v:\Omega \rightarrow {\mathscr {M}}\) is order-bounded if
or equivalently if the family \(\{|v(p)|\}_{p\in \Omega }\) is an order-bounded subset of \(L^0(\mathbb {X})\). Moreover, we say that \(v:\Omega \rightarrow {\mathscr {M}}\) is uniformly order-continuous provided
We denote by \(\textrm{UC}_{\textrm{ord}}(\Omega ;{\mathscr {M}})\) the space of all order-bounded, uniformly order-continuous maps.
Given any \(v,w\in \textrm{UC}_{\textrm{ord}}(\Omega ;{\mathscr {M}})\) and \(f\in L^0(\mathbb {X})\), we define \(v+w:\Omega \rightarrow {\mathscr {M}}\) and \(f\cdot v:\Omega \rightarrow {\mathscr {M}}\) as
respectively. It can be readily checked that \(v+w,f\cdot v\in \textrm{UC}_{\textrm{ord}}(\Omega ;{\mathscr {M}})\), that \(\big (\textrm{UC}_{\textrm{ord}}(\Omega ;{\mathscr {M}}),+,\cdot \big )\) is a module over \(L^0(\mathbb {X})\), and that the map
defined in (3.12) is a pointwise norm on \(\textrm{UC}_{\textrm{ord}}(\Omega ;{\mathscr {M}})\). All in all, the couple \(\big (\textrm{UC}_{\textrm{ord}}(\Omega ;{\mathscr {M}}),|\cdot |\big )\) is a normed \(L^0(\mathbb {X})\)-module. Moreover:
Lemma 3.14
Let \((\Omega ,\Phi )\) be a uniform space. Let \(\mathbb {X}\) be a \(\sigma \)-finite measure space and \({\mathscr {M}}\) a Banach \(L^0(\mathbb {X})\)-module. Let \(|\cdot |:\textrm{UC}_{\textrm{ord}}(\Omega ;{\mathscr {M}})\rightarrow L^0(\mathbb {X})^+\) be defined as in (3.12). Then \(\big (\textrm{UC}_{\textrm{ord}}(\Omega ;{\mathscr {M}}),|\cdot |\big )\) is a Banach \(L^0(\mathbb {X})\)-module.
Proof
It only remains to check that \(\textrm{UC}_{\textrm{ord}}(\Omega ;{\mathscr {M}})\) is complete. To this aim, let \((v_n)_{n\in \mathbb {N}}\subseteq \textrm{UC}_{\textrm{ord}}(\Omega ;{\mathscr {M}})\) be a given Cauchy sequence. Up to a non-relabelled subsequence, we can assume that \(\textsf{d}_{L^0(\mathbb {X})}(|v_n-v_{n+1}|,0)\le 2^{-n}\) for every \(n\in \mathbb {N}\). For any \(p\in \Omega \) we can estimate
It follows that \((v_n(p))_{n\in \mathbb {N}}\subseteq {\mathscr {M}}\) is a Cauchy sequence, so that the limit \(v(p){:}{=}\lim _n v_n(p)\in {\mathscr {M}}\) exists. To prove that \(v:\Omega \rightarrow {\mathscr {M}}\) is order-bounded, notice that \(\big ||v_n|-|v_{n+1}|\big |\le |v_n-v_{n+1}|\) implies \(\textsf{d}_{L^0(\mathbb {X})}(|v_n|,|v_{n+1}|)\le 2^{-n}\), so that the sequence \((|v_n|)_{n\in \mathbb {N}}\subseteq L^0(\mathbb {X})\) is Cauchy. Define \(g{:}{=}\lim _n|v_n|\in L^0(\mathbb {X})\). Given \(p\in \Omega \), we can extract a subsequence \((n_i)_{i\in \mathbb {N}}\) such that \(|v_{n_i}(p)|\rightarrow |v(p)|\) and \(|v_{n_i}|\rightarrow g\) \({\mathfrak {m}}\)-a.e. as \(i\rightarrow \infty \). Hence,
which implies \(|v|=\bigvee _{p\in \Omega }|v(p)|\le g\). We pass to the verification of the uniform order-continuity of \(v\). For any \(n\in \mathbb {N}\) we can find a sequence of entourages \(({\mathcal {U}}^{\,n}_i)_{i\in \mathbb {N}}\subseteq \Phi \) with \(\bigwedge _{i\in \mathbb {N}}\textrm{Var}(v_n;{\mathcal {U}}^{\,n}_i)=0\). With no loss of generality, we can also require that \({\mathcal {U}}^{\,n}_{i+1}\subseteq {\mathcal {U}}^{\,n}_i\) for every \(i\in \mathbb {N}\), whence it follows that \(\textsf{d}_{L^0(\mathbb {X})}\big (\textrm{Var}(v_n;{\mathcal {U}}^{\,n}_i),0\big )\rightarrow 0\) as \(i\rightarrow \infty \). Define \(h_n{:}{=}\sum _{k=n}^\infty |v_k-v_{k+1}|\wedge 1\) for every \(n\in \mathbb {N}\). Then
by monotone convergence theorem, thus \(h_n\in L^1(\tilde{\mathfrak {m}})\) and \(\Vert h_n\Vert _{L^1(\tilde{\mathfrak {m}})}\le 2^{-n+1}\). Notice that
for every \(p,q\in \Omega \) and \(n\in \mathbb {N}\). Fixing \(i\in \mathbb {N}\) and passing to the supremum over all \((p,q)\in {\mathcal {U}}^{\,n}_i\), we deduce that \(\textrm{Var}(v;{\mathcal {U}}^{\,n}_i)\wedge 1\le 2h_n+\textrm{Var}(v_n;{\mathcal {U}}^{\,n}_i)\wedge 1\). Integrating with respect to \(\tilde{\mathfrak {m}}\), we thus get
Given any \(k\in \mathbb {N}\), we first choose \(n_k\in \mathbb {N}\) such that \(2^{-n_k+2}<1/(2k)\), then we choose \(i_k\in \mathbb {N}\) such that \(\textsf{d}_{L^0(\mathbb {X})}\big (\textrm{Var}(v_{n_k};{\mathcal {U}}_k),0\big )<1/(2k)\), where we set \({\mathcal {U}}_k{:}{=}{\mathcal {U}}^{n_k}_{i_k}\). Hence, \(\textsf{d}_{L^0(\mathbb {X})}\big (\textrm{Var}(v;{\mathcal {U}}_k),0\big )<1/k\) for every \(k\in \mathbb {N}\), so that \(\varliminf _k\textrm{Var}(v;{\mathcal {U}}_k)(x)=0\) for \({\mathfrak {m}}\)-a.e. \(x\in \textrm{X}\). In particular, we conclude that
which shows that \(v:\Omega \rightarrow {\mathscr {M}}\) is uniformly order-continuous. All in all, \(v\) belongs to \(\textrm{UC}_{\textrm{ord}}(\Omega ;{\mathscr {M}})\).
In order to conclude, it remains to check \(\lim _n\textsf{d}_{\textrm{UC}_{\textrm{ord}}(\Omega ;{\mathscr {M}})}(v_n,v)\rightarrow 0\). Fix \(p\in \Omega \). Take a subsequence \((n_j)_{j\in \mathbb {N}}\) with \(|v_{n_j}(p)-v_n(p)|\rightarrow |v(p)-v_n(p)|\) in the \({\mathfrak {m}}\)-a.e. sense. Then
holds \({\mathfrak {m}}\)-a.e., whence it follows that \(|v-v_n|\wedge 1\le h_n\). Therefore, we can conclude that \(\lim _n\textsf{d}_{\textrm{UC}_{\textrm{ord}}(\Omega ;{\mathscr {M}})}(v,v_n)\le \lim _n\Vert h_n\Vert _{L^1(\tilde{\mathfrak {m}})}=0\), as desired. \(\square \)
Remark 3.15
Given any point \(p\in \Omega \), let us consider the evaluation functional \(\delta ^{{\mathscr {M}}}_p:\textrm{UC}_{\textrm{ord}}(\Omega ;{\mathscr {M}})\rightarrow {\mathscr {M}}\), which we define as
Observe that \(\delta ^{{\mathscr {M}}}_p\in \textsc {Hom}\big (\textrm{UC}_{\textrm{ord}}(\Omega ;{\mathscr {M}});{\mathscr {M}}\big )\) and \(|\delta ^{{\mathscr {M}}}_p|\le 1\). In particular, we have that \(\delta _p{:}{=}\delta ^{L^0(\mathbb {X})}_p\) satisfies
Furthermore, \(\{\delta _p\,:\,p\in \Omega \}\) is a norming subset of \(\textrm{UC}_{\textrm{ord}}(\Omega ;L^0(\mathbb {X}))^*\). Indeed, thanks to (3.12) we have that \(|f|=\bigvee _{p\in \Omega }|f(p)|=\bigvee _{p\in \Omega }|\delta _p(f)|\) holds for every \(f\in \textrm{UC}_{\textrm{ord}}(\Omega ;L^0(\mathbb {X}))\).
Definition 3.16
(Pointwise bounded continuous maps) Let \((\Omega ,\tau )\) be a topological space. Let \(\mathbb {X}\) be a \(\sigma \)-finite measure space and \({\mathscr {M}}\) a Banach \(L^0(\mathbb {X})\)-module. Then we define \(\textrm{C}_{\textrm{pb}}(\Omega ;{\mathscr {M}})\) as
We say that \(\textrm{C}_{\textrm{pb}}(\Omega ;{\mathscr {M}})\) is the space of pointwise bounded continuous maps from \(\Omega \) to \({\mathscr {M}}\).
The space \(\textrm{C}_{\textrm{pb}}(\Omega ;{\mathscr {M}})\) is a Banach \(L^0(\mathbb {X})\)-module if endowed with the pointwise norm in (3.12). This claim can be proved by repeating almost verbatim the arguments for Lemma 3.14, the main difference being in the verification of the completeness, where one can use the following remark:
Remark 3.17
Take a sequence \((v_n)_{n\in \mathbb {N}}\subseteq \textrm{C}_{\textrm{pb}}(\Omega ;{\mathscr {M}})\) and an order-bounded map \(v:\Omega \rightarrow {\mathscr {M}}\) such that
Then it holds that \(v\in \textrm{C}_{\textrm{pb}}(\Omega ;{\mathscr {M}})\). Indeed, given any \(p\in \Omega \) and \(\varepsilon >0\), we can fix \(n_0\in \mathbb {N}\) such that \(\delta _{n_0}<\varepsilon /4\) and choose a neighbourhood \(U\) of \(p\) such that \(\textsf{d}_{{\mathscr {M}}}(v_{n_0}(q),v_{n_0}(p))<\varepsilon /2\) for every \(q\in U\). Then
for every \(q\in U\), which implies that \(v\) is continuous at each point \(p\in \Omega \), as we claimed.
We also point out that if \((\Omega ,\Phi )\) is a uniform space, then we have that
Indeed, if \(v\in \textrm{UC}_{\textrm{ord}}(\Omega ;{\mathscr {M}})\), \(p\in \Omega \), and \(\varepsilon >0\) are given, then we can find an entourage \({\mathcal {U}}\in \Phi \) such that \(\textsf{d}_{L^0(\mathbb {X})}\big (\textrm{Var}(v;{\mathcal {U}}),0\big )<\varepsilon \). Hence, for every point \(q\) in the open set \({\mathcal {U}}[p]\) we have that
Remark 3.18
If \((K,\Phi )\) is compact and \(\mathbb {B}\) is Banach (so that \(\mathbb {B}\) is a Banach \(L^0(\mathbb {X}_\textsf{o})\)-module, where \(\mathbb {X}_\textsf{o}\) is the one-point probability space), then \(\textrm{UC}_{\textrm{ord}}(K;\mathbb {B})=\textrm{C}_{\textrm{pb}}(K;\mathbb {B})=\textrm{C}(K;\mathbb {B})\). Indeed, since the topology of \(\mathbb {B}\) as a Banach space and the one as a Banach \(L^0(\mathbb {X}_\textsf{o})\)-module coincide, we have that \(\textrm{C}_{\textrm{pb}}(K;\mathbb {B})\subseteq \textrm{C}(K;\mathbb {B})\). Moreover, if \(v\in \textrm{C}(K;\mathbb {B})\) and \(k\in \mathbb {N}\) are given, then (by compactness of \(K\)) we can find \(n\in \mathbb {N}\), \(p_1,\ldots ,p_n\in K\), and \({\mathcal {U}}_1,\ldots ,{\mathcal {U}}_n\in \Phi \) such that \(K=\bigcup _{i=1}^n{\mathcal {U}}_i[p_i]\) and
Then \(\bigvee _{p\in K}\Vert v(p)\Vert _\mathbb {B}\le \max \big \{\Vert v(p_i)\Vert _\mathbb {B}+1\,:\,i=1,\ldots ,n\big \}<+\infty \), so that \(v\) is an order-bounded map. Moreover, we have that
Since \(k\in \mathbb {N}\) is arbitrary, we deduce that \(v\) is uniformly order-continuous and \(v\in \textrm{UC}_{\textrm{ord}}(K;\mathbb {B})\). All in all, we proved \(\textrm{C}_{\textrm{pb}}(K;\mathbb {B})\subseteq \textrm{C}(K;\mathbb {B})\subseteq \textrm{UC}_{\textrm{ord}}(K;\mathbb {B})\). Recalling also (3.13), the claim follows.
3.5 Algebraic tensor products of normed \(L^0\)-modules
In order to define tensor products of Banach \(L^0\)-modules, the following criterion to detect null tensors will play a fundamental role:
Lemma 3.19
(Null tensors in normed \(L^0\)-modules) Let \(\mathbb {X}\) be a \(\sigma \)-finite measure space. Let \({\mathscr {M}}\), \({\mathscr {N}}\) be normed \(L^0(\mathbb {X})\)-modules. Fix any \(\alpha \in {\mathscr {M}}\otimes {\mathscr {N}}\), say that \(\alpha =\sum _{i=1}^n v_i\otimes w_i\). Then it holds that \(\alpha =0\) if and only if
Proof
First, assume that \(\alpha =0\). For any \(\omega \in {\mathscr {M}}^*\) and \(\eta \in {\mathscr {N}}^*\), the mapping \(b_{\omega ,\eta }:{\mathscr {M}}\times {\mathscr {N}}\rightarrow L^0(\mathbb {X})\), which we define as \(b_{\omega ,\eta }(v,w){:}{=}\omega (v)\eta (w)\) for every \((v,w)\in {\mathscr {M}}\times {\mathscr {N}}\), is \(L^0(\mathbb {X})\)-bilinear. Therefore, we deduce from (2.1) that \(\sum _{i=1}^n\omega (v_i)\eta (w_i)=\sum _{i=1}^n b_{\omega ,\eta }(v_i,w_i)=0\), which proves that (3.14) holds.
Conversely, assume (3.14) holds. Fix an arbitrary \(L^0(\mathbb {X})\)-bilinear map \(b:{\mathscr {M}}\times {\mathscr {N}}\rightarrow Q\), for some \(L^0(\mathbb {X})\)-module \(Q\). Denote by \({\mathscr {V}}\) (resp. by \({\mathscr {W}}\)) the \(L^0(\mathbb {X})\)-submodule of \({\mathscr {M}}\) (resp. of \({\mathscr {N}}\)) that is generated by \(v_1,\ldots ,v_n\) (resp. by \(w_1,\ldots ,w_n\)). Given that the modules \({\mathscr {V}}\) and \({\mathscr {W}}\) are finitely-generated, they are Banach \(L^0(\mathbb {X})\)-modules. Now let \(D^{{\mathscr {V}}}_0,\ldots ,D^{{\mathscr {V}}}_{{\bar{m}}}\) and \(D^{{\mathscr {W}}}_0,\ldots ,D^{{\mathscr {W}}}_{{\bar{q}}}\) be the dimensional decompositions of \({\mathscr {V}}\) and \({\mathscr {W}}\), respectively. To prove that \(\sum _{i=1}^n b(v_i,w_i)=0\) amounts to showing that \(\mathbb {1}_{D_{m,q}}\cdot \sum _{i=1}^n b(v_i,w_i)=0\) holds for all \(m=1,\ldots ,{\bar{m}}\) and \(q=1,\ldots ,{\bar{q}}\), where \(D_{m,q}{:}{=}D^{{\mathscr {V}}}_m\cap D^{{\mathscr {W}}}_q\). To this aim, fix a local basis \(x_1,\ldots ,x_m\) of \({\mathscr {V}}\) on \(D_{m,q}\) and a local basis \(y_1,\ldots ,y_q\) of \({\mathscr {W}}\) on \(D_{m,q}\). Given any \(v\in {\mathscr {V}}|_{D_{m,q}}\), we can find (uniquely) functions \(\tilde{\omega }_1(v),\ldots ,\tilde{\omega }_m(v)\in L^0(\mathbb {X})|_{D_{m,q}}\) so that \(v=\sum _{j=1}^m\tilde{\omega }_j(v)\cdot x_j\). Moreover, each mapping \(\tilde{\omega }_j:{\mathscr {V}}|_{D_{m,q}}\rightarrow L^0(\mathbb {X})\) is \(L^0(\mathbb {X})\)-linear, thus it is also continuous thanks to Lemma 2.12. An application of the Hahn–Banach theorem for normed \(L^0\)-modules ensures the existence of some \(\omega _1,\ldots ,\omega _m\in {\mathscr {M}}^*\) such that \(\omega _j|_{{\mathscr {V}}|_{D_{m,q}}}=\tilde{\omega }_j\) for every \(j=1,\ldots ,m\). Similarly, we can find elements \(\eta _1,\ldots ,\eta _q\in {\mathscr {N}}^*\) such that \(w=\sum _{k=1}^q\eta _k(w)\cdot y_k\) for every \(w\in {\mathscr {W}}|_{D_{m,q}}\). Therefore, the \(L^0(\mathbb {X})\)-bilinearity of \(b\) yields
This implies \(\sum _{i=1}^n b(v_i,w_i)=0\), whence it follows that \(\alpha =\sum _{i=1}^n v_i\otimes w_i=0\) by (2.1). \(\square \)
Remark 3.20
We stress that Lemma 3.19 shows that, in the case of normed \(L^0(\mathbb {X})\)-modules, a null tensor can be detected by checking only against (a class of) \(L^0(\mathbb {X})\)-bilinear maps taking values into the ring \(L^0(\mathbb {X})\). It is not clear whether this happens for arbitrary \(L^0(\mathbb {X})\)-modules that are not equipped with a pointwise norm; cf. with the discussion after (2.1). In other words, the proof of Lemma 3.19 is heavily relying on the fact that we are considering normed \(L^0(\mathbb {X})\)-modules.
Corollary 3.21
Let \(\mathbb {X}\) be a \(\sigma \)-finite measure space. Let \({\mathscr {M}}\) and \({\mathscr {N}}\) be normed \(L^0(\mathbb {X})\)-modules. Fix any tensor \(\alpha =\sum _{i=1}^n v_i\otimes w_i\in {\mathscr {M}}\otimes {\mathscr {N}}\). Then the following conditions are equivalent:
-
(i)
\(\alpha =0\).
-
(ii)
\(\sum _{i=1}^n\omega (v_i)\cdot w_i=0\) for every \(\omega \in {\mathscr {M}}^*\).
-
(iii)
\(\sum _{i=1}^n\eta (w_i)\cdot v_i=0\) for every \(\eta \in {\mathscr {N}}^*\).
Proof
We prove only the equivalence between i) and ii); the proof of the equivalence between i) and iii) is very similar. Assuming ii), we deduce that \(\sum _{i=1}^n\omega (v_i)\eta (w_i)=\eta \big (\sum _{i=1}^n\omega (v_i)\cdot w_i\big )=0\) for every \(\omega \in {\mathscr {M}}^*\) and \(\eta \in {\mathscr {N}}^*\), so that \(\alpha =0\) by Lemma 3.19. Conversely, if \(\alpha =0\), then the same computation as above shows that \(\eta \big (\sum _{i=1}^n\omega (v_i)\cdot w_i\big )=0\) for every \(\omega \in {\mathscr {M}}^*\) and \(\eta \in {\mathscr {N}}^*\), so that \(\sum _{i=1}^n\omega (v_i)\cdot w_i=0\) for every \(\omega \in {\mathscr {M}}^*\) by the Hahn–Banach theorem, which gives ii). \(\square \)
4 Projective tensor products of Banach \(L^0\)-modules
4.1 Definition and main properties
We begin by introducing the projective pointwise norm:
Theorem 4.1
Let \(\mathbb {X}\) be a \(\sigma \)-finite measure space. Let \({\mathscr {M}}\) and \({\mathscr {N}}\) be Banach \(L^0(\mathbb {X})\)-modules. Define \(|\alpha |_\pi \in L^0(\mathbb {X})^+\) as
for every \(\alpha \in {\mathscr {M}}\otimes {\mathscr {N}}\). Then \(|\cdot |_\pi :{\mathscr {M}}\otimes {\mathscr {N}}\rightarrow L^0(\mathbb {X})^+\) is a pointwise norm on \({\mathscr {M}}\otimes {\mathscr {N}}\). Moreover,
Proof
To prove that \(|\cdot |_\pi \) is a pointwise norm on \({\mathscr {M}}\otimes {\mathscr {N}}\) amounts to showing that:
-
i)
If \(\alpha \in {\mathscr {M}}\otimes {\mathscr {N}}\) satisfies \(|\alpha |_\pi =0\), then \(\alpha =0\).
-
ii)
\(|\alpha +\beta |_\pi \le |\alpha |_\pi +|\beta |_\pi \) for every \(\alpha ,\beta \in {\mathscr {M}}\otimes {\mathscr {N}}\).
-
iii)
\(|f\cdot \alpha |_\pi =|f||\alpha |_\pi \) for every \(f\in L^0(\mathbb {X})\) and \(\alpha \in {\mathscr {M}}\otimes {\mathscr {N}}\).
Let us first check the validity of i). Assume \(|\alpha |_\pi =0\). Let \(\omega \in {\mathscr {M}}^*\) and \(\eta \in {\mathscr {N}}^*\) be given. Then we define \(\theta _{\omega ,\eta }\in L^0(\mathbb {X})\) as \(\theta _{\omega ,\eta }{:}{=}\sum _{i=1}^n\omega (v_i)\eta (w_i)\) for any \(v_1,\ldots ,v_n\in {\mathscr {M}}\) and \(w_1,\ldots ,w_n\in {\mathscr {N}}\) satisfying \(\alpha =\sum _{i=1}^n v_i\otimes w_i\); thanks to Lemma 3.19, the function \(\theta _{\omega ,\eta }\) is independent of the chosen representation \(\sum _{i=1}^nv_i\otimes w_i\) of \(\alpha \). Now fix \(\varepsilon >0\). Then there exists a partition \((E_k)_{k\in \mathbb {N}}\subseteq \Sigma \) of \(\textrm{X}\) and \(v_1^k,\ldots ,v_{n_k}^k\in {\mathscr {M}}\), \(w_1^k,\ldots ,w_{n_k}^k\in {\mathscr {N}}\) such that \(\alpha =\sum _{i=1}^{n_k}v_i^k\otimes w_i^k\) and \(\mathbb {1}_{E_k}\sum _{i=1}^{n_k}|v_i^k||w_i^k|\le \varepsilon \) for every \(k\in \mathbb {N}\). Therefore, can estimate
Thanks to the arbitrariness of \(\varepsilon >0\), we deduce that \(\theta _{\omega ,\eta }=0\), so that \(\alpha =0\) by Lemma 3.19.
In order to prove ii), let us write \(\alpha =\sum _{i=1}^n v_i\otimes w_i\) and \(\beta =\sum _{j=1}^m{\tilde{v}}_j\otimes {\tilde{w}}_j\). Then we have that
where we used the fact that \(\alpha +\beta =\sum _{i=1}^n v_i\otimes w_i+\sum _{j=1}^m{\tilde{v}}_j\otimes {\tilde{w}}_j\). By passing to the infimum over all the possible representations of \(\alpha \) and \(\beta \), we conclude that \(|\alpha +\beta |_\pi \le |\alpha |_\pi +|\beta |_\pi \).
We now pass to the verification of iii). If \(\alpha =\sum _{i=1}^n v_i\otimes w_i\), then we have that \(f\cdot \alpha =\sum _{i=1}^n(f\cdot v_i)\otimes w_i\). It follows that
By passing to the infimum over all the representations of \(\alpha \), we obtain that \(|f\cdot \alpha |_\pi \le |f||\alpha |_\pi \). Moreover, the same estimates yield
All in all, we have shown that \(|f\cdot \alpha |_\pi =|f||\alpha |_\pi \).
Finally, let us check that (4.2) holds. The inequality \(|v\otimes w|_\pi \le |v||w|\) is trivially verified. For the converse inequality, choose elements \(\omega \in {\mathscr {M}}^*\) and \(\eta \in {\mathscr {N}}^*\) such that \(|\omega |,|\eta |\le 1\), \(\omega (v)=|v|\), and \(\eta (w)=|w|\). Given that the \(L^0(\mathbb {X})\)-linearisation \(T\) of \({\mathscr {M}}\times {\mathscr {N}}\ni ({\tilde{v}},{\tilde{w}})\mapsto \omega ({\tilde{v}})\eta ({\tilde{w}})\in L^0(\mathbb {X})\) satisfies
for every \(\alpha =\sum _{i=1}^n v_i\otimes w_i\in {\mathscr {M}}\otimes {\mathscr {N}}\), it follows that \(|T(\alpha )|\le |\alpha |_\pi \) for every \(\alpha \in {\mathscr {M}}\otimes {\mathscr {N}}\). In particular, we have that
All in all, we have shown that \(|v\otimes w|_\pi =|v||w|\), thus accordingly (4.2) is proved. \(\square \)
Definition 4.2
(Projective tensor product) Let \(\mathbb {X}\) be a \(\sigma \)-finite measure space. Let \({\mathscr {M}}\), \({\mathscr {N}}\) be Banach \(L^0(\mathbb {X})\)-modules. Then we denote by \({\mathscr {M}}\otimes _\pi {\mathscr {N}}\) the normed \(L^0(\mathbb {X})\)-module \(({\mathscr {M}}\otimes {\mathscr {N}},|\cdot |_\pi )\), where the pointwise norm \(|\cdot |_\pi \) is defined as in (4.1). Moreover, the projective tensor product of \({\mathscr {M}}\), \({\mathscr {N}}\) is the Banach \(L^0(\mathbb {X})\)-module \({\mathscr {M}}\hat{\otimes }_\pi {\mathscr {N}}\) that is defined as the \(L^0(\mathbb {X})\)-completion of \({\mathscr {M}}\otimes _\pi {\mathscr {N}}\).
Let us now consider the projective tensor product of homomorphisms of Banach \(L^0(\mathbb {X})\)-modules:
Proposition 4.3
(Projective tensor products of homomorphisms) Let \(\mathbb {X}\) be a \(\sigma \)-finite measure space. Let \(T:{\mathscr {M}}\rightarrow \tilde{{\mathscr {M}}}\) and \(S:{\mathscr {N}}\rightarrow \tilde{{\mathscr {N}}}\) be homomorphisms of Banach \(L^0(\mathbb {X})\)-modules. Then there exists a unique homomorphism of Banach \(L^0(\mathbb {X})\)-modules \(T\otimes _\pi S:{\mathscr {M}}\hat{\otimes }_\pi {\mathscr {N}}\rightarrow \tilde{{\mathscr {M}}}\hat{\otimes }_\pi \tilde{{\mathscr {N}}}\) with
Moreover, it holds that \(|T\otimes _\pi S|=|T||S|\).
Proof
By virtue of Lemma 2.2, there exists a unique \(L^0(\mathbb {X})\)-linear operator \(T\otimes S:{\mathscr {M}}\otimes {\mathscr {N}}\rightarrow \tilde{{\mathscr {M}}}\otimes \tilde{{\mathscr {N}}}\) such that \((T\otimes S)(v\otimes w)=T(v)\otimes S(w)\) for every \((v,w)\in {\mathscr {M}}\times {\mathscr {N}}\). If \(\alpha =\sum _{i=1}^n v_i\otimes w_i\in {\mathscr {M}}\otimes {\mathscr {N}}\), then
By passing to the infimum over all possible representations of \(\alpha \), we obtain that \(\big |(T\otimes S)(\alpha )\big |_\pi \le |T||S||\alpha |_\pi \). It follows that the operator \(T\otimes S\) can be uniquely extended to a homomorphism of Banach \(L^0(\mathbb {X})\)-modules
satisfying \(|T\otimes _\pi S|\le |T||S|\). Finally, we have that
Consequently, the identity \(|T\otimes _\pi S|=|T||S|\) is proved. \(\square \)
One can easily check that \(L^0(\mathbb {X})\hat{\otimes }_\pi L^0(\mathbb {X})=L^0(\mathbb {X})\otimes _\pi L^0(\mathbb {X})\cong L^0(\mathbb {X})\) as Banach \(L^0(\mathbb {X})\)-modules via the isomorphism
In particular, up to this identification, we have that
Lemma 4.4
Let \(\mathbb {X}\) be a \(\sigma \)-finite measure space. Let \({\mathscr {M}}\), \(\tilde{{\mathscr {M}}}\), \({\mathscr {N}}\), \(\tilde{{\mathscr {N}}}\) be Banach \(L^0(\mathbb {X})\)-modules. Let \(T:{\mathscr {M}}\rightarrow \tilde{{\mathscr {M}}}\) and \(S:{\mathscr {N}}\rightarrow \tilde{{\mathscr {N}}}\) be quotient operators. Then \(T\otimes _\pi S:{\mathscr {M}}\hat{\otimes }_\pi {\mathscr {N}}\rightarrow \tilde{{\mathscr {M}}}\hat{\otimes }_\pi \tilde{{\mathscr {N}}}\) is a quotient operator.
Proof
By Remark 3.2, it suffices to prove that \(T\otimes S:{\mathscr {M}}\otimes _\pi {\mathscr {N}}\rightarrow \tilde{{\mathscr {M}}}\otimes _\pi \tilde{{\mathscr {N}}}\) is a quotient operator. Given any \(\beta =\sum _{i=1}^n{\tilde{v}}_i\otimes {\tilde{w}}_i\in \tilde{{\mathscr {M}}}\otimes \tilde{{\mathscr {N}}}\), we can exploit the surjectivity of \(T\) and \(S\) to find \((v_i)_{i=1}^n\subseteq {\mathscr {M}}\) and \((w_i)_{i=1}^n\subseteq {\mathscr {N}}\) such that \({\tilde{v}}_i=T(v_i)\) and \({\tilde{w}}_i=S(w_i)\) for all \(i=1,\ldots ,n\), whence it follows that \(\beta =\sum _{i=1}^n T(v_i)\otimes S(w_i)=(T\otimes S)\big (\sum _{i=1}^n v_i\otimes w_i\big )\). This shows that \(T\otimes S\) is a surjective operator. Moreover, for any tensor \(\beta \in \tilde{{\mathscr {M}}}\otimes _\pi \tilde{{\mathscr {N}}}\) we can estimate
In order to prove the converse inequality, fix \(\varepsilon \in (0,1)\). We can thus find a partition \((E_k)_{k\in \mathbb {N}}\subseteq \Sigma \) of \(\textrm{X}\) and, for any \(k\in \mathbb {N}\), a number \(n_k\in \mathbb {N}\) and elements \(({\tilde{v}}^k_i)_{i=1}^{n_k}\subseteq \tilde{{\mathscr {M}}}\), \(({\tilde{w}}^k_i)_{i=1}^{n_k}\subseteq \tilde{{\mathscr {N}}}\) such that
Moreover, we can find \((v^k_i)_{i=1}^{n_k}\subseteq {\mathscr {M}}\) and \((w^k_i)_{i=1}^{n_k}\subseteq {\mathscr {N}}\), with \(T(v^k_i)={\tilde{v}}^k_i\) and \(S(w^k_i)={\tilde{w}}^k_i\) for every \(i=1,\ldots ,n_k\), such that \(|v^k_i|\le (1+\varepsilon )|{\tilde{v}}^k_i|\) and \(|w^k_i|\le (1+\varepsilon )|{\tilde{w}}^k_i|\). Therefore, we have that
Since \((T\otimes S)\big (\mathbb {1}_{E_k}\cdot \sum _{i=1}^{n_k}v^k_i\otimes w^k_i\big )=\mathbb {1}_{E_k}\cdot \beta \) for every \(k\in \mathbb {N}\), we deduce that
By the arbitrariness of \(\varepsilon \), we can conclude that \(\bigwedge _{\alpha \in (T\otimes S)^{-1}(\beta )}|\alpha |_\pi \le |\beta |_\pi \). \(\square \)
Lemma 4.5
Let \(\mathbb {X}\) be a \(\sigma \)-finite measure space. Let \({\mathscr {M}}\), \({\mathscr {N}}\) be Banach \(L^0(\mathbb {X})\)-modules. Let \(G\subseteq {\mathscr {M}}\) and \(H\subseteq {\mathscr {N}}\) be generating subsets. Then it holds that the set \(\{v\otimes w\;\big |\;v\in G,\,w\in H\}\) generates \({\mathscr {M}}\hat{\otimes }_\pi {\mathscr {N}}\).
Proof
As the linear span of the elementary tensors is dense in \({\mathscr {M}}\hat{\otimes }_\pi {\mathscr {N}}\), it suffices to check that any given \(v\otimes w\) with \(v\in {\mathscr {M}}\) and \(w\in {\mathscr {N}}\) can be approximated by elements of the \(L^0(\mathbb {X})\)-module generated by
Since \(G\) and \(H\) generate \({\mathscr {M}}\) and \({\mathscr {N}}\), respectively, we can find \((v_n)_{n\in \mathbb {N}}\subseteq {\mathscr {M}}\) and \((w_n)_{n\in \mathbb {N}}\subseteq {\mathscr {N}}\) that are \(L^0(\mathbb {X})\)-linear combinations of elements of \(G\) and \(H\), respectively, such that \(|v_n-v|\rightarrow 0\) and \(|w_n-w|\rightarrow 0\) in the \({\mathfrak {m}}\)-a.e. sense. Then
in the \({\mathfrak {m}}\)-a.e. sense. In particular, \(v_n\otimes w_n\rightarrow v\otimes w\) in \({\mathscr {M}}\hat{\otimes }_\pi {\mathscr {N}}\). The statement follows. \(\square \)
Generalising the fact that \(\ell _1(I)\hat{\otimes }_\pi \mathbb {B}\cong \ell _1(I,\mathbb {B})\) holds for every Banach space \(\mathbb {B}\), we have the following:
Theorem 4.6
Let \(\mathbb {X}\) be a \(\sigma \)-finite measure space, \({\mathscr {M}}\) a Banach \(L^0(\mathbb {X})\)-module, and \(I\ne \varnothing \) an index family. Then the unique linear continuous operator \({\mathfrak {i}}:L^0(\mathbb {X};\ell _1(I))\hat{\otimes }_\pi {\mathscr {M}}\rightarrow \ell _1(I,{\mathscr {M}})\) satisfying
is an isomorphism of Banach \(L^0(\mathbb {X})\)-modules.
Proof
First, notice that \(L^0(\mathbb {X};\ell _1(I))\times {\mathscr {M}}\ni (a,v)\mapsto \big (a(\cdot )_i\cdot v\big )_{i\in I}\in \ell _1(I,{\mathscr {M}})\) is well-defined and \(L^0(\mathbb {X})\)-bilinear, thus we can consider its \(L^0(\mathbb {X})\)-linearisation \({\mathfrak {i}}:L^0(\mathbb {X};\ell _1(I))\otimes {\mathscr {M}}\rightarrow \ell _1(I,{\mathscr {M}})\), i.e.
Observe that \({\mathfrak {i}}\) is the unique linear operator from \(L^0(\mathbb {X};\ell _1(I))\otimes {\mathscr {M}}\) to \(\ell _1(I,{\mathscr {M}})\) satisfying (4.3).
On the one hand, given any tensor \(\alpha =\sum _{j=1}^n a_j\otimes v_j\in L^0(\mathbb {X};\ell _1(I))\otimes {\mathscr {M}}\) we can estimate
By passing to the infimum over all representations of \(\alpha \), we deduce that \(|{\mathfrak {i}}(\alpha )|_1\le |\alpha |_\pi \). On the other hand, if \(\alpha \) is written as \(\sum _{j=1}^n a_j\otimes v_j\), then we claim that the elements \(w_i{:}{=}\sum _{j=1}^n a_j(\cdot )_i\cdot v_j\in {\mathscr {M}}\) satisfy the following property: the family \(\{\underline{\textsf{e}}_i\otimes w_i\}_{i\in I}\) is summable in \(L^0(\mathbb {X};\ell _1(I))\hat{\otimes }_\pi {\mathscr {M}}\) and
In order to prove it, let us first notice that
Since \(L^0(\mathbb {X};\ell _1(I))\ni s\mapsto s\otimes v_j\in L^0(\mathbb {X};\ell _1(I))\hat{\otimes }_\pi {\mathscr {M}}\) is a homomorphism of Banach \(L^0(\mathbb {X})\)-modules,
This proves the validity of the claim (4.4). By taking Remark 3.7 into account, we conclude that
All in all, we have shown that \(|{\mathfrak {i}}(\alpha )|_1=|\alpha |_\pi \) for every \(\alpha \in L^0(\mathbb {X};\ell _1(I))\otimes {\mathscr {M}}\). Therefore, the map \({\mathfrak {i}}\) can be uniquely extended to a homomorphism of Banach \(L^0(\mathbb {X})\)-modules from \(L^0(\mathbb {X};\ell _1(I))\hat{\otimes }_\pi {\mathscr {M}}\) to \(\ell _1(I,{\mathscr {M}})\), which we still denote with the symbol \({\mathfrak {i}}\). Notice that the extension \({\mathfrak {i}}\) preserves the pointwise norm.
To conclude, it remains to check that \({\mathfrak {i}}:L^0(\mathbb {X};\ell _1(I))\hat{\otimes }_\pi {\mathscr {M}}\rightarrow \ell _1(I,{\mathscr {M}})\) is surjective. Let \(v=(v_i)_{i\in I}\in \ell _1(I,{\mathscr {M}})\) be fixed. Thanks to Proposition 3.6, it follows from the estimates
that \(\{\underline{\textsf{e}}_i\otimes v_i\}_{i\in I}\) is summable in \(L^0(\mathbb {X};\ell _1(I))\hat{\otimes }_\pi {\mathscr {M}}\). Letting \(\alpha {:}{=}\sum _{i\in I}\underline{\textsf{e}}_i\otimes v_i\), we have that
whence it follows that \({\mathfrak {i}}\) is surjective. Consequently, the proof of the statement is complete. \(\square \)
Remark 4.7
Under the assumptions of Theorem 4.6, for any \(i\in I\) we define the operator \(\iota _i\) as
Combining Theorem 4.6 with [19, Theorem 3.12], we obtain that
is the coproduct of \(\{{\mathscr {M}}_i\}_{i\in I}\), where \({\mathscr {M}}_i{:}{=}{\mathscr {M}}\) for every \(i\in I\), in the category \({\textbf {BanMod}}^1_\mathbb {X}\).
Lemma 4.8
Let \(\mathbb {X}\) be a \(\sigma \)-finite measure space. Let \({\mathscr {M}}\) be a Banach \(L^0(\mathbb {X})\)-module. Define
Then \(\varphi :\ell _1({\mathbb {S}}_{{\mathscr {M}}},L^0(\mathbb {X}))\rightarrow {\mathscr {M}}\) is a quotient operator. In particular, it holds that \({\mathscr {M}}\cong \ell _1({\mathbb {S}}_{{\mathscr {M}}},L^0(\mathbb {X}))/\textrm{ker}(\varphi )\).
Proof
First of all, by using Proposition 3.6 we obtain that
and thus that \((f_v\cdot v)_{v\in {\mathbb {S}}_{{\mathscr {M}}}}\) is summable in \({\mathscr {M}}\). Since
we have that \(\varphi \) is a well-defined linear operator satisfying \(|\varphi (f)|\le |f|_1\) for every \(f\in \ell _1({\mathbb {S}}_{{\mathscr {M}}},L^0(\mathbb {X}))\), thus in particular it is a homomorphism of Banach \(L^0(\mathbb {X})\)-modules. Moreover, if \(w\in {\mathscr {M}}\) is given, then
satisfies \(\varphi (f^w)=|w|\cdot \textrm{sgn}(w)=w\) and \(|\varphi (f^w)|=|w|=|f^w|_1\). Hence, \(\varphi \) is a quotient operator, thus it induces an isomorphism of Banach \(L^0(\mathbb {X})\)-modules between \(\ell _1({\mathbb {S}}_{{\mathscr {M}}},L^0(\mathbb {X}))/\textrm{ker}(\varphi )\) and \({\mathscr {M}}\). \(\square \)
We conclude this section with a useful representation formula for the projective pointwise norm:
Theorem 4.9
(Characterisation of the projective pointwise norm) Let \(\mathbb {X}\) be a \(\sigma \)-finite measure space. Let \({\mathscr {M}}\), \({\mathscr {N}}\) be Banach \(L^0(\mathbb {X})\)-modules. Then for every \(\alpha \in {\mathscr {M}}\hat{\otimes }_\pi {\mathscr {N}}\) it holds that
Proof
For brevity, we denote by \(q(\alpha )\) the right-hand side of (4.7). On the one hand, if \((v_n\otimes w_n)_{n\in \mathbb {N}}\in \ell _1(\mathbb {N},{\mathscr {M}}\hat{\otimes }_\pi {\mathscr {N}})\) and \(\alpha =\sum _{n\in \mathbb {N}}v_n\otimes w_n\), then
whence it follows that \(|\alpha |_\pi \le q(\alpha )\) for every \(\alpha \in {\mathscr {M}}\hat{\otimes }_\pi {\mathscr {N}}\). On the other hand, let us denote by
the operators given by Lemma 4.8, Corollary 3.12, and Theorem 4.6, respectively. Recall that \(\varphi \) is a quotient operator, while \(\phi \) and \({\mathfrak {i}}\) are isomorphisms of Banach \(L^0(\mathbb {X})\)-modules. In particular, \(\tilde{\varphi }{:}{=}\varphi \circ \phi :L^0(\mathbb {X};\ell _1({\mathbb {S}}_{{\mathscr {M}}}))\rightarrow {\mathscr {M}}\) is a quotient operator, so that accordingly
by Lemma 4.4. Hence, for any \(\alpha \in {\mathscr {M}}\hat{\otimes }_\pi {\mathscr {N}}\) and \(\varepsilon >0\) we can find an element \(w=(w_v)_{v\in {\mathbb {S}}_{{\mathscr {M}}}}\in \ell _1({\mathbb {S}}_{{\mathscr {M}}},{\mathscr {N}})\) such that \(\psi (w)=\alpha \) and \(|w|_1\le |\alpha |_\pi +\varepsilon \). Since
we see that \((v\otimes w_v)_{v\in {\mathbb {S}}_{{\mathscr {M}}}}\in \ell _1({\mathbb {S}}_{{\mathscr {M}}},{\mathscr {M}}\hat{\otimes }_\pi {\mathscr {N}})\). By unwrapping the various definitions, we obtain
It follows that there exists \((v_n)_{n\in \mathbb {N}}\subseteq {\mathbb {S}}_{{\mathscr {M}}}\) such that, letting \(w_n{:}{=}w_{v_n}\) for every \(n\in \mathbb {N}\), we have \((v_n\otimes w_n)_{n\in \mathbb {N}}\in \ell _1(\mathbb {N},{\mathscr {M}}\hat{\otimes }_\pi {\mathscr {N}})\), \(\alpha =\sum _{n\in \mathbb {N}}v_n\otimes w_n\), and \(\sum _{n\in \mathbb {N}}|v_n||w_n|=|w|_1\le |\alpha |_\pi +\varepsilon \). Therefore, we proved that \(q(\alpha )\le |\alpha |_\pi +\varepsilon \). By letting \(\varepsilon \searrow 0\), we conclude that \(|\alpha |_\pi =q(\alpha )\). \(\square \)
4.2 Relation with duals and pullbacks
In order to provide a characterisation of the dual of the projective tensor product in Theorem 4.11, we need to apply the following universal property:
Theorem 4.10
(Universal property of the projective tensor product) Let \(\mathbb {X}\) be a \(\sigma \)-finite measure space. Let \({\mathscr {M}}\), \({\mathscr {N}}\), \({\mathscr {Q}}\) be Banach \(L^0(\mathbb {X})\)-modules. Then for any \(b\in \textrm{B}({\mathscr {M}},{\mathscr {N}};{\mathscr {Q}})\) there exists a unique \({\tilde{b}}_\pi \in \textsc {Hom}({\mathscr {M}}\hat{\otimes }_\pi {\mathscr {N}};{\mathscr {Q}})\) for which the following diagram commutes:
![figure d](http://media.springernature.com/lw685/springer-static/image/art%3A10.1007%2Fs43034-023-00312-x/MediaObjects/43034_2023_312_Figd_HTML.png)
Also, \(\textrm{B}({\mathscr {M}},{\mathscr {N}};{\mathscr {Q}})\ni b\mapsto {\tilde{b}}_\pi \in \textsc {Hom}({\mathscr {M}}\hat{\otimes }_\pi {\mathscr {N}};{\mathscr {Q}})\) is an isomorphism of Banach \(L^0(\mathbb {X})\)-modules.
Proof
Let \(b\in \textrm{B}({\mathscr {M}},{\mathscr {N}};{\mathscr {Q}})\) be fixed. Denote by \({\tilde{b}}:{\mathscr {M}}\otimes {\mathscr {N}}\rightarrow {\mathscr {Q}}\) the \(L^0(\mathbb {X})\)-linearisation of \(b\) given by Lemma 2.2. For any \(\alpha =\sum _{i=1}^n v_i\otimes w_i\in {\mathscr {M}}\otimes {\mathscr {N}}\), we can estimate
By taking the infimum over all representations of \(\alpha \), we get \(|{\tilde{b}}(\alpha )|\le |b||\alpha |_\pi \), whence it follows that \({\tilde{b}}\in \textsc {Hom}({\mathscr {M}}\otimes _\pi {\mathscr {N}};{\mathscr {Q}})\) and \(|{\tilde{b}}|\le |b|\). Letting \({\tilde{b}}_\pi \) be the unique element of \(\textsc {Hom}({\mathscr {M}}\hat{\otimes }_\pi {\mathscr {N}};{\mathscr {Q}})\) extending \({\tilde{b}}\), we have \(|{\tilde{b}}_\pi |=|{\tilde{b}}|\le |b|\). On the other hand, we have that
which implies that \(|b|\le |{\tilde{b}}_\pi |\). All in all, we have shown that \(|{\tilde{b}}_\pi |=|b|\). Moreover, the resulting map \(\textrm{B}({\mathscr {M}},{\mathscr {N}};{\mathscr {Q}})\ni b\mapsto {\tilde{b}}_\pi \in \textsc {Hom}({\mathscr {M}}\hat{\otimes }_\pi {\mathscr {N}};{\mathscr {Q}})\) is a homomorphism of Banach \(L^0(\mathbb {X})\)-modules. In order to conclude, it remains to check that such map is surjective. To this aim, let \(T\in \textsc {Hom}({\mathscr {M}}\hat{\otimes }_\pi {\mathscr {N}};{\mathscr {Q}})\) be fixed. Now define \(b^T:{\mathscr {M}}\times {\mathscr {N}}\rightarrow {\mathscr {Q}}\) as \(b^T(v,w){:}{=}T(v\otimes w)\) for every \((v,w)\in {\mathscr {M}}\times {\mathscr {N}}\). Then \(b^T\in \textrm{B}({\mathscr {M}},{\mathscr {N}};{\mathscr {Q}})\) by construction and \({\tilde{b}}^T_\pi =T\) by the uniqueness part of the statement. Therefore, the proof is complete. \(\square \)
Choosing \({\mathscr {Q}}{:}{=}L^0(\mathbb {X})\) in Theorem 4.10, we obtain the following characterisation of \({\mathscr {M}}\hat{\otimes }_\pi {\mathscr {N}}\):
Theorem 4.11
(Dual of \({\mathscr {M}}\hat{\otimes }_\pi {\mathscr {N}}\)) Let \(\mathbb {X}\) be a \(\sigma \)-finite measure space. Let \({\mathscr {M}}\) and \({\mathscr {N}}\) be Banach \(L^0(\mathbb {X})\)-modules. Then it holds that
an isomorphism of Banach \(L^0(\mathbb {X})\)-modules being given by the map
As a consequence of Theorem 4.11, we obtain a useful ‘dual representation formula’ for \(|\cdot |_\pi \):
Corollary 4.12
Let \(\mathbb {X}\) be a \(\sigma \)-finite measure space. Let \({\mathscr {M}}\), \({\mathscr {N}}\) be Banach \(L^0(\mathbb {X})\)-modules. Then
Proof
The statement follows from Theorem 4.11 and the Hahn–Banach theorem for normed \(L^0\)-modules. \(\square \)
We conclude the section by proving that ‘pullbacks and projective tensor products commute’:
Theorem 4.13
(Pullbacks vs. projective tensor products) Let \(\mathbb {X}\), \(\mathbb {Y}\) be separable, \(\sigma \)-finite measure spaces. Let \(\varphi :\textrm{X}\rightarrow \textrm{Y}\) be a measurable map such that \(\varphi _\#{\mathfrak {m}}_\textrm{X}\ll {\mathfrak {m}}_\textrm{Y}\). Let \({\mathscr {M}}\) and \({\mathscr {N}}\) be Banach \(L^0(\mathbb {Y})\)-modules. Then it holds that
the pullback map \(\varphi ^*:{\mathscr {M}}\hat{\otimes }_\pi {\mathscr {N}}\rightarrow (\varphi ^*{\mathscr {M}})\hat{\otimes }_\pi (\varphi ^*{\mathscr {N}})\) being the unique homomorphism such that
Proof
First, we define the map \(T:{\mathscr {M}}\otimes _\pi {\mathscr {N}}\rightarrow (\varphi ^*{\mathscr {M}})\otimes _\pi (\varphi ^*{\mathscr {N}})\) as
In order to prove that the map \(T\) is well-posed, it is sufficient to show that
Let \(\textsf{I}_\varphi :\varphi ^*{\mathscr {N}}^*\rightarrow (\varphi ^*{\mathscr {N}})^*\) be the isometric embedding defined in (2.6). Corollary 3.21 yields
for every \(\eta \in {\mathscr {N}}^*\), whence it follows that \(\sum _{i=1}^n\textsf{I}_\varphi (\theta )(\varphi ^*w_i)\cdot (\varphi ^*v_i)=0\) for every \(\theta \in {\mathscr {G}}(\varphi ^*[{\mathscr {N}}^*])\). Using Theorem 2.13 and the density of \({\mathscr {G}}(\varphi ^*[{\mathscr {N}}^*])\) in \(\varphi ^*{\mathscr {N}}^*\), we obtain \(\sum _{i=1}^n\Theta (\varphi ^*w_i)\cdot (\varphi ^*v_i)=0\) for every \(\Theta \in (\varphi ^*{\mathscr {N}})^*\), so that \(\sum _{i=1}^n(\varphi ^*v_i)\otimes (\varphi ^*w_i)=0\) by Corollary 3.21. This proves (4.9).
Observe that \(T\) is linear by construction. Moreover, for any \(\alpha \in {\mathscr {M}}\otimes _\pi {\mathscr {N}}\) we can estimate
Now let us pass to the verification of the converse inequality. Given any \(b\in \textrm{B}({\mathscr {M}},{\mathscr {N}})\), we define
for every \(\sum _{i=1}^n\mathbb {1}_{E_i}\cdot \varphi ^*v_i\in {\mathscr {G}}(\varphi ^*[{\mathscr {M}}])\) and \(\sum _{j=1}^m\mathbb {1}_{F_j}\cdot \varphi ^*w_j\in {\mathscr {G}}(\varphi ^*[{\mathscr {N}}])\). Notice that
Therefore, \(b^\varphi :{\mathscr {G}}(\varphi ^*[{\mathscr {M}}])\times {\mathscr {G}}(\varphi ^*[{\mathscr {N}}])\rightarrow L^0(\mathbb {X})\) can be uniquely extended to an \(L^0(\mathbb {X})\)-bilinear operator \(b^\varphi \in \textrm{B}(\varphi ^*{\mathscr {M}},\varphi ^*{\mathscr {N}})\) satisfying \(|b^\varphi |\le |b|\circ \varphi \). Thanks to Corollary 4.12, we deduce that
for every tensor \(\alpha =\sum _{i=1}^n v_i\otimes w_i\in {\mathscr {M}}\otimes _\pi {\mathscr {N}}\). All in all, we have shown that \(|T(\alpha )|_\pi =|\alpha |_\pi \circ \varphi \) for every \(\alpha \in {\mathscr {M}}\otimes _\pi {\mathscr {N}}\). It follows that \(T\) can be uniquely extended to a linear operator
satisfying \(|\varphi ^*\alpha |_\pi =|\alpha |_\pi \circ \varphi \) for every \(\alpha \in {\mathscr {M}}\hat{\otimes }_\pi {\mathscr {N}}\). Finally, it remains to check that \(\varphi ^*[{\mathscr {M}}\hat{\otimes }_\pi {\mathscr {N}}]\) generates \((\varphi ^*{\mathscr {M}})\hat{\otimes }_\pi (\varphi ^*{\mathscr {N}})\). Given any \(v\in {\mathscr {M}}\) and \(w\in {\mathscr {N}}\), we have \((\varphi ^*v)\otimes (\varphi ^*w)=\varphi ^*(v\otimes w)\). This shows that
Given that \(\varphi ^*[{\mathscr {M}}]\) and \(\varphi ^*[{\mathscr {N}}]\) generate \(\varphi ^*{\mathscr {M}}\) and \(\varphi ^*{\mathscr {N}}\), respectively, we know from Lemma 4.5 that \(S\) generates the space \((\varphi ^*{\mathscr {M}})\hat{\otimes }_\pi (\varphi ^*{\mathscr {N}})\), thus a fortiori \(\varphi ^*[{\mathscr {M}}\hat{\otimes }_\pi {\mathscr {N}}]\) generates \((\varphi ^*{\mathscr {M}})\hat{\otimes }_\pi (\varphi ^*{\mathscr {N}})\). \(\square \)
4.3 Other consequences of the universal property
Let us now discuss other consequences of Theorem 4.10 and Corollary 4.12. Our first goal is to rewrite (4.8) in a different fashion.
Proposition 4.14
Let \(\mathbb {X}\) be a \(\sigma \)-finite measure space. Let \({\mathscr {M}}\), \({\mathscr {N}}\) be Banach \(L^0(\mathbb {X})\)-modules. Then the map sending \(b\) to \(v\rightarrow b(v,\cdot )\) is an isomorphism of Banach \(L^0(\mathbb {X})\)-modules from \(\textrm{B}({\mathscr {M}},{\mathscr {N}})\) to \(\textsc {Hom}({\mathscr {M}};{\mathscr {N}}^*)\). In particular, it holds that
Proof
One can readily check that the map
is a homomorphism of Banach \(L^0(\mathbb {X})\)-modules between the spaces \(\textrm{B}({\mathscr {M}},{\mathscr {N}})\) and \(\textsc {Hom}({\mathscr {M}};{\mathscr {N}}^*)\). For any \(b\in \textrm{B}({\mathscr {M}},{\mathscr {N}})\), we have that
Finally, we check that \(\varphi \) is surjective. For any \(T\in \textsc {Hom}({\mathscr {M}};{\mathscr {N}}^*)\), we define \(b^T:{\mathscr {M}}\times {\mathscr {N}}\rightarrow L^0(\mathbb {X})\) as \(b^T(v,w){:}{=}T(v)(w)\) for every \(v\in {\mathscr {M}}\) and \(w\in {\mathscr {N}}\). Then \(b^T\in \textrm{B}({\mathscr {M}},{\mathscr {N}})\) and \(\varphi (b^T)=T\). \(\square \)
Similarly, we have that \(\textrm{B}({\mathscr {M}},{\mathscr {N}})\cong \textsc {Hom}({\mathscr {N}};{\mathscr {M}}^*)\), an isomorphism of Banach \(L^0(\mathbb {X})\)-modules being given by the operator
Corollary 4.15
Let \(\mathbb {X}\) be a \(\sigma \)-finite measure space. Let \({\mathscr {M}}\), \({\mathscr {N}}\) be Banach \(L^0(\mathbb {X})\)-modules. Then it holds that
![](http://media.springernature.com/lw493/springer-static/image/art%3A10.1007%2Fs43034-023-00312-x/MediaObjects/43034_2023_312_Equ232_HTML.png)
Moreover, for every \(\alpha \in {\mathscr {M}}\hat{\otimes }_\pi {\mathscr {N}}\) we have that
![](http://media.springernature.com/lw512/springer-static/image/art%3A10.1007%2Fs43034-023-00312-x/MediaObjects/43034_2023_312_Equ233_HTML.png)
Proof
Let us fix any sequence \((v_n\otimes w_n)_{n\in \mathbb {N}}\in \ell _1(\mathbb {N},{\mathscr {M}}\hat{\otimes }_\pi {\mathscr {N}})\). We denote \(\alpha {:}{=}\sum _{n\in \mathbb {N}}v_n\otimes w_n\in {\mathscr {M}}\hat{\otimes }_\pi {\mathscr {N}}\). Then
for every \(T\in \textsc {Hom}({\mathscr {M}};{\mathscr {N}}^*)\) and \(F\in {\mathscr {P}}_f(\mathbb {N})\). By passing to the supremum over all \(F\in {\mathscr {P}}_f(\mathbb {N})\), we thus obtain that
which ensures that \(\big (T(v_n)(w_n)\big )_{n\in \mathbb {N}}\in \ell _1(\mathbb {N},L^0(\mathbb {X}))\). Now, let us introduce the shorthand notation
![](http://media.springernature.com/lw434/springer-static/image/art%3A10.1007%2Fs43034-023-00312-x/MediaObjects/43034_2023_312_Equ234_HTML.png)
for every \(\alpha \in {\mathscr {M}}\hat{\otimes }_\pi {\mathscr {N}}\). On the one hand, whenever \((v_n\otimes w_n)_n\) and \(T\) are competitors for \(Q(\alpha )\), we have that \(\big |\sum _{n\in \mathbb {N}}T(v_n)(w_n)\big |\le \sum _{n\in \mathbb {N}}|v_n||w_n|\) by (4.10), so that \(Q(\alpha )\le |\alpha |_\pi \) by Theorem 4.9. On the other hand, take any \(b\in \textrm{B}({\mathscr {M}},{\mathscr {N}})\) such that \(|b|\le 1\). Proposition 4.14 tells that the element \(T_b\in \textsc {Hom}({\mathscr {M}};{\mathscr {N}}^*)\), which we define as \(T_b(v){:}{=}b(v,\cdot )\) for all \(v\in {\mathscr {M}}\), satisfies \(|T_b|\le 1\). Hence, Lemma 3.8 yields
It follows that
thanks to Corollary 4.12. Consequently, the statement is finally achieved. \(\square \)
The following symmetric statement is verified as well:
for every \((v_n\otimes w_n)_n\in \ell _1(\mathbb {N},{\mathscr {M}}\hat{\otimes }_\pi {\mathscr {N}})\) and \(S\in \textsc {Hom}({\mathscr {N}};{\mathscr {M}}^*)\), and we have
![](http://media.springernature.com/lw435/springer-static/image/art%3A10.1007%2Fs43034-023-00312-x/MediaObjects/43034_2023_312_Equ235_HTML.png)
These claims can be proved by arguing exactly as we did in the proof of Corollary 4.15.
Next, we use Corollary 4.12 to characterise the ‘tensor diagonal’ in the space \(L^0(\mathbb {X};\ell _2(I))\hat{\otimes }_\pi L^0(\mathbb {X};\ell _2(I))\):
Proposition 4.16
Let \(\mathbb {X}\) be a \(\sigma \)-finite measure space. Then the Banach \(L^0(\mathbb {X})\)-submodule of \(L^0(\mathbb {X};\ell _2(I))\hat{\otimes }_\pi L^0(\mathbb {X};\ell _2(I))\) that is generated by \(\{\underline{\textsf{e}}_i\otimes \underline{\textsf{e}}_i\,:\,i\in I\}\) is isomorphic to \(L^0(\mathbb {X};\ell _1(I))\).
Proof
Let \({\mathscr {M}}\) be the Banach \(L^0(\mathbb {X})\)-submodule of \(L^0(\mathbb {X};\ell _2(I))\hat{\otimes }_\pi L^0(\mathbb {X};\ell _2(I))\) that is generated by \(\{\underline{\textsf{e}}_i\otimes \underline{\textsf{e}}_i\,:\,i\in I\}\). Observe that \({\mathscr {M}}\) can be described as \({\mathscr {M}}=\textrm{cl}_{ L^0(\mathbb {X};\ell _2(I))\hat{\otimes }_\pi L^0(\mathbb {X};\ell _2(I))}(M)\), where
Given any \(F\in {\mathscr {P}}_f(I)\) and \(f=\{f_i\}_{i\in F}\subseteq L^0(\mathbb {X})\), let us define the operator \(b^f:L^0(\mathbb {X};\ell _2(I))\times L^0(\mathbb {X};\ell _2(I))\rightarrow L^0(\mathbb {X})\) as
The map \(b^f\) is \(L^0(\mathbb {X})\)-bilinear by construction. Also, for any \(g,h\in L^0(\mathbb {X};\ell _2(I))\) we can estimate
which yields \(b^f\in \textrm{B}\big (L^0(\mathbb {X};\ell _2(I)),L^0(\mathbb {X};\ell _2(I))\big )\) and \(|b^f|\le 1\). Now define the map \(\psi :M\rightarrow \ell _1(I,L^0(\mathbb {X}))\) as
By virtue of Corollary 4.12, for any \(F\in {\mathscr {P}}_f(I)\) and \(f=\{f_i\}_{i\in F}\subseteq L^0(\mathbb {X})\) we can estimate
This shows that the operator \(\psi \) is well-defined (thus also \(L^0(\mathbb {X})\)-linear by construction) and that it satisfies \(|\psi (\alpha )|_1\le |\alpha |_\pi \) for all \(\alpha \in M\). Conversely, for any \(\alpha =\sum _{i\in F}f_i\cdot (\underline{\textsf{e}}_i\otimes \underline{\textsf{e}}_i)\in M\) we have
All in all, we have shown that \(\psi \) preserves the pointwise norm, thus it can be uniquely extended to a homomorphism \(\bar{\psi }\in \textsc {Hom}\big ({\mathscr {M}};\ell _1(I,L^0(\mathbb {X}))\big )\) that satisfies \(|\bar{\psi }(\alpha )|_1=|\alpha |_\pi \) for all \(\alpha \in {\mathscr {M}}\). Letting \(\phi :L^0(\mathbb {X};\ell _1(I))\rightarrow \ell _1(I,L^0(\mathbb {X}))\) be the isomorphism given by Corollary 3.12, we deduce that
satisfies \(|\varphi (\alpha )|=|\alpha |_\pi \) for every \(\alpha \in {\mathscr {M}}\). Finally, we verify that \(\varphi \) is surjective. Fix any \(a\in L^0(\mathbb {X};\ell _1(I))\). Thanks to Lemma 3.11, we can find an increasing sequence \((F_n)_{n\in \mathbb {N}}\subseteq {\mathscr {P}}_f(I)\) with \(a_n{:}{=}\sum _{i\in F_n}a(\cdot )_i\cdot \underline{\textsf{e}}_i\rightarrow a\) as \(n\rightarrow \infty \). Since
we deduce that \((a_n)_{n\in \mathbb {N}}\subseteq \varphi [M]\), whence it follows that \(a\in \varphi [{\mathscr {M}}]\). The proof is complete. \(\square \)
Finally, we discuss a categorical consequence of Theorem 4.11. First, we need to introduce the two functors \({\mathscr {M}}\hat{\otimes }_\pi -:{\textbf {BanMod}}_\mathbb {X}\rightarrow {\textbf {BanMod}}_\mathbb {X}\) and \(\textsc {Hom}({\mathscr {M}};-):{\textbf {BanMod}}_\mathbb {X}\rightarrow {\textbf {BanMod}}_\mathbb {X}\), where \({\mathscr {M}}\) is a Banach \(L^0(\mathbb {X})\)-module. The functors \({\mathscr {M}}\hat{\otimes }_\pi -\) and \(\textsc {Hom}({\mathscr {M}};-)\) are given as follows:
-
(i)
For any object \({\mathscr {N}}\) of \({\textbf {BanMod}}_\mathbb {X}\), we define \(({\mathscr {M}}\hat{\otimes }_\pi -)({\mathscr {N}}){:}{=}{\mathscr {M}}\hat{\otimes }_\pi {\mathscr {N}}\). For any morphism \(T:{\mathscr {N}}\rightarrow \tilde{{\mathscr {N}}}\) in \({\textbf {BanMod}}_\mathbb {X}\), we define the morphism \(({\mathscr {M}}\hat{\otimes }_\pi -)(T):{\mathscr {M}}\hat{\otimes }_\pi {\mathscr {N}}\rightarrow {\mathscr {M}}\hat{\otimes }_\pi \tilde{{\mathscr {N}}}\) as \(({\mathscr {M}}\hat{\otimes }_\pi -)(T){:}{=}\textrm{id}_{{\mathscr {M}}}\otimes _\pi T\).
-
(ii)
For any object \({\mathscr {Q}}\) of \({\textbf {BanMod}}_\mathbb {X}\), we set
$$\begin{aligned} \textsc {Hom}({\mathscr {M}};-)({\mathscr {Q}}){:}{=}\textsc {Hom}({\mathscr {M}};{\mathscr {Q}}). \end{aligned}$$For any morphism \(T:{\mathscr {Q}}\rightarrow \tilde{{\mathscr {Q}}}\) in \({\textbf {BanMod}}_\mathbb {X}\), we define the morphism
$$\begin{aligned} \textsc {Hom}({\mathscr {M}};-)(T):\textsc {Hom}({\mathscr {M}};{\mathscr {Q}})\rightarrow \textsc {Hom}({\mathscr {M}};\tilde{{\mathscr {Q}}}) \end{aligned}$$as \(\textsc {Hom}({\mathscr {M}};-)(T)(S){:}{=}T\circ S\) for every \(S\in \textsc {Hom}({\mathscr {M}};{\mathscr {Q}})\).
We can now pass to the ensuing result, which states that \({\mathscr {M}}\hat{\otimes }_\pi -\) is the left adjoint of \(\textsc {Hom}({\mathscr {M}};-)\):
Proposition 4.17
Let \(\mathbb {X}\) be a \(\sigma \)-finite measure space and let \({\mathscr {M}}\) be a Banach \(L^0(\mathbb {X})\)-module. Then
Proof
Our goal is to find a natural isomorphism
which means that \(\big ({\mathscr {M}}\hat{\otimes }_\pi -,\textsc {Hom}({\mathscr {M}};-),\Phi \big )\) is a hom-set adjunction. To this aim, fix two Banach \(L^0(\mathbb {X})\)-modules \({\mathscr {N}}\) and \({\mathscr {Q}}\). We define
as follows:
One can readily check that \(\Phi _{{\mathscr {N}},{\mathscr {Q}}}\) is a morphism and \(|\Phi _{{\mathscr {N}},{\mathscr {Q}}}|\le 1\). On the other hand, let \(L\) be a given element of \(\textsc {Hom}({\mathscr {N}};\textsc {Hom}({\mathscr {M}};{\mathscr {Q}}))\). Define \(b^L:{\mathscr {M}}\times {\mathscr {N}}\rightarrow {\mathscr {Q}}\) as \(b^L(v,w){:}{=}L(w)(v)\) for every \((v,w)\in {\mathscr {M}}\times {\mathscr {N}}\). Since \(b^L\in \textrm{B}({\mathscr {M}},{\mathscr {N}};{\mathscr {Q}})\) and \(|b^L|\le |L|\), we know from Theorem 4.11 that the element \({\tilde{b}}^L_\pi \in \textsc {Hom}({\mathscr {M}}\hat{\otimes }_\pi {\mathscr {N}};{\mathscr {Q}})\) satisfies \(|{\tilde{b}}^L_\pi |\le |L|\). Since
we deduce that \(\Phi _{{\mathscr {N}},{\mathscr {Q}}}({\tilde{b}}^L_\pi )=L\) and \(|\Phi _{{\mathscr {N}},{\mathscr {Q}}}({\tilde{b}}^L_\pi )|=|L|\ge |{\tilde{b}}^L_\pi |\). All in all, we have shown that \(\Phi _{{\mathscr {N}},{\mathscr {Q}}}\) is an isomorphism. Let us finally check the naturality of \(\Phi \). Given any two morphisms \(T:\tilde{{\mathscr {N}}}\rightarrow {\mathscr {N}}\) and \(S:{\mathscr {Q}}\rightarrow \tilde{{\mathscr {Q}}}\) in \({\textbf {BanMod}}_\mathbb {X}\), we consider the morphisms
which are given by \(\textsc {Hom}({\mathscr {M}}\hat{\otimes }_\pi T;S)(\varphi ){:}{=}S\circ \varphi \circ (\textrm{id}_{{\mathscr {M}}}\otimes _\pi T)\) for every \(\varphi \in \textsc {Hom}({\mathscr {M}}\hat{\otimes }_\pi {\mathscr {N}};{\mathscr {Q}})\) and \(\textsc {Hom}(T;\textsc {Hom}({\mathscr {M}};S))(\psi )({\tilde{w}}){:}{=}S\circ (\psi \circ T)({\tilde{w}})\) for every \(\psi \in \textsc {Hom}({\mathscr {N}};\textsc {Hom}({\mathscr {M}};{\mathscr {Q}}))\) and \({\tilde{w}}\in \tilde{{\mathscr {N}}}\). Unwrapping the various definitions, one can see that the following diagram is commutative:
![figure e](http://media.springernature.com/lw685/springer-static/image/art%3A10.1007%2Fs43034-023-00312-x/MediaObjects/43034_2023_312_Fige_HTML.png)
whence it follows that \(\Phi \) is a natural isomorphism. Consequently, the proof is complete. \(\square \)
The previous result implies that the functor \({\mathscr {M}}\hat{\otimes }_\pi -\) is cocontinuous, i.e. it preserves colimits. Notice however that we are considering \({\mathscr {M}}\hat{\otimes }_\pi -\) as an endofunctor on \({\textbf {BanMod}}_\mathbb {X}\), which is only finitely cocomplete, and not on the cocomplete category \({\textbf {BanMod}}_\mathbb {X}^1\).
5 Injective tensor products of Banach \(L^0\)-modules
5.1 Definition and main properties
We begin by introducing the injective pointwise norm:
Theorem 5.1
Let \(\mathbb {X}\) be a \(\sigma \)-finite measure space. Let \({\mathscr {M}}\), \({\mathscr {N}}\) be Banach \(L^0(\mathbb {X})\)-modules. Define
for every \(\alpha \in {\mathscr {M}}\otimes {\mathscr {N}}\). Then \(|\cdot |_\varepsilon :{\mathscr {M}}\otimes {\mathscr {N}}\rightarrow L^0(\mathbb {X})^+\) is a pointwise norm on \({\mathscr {M}}\otimes {\mathscr {N}}\). Moreover,
Proof
One can readily check that \(|\cdot |_\varepsilon \) verifies the pointwise norm axioms; the fact that \(|\alpha |_\varepsilon =0\) implies \(\alpha =0\) is a consequence of Lemma 3.19. To prove (5.2), notice first that Lemma 3.19 yields
whenever \(\sum _{i=1}^n v_i\otimes w_i\) is a representation of the tensor \(v\otimes w\) and for all \((\omega ,\eta )\in {\mathbb {D}}_{{\mathscr {M}}^*}\times {\mathbb {D}}_{{\mathscr {N}}^*}\). Hence, we obtain that \(|v\otimes w|_\varepsilon \le |v||w|\). Conversely, an application of the Hahn–Banach theorem gives two elements \(\omega _v\in {\mathbb {S}}_{{\mathscr {M}}^*}\cup \{0\}\) and \(\eta _w\in {\mathbb {S}}_{{\mathscr {N}}^*}\cup \{0\}\) such that \(\omega _v(v)=|v|\) and \(\eta _w(w)=|w|\). Therefore, we have that \(|v||w|=\omega _v(v)\eta _w(w)\le |v\otimes w|_\varepsilon \). All in all, (5.2) is proved. \(\square \)
Remark 5.2
Observe that \(|\alpha |_\varepsilon \le |\alpha |_\pi \) for every \(\alpha \in {\mathscr {M}}\otimes {\mathscr {N}}\). Indeed, if we write \(\alpha =\sum _{i=1}^n v_i\otimes w_i\), then for any \(\omega \in {\mathbb {D}}_{{\mathscr {M}}^*}\) and \(\eta \in {\mathbb {D}}_{{\mathscr {N}}^*}\) we have that
whence the claim follows.
Definition 5.3
(Injective tensor product) Let \(\mathbb {X}\) be a \(\sigma \)-finite measure space. Let \({\mathscr {M}}\) and \({\mathscr {N}}\) be Banach \(L^0(\mathbb {X})\)-modules. Then we denote by \({\mathscr {M}}\otimes _\varepsilon {\mathscr {N}}\) the normed \(L^0(\mathbb {X})\)-module \(({\mathscr {M}}\otimes {\mathscr {N}},|\cdot |_\varepsilon )\), where the pointwise norm \(|\cdot |_\varepsilon \) is defined as in (5.1). Moreover, the injective tensor product of \({\mathscr {M}}\) and \({\mathscr {N}}\) is the Banach \(L^0(\mathbb {X})\)-module \({\mathscr {M}}\hat{\otimes }_\varepsilon {\mathscr {N}}\) defined as the \(L^0(\mathbb {X})\)-completion of \({\mathscr {M}}\otimes _\varepsilon {\mathscr {N}}\).
The space \({\mathscr {M}}\hat{\otimes }_\varepsilon {\mathscr {N}}\) is a Banach \(L^0(\mathbb {X})\)-submodule of \(\textrm{B}({\mathscr {M}}^*,{\mathscr {N}}^*)\):
Proposition 5.4
Let \(\mathbb {X}\) be a \(\sigma \)-finite measure space. Let \({\mathscr {M}}\) and \({\mathscr {N}}\) be Banach \(L^0(\mathbb {X})\)-modules. Given any tensor \(\alpha =\sum _{i=1}^n v_i\otimes w_i\in {\mathscr {M}}\otimes {\mathscr {N}}\), we define the map \(B_\alpha :{\mathscr {M}}^*\times {\mathscr {N}}^*\rightarrow L^0(\mathbb {X})\) as
Then \(B_\alpha \) is well-defined and belongs to \(\textrm{B}({\mathscr {M}}^*,{\mathscr {N}}^*)\). Moreover, the resulting operator
can be uniquely extended to an isomorphism of Banach \(L^0(\mathbb {X})\)-modules from the injective tensor product \({\mathscr {M}}\hat{\otimes }_\varepsilon {\mathscr {N}}\) to the closure of \(\{B_\alpha \,:\,\alpha \in {\mathscr {M}}\otimes {\mathscr {N}}\}\) in \(\textrm{B}({\mathscr {M}}^*,{\mathscr {N}}^*)\).
Proof
The well-posedness of (5.3) follows from Lemma 3.19, while the rest is straightforward. \(\square \)
The following result provides other two representations of the injective tensor product \({\mathscr {M}}\hat{\otimes }_\varepsilon {\mathscr {N}}\):
Proposition 5.5
Let \(\mathbb {X}\) be a \(\sigma \)-finite measure space. Let \({\mathscr {M}}\) and \({\mathscr {N}}\) be Banach \(L^0(\mathbb {X})\)-modules. Given any tensor \(\alpha =\sum _{i=1}^n v_i\otimes w_i\in {\mathscr {M}}\otimes {\mathscr {N}}\), we define the maps \(L_\alpha :{\mathscr {M}}^*\rightarrow {\mathscr {N}}\) and \(R_\alpha :{\mathscr {N}}^*\rightarrow {\mathscr {M}}\) as
respectively. Then \(L_\alpha \in \textsc {Hom}({\mathscr {M}}^*;{\mathscr {N}})\) and \(R_\alpha \in \textsc {Hom}({\mathscr {N}}^*;{\mathscr {M}})\). Moreover, the resulting maps
can be uniquely extended to pointwise norm preserving homomorphisms defined on \({\mathscr {M}}\hat{\otimes }_\varepsilon {\mathscr {N}}\).
Proof
We consider only \(L_\alpha \), the proof for \(R_\alpha \) being analogous. The well-posedness of the map \(L_\alpha \) follows from Corollary 3.21. It is then easy to check that \(L_\alpha \in \textsc {Hom}({\mathscr {M}}^*;{\mathscr {N}})\) holds for every \(\alpha \in {\mathscr {M}}\otimes {\mathscr {N}}\) and that the mapping \({\mathscr {M}}\otimes _\varepsilon {\mathscr {N}}\ni \alpha \mapsto L_\alpha \in \textsc {Hom}({\mathscr {M}}^*;{\mathscr {N}})\) is a homomorphism of normed \(L^0(\mathbb {X})\)-modules. Also, we have that
for every \(\alpha =\sum _{i=1}^n v_i\otimes w_i\in {\mathscr {M}}\otimes _\varepsilon {\mathscr {N}}\) by the Hahn–Banach theorem. The statement follows. \(\square \)
Corollary 5.6
Let \(\mathbb {X}\) be a \(\sigma \)-finite measure space. Let \({\mathscr {M}}\), \({\mathscr {N}}\) be Banach \(L^0(\mathbb {X})\)-modules. Let \({\mathcal {T}}\) and \({\mathcal {S}}\) be norming subsets of \({\mathscr {M}}^*\) and \({\mathscr {N}}^*\), respectively. Then it holds that
Proof
Given that \(|L_\alpha |=\bigvee _{\omega \in {\mathcal {T}}}|L_\alpha (\omega )|\) and \(|R_\alpha |=\bigvee _{\eta \in {\mathcal {S}}}|R_\alpha (\eta )|\), the statement follows from Proposition 5.5. \(\square \)
Let us now consider the injective tensor product of homomorphisms of Banach \(L^0(\mathbb {X})\)-modules:
Proposition 5.7
(Injective tensor products of homomorphisms) Let \(\mathbb {X}\) be a \(\sigma \)-finite measure space. Let \(T:{\mathscr {M}}\rightarrow \tilde{{\mathscr {M}}}\) and \(S:{\mathscr {N}}\rightarrow \tilde{{\mathscr {N}}}\) be homomorphisms of Banach \(L^0(\mathbb {X})\)-modules. Then there exists a unique homomorphism of Banach \(L^0(\mathbb {X})\)-modules \(T\otimes _\varepsilon S:{\mathscr {M}}\hat{\otimes }_\varepsilon {\mathscr {N}}\rightarrow \tilde{{\mathscr {M}}}\hat{\otimes }_\varepsilon \tilde{{\mathscr {N}}}\) with
Moreover, it holds that \(|T\otimes _\varepsilon S|=|T||S|\).
Proof
Let \(T\otimes S:{\mathscr {M}}\otimes {\mathscr {N}}\rightarrow \tilde{{\mathscr {M}}}\otimes \tilde{{\mathscr {N}}}\) be as in Lemma 2.2. Given any element \(\alpha =\sum _{i=1}^n v_i\otimes w_i\in {\mathscr {M}}\otimes {\mathscr {N}}\), we have that
where we used the fact that \(\frac{\mathbb {1}_{\{|T|>0\}}}{|T|}\cdot (\tilde{\omega }\circ T)\in {\mathbb {D}}_{{\mathscr {M}}^*}\) and \(\frac{\mathbb {1}_{\{|S|>0\}}}{|S|}\cdot (\tilde{\eta }\circ S)\in {\mathbb {D}}_{{\mathscr {N}}^*}\). It follows that the map \(T\otimes S:{\mathscr {M}}\otimes {\mathscr {N}}\rightarrow \tilde{{\mathscr {M}}}\otimes \tilde{{\mathscr {N}}}\) can be uniquely extended to a homomorphism of Banach \(L^0(\mathbb {X})\)-modules \(T\otimes _\varepsilon S:{\mathscr {M}}\hat{\otimes }_\varepsilon {\mathscr {N}}\rightarrow \tilde{{\mathscr {M}}}\hat{\otimes }_\varepsilon \tilde{{\mathscr {N}}}\) satisfying \(|T\otimes _\varepsilon S|\le |T||S|\). Finally, the validity of the converse inequality \(|T\otimes _\varepsilon S|\ge |T||S|\) can be proved arguing as in Proposition 4.3. \(\square \)
One can easily check that \(L^0(\mathbb {X})\hat{\otimes }_\varepsilon L^0(\mathbb {X})=L^0(\mathbb {X})\otimes _\varepsilon L^0(\mathbb {X})\cong L^0(\mathbb {X})\) as Banach \(L^0(\mathbb {X})\)-modules via the isomorphism
In particular, up to this identification, we have that
Lemma 5.8
Let \(\mathbb {X}\) be a \(\sigma \)-finite measure space. Let \({\mathscr {M}}\), \({\mathscr {N}}\) be Banach \(L^0(\mathbb {X})\)-modules. Let \(G\subseteq {\mathscr {M}}\) and \(H\subseteq {\mathscr {N}}\) be generating subsets. Then it holds that the set \(\{v\otimes w\;\big |\;v\in G,\,w\in H\}\) generates \({\mathscr {M}}\hat{\otimes }_\varepsilon {\mathscr {N}}\).
Proof
The statement follows from Lemma 4.5 and Remark 5.2. \(\square \)
5.2 Relation with order-continuous maps
As we already mentioned in the first paragraph of Sect. 3.4, the Banach space \(\textrm{C}(K)\) (where \(K\) is a compact, Hausdorff topological space) has a special relevance in connection with injective tensor products. For instance, it holds that \(\textrm{C}(K)\hat{\otimes }_\varepsilon \mathbb {B}\cong \textrm{C}(K;\mathbb {B})\) for every Banach space \(\mathbb {B}\), whence it follows that any quotient operator \(f:\mathbb {B}_1\rightarrow \mathbb {B}_2\) between Banach spaces induces a quotient operator \(\textrm{id}\otimes _\varepsilon f:\textrm{C}(K)\hat{\otimes }_\varepsilon \mathbb {B}_1\rightarrow \textrm{C}(K)\hat{\otimes }_\varepsilon \mathbb {B}_2\). The goal of the present section is to extend these results to the setting of Banach \(L^0(\mathbb {X})\)-modules, taking as \(K\) a compact, Hausdorff uniform space, and replacing \(\textrm{C}(K)\) with \(\textrm{UC}_{\textrm{ord}}(K;L^0(\mathbb {X}))\).
Theorem 5.9
Let \((K,\Phi )\) be a compact, Hausdorff uniform space. Let \(\mathbb {X}\) be a \(\sigma \)-finite measure space and \({\mathscr {M}}\) a Banach \(L^0(\mathbb {X})\)-module. Then the unique linear and continuous operator
satisfying \({\mathfrak {j}}(f\otimes v)(\cdot )=f(\cdot )\cdot v\) for every \(f\in \textrm{UC}_{\textrm{ord}}(K;L^0(\mathbb {X}))\) and \(v\in {\mathscr {M}}\) is an isomorphism.
Proof
Notice that \(|f(\cdot )\cdot v|=|f(\cdot )||v|\) and \(\textrm{Var}(f(\cdot )\cdot v;{\mathcal {U}})=|v|\textrm{Var}(f;{\mathcal {U}})\) for every \(f\in \textrm{UC}_{\textrm{ord}}(K;L^0(\mathbb {X}))\), \(v\in {\mathscr {M}}\), and \({\mathcal {U}}\in \Phi \), which implies that
Therefore, it makes sense to define \({\mathfrak {j}}:\textrm{UC}_{\textrm{ord}}(K;L^0(\mathbb {X}))\otimes _\varepsilon {\mathscr {M}}\rightarrow \textrm{UC}_{\textrm{ord}}(K;{\mathscr {M}})\) in the following way:
To prove that the definition of \({\mathfrak {j}}\) is well-posed amounts to showing that
![](http://media.springernature.com/lw348/springer-static/image/art%3A10.1007%2Fs43034-023-00312-x/MediaObjects/43034_2023_312_Equ35_HTML.png)
Assuming \(\sum _{i=1}^n f_i\otimes v_i=0\), we have that \(\sum _{i=1}^n f_i(p)\cdot v_i=\sum _{i=1}^n\delta _p(f_i)\cdot v_i=0\) for every \(p\in K\) by Remark 3.15 and Corollary 3.21, thus showing that (5.4) holds. Moreover, if \(\alpha =\sum _{i=1}^n f_i\otimes v_i\) is an element of \(\textrm{UC}_{\textrm{ord}}(K;L^0(\mathbb {X}))\otimes _\varepsilon {\mathscr {M}}\), then by Corollary 5.6 and Remark 3.15 we can compute
Since \({\mathfrak {j}}\) is also linear by construction, it can be uniquely extended to a homomorphism of Banach \(L^0(\mathbb {X})\)-modules
that preserves the pointwise norm.
In order to conclude, it remains to check that the isometric embedding map \({\mathfrak {j}}\) is also surjective. Let \(v\in \textrm{UC}_{\textrm{ord}}(K;{\mathscr {M}})\) be given. Then we can find a sequence \(({\mathcal {U}}_n)_{n\in \mathbb {N}}\subseteq \Phi \) with \(\textrm{Var}(v;{\mathcal {U}}_n)\rightarrow 0\) in \(L^0(\mathbb {X})\). Fix any \(n\in \mathbb {N}\). Given that \(\{{\mathcal {U}}_n[p]\}_{p\in K}\) is an open cover of the compact set \(K\), there exist \(k_n\in \mathbb {N}\) and \((p^n_i)_{i=1}^{k_n}\subseteq K\) such that \(K=\bigcup _{i=1}^{k_n}{\mathcal {U}}_n[p^n_i]\). Now, take a continuous partition of unity \((\eta ^n_i)_{i=1}^{k_n}\) subordinated to \(({\mathcal {U}}_n[p^n_i])_{i=1}^{k_n}\) (see e.g. [20]), i.e. \(\eta ^n_i:K\rightarrow [0,1]\) is continuous, supported in \({\mathcal {U}}_n[p^n_i]\), and \(\sum _{i=1}^{k_n}\eta ^n_i=1\) on \(K\). With no loss of generality, we can also assume that for any \(i=1,\ldots ,k_n\) there exists \(q^n_i\in {\mathcal {U}}_n[p^n_i]\) such that \(\eta ^n_i(q^n_i)=1\); this fact will be used in Remark 5.10. Let us define
Observe that for any given point \(p\in K\) we can estimate
By passing to the supremum over all \(p\in K\), we get \(|{\mathfrak {j}}(\alpha _n)-v|\le \textrm{Var}(v;{\mathcal {U}}_n)\), whence it follows that \({\mathfrak {j}}(\alpha _n)\rightarrow v\) in \(\textrm{UC}_{\textrm{ord}}(K;{\mathscr {M}})\). This shows that \({\mathfrak {j}}\) is surjective, as desired. \(\square \)
Remark 5.10
We isolate a useful byproduct of the proof of Theorem 5.9. For any \(n\in \mathbb {N}\), we denote
where \(\textrm{C}(K;[0,1])\) stands for the set of continuous functions from \(K\) to \([0,1]\). Then we have that
is dense in \(\textrm{UC}_{\textrm{ord}}(K;L^0(\mathbb {X}))\hat{\otimes }_\varepsilon {\mathscr {M}}\), or equivalently
is dense in \(\textrm{UC}_{\textrm{ord}}(K;{\mathscr {M}})\). Moreover, it holds that
To prove it, take \((q_i)_{i=1}^n\subseteq K\) such that \(\eta _i(q_i)=1\) for every \(i=1,\ldots ,n\). Therefore, we can estimate
which shows the validity of (5.5).
Proposition 5.11
Let \((K,\Phi )\) be a compact, Hausdorff uniform space. Let \(\mathbb {X}\) be a \(\sigma \)-finite measure space and let \({\mathscr {M}}\), \({\mathscr {N}}\) be Banach \(L^0(\mathbb {X})\)-modules. Let \(T:{\mathscr {M}}\rightarrow {\mathscr {N}}\) be a quotient operator. Then the map
is a quotient operator.
Proof
First, notice that \(|\textrm{id}\otimes _\varepsilon T|=|T|\le 1\). Our goal is to apply Lemma 3.4. To this aim, we shorten \(\textrm{UC}{:}{=}\textrm{UC}_{\textrm{ord}}(K;L^0(\mathbb {X}))\), and we fix \(\beta \in \textrm{UC}\hat{\otimes }_\varepsilon {\mathscr {N}}\) and \(\varepsilon >0\). By Remark 5.10, we can find \(n\in \mathbb {N}\), \((\eta _i)_{i=1}^n\in {\mathscr {F}}_n\), and \((w_i)_{i=1}^n\subseteq {\mathscr {N}}\) such that \(\tilde{\beta }{:}{=}\sum _{i=1}^n(\eta _i(\cdot )\mathbb {1}_\textrm{X})\otimes w_i\) satisfies \(\textsf{d}_{\textrm{UC}\hat{\otimes }_\varepsilon {\mathscr {N}}}(\tilde{\beta },\beta )<\varepsilon /2\). Since \(T\) is a quotient operator, for any \(i=1,\ldots ,n\) we can find \(v_i\in {\mathscr {M}}\) such that \(T(v_i)=w_i\) and \(|v_i|\le |w_i|+\delta \), where we have chosen some \(\delta >0\) for which \(\textsf{d}_{L^0(\mathbb {X})}(\delta \mathbb {1}_\textrm{X},0)<\varepsilon /2\). Now define \(\alpha {:}{=}\sum _{i=1}^n(\eta _i(\cdot )\mathbb {1}_\textrm{X})\otimes v_i \in \textrm{UC}\hat{\otimes }_\varepsilon {\mathscr {M}}\). Since \((\textrm{id}\otimes _\varepsilon T)(\alpha )=\tilde{\beta }\), we have \(\textsf{d}_{\textrm{UC}\hat{\otimes }_\varepsilon {\mathscr {N}}}((\textrm{id}\otimes _\varepsilon T)(\alpha ),\beta )<\varepsilon \). Moreover, recalling (5.5) we see that \(|\alpha |_\varepsilon =\bigvee _{i=1}^n|v_i|\le \delta +\bigvee _{i=1}^n|w_i|=|\tilde{\beta }|_\varepsilon +\delta \le |\alpha |_\varepsilon +\delta \), which yields \(\textsf{d}_{L^0(\mathbb {X})}(|\alpha |_\varepsilon ,|\beta |_\varepsilon )\le \textsf{d}_{L^0(\mathbb {X})}(\delta \mathbb {1}_\textrm{X},0)+\textsf{d}_{L^0(\mathbb {X})} (|\tilde{\beta }|_\varepsilon ,|\beta |_\varepsilon )<\varepsilon \). Therefore, we can apply Lemma 3.4, which gives that \(\textrm{id}\otimes _\varepsilon T:\textrm{UC}\hat{\otimes }_\varepsilon {\mathscr {M}}\rightarrow \textrm{UC}\hat{\otimes }_\varepsilon {\mathscr {N}}\) is a quotient operator. \(\square \)
5.3 Relation with duals and pullbacks
First of all, we provide a characterisation of the dual of \({\mathscr {M}}\hat{\otimes }_\varepsilon {\mathscr {N}}\). By \({\mathbb {D}}_{{\mathscr {M}}^*}^{w^*}\) we will mean the unit disc of \({\mathscr {M}}^*\) endowed with the restriction of the weak\(^*\) topology. Moreover, the space \({\mathbb {D}}_{{\mathscr {M}}^*}^{w^*}\times {\mathbb {D}}_{{\mathscr {N}}^*}^{w^*}\) will be tacitly equipped with the product topology.
Theorem 5.12
(Dual of \({\mathscr {M}}\hat{\otimes }_\varepsilon {\mathscr {N}}\)) Let \(\mathbb {X}\) be a \(\sigma \)-finite measure space. Let \({\mathscr {M}}\) and \({\mathscr {N}}\) be Banach \(L^0(\mathbb {X})\)-modules. Then there exists a unique homomorphism of Banach \(L^0(\mathbb {X})\)-modules
such that
Moreover, the homomorphism \(\iota \) preserves the pointwise norm. In particular, it holds that
Proof
First of all, let us define \(\iota :{\mathscr {M}}\otimes _\varepsilon {\mathscr {N}}\rightarrow \textrm{C}_{\textrm{pb}}({\mathbb {D}}_{{\mathscr {M}}^*}^{w^*}\times {\mathbb {D}}_{{\mathscr {N}}^*}^{w^*};L^0(\mathbb {X}))\) as
for every \(\alpha =\sum _{i=1}^n v_i\otimes w_i\in {\mathscr {M}}\otimes _\varepsilon {\mathscr {N}}\) and \((\omega ,\eta )\in {\mathbb {D}}_{{\mathscr {M}}^*}\times {\mathbb {D}}_{{\mathscr {N}}^*}\). It can be easily checked that \(\iota \) is well-posed and \(L^0(\mathbb {X})\)-linear. Moreover, (3.12) and (5.1) yield
for every \(\alpha =\sum _{i=1}^n v_i\otimes w_i\in {\mathscr {M}}\otimes _\varepsilon {\mathscr {N}}\), thus \(\iota \) can be uniquely extended to a pointwise norm preserving homomorphism
For the last claim, see Lemma 3.3. \(\square \)
We stress that in Theorem 5.12 we consider the space \(\textrm{C}_{\textrm{pb}}\), differently from Sect. 5.2. It seems that in Theorem 5.12 the space \(\textrm{C}_{\textrm{pb}}\) cannot be replaced by the smaller space \(\textrm{UC}_{\textrm{ord}}\). Furthermore, we point out that the description of \(({\mathscr {M}}\hat{\otimes }_\varepsilon {\mathscr {N}})^*\) provided by Theorem 5.12 is rather implicit if compared with the corresponding one for Banach spaces (see [21, Proposition 3.14]). Indeed, it is not clear whether the space \(\textrm{C}_{\textrm{pb}}({\mathbb {D}}_{{\mathscr {M}}^*}^{w^*}\times {\mathbb {D}}_{{\mathscr {N}}^*}^{w^*};L^0(\mathbb {X}))^*\) can be described as a space of measures.
We conclude this section by proving that ‘pullbacks and injective tensor products commute’:
Theorem 5.13
(Pullbacks vs. injective tensor products) Let \(\mathbb {X}=(\textrm{X},\Sigma _\textrm{X},{\mathfrak {m}}_\textrm{X})\), \(\mathbb {Y}=(\textrm{Y},\Sigma _\textrm{Y},{\mathfrak {m}}_\textrm{Y})\) be separable, \(\sigma \)-finite measure spaces. Let \(\varphi :\textrm{X}\rightarrow \textrm{Y}\) be a measurable map with \(\varphi _\#{\mathfrak {m}}_\textrm{X}\ll {\mathfrak {m}}_\textrm{Y}\). Let \({\mathscr {M}}\), \({\mathscr {N}}\) be Banach \(L^0(\mathbb {Y})\)-modules. Then it holds that
the pullback map \(\varphi ^*:{\mathscr {M}}\hat{\otimes }_\varepsilon {\mathscr {N}}\rightarrow (\varphi ^*{\mathscr {M}})\hat{\otimes }_\varepsilon (\varphi ^*{\mathscr {N}})\) being the unique homomorphism such that
Proof
Let us define \(T:{\mathscr {M}}\otimes _\varepsilon {\mathscr {N}}\rightarrow (\varphi ^*{\mathscr {M}})\otimes _\varepsilon (\varphi ^*{\mathscr {N}})\) as
The well-posedness of \(T\) can be proved exactly as in Theorem 4.13, while its linearity is clear. Moreover, for any \(\alpha =\sum _{i=1}^n v_i\otimes w_i\in {\mathscr {M}}\otimes _\varepsilon {\mathscr {N}}\) we have
Conversely, if \(\xi =\sum _{j=1}^m\mathbb {1}_{E_j}\cdot \varphi ^*\omega _j\) and \(\theta =\sum _{k=1}^\ell \mathbb {1}_{F_k}\cdot \varphi ^*\eta _k\) are given elements of \({\mathscr {G}}(\varphi ^*[{\mathbb {D}}_{{\mathscr {M}}^*}])\) and \({\mathscr {G}}(\varphi ^*[{\mathbb {D}}_{{\mathscr {N}}^*}])\), respectively, then
Using Theorem 2.13, as well as the density of \({\mathscr {G}}(\varphi ^*[{\mathbb {D}}_{{\mathscr {M}}^*}])\) and \({\mathscr {G}}(\varphi ^*[{\mathbb {D}}_{{\mathscr {N}}^*}])\) in \({\mathbb {D}}_{\varphi ^*{\mathscr {M}}^*}\) and \({\mathbb {D}}_{\varphi ^*{\mathscr {N}}^*}\), respectively, we get \(\big |\sum _{i=1}^n\Xi (\varphi ^*v_i)\Theta (\varphi ^*w_i)\big |\le |\alpha |_\varepsilon \circ \varphi \) for all \(\Xi \in {\mathbb {D}}_{\varphi ^*{\mathscr {M}}^*}\) and \(\Theta \in {\mathbb {D}}_{\varphi ^*{\mathscr {N}}^*}\). It follows that \(|T(\alpha )|_\varepsilon \le |\alpha |_\varepsilon \circ \varphi \) holds for every \(\alpha \in {\mathscr {M}}\otimes _\varepsilon {\mathscr {N}}\), thus accordingly \(T\) can be uniquely extended to a linear map \(\varphi ^*:{\mathscr {M}}\hat{\otimes }_\varepsilon {\mathscr {N}}\rightarrow (\varphi ^*{\mathscr {M}})\hat{\otimes }_\varepsilon (\varphi ^*{\mathscr {N}})\) satisfying \(|\varphi ^*\alpha |_\varepsilon =|\alpha |_\varepsilon \circ \varphi \) for all \(\alpha \in {\mathscr {M}}\hat{\otimes }_\varepsilon {\mathscr {N}}\). Finally, the fact that \(\varphi ^*[{\mathscr {M}}\hat{\otimes }_\varepsilon {\mathscr {N}}]\) generates \((\varphi ^*{\mathscr {M}})\hat{\otimes }_\varepsilon (\varphi ^*{\mathscr {N}})\) can be proved as in Theorem 4.13, using Lemma 5.8 in place of Lemma 4.5. The proof is then complete. \(\square \)
5.4 Pointwise crossnorms
Let us now introduce a class of ‘tensor product pointwise norms’:
Definition 5.14
(Reasonable pointwise crossnorm) Let \(\mathbb {X}\) be a \(\sigma \)-finite measure space. Let \({\mathscr {M}}\) and \({\mathscr {N}}\) be Banach \(L^0(\mathbb {X})\)-modules. Then a pointwise norm \(|\cdot |_c\) on \({\mathscr {M}}\otimes {\mathscr {N}}\) is said to be a reasonable pointwise crossnorm provided the following properties are verified:
-
(i)
\(|v\otimes w|_c\le |v||w|\) for every \(v\in {\mathscr {M}}\) and \(w\in {\mathscr {N}}\).
-
(ii)
\(\omega \otimes \eta \in ({\mathscr {M}}\otimes {\mathscr {N}})_c^*\) and \(|\omega \otimes \eta |_{c^*}\le |\omega ||\eta |\) for every \(\omega \in {\mathscr {M}}^*\) and \(\eta \in {\mathscr {N}}^*\), where we denote by \((({\mathscr {M}}\otimes {\mathscr {N}})_c^*,|\cdot |_{c^*})\) the dual of the normed \(L^0(\mathbb {X})\)-module \(({\mathscr {M}}\otimes {\mathscr {N}},|\cdot |_c)\).
The projective pointwise norm and the injective pointwise norm are examples of reasonable pointwise crossnorms. In fact, they are the ‘greatest’ and the ‘least’ crossnorms, respectively:
Theorem 5.15
(Characterisation of reasonable pointwise crossnorms) Let \(\mathbb {X}\) be a \(\sigma \)-finite measure space. Let \({\mathscr {M}}\) and \({\mathscr {N}}\) be Banach \(L^0(\mathbb {X})\)-modules. Let \(|\cdot |_c\) be a given pointwise norm on \({\mathscr {M}}\otimes {\mathscr {N}}\). Then \(|\cdot |_c\) is a reasonable pointwise crossnorm if and only if
Proof
Suppose \(|\cdot |_c\) is a reasonable pointwise crossnorm. Given any element \(\alpha =\sum _{i=1}^n v_i\otimes w_i\in {\mathscr {M}}\otimes {\mathscr {N}}\), we can estimate
thus by taking the infimum over all representations of \(\alpha \) we get \(|\alpha |_c\le |\alpha |_\pi \). Moreover, we have that
Conversely, if (5.6) is verified, then \(|v\otimes w|_c\le |v\otimes w|_\pi =|v||w|\) holds for every \((v,w)\in {\mathscr {M}}\times {\mathscr {N}}\). Moreover,
thus \(\omega \otimes \eta \in ({\mathscr {M}}\otimes {\mathscr {N}})_c^*\) and \(|\omega \otimes \eta |_{c^*}\le |\omega ||\eta |\). Hence, \(|\cdot |_c\) is a reasonable pointwise crossnorm. \(\square \)
Let \(\mathbb {X}\) be a \(\sigma \)-finite measure space and \({\mathscr {M}}\), \({\mathscr {N}}\) Banach \(L^0(\mathbb {X})\)-modules. Let \(|\cdot |_c\) be a reasonable pointwise crossnorm on \({\mathscr {M}}\otimes {\mathscr {N}}\). Let \(G\subseteq {\mathscr {M}}\) and \(H\subseteq {\mathscr {N}}\) be generating subsets. Then it follows from the second inequality in (5.6) and Lemma 4.5 that the set \(\{v\otimes w\;\big |\;v\in G,\,w\in H\}\) generates the Banach \(L^0(\mathbb {X})\)-module obtained by taking the completion of \(({\mathscr {M}}\otimes {\mathscr {N}},|\cdot |_c)\).
Proposition 5.16
Let \(\mathbb {X}\) be a \(\sigma \)-finite measure space. Let \({\mathscr {M}}\) and \({\mathscr {N}}\) be Banach \(L^0(\mathbb {X})\)-modules. Let \(|\cdot |_c\) be a reasonable pointwise crossnorm on \({\mathscr {M}}\otimes {\mathscr {N}}\). Then it holds that
Proof
First, (5.6) and (5.2) yield \(|v\otimes w|_c\ge |v\otimes w|_\varepsilon =|v||w|\). Proposition 4.3 and (5.6) yield
Therefore, the proof of the statement is complete. \(\square \)
We conclude the paper with another important example of reasonable pointwise crossnorm. A Banach \(L^0(\mathbb {X})\)-module \({\mathscr {H}}\) is a Hilbert \(L^0(\mathbb {X})\)-module if \(\langle \cdot ,\cdot \rangle \in \textrm{B}({\mathscr {H}},{\mathscr {H}})\), where we define
The Riesz representation theorem for Hilbert \(L^0(\mathbb {X})\)-modules states that the space \({\mathscr {H}}\) is canonically isomorphic to its dual \({\mathscr {H}}^*\) via the operator
Now let \({\mathscr {H}}\) and \({\mathscr {K}}\) be Hilbert \(L^0(\mathbb {X})\)-modules. Then we define the Hilbert–Schmidt pointwise norm on \({\mathscr {H}}\otimes {\mathscr {K}}\) as
for every \(\alpha =\sum _{i=1}^n v_i\otimes w_i\in {\mathscr {H}}\otimes {\mathscr {K}}\). Following [11, Section 1.5], we define the tensor product of Hilbert modules \({\mathscr {H}}\otimes _{\textrm{HS}}{\mathscr {K}}\) as the completion of the normed \(L^0(\mathbb {X})\)-module \(({\mathscr {H}}\otimes {\mathscr {K}},|\cdot |_{\textrm{HS}})\). It holds that \({\mathscr {H}}\otimes _{\textrm{HS}}{\mathscr {K}}\) is a Hilbert \(L^0(\mathbb {X})\)-module. Also,
Indeed, the identity \(|v\otimes w|_{\textrm{HS}}=|v||w|\) for all \((v,w)\in {\mathscr {H}}\times {\mathscr {K}}\) is a direct consequence of (5.7), thus Definition 5.14 i) holds. Definition 5.14 ii) then follows as well, by the Riesz representation theorem for Hilbert \(L^0(\mathbb {X})\)-modules. In particular, Theorem 5.15 ensures that
Data availability
Not applicable
References
Aliprantis, C., Border, K.: Infinite Dimensional Analysis: A Hitchhiker’s Guide, Studies in Economic Theory. Springer, Berlin (1999)
Benatti, L.: A review of differential calculus on metric measure spaces via \({L}^0\)-normed modules. Master’s thesis, University of Trieste (2018)
Bessaga, C., Pełczyński, A.: Selected Topics in Infinite-Dimensional Topology, Monografie Matematyczne. Polska Akademia Nauk, Instytut Matematyczny, Warszawa (1975)
Bogachev, V.I.: Measure Theory, vol. I, II. Springer, Berlin (2007)
Bourbaki, N.: Livre II algèbre chapitre III (état 4) algèbre multilinéaire (1948). http://archives-bourbaki.ahp-numerique.fr/files/original/97a9fed708bdde4dc55547ab5a8ff943.pdf. Accessed 06 August 2023
Bourbaki, N.: General Topology: Chapters 1–4. Elements of Mathematics. Springer, Berlin (1998)
Conrad, K.: Tensor products (2018). https://kconrad.math.uconn.edu/blurbs/linmultialg/tensorprod.pdf. Accessed 06 August 2023
Di Marino, S., Lučić, D., Pasqualetto, E.: Representation theorems for normed modules (2021). Preprint, arXiv:2109.03509
Fabian, M., Habala, P., Hájek, P., Montesinos, V., Zizler, V.: Banach Space Theory: The Basis for Linear and Nonlinear Analysis. CMS Books in Mathematics. Springer, New York (2010)
Gigli, N.: Lecture notes on differential calculus on \( {R}{C}{D}\) spaces. Publ. Res. Inst. Math. Sci. 54, 855–918 (2018)
Gigli, N.: Nonsmooth differential geometry—an approach tailored for spaces with Ricci curvature bounded from below. Mem. Am. Math. Soc. 251, 161 (2018)
Gigli, N., Pasqualetto, E.: Lectures on Nonsmooth Differential Geometry, SISSA Springer Series 2. Springer Cham, New York (2020)
Gigli, N., Lučić, D., Pasqualetto, E.: Duals and pullbacks of normed modules. To appear in: Isr. J. Math. (2022). arXiv:2207.04972
Guo, T.X.: Recent progress in random metric theory and its applications to conditional risk measures. Sci. China Math. 54, 633–660 (2011)
Haydon, R., Levy, M., Raynaud, Y.: Randomly Normed Spaces. Travaux en Cours [Works in Progress], vol. 41. Hermann, Paris (1991)
Lučić, D., Pasqualetto, E.: The Serre–Swan theorem for normed modules. Rend. Circ. Mat. Palermo 2(68), 385–404 (2019)
Lučić, D., Pasqualetto, E.: An axiomatic theory of normed modules via Riesz spaces (2023). Preprint, arXiv:2306.12238
Pabst, S.L.: On \(\aleph _1\)-free modules with trivial dual. Commun. Algebra 28, 5053–5065 (2000)
Pasqualetto, E.: Limits and colimits in the category of Banach \({L}^0\)-modules (2022). Preprint, arXiv:2211.13197
Rudin, W.: Real and Complex Analysis. Mathematics Series, McGraw-Hill, New York (1987)
Ryan, R.A.: Introduction to Tensor Products of Banach Spaces. Springer Monographs in Mathematics. Springer, London (2002)
Acknowledgements
I thank the reviewers for their comments and suggestions, which led to an improvement of the presentation.
Funding
Open Access funding provided by University of Jyväskylä (JYU).
Author information
Authors and Affiliations
Corresponding author
Ethics declarations
Conflict of interest
The author declares that he has no conflict of interest.
Additional information
Communicated by Zinaida Lykova.
Rights and permissions
Open Access This article is licensed under a Creative Commons Attribution 4.0 International License, which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons licence, and indicate if changes were made. The images or other third party material in this article are included in the article's Creative Commons licence, unless indicated otherwise in a credit line to the material. If material is not included in the article's Creative Commons licence and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder. To view a copy of this licence, visit http://creativecommons.org/licenses/by/4.0/.
About this article
Cite this article
Pasqualetto, E. Projective and injective tensor products of Banach \(L^0\)-modules. Ann. Funct. Anal. 15, 11 (2024). https://doi.org/10.1007/s43034-023-00312-x
Received:
Accepted:
Published:
DOI: https://doi.org/10.1007/s43034-023-00312-x