Decompositions of Borel bimeasurable mappings between complete metric spaces (Q2378288): Difference between revisions

The \(\sigma \)-field \(\mathcal{E}_{X}\) of extended Borel subsets of a metric space \(X\) is the smallest \(\sigma \)-field of subsets of \(X\) which contains Borel sets and which is closed with respect to the unions of discrete families. A mapping \(f:X\to Y\)\ between metric spaces is extended Borel measurable if \(f^{-1}(B)\) is extended Borel in \(X\) for every Borel subset \(B\) of \(Y\). A extended Borel measurable mapping \(f:X\to Y\)\ between metric spaces is extended Borel bimeasurable if \(f(B)\) is extended Borel for every subset \(B\) of \(X\). A family \(\{D_{\alpha }\}_{\alpha \in A}\) of subsets of a topological space \( X\) is \(\sigma \)-discretely decomposable (\(\sigma \)-\(d\).\(d\). in brief) in \(X\) if there are \(D_{\alpha }(n)\), \(\alpha \in A\), \(n=1,2,\dots\) such that \( D_{\alpha }=\bigcup _{n=1}^{\infty }D_{\alpha }(n)\) for every \(\alpha \in A\) and \(\{D_{\alpha }(n)\}_{\alpha \in A}\) is discrete for each \(n=1,2,\dots\) A family \(\{D_{\alpha }\}_{\alpha \in A}\) of subsets of a topological space \( X\) is almost \(\sigma \)-discretely decomposable (almost \(\sigma \)-\(d\).\(d\). in brief) in \(X\) if there exists a \(\sigma \)-discrete set \(S\) in \(X\) such that the family \(\{D_{\alpha }\backslash \}_{\alpha \in A}\) is \(\sigma \)-\(d\).\(d\). The mains results of this paper are the following decomposition theorems for an extended Borel measurable mapping \(f:E\to Y\), where \(X\) and \(Y\) are complete metric spaces and \(E\in \mathcal{E}_{X}\): 1. (Theorem 2.1) Let \(f:E\to Y\) be and extended Borel bimeasurable mapping. There is a \(\sigma\)-discrete subset \(S\) of \(Y\) and a \(\sigma\)-discrete partition \(\mathcal{D}\) of \(E\backslash f^{-1}(S)\) such that each \( \mathcal{D}\subset \mathcal{E}_{X}\) and each \(f|_{M}\) is an extended Borel isomorphism for every \(M\in \mathcal{D}\). 2. (Theorems 3.1 and 3.2) The mapping \(f\) is extended Borel bimeasurable and preserves almost \(\sigma \)-\(d\).\(d\). families if and only if there are pairwise disjoint extended Borel subsets \(E_{0},E_{1},\dots\) of \(X\) such that \(E=\bigcup _{n=0}^{\infty }E_{n}\), \(f(E_{0})\) is \(\sigma \)-discrete and \(f|_{E_{n}}\) is an extended Borel isomorphism for every \(n=1,2,\dots\) Assuming Fleissner's axiom (\(SC\omega _{2}\)), the mapping \(f\) is extended Borel bimeasurable if and only if there are disjoint extended Borel subsets \( E_{0}, E_{1},\dots\) of \(X\) such that \(E=\bigcup _{n=0}^{\infty }E_{n}\), \( f(E_{0})\) is \(\sigma\)-discrete and \(f|_{E_{n}}\) is an extended Borel isomorphism for every \(n=1,2,\dots\) Axiom \(SC\omega _{2}\) was given in [\textit{W. G. Fleissner}, Trans. Am. Math. Soc. 251, 309--328 (1979; Zbl 0428.03044)]. In the case of separable complete metric spaces \(X\) and \(Y\), the existence of a countable decomposition of Borel bimeasurable mappings follows from the well-known results of \textit{R. Purves} [Fundam. Math. 58, 149--157 (1966; Zbl 0143.07101)], and of N. Luzin and P. S. Novikov [see, e.g., Theorem 18.10 in \textit{A. S. Kechris}, Classical Descriptive Set Theory, Springer-Verlag. New York (1955; Zbl 0819.04002)]. 3. (Theorems 3.3 and 3.4) The mapping \(f\) preserves almost \(\sigma \)-\(d.d\). families and \(f(B)\) is extended Borel for every closed subset \(B\) of \(E\) if and only if there are extended Borel subsets \(E_{0}, E_{1},\dots\) of \(X\) such that \(E=\bigcup _{n=0}^{\infty }E_{n}\), \(f(E_{0})\) is \(\sigma \)-discrete, \(f|_{E_{n}}\) maps closed sets to extended Borel sets, and \( f|_{E_{n}}\) has compact fibers \((f|_{E_{n}})^{-1}(y)\), \(y\in Y\), for every \(n=1,2,\dots\) Assuming \(SC\omega _{2}\), the preceding equivalence holds without almost \(\sigma \)-\(d.d\). condition. The existence of analogical countable decomposition in ZFC remains open; in this case it is given the \(\sigma \)-discrete decomposition considered in 1.