Haar-smallest sets

Abstract

In this paper we are interested in the following notions of smallness: a subset $A$ of an abelian Polish group $X$ is called Haar-countable/Haar-finite/Haar-$n$ if there are a Borel hull $B\supseteq A$ and a copy $C$ of $2^\omega$ such that $(C+x)\cap B$ is countable/finite/of cardinality at most $n$, for all $x\in X$. Recently, Banakh et al. have unified the notions of Haar-null and Haar-meager sets by introducing Haar-$\mathcal{I}$ sets, where $\mathcal{I}$ is a collection of subsets of $2^\omega$. It turns out that if $\mathcal{I}$ is the $\sigma$-ideal of countable sets, the ideal of finite sets or the collection of sets of cardinality at most $n$, then we get the above notions. Moreover, those notions have been studied independently by Zakrzewski (under a different name -- perfectly $\kappa$-small sets). We study basic properties of the corresponding families of small sets, give suitable examples distinguishing them (in all abelian Polish groups of the form $\mathbb{R}\times X$) and study $\sigma$-ideals generated by compact members of the considered families. In particular, we show that Haar-countable sets do not form an ideal. Moreover, we answer some questions concerning null-finite sets, asked by Banakh and Jab{\l}o\'nska, and pose several open problems.