Related papers: Haar-smallest sets

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-$\mathcal I$ set in a Polish group. Here $\mathcal I$ is an ideal of subsets of some compact…

In the present article we investigate Darji's notion of Haar meager sets from several directions. We consider alternative definitions and show that some of them are equivalent to the original one, while others fail to produce interesting…

In the paper we would like to pay attention to some analogies between Haar meager sets and Haar null sets. Among others, we will show that $0\in \inn (A-A)$ for each Borel set $A$, which is not Haar meager in an abelian Polish group.…

A subset $X$ of a Polish group $G$ is called \emph{Haar null} if there exists a Borel set $B \supset X$ and Borel probability measure $\mu$ on $G$ such that $\mu(gBh)=0$ for every $g,h \in G$. We prove that there exists a set $X \subset…

We survey results about Haar null subsets of (not necessarily locally compact) Polish groups. The aim of this paper is to collect the fundamental properties of the various possible definitions of Haar null sets, and also to review the…

Let $G$ be an abelian Polish group, e.g. a separable Banach space. A subset $X \subset G$ is called Haar null (in the sense of Christensen) if there exists a Borel set $B \supset X$ and a Borel probability measure $\mu$ on $G$ such that…

A subset $X$ of a Polish group $G$ is \emph{Haar null} if there exists a Borel probability measure $\mu$ and a Borel set $B$ containing $X$ such that $\mu(gBh)=0$ for every $g,h \in G$. A set $X$ is \emph{Haar meager} if there exists a…

Let $G$ be an abelian Polish group. We show that there is a strongly Haar meager set in $G$ without any $F_{\sigma}$ Haar meager hull (and that this still remains true if we replace $F_{\sigma}$ by any other class of the Borel hierarchy).…

Following Darji, we say that a Borel subset $B$ of an abelian Polish group $G$ is Haar meager if there is a compact metric space $K$ and a continuous function $f : K \to G$ such that the preimage of the translate, $f^{-1}(B+g)$ is meager in…

Let $(G,\cdot)$ be a Polish group. We say that a set $X \subset G$ is Haar null if there exists a universally measurable set $U \supset X$ and a Borel probability measure $\mu$ such that for every $g, h \in G$ we have $\mu(gUh)=0$. We call…

We study a strengthening of the notion of a universally meager set and its dual counterpart that strengthens the notion of a universally null set. We say that a subset $A$ of a perfect Polish space $X$ is countably perfectly meager…

In this paper we consider nonmeasurablity with respect to sigma-ideals defined be trees. First classical example of such ideal is Marczewski ideal s_0. We will consider also ideal l_0 defined by Laver trees and m_0 defined by Miller trees.…

We prove that if $X$ is a Polish space and $F$ is a face of $P(X)$ with the Baire property, then $F$ is either a meager or a co-meager subset of $P(X)$. As a consequence we show that for every abelian Polish group $X$ and every analytic…

Haar null sets were introduced by J.P.R. Christensen in 1972 to extend the notion of sets with zero Haar measure to nonlocally compact Polish groups. In 2013, U.B. Darij defined a categorical version of Haar null sets, which he named Haar…

Let $X$ be the countable product of Abelian locally compact Polish groups and $A,B\subset X$ be two Borel sets, which are not Haar-null in $X$. We prove that the sum-set $A+B:=\{a+b:a\in A,\;\;b\in B\}$ is Haar-open in the sense that for…

Let $R$ be a group and let $S$ be a subset of $R$. The Haar graph $\mathrm{Haar}(R,S)$ of $R$ with connection set $S$ is the graph having vertex set $R\times\{-1,1\}$, where two distinct vertices $(x,-1)$ and $(y,1)$ are declared to be…

In the paper we introduce a new family of "small" sets which is tightly connected with two well known $\sigma$-ideals: of Haar-null sets and of Haar-meager sets. We define a subset $A$ of a topological group $X$ to be…

Assume that there is no quasi-measurable cardinal smaller than $2^\omega$. ($\kappa$ is quasi measurable if there exists $\kappa $-additive ideal $\ci $ of subsets of $\kappa $ such that the Boolean algebra $P(\kappa)/\ci$ satisfies c.c.c.)…

A subset of a Polish space $X$ is called universally small if it belongs to each ccc $\sigma$-ideal with Borel base on $X$. Under CH in each uncountable Abelian Polish group $G$ we construct a universally small subset $A_0\subset G$ such…

We study pairs of subsets $A, B$ of a compact abelian group $G$ where the sumset $A+B:=\{a+b: a\in A, b\in B\}$ is small. Let $m$ and $m_{*}$ be Haar measure and inner Haar measure on $G$, respectively. Given $\varepsilon>0$, we classify…