On the finest Lebesgue topology on the space of essentially bounded measurable functions (Q910666)

Let a measure space (\(\Omega\),\(\Sigma\),\(\mu)\) with a \(\sigma\)-finite measure \(\mu\) be given, and let \(L^ 0\) and \(L^{\infty}\) be the spaces of all real-valued measurable functions and all real-valued, essentially bounded measurable functions with topologies \({\mathcal T}_ 0\) and \({\mathcal T}_{\infty}\), respectively. There is investigated the space \(L^{\infty}\) with mixed topology \(\gamma =\gamma ({\mathcal T}_{\infty},{\mathcal T}_ 0|_{L^{\infty}})\) in the sense of A. Wiweger. It is shown that \(\gamma\) is the finest Hausdorff Lebesgue topology on \(L^{\infty}\), and it is the Mackey topology in \(L^{\infty}\). The space \((L^{\infty},\gamma)\) is complete and sequentially barrelled and the mixed topology is not metrizable. \((L^{\infty},\gamma)\) is separable if and only if so is \(\mu\). \(\gamma\)-convergence and \(\gamma\)-continuous linear functionals over \(L^{\infty}\) are characterized.