More on measurable algebras and Rademacher systems with applications to analysis of Riesz spaces
We find necessary and sufficient conditions on a family in a Boolean algebra under which there exists a unique positive probability measure on such that for all finite collections of distinct indices and all collections of signs , where the product of a sign by an element is defined by setting and . Such a family we call a complete Rademacher family. We prove that Dedekind -complete Boolean algebras admitting complete Rademacher systems of the same cardinality are isomorphic. As a consequence, we obtain that a Dedekind -complete Boolean algebra is homogeneous measurable if and only if it admits a complete Rademacher family. This new way to define a measure on a Boolean algebra allows us to define classical systems on an arbitrary Riesz space, such as Rademacher and Haar. We define a complete Rademacher system of any cardinality and a countable complete Haar system on an element of a vector lattice in such a way that if is an order unit of then the corresponding systems become complete for the entire . We prove that if is Dedekind complete then any complete Haar system on is an order Schauder basis for the ideal generated by . Finally, we develop a theory of integration in a Riesz space of elements of the band generated by a fixed with respect to the measure on the Boolean algebra of fragments of generated by a complete Rademacher family on . Much space is devoted to examples showing that our way of thinking is sharp (e.g., we show the essentiality of each of the condition in the definition of a Rademacher family).