Lebesgue topologies on vector-valued function spaces (Q2704572)

Let \((\Omega,\Sigma,\mu)\) be a complete \(\sigma\)-finite measure space and let \((X,\|\|)\) be a Banach space. The linear space of equivalence classes of all strongly \(\Sigma\)-measurable functions \(f:\Omega\to X\) is denoted by \(L^0(X)\). Let \(E(X):= \{f\in L^-(X):\|f()\in E\}\), where \(E\) is an ideal of \(L^0:= L^0(\mathbb{R})\) with \(\text{supp }E= \Omega\).NEWLINENEWLINENEWLINEIf \(E\) is perfect and \(X\) is reflexive, then the Mackey topology \(\tau(E(X), E(X)^\sim_n)\), where \(E(X)^\sim_n\) is the order continuous dual of \(E(X)\), coincides with the finest Hausdorff locally convex Lebesgue topology on \(E(X)\). It is the main result of the paper.