Tensor product of lattice-normed spaces (Q1116423)

Let (X,p,E), (Y,q,F) be lattice-normed spaces, where norming K-spaces E and F are reflexive. The author constructs a tensor product of this spaces - some bo-complete lattice-normed space (X\(\otimes Y,\tau,E,{\bar \otimes}F)\) with bilinear majorized operator \(\otimes: X\times Y\to X{\hat \otimes}Y\). The operator \(\otimes\) induces an injective embedding of \(X\otimes Y\) into X\({\hat \otimes}Y\) and \(\tau\) : \(X\otimes Y\to E{\bar \otimes}F\), \(\tau (u)=\inf \{\sum p(x_ 1){\bar \otimes}q(y_ 1)\}\), (u\(\in X\otimes Y)\) is a crossnorm on \(X\otimes Y\).