Skip to main content

All Questions

Filter by
Sorted by
Tagged with
13 votes
0 answers
421 views

A meager subgroup of the real line, which cannot be covered by countably many closed subsets of measure zero?

Is there a ZFC-example of a subgroup $H$ of the real line $\mathbb R$ such $H$ is meager, has zero Lebesgue measure, but cannot be covered by countably many closed subsets of measure zero in $\mathbb ...
Taras Banakh's user avatar
  • 41.9k
7 votes
2 answers
410 views

Characterizations of infinite compact Abelian groups and probability spaces based on the forcing notion they give

Let $G$ be an infinite compact Abelian group with the collection $\mathcal{B}$ of Borel subsets of $G$, and $m$ the (unique) normalized Haar measure on $\mathcal{B}$. This gives a natural forcing ...
Mohammad Golshani's user avatar
6 votes
1 answer
191 views

Steinhaus number of a group

$\newcommand\Sn{\mathit{Sn}}$A subset $A$ of a group $X$ is called algebraic if $A=\{x\in X: a_0xa_1x\dotsm xa_n=1\}$ for some elements $a_0,a_1,\dotsc,a_n\in X$. Let $\mathcal A_X$ be the family of ...
Taras Banakh's user avatar
  • 41.9k
4 votes
1 answer
558 views

Meager set of full measure

Let X be a compact Hausdorff topological group and let m be the Haar measure on X. Can we find a meager set in X whose complement is m-null? I can do it when X is separable but I don't know if there ...
Alex's user avatar
  • 43