Reflexivity of function spaces associated to a \(\sigma\)-finite vector measure (Q5962953): Difference between revisions

This paper is devoted to analyse reflexivity of the spaces of \(p\)-integrable functions with respect to a vector measure in the case that the vector measure acts in a \(\delta\)-ring. For a real number \(1 < p < \infty\), three spaces are considered: the space \(L^p(\nu)\) of \(p\)-integrable functions with respect to \(\nu\), the space \(L^p_w(\nu)\) of weakly \(p\)-integrable functions with respect to \(\nu\) and the space \(L^p(\nu)\) of \(p\)-integrable functions with respect to the semivariation \(\|\nu\|\) of \(\nu\). In the last case, the integral must be understood in the Choquet sense. Far from being an abstract extension of Lebesgue and Choquet spaces of integrable functions for specialists, the spaces \(L^p(\|\nu\|)\) have shown -- together with the associated Lorentz spaces \(L^{p,q}(\|\nu\|)\) -- to be a fundamental tool for representing real interpolation spaces of Banach function spaces. The reader can find information about this new interpolation setting in some recent papers by the same authors and the references therein. The corresponding results for the \(\sigma\)-algebra case and for \(L^p(\nu)\) and \(L^p_w(\nu)\) have been known since these spaces started to be studied in a systematic way at the beginning of the twenty-first century. As the authors show, the results for the \(\delta\)-ring case are similar: reflexivity of \(L^p(\nu)\) is equivalent to its coincidence with \(L^p_w(\nu)\), and with the space having the (sequential) Fatou property, or being a \(KB\)-space. However, the case \(L^p(\|\nu\|)\) is special, and provides some results that in a sense were not expected. The paper presents a clever analysis of the reflexivity of these spaces, and shows that for this to hold some subtle requirements on the underlying vector measure \(\nu\) are needed. After analysing the (sequential) Fatou property and the order continuity of \(L^p(\|\nu\|)\) in Section 3, the authors prove the following characterization in Section 4. {Theorem 4.3.} Let \(\nu\) be a vector measure on a \(\delta\)-ring. The following conditions are equivalent. {\parindent=0.6cm\begin{itemize}\item[(a)] \(\nu\) is locally strongly additive. \item[(b)] \(L^p(\|\nu\|)\) is a KB-space for every (some) \(1 < p < \infty\). \item[(c)] \(L^p(\|\nu\|)\) is reflexive for every (some) \(1 < p < \infty\).\item[(d)] The inclusion \(L^1_w(\nu) \cap L^\infty(\|\nu\|) \subseteq L^1_w(\nu) + L^\infty(\nu)\) is weakly compact. \end{itemize}}