Fubini's Theorem for Ultraproducts \\of Noncommutative $L_p$-Spaces

http://dx.doi.org/10.4153/CJM-2004-045-1
Canad. J. Math. 56(2004), 983-1021

  Published:2004-10-01
 Printed: Oct 2004

Let $(\M_i)_{i\in I}$, $(\N_j)_{j\in J}$ be families of von Neumann algebras and $\U$, $\U'$ be ultrafilters in $I$, $J$, respectively. Let $1\le p<\infty$ and $\nen$. Let $x_1$,\dots,$x_n$ in $\prod L_p(\M_i)$ and $y_1$,\dots,$y_n$ in $\prod L_p(\N_j)$ be bounded families. We show the following equality $$ \lim_{i,\U} \lim_{j,\U'} \Big\| \summ_{k=1}^n x_k(i)\otimes y_k(j)\Big\|_{L_p(\M_i\otimes \N_j)} = \lim_{j,\U'} \lim_{i,\U} \Big\| \summ_{k=1}^n x_k(i)\otimes y_k(j)\Big\|_{L_p(\M_i\otimes \N_j)} . $$ For $p=1$ this Fubini type result is related to the local reflexivity of duals of $C^*$-algebras. This fails for $p=\infty$.