A topology on the Fremlin tensor product between locally solid vector lattices with applications
Omid Zabeti
TL;DR
The paper addresses the problem of equipping the Fremlin tensor product $E\overline{\otimes}F$ with a locally solid topology and determining when the canonical bilinear map is uniformly continuous under unbounded convergences. It develops a locally solid topology $τ_{E\overline{\otimes}F}$ from solid zero neighborhoods and proves density of $E\otimes F$, then demonstrates that the Fremlin projective tensor product preserves both $un$-convergence and $uaw$-convergence for Banach lattices, initially under mild assumptions and ultimately in full generality using a key tensor-product inequality. A central contribution is a topological framework that yields preservation results without extra hypotheses and provides a simpler proof of a main result in the literature (Z:25). Overall, the work enhances the understanding of unbounded convergence in tensor products of vector lattices and offers a robust method with potential applications in analysis on Banach lattices and locally solid vector lattices.
Abstract
Let $E$ and $F$ be locally solid vector lattices. We introduce a locally solid topology on the Fremlin tensor product $E\overline{\otimes}F$ and we denote it by $τ_{E\overline{\otimes}F}$. It extends the Fremlin projective tensor product in the setting of Banach lattices. The main purpose of the paper is to determine conditions under which, the canonical bilinear mapping \[E\times F\to (E\overline{\otimes}F,τ_{E\overline{\otimes}F}),\hspace{0.50cm} (x,y)\mapsto x\otimes y,\] is uniformly continuous when $E$ and $F$ are equipped with appropriate unbounded convergences whose associated topologies make the corresponding spaces locally solid vector lattices. By means of an inequality for tensor products in vector lattices and by exploiting the structure of the topology $τ_{E\overline{\otimes}F}$, we show, in particular, that the Fremlin tensor product between Banach lattices preserves several important classes of unbounded convergences.
