On Some Topological Properties of Normed Boolean Algebras  

作　　者：Vesna Gotovac Đogaš Vesna Gotovac Đogaš(Faculty of Science, University of Split, Split, Croatia)

机构地区：[1]Faculty of Science, University of Split, Split, Croatia

出　　处：《Advances in Pure Mathematics》2024年第5期367-387,共21页理论数学进展（英文）

摘　　要：This paper concerns the compactness and separability properties of the normed Boolean algebras (N.B.A.) with respect to topology generated by a distance equal to the square root of a measure of symmetric difference between two elements. The motivation arises from studying random elements talking values in N.B.A. Those topological properties are important assumptions that enable us to avoid possible difficulties when generalising concepts of random variable convergence, the definition of conditional law and others. For each N.B.A., there exists a finite measure space ( E,ℰ,μ ) such that the N.B.A. is isomorphic to ( ℰ ˜ , μ ˜ ) resulting from the factorisation of initial σ-algebra by the ideal of negligible sets. We focus on topological properties ( ℰ ˜ , μ ˜ ) in general setting when μ can be an infinite measure. In case when μ is infinite, we also consider properties of ℰ ˜ fin ⊆ ℰ ˜ consisting of classes of measurable sets having finite measure. The compactness and separability of the N.B.A. are characterised using the newly defined terms of approximability and uniform approximability of the corresponding measure space. Finally, conditions on ( E,ℰ,μ ) are derived for separability and compactness of ℰ ˜ and ℰ ˜ fin .This paper concerns the compactness and separability properties of the normed Boolean algebras (N.B.A.) with respect to topology generated by a distance equal to the square root of a measure of symmetric difference between two elements. The motivation arises from studying random elements talking values in N.B.A. Those topological properties are important assumptions that enable us to avoid possible difficulties when generalising concepts of random variable convergence, the definition of conditional law and others. For each N.B.A., there exists a finite measure space ( E,ℰ,μ ) such that the N.B.A. is isomorphic to ( ℰ ˜ , μ ˜ ) resulting from the factorisation of initial σ-algebra by the ideal of negligible sets. We focus on topological properties ( ℰ ˜ , μ ˜ ) in general setting when μ can be an infinite measure. In case when μ is infinite, we also consider properties of ℰ ˜ fin ⊆ ℰ ˜ consisting of classes of measurable sets having finite measure. The compactness and separability of the N.B.A. are characterised using the newly defined terms of approximability and uniform approximability of the corresponding measure space. Finally, conditions on ( E,ℰ,μ ) are derived for separability and compactness of ℰ ˜ and ℰ ˜ fin .

关 键 词：COMPACT Locally Compact Polish Space SEPARABLE 

分 类 号：O17[理学—数学]