Is an arbitrary diffused Borel probability measure in a Polish space without isolated points Haar measure?
英文摘要：
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 $k$-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 $μ$ defined in a Polish space $(G,ρ,\mathcal{B}_ρ(G))$ without isolated points there exist a metric $ρ_1$ and a group operation $\odot$ in $G$ such that $\mathcal{B}_ρ(G)=\mathcal{B}_{ρ_1}(G)$ and $(G,ρ_1, \mathcal{B}_{ρ_1}(G), \odot)$ stands a compact Polish group with a two-sided (left or right) invariant Haar measure $μ$, where $\mathcal{B}_ρ(G)$ and $\mathcal{B}_{ρ_1}(G)$ denote Borel $σ$ algebras of subsets of $G$ generated by metrics $ρ$ and $ρ_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.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
