On some $\sigma $-ideal without ccc
Tom 158 / 2019
Streszczenie
We prove that the $\sigma $-ideal $\sigma (a)$ generated by sets satisfying condition $(a)$ of M. Grande has property $(M)$, that is, there is a Borel function $f:\mathbb {R}\to 2^\mathbb {N}$ with $f^{-1}[\{x\}]\notin \sigma (a)$ for each $x\in 2^\mathbb {N}$, and consequently fails the ccc property. It is also shown that $\sigma (a)$ is generated by the family $\{E \setminus \varPhi (E) \colon E=\operatorname {cl}(E)\}$ where $\varPhi (E)$ is the set of density points of $E$. Finally, we show that for any $A \in \sigma (a)$ and $U$ open in the density topology, $A \cap U$ is meager in $U$.