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

DOI10.4064/DM812-2-2021MaRDI QIDQ5029006zbMATH OpenOpenAlexFDO

Authors Taras Banakh, Szymon Glab, Eliza Jabłońska, Jarosław Swaczyna

Publication date 11 February 2022

Published in Dissertationes Mathematicae (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/1803.06712

zbMATH Keywords

\(\sigma\)-idealgenerically \text{Haar-\(\mathcal{I}\)} setHaar-meager set, \text{Haar-\(\mathcal{I}\)} setHaar-null setPolish groupSteinhaus property

Mathematics Subject Classification ID

Descriptive set theory (03E15) Analysis on general topological groups (22A10) Set functions and measures on topological groups or semigroups, Haar measures, invariant measures (28C10) Descriptive set theory (topological aspects of Borel, analytic, projective, etc. sets) (54H05) Topological groups (topological aspects) (54H11)

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 $f^{-1}(B+x)inmathcalI$ for all $xinX$. Moreover, $B$ is generically Haar-$mathcalI$ if the set of witness functions $finC(K,X):forallxinX;;f^{-1}(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$.

Recommendations

• Haar-smallest sets
• Haar null and Haar meager sets: a survey and new results
• Haar null and non-dominating sets
• Cardinal characteristics of the ideal of Haar null sets.
• Haar null sets and the consistent reflection of non-meagreness

Cites work

• -convex sets and their applications to the proof of certain classical theorems of functional analysis
• \(G_{\delta }\) ideals of compact sets
• A characterization of reflexive Banach spaces
• A complexity problem for Borel graphs
• A Haar meager set that is not strongly Haar meager
• A note on intersections of non-Haar null sets
• An F _σ semigroup of zero measure which contains a translate of every countable set
• Automatic continuity: subadditivity, convexity, uniformity
• Borel chromatic numbers
• Calibrated thin $\boldsymbol {\Pi }_{\mathbf 1}^{\mathbf 1}$ $\sigma $-ideals are $\boldsymbol G_\delta $
• Cardinal characteristics of the ideal of Haar null sets.
• Cardinal invariants of Haar null and Haar meager sets
• Classifying invariant -ideals with analytic base on good Cantor measure spaces
• Compact-like topological groups
• Convexity and Haar null sets
• Dichotomies of the set of test measures of a Haar-null set
• Dichotomy and infinite combinatorics: the theorems of Steinhaus and Ostrowski
• Haar meager sets revisited
• Haar meager sets, their hulls, and relationship to compact sets
• Haar null and Haar meager sets: a survey and new results
• Haar null and non-dominating sets
• Haar null sets without \(G_{\delta}\) hulls
• Haar-smallest sets
• scientific article; zbMATH DE number 42114 (Why is no real title available?)
• scientific article; zbMATH DE number 46958 (Why is no real title available?)
• scientific article; zbMATH DE number 193576 (Why is no real title available?)
• scientific article; zbMATH DE number 976831 (Why is no real title available?)
• scientific article; zbMATH DE number 1978310 (Why is no real title available?)
• scientific article; zbMATH DE number 787541 (Why is no real title available?)
• scientific article; zbMATH DE number 815279 (Why is no real title available?)
• scientific article; zbMATH DE number 889873 (Why is no real title available?)
• Ideals with bases of unbounded Borel complexity
• Measure theory. Vol. I and II
• Naively Haar null sets in Polish groups
• Normed versus topological groups: dichotomy and duality
• Null-finite sets in topological groups and their applications
• On \(\infty\)-convex sets in spaces of scatteredly continuous functions
• On certain regularity properties of Haar-null sets
• On Haar meager sets
• On sets of Haar measure zero in abelian Polish groups
• On Smital properties
• Remarks on a Theorem of E. J. McShane
• Second Order Differentiability of Convex Functions in Banach Spaces
• Selected Selection Theorems
• Some analogies between Haar meager sets and Haar null sets in abelian Polish groups
• The Convergent Sequences Belonging To a Set
• The Steinhaus property and Haar-null sets
• The Steinhaus-Weil property: its converse, subcontinuity and Solecki amenability
• TRANSLATING FINITE SETS INTO CONVEX SETS

Cited in

(19)

• \(K\)-subadditive and \(K\)-superadditive set-valued functions bounded on ``large sets
• A Haar meager set that is not strongly Haar meager
• Haar-smallest sets
• Size of subsets of groups and Haar null sets
• Null-finite sets in topological groups and their applications
• Bruckner–Garg-Type Results with Respect to Haar Null Sets inC[0, 1]
• Naively Haar null sets in Polish groups
• On Haar meager sets
• Remarks on Analogies Between Haar Meager Sets and Haar Null Sets
• Openly Haar null sets and conjugacy in Polish groups
• Haar null and Haar meager sets: a survey and new results
• Cardinal invariants of Haar null and Haar meager sets
• A characterization of the meager ideal.
• Cardinal characteristics of the ideal of Haar null sets.
• Properties of K-additive set-valued maps
• How large is the space of almost convergent sequences?
• Error recognition in the Cantor cube
• Another approach to \(K\)-subadditivity
• On set-valued derivations modulo K

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)