Structural properties of compact groups with measure-theoretic applications (Q1335148)

The present paper establishes a close connection between compact groups and products of compact metric spaces. Let \(G\) denote a compact topological group. The author proves that there exists a family \((\mu_\lambda)_{\lambda> \alpha}\) of Radon probability measures each supported on a compact metric space \(X_\lambda\) having at least two points and a Baire isomorphism from the product \(\prod_{\lambda< \alpha} X_\lambda\) onto \(G\) whose induced isomorphism of measures takes the product measure \(\otimes(\mu_\lambda)_{\lambda< \alpha}\) to normalized Haar measure on \(G\). Throughout the paper \(\alpha\), the topological weight of \(G\), is assumed uncountable. In the last section of the paper two applications of the theorem are presented.