Submeasures and locally solid topologies on Riesz spaces (Q1081070): Difference between revisions

The main tool in this paper is a general representation theorem, presented in Section 2, which gives necessary and sufficient conditions in order that an Archimedean Riesz space L admits a suitable space \(L^ 0\) of measurable functions as its universal completion \(L^ u\). As no assumptions concerning the existence of order-continuous functionals on L are imposed, direct sums of (finite normal) submeasure spaces appear. Our main objective is to study, by applying the representation result, minimal Hausdorff locally solid topologies on Riesz spaces. This is done in the second part of the paper, improving upon earlier results by Fremlin, Aliprantis and Burkinshaw. In particular, it is shown that a Riesz space L admits a minimal Hausdorff locally solid topology \(\lambda\) if and only if L admits the \(L^ 0\) obtained in the representation theorem as its universal completion and (modulo the embedding) \(\lambda\) is the restriction of the canonical topology of ''convergence in submeasure'' on this \(L^ 0\).