Reasonable non-Radon-Nikodým ideals (Q1009738): Difference between revisions

Let \(G\) and \(H\) be abelian Polish groups and let \(\mathcal Z\) be an ideal over \(\mathbb N\). For \(s,t\in H^{\mathbb N}\) let \(\Delta_{s,t}=\{n:s(n)\neq t(n)\}\). A map \(f:G\to H^{\mathbb N}\) is a \(\mathcal Z\)-approximate homomorphism if \(\Delta_{f(x)+f(y),f(x+y)}\in\mathcal Z\) for all \(x,y\in G\). \(\mathcal Z\) is said to be a Radon-Nikodym ideal if for any measurable \(\mathcal Z\)-approximate homomorphism \(f:G\to H^{\mathbb N}\) there is a continuous exact homomorphism \(g:G\to H^{\mathbb N}\) which \(\mathcal Z\)-approximates \(f\), i.e., \(\Delta_{f(x),g(x)}\in\mathcal Z\) for all \(x\in G\). Here measurability means either Baire measurability or measurability with respect to a \(\sigma\)-additive Borel measure. This is a generalization of the concept introduced by Ilijas Farah. The authors prove that for any uncountable abelian Polish group \(H\) always exists an analytic non-Radon-Nikodym ideal \(\mathcal Z\) together with a Borel \(\mathcal Z\)-approximate homomorphism \(f:H\to H^{\mathbb N}\) which is not \(\mathcal Z\)-approximable by a continuous exact homomorphism. If \(H\) is \(\sigma\)-compact then the ideal \(\mathcal Z\) is even \(F_\sigma\).