English

Is an arbitrary diffused Borel probability measure in a Polish space without isolated points Haar measure?

Functional Analysis 2016-08-17 v1 General Topology

Abstract

It is introduced a certain approach for equipment of an arbitrary set of the cardinality of the continuum by structures of Polish groups and two-sided (left or right) invariant Haar measures. By using this approach we answer positively Maleki's certain question(2012) {\it what are the real kk-dimensional manifolds with at least two different Lie group structures that have the same Haar measure.} It is demonstrated that for each diffused Borel probability measure μ\mu defined in a Polish space (G,ρ,Bρ(G))(G,\rho,\mathcal{B}_{\rho}(G)) without isolated points there exist a metric ρ1\rho_1 and a group operation \odot in GG such that Bρ(G)=Bρ1(G)\mathcal{B}_{\rho}(G)=\mathcal{B}_{\rho_1}(G) and (G,ρ1,Bρ1(G),)(G,\rho_1, \mathcal{B}_{\rho_1}(G), \odot) stands a compact Polish group with a two-sided (left or right) invariant Haar measure μ\mu, where Bρ(G)\mathcal{B}_{\rho}(G) and Bρ1(G)\mathcal{B}_{\rho_1}(G) denote Borel σ\sigma algebras of subsets of GG generated by metrics ρ\rho and ρ1\rho_1, respectively. Similar result is obtained for construction of locally compact non-compact or non-locally compact Polish groups equipped with two-sided (left or right) invariant quasi-finite Borel measures.

Keywords

Cite

@article{arxiv.1508.01751,
  title  = {Is an arbitrary diffused Borel probability measure in a Polish space without isolated points Haar measure?},
  author = {Gogi Rauli Pantsulaia},
  journal= {arXiv preprint arXiv:1508.01751},
  year   = {2016}
}

Comments

18 pages

R2 v1 2026-06-22T10:28:44.146Z