Haar-I sets: looking at small sets in Polish groups through compact glasses

From MaRDI portal
Publication:5029006




Abstract: Generalizing Christensen's notion of a Haar-null set and Darji's notion of a Haar-meager set, we introduce and study the notion of a Haar-mathcalI set in a Polish group. Here mathcalI is an ideal of subsets of some compact metrizable space K. A Borel subset BsubsetX of a Polish group X is called Haar-mathcalI if there exists a continuous map f:KoX such that f1(B+x)inmathcalI for all xinX. Moreover, B is generically Haar-mathcalI if the set of witness functions finC(K,X):forallxinX;;f1(B+x)inmathcalI is comeager in the function space C(K,X). We study (generically) Haar-mathcalI sets in Polish groups for many concrete and abstract ideals mathcalI, and construct the corresponding distinguishing examples. We prove some results on Borel hull of Haar-mathcalI sets, generalizing results of Solecki, Elekes, Vidny'anszky, Dolev{z}al, Vlasv{a}k on Borel hulls of Haar-null and Haar-meager sets. Also we establish various Steinhaus properties of the families of (generically) Haar-mathcalI sets in Polish groups for various ideals mathcalI.



Cites work







This page was built for publication: Haar-\(\mathcal{I}\) sets: looking at small sets in Polish groups through compact glasses

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5029006)