No label defined (Q4934567)

Two questions are investigated in the paper: (1) Let a group be equipped only with its algebraic structure, or (2) let a group be equipped with its algebraic structure and a \(\sigma\)-algebra of subsets \(\Sigma\) such that the multiplication and the inverse operations are measurable with respect to \(\Sigma\). Under what circumstances does such a group carry a Polish topology such that in the case (2) the \(\sigma\)-algebra of Borel sets coincides with \(\Sigma\)? The Polish topology in question (2) is unique if it exists. This need not be true for a Polish topology satisfying only (1). The author gives some necessary conditions and some negative answers to the above questions. In the second problem the author is interested mainly in metric Borel groups, i.e., metric separable groups which as sets are homeomorphic with some Borel subsets of Polish spaces. Finally, an application of this investigation to the study of the equivalence relations of mutual absolute continuity between Borel probability measures on a Polish space is presented. For the entire collection see [Zbl 0919.00040].