Non-meagre subgroups of reals disjoint with meagre sets (Q1646533): Difference between revisions

Let \(X=(\mathbb{R},+)\) be the additive group of the reals or \(X=(2^\omega,+_2)\) the Cantor space with coordinate-wise addition modulo 2. The main theorem says: For any meagre subset \(F\subseteq X\) there exist \(x\in X\) and a dense subgroup \(H\) of \(X\) without the Baire property such that \((F+x)\cap H=\emptyset.\)