Bounded variation and tensor products of Banach lattices (Q1412290)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Bounded variation and tensor products of Banach lattices
scientific article

    Statements

    Bounded variation and tensor products of Banach lattices (English)
    0 references
    0 references
    10 November 2003
    0 references
    The main result of this paper shows that for each bilinear map \(T\) from the product of normed Riesz spaces \(E\) and \(F\) into a Banach lattice \(G\) which is of bounded variation, i.e., \[ \begin{aligned} \text{Var\,}T:=&\sup\Biggl\{ \biggl\| \sum_{n,m}| T(x_n,y_m)| \biggl\|\;:\;x_1,\ldots x_N\in E^+,\;\Bigl\| \sum x_n \Bigr\| \leq 1,\\ &y_1,\ldots y_M\in F^+, \;\Bigl\| \sum y_m\Bigr\| \leq 1\Biggr\}<\infty, \end{aligned} \] there is a unique continuous linear map \(T^\otimes\) from \(E\overline{\otimes} F\), the tensor product of \(E\) and \(F\) in the sense of \textit{D. H. Fremlin} [Am. J. Math. 94, 778--798 (1972; Zbl 0272.46050)], into \(G\) such that \(T(x,y)=T^\otimes(x\otimes y)\) for all \(x\in E\), \(y\in F\). Moreover, \(T^\otimes\geq 0\) if and only if \(T\) is positive and the norm variation of \(T^\otimes\), that is \(\text{Var} (T^\otimes): \sup\{\| \sum_{n,m}| T^\otimes (x_n)|\,\| :x_1,\ldots x_N\in E^+\), \(\| \sum x_n\| \leq 1\}\) is equal to \(\text{Var\,}T\). An example of a bilinear map on \({\mathbb R}^2\times {\mathbb R}^2\) shows that the operator norm of \(T\) may be different from that of \(T^\otimes\). In the case where \(G\) is only a Banach space, it is shown that for every bilinear map on \(E\times F\) which is of finite semivariation, i.e., \[ \begin{aligned} ||| T||| := &\sup \Biggl\{ \biggl\| \sum_{n,m} \varepsilon_{nm} T(x_n,y_m)\biggr\| :x_1,\ldots x_N\in E^+,\Bigl\| \sum x_n\Bigr\| \leq 1,\\ & y_1,\ldots y_M\in F^+, \Bigl\| \sum y_m\Bigr\| \leq 1,\;\varepsilon_{n,m}= \pm 1\Biggr\}<\infty, \end{aligned} \] there is a unique continuous \(T^\otimes\) from \(E\overline{\otimes} F\) into \(G\) such that \(T(x,y)=T^\otimes(x\otimes y)\) with the operator norm of \(T^\otimes\) equal to \(||| T||| \). Results are also obtained for bilinear maps on Archimedean Riesz spaces with values in a Dedekind complete Archmedean Riesz space.
    0 references
    tensor product
    0 references
    Banach lattice
    0 references

    Identifiers

    0 references
    0 references
    0 references
    0 references
    0 references