Reasonable non-Radon-Nikodým ideals (Q1009738): Difference between revisions
From MaRDI portal
Set profile property. |
Set OpenAlex properties. |
||
Property / OpenAlex ID | |||
Property / OpenAlex ID: W2069021179 / rank | |||
Normal rank |
Revision as of 23:13, 19 March 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Reasonable non-Radon-Nikodým ideals |
scientific article |
Statements
Reasonable non-Radon-Nikodým ideals (English)
0 references
3 April 2009
0 references
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\).
0 references
Polish group
0 references
homomorphism
0 references
\(\mathcal Z\)-approximate homomorphism
0 references