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

From MaRDI portal
Set OpenAlex properties.
ReferenceBot (talk | contribs)
Changed an Item
 
Property / cites work
 
Property / cites work: An Axiom for Nonseparable Borel Theory / rank
 
Normal rank
Property / cites work
 
Property / cites work: Analytic and Luzin spaces (non-separable case) / rank
 
Normal rank
Property / cites work
 
Property / cites work: Applications of Luzinian separation principles (non-separable case) / rank
 
Normal rank
Property / cites work
 
Property / cites work: Borel Measurable Mappings for Nonseparable Metric Spaces / rank
 
Normal rank
Property / cites work
 
Property / cites work: On the non-separable theory of k-borel and k-souslin sets / rank
 
Normal rank
Property / cites work
 
Property / cites work: On the Representation of Nonseparable Analytic Sets / rank
 
Normal rank
Property / cites work
 
Property / cites work: On Characterizing Non-Separable Analytic and Extended Borel Sets as Types of Continuous Images / rank
 
Normal rank
Property / cites work
 
Property / cites work: Piece‐wise closed functions and almost discretely σ‐decomposable families / rank
 
Normal rank
Property / cites work
 
Property / cites work: Borel sets with countable sections for nonseparable spaces / rank
 
Normal rank
Property / cites work
 
Property / cites work: Borel sets with σ-compact sections for nonseparable spaces / rank
 
Normal rank
Property / cites work
 
Property / cites work: Descriptive properties of mappings between nonseparable Luzin spaces / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4523062 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4076235 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4323294 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Bimeasurable functions / rank
 
Normal rank
Property / cites work
 
Property / cites work: Boréliens à coupes $K_\sigma$ / rank
 
Normal rank

Latest revision as of 22:22, 28 June 2024

scientific article
Language Label Description Also known as
English
Decompositions of Borel bimeasurable mappings between complete metric spaces
scientific article

    Statements

    Decompositions of Borel bimeasurable mappings between complete metric spaces (English)
    0 references
    7 January 2009
    0 references
    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.
    0 references
    extended Borel sets
    0 references
    bimeasurable mappings
    0 references
    measurable selections
    0 references
    complete metric spaces
    0 references
    0 references

    Identifiers