On countably generated invariant \(\sigma \)-algebras which do not admit measure type functionals (Q1978867)

Let us denote by \(\Gamma \) the group of all isometries of the real line \(\mathbb R\). Under the Continuum Hypothesis two \(\sigma \)-algebras \(S_1\) and \(S_2\) in \(\mathbb R\), both countably generated, \(\Gamma \)-invariant and containing the Borel \(\sigma \)-algebra in \(\mathbb R\), are constructed such that there exist \(\Gamma \)-invariant measures \(\mu _{i}\) on \(S_{i}\), \(i=1,2\), extending the standard Borel measure on \(\mathbb R\); however, there is no nontrivial diffused admissible functional on the \(\sigma \)-algebra generated by \(S_{1}\cup S_{2}\). In particular, no finite measure \(\nu \neq 0\) on the \(\sigma \)-algebra generated by \(S_{1}\cup S_{2}\) can be found such that \(\nu (\{x\})=0\) for every \(x\in \mathbb R\). A closely related result can be found in a paper by \textit{E. Grzegorek} [Colloq. Math. 39, 73-75 (1978; Zbl 0387.03015)], where only the Martin axiom is assumed, however, the invariance with respect to \(\Gamma \) is not required.