Strong Fubini properties of ideals

Ireneusz Recław; Piotr Zakrzewski

Fundamenta Mathematicae (1999)

  • Volume: 159, Issue: 2, page 135-152
  • ISSN: 0016-2736

Abstract

top
 Let I and J be σ-ideals on Polish spaces X and Y, respectively. We say that the pair ⟨I,J⟩ has the Strong Fubini Property (SFP) if for every set D ⊆ X× Y with measurable sections, if all its sections are in J, then the sections are in I for every y outside a set from J (“measurable" means being a member of the σ-algebra of Borel sets modulo sets from the respective σ-ideal). We study the question of which pairs of σ-ideals have the Strong Fubini Property. Since CH excludes this phenomenon completely, sufficient conditions for SFP are always independent of ZFC.  We show, in particular, that:  • if there exists a Lusin set of cardinality the continuum and every set of reals of cardinality the continuum contains a one-to-one Borel image of a non-meager set, then ⟨MGR(X), J⟩ has SFP for every J generated by a hereditary (in the Effros Borel structure) family of closed subsets of Y (MGR(X) is the σ-ideal of all meager subsets of X),  • if there exists a Sierpiński set of cardinality the continuum and every set of reals of cardinality the continuum contains a one-to-one Borel image of a set of positive outer Lebesgue measure, then has SFP if either or J is generated by any of the following families of closed subsets of Y ( is the σ-ideal of all subsets of X having outer measure zero with respect to a Borel σ-finite continuous measure μ on X):  (i) all compact sets,  (ii) all closed sets in for a Borel σ-finite continuous measure ν on Y,  (iii) all closed subsets of a set A ⊆ Y.

How to cite

top

Recław, Ireneusz, and Zakrzewski, Piotr. "Strong Fubini properties of ideals." Fundamenta Mathematicae 159.2 (1999): 135-152. <http://eudml.org/doc/212325>.

@article{Recław1999,
abstract = { Let I and J be σ-ideals on Polish spaces X and Y, respectively. We say that the pair ⟨I,J⟩ has the Strong Fubini Property (SFP) if for every set D ⊆ X× Y with measurable sections, if all its sections $D_x = \{y: ⟨x,y⟩ ∈ D\}$ are in J, then the sections $D^y = \{x: ⟨x,y⟩ ∈ D\}$ are in I for every y outside a set from J (“measurable" means being a member of the σ-algebra of Borel sets modulo sets from the respective σ-ideal). We study the question of which pairs of σ-ideals have the Strong Fubini Property. Since CH excludes this phenomenon completely, sufficient conditions for SFP are always independent of ZFC.  We show, in particular, that:  • if there exists a Lusin set of cardinality the continuum and every set of reals of cardinality the continuum contains a one-to-one Borel image of a non-meager set, then ⟨MGR(X), J⟩ has SFP for every J generated by a hereditary $п^1_1$ (in the Effros Borel structure) family of closed subsets of Y (MGR(X) is the σ-ideal of all meager subsets of X),  • if there exists a Sierpiński set of cardinality the continuum and every set of reals of cardinality the continuum contains a one-to-one Borel image of a set of positive outer Lebesgue measure, then $⟨NULL_μ, J⟩$ has SFP if either $J= NULL_ν$ or J is generated by any of the following families of closed subsets of Y ($NULL_μ$ is the σ-ideal of all subsets of X having outer measure zero with respect to a Borel σ-finite continuous measure μ on X):  (i) all compact sets,  (ii) all closed sets in $NULL_ν$ for a Borel σ-finite continuous measure ν on Y,  (iii) all closed subsets of a $п^1_1$ set A ⊆ Y.},
author = {Recław, Ireneusz, Zakrzewski, Piotr},
journal = {Fundamenta Mathematicae},
keywords = {Polish space; Strong Fubini Property; σ-ideal; cardinal coefficients; measurability; -ideals; strong Fubini property; meager sets; null sets; Polish spaces; Borel sets; Lusin set; Sierpiński set},
language = {eng},
number = {2},
pages = {135-152},
title = {Strong Fubini properties of ideals},
url = {http://eudml.org/doc/212325},
volume = {159},
year = {1999},
}

TY - JOUR
AU - Recław, Ireneusz
AU - Zakrzewski, Piotr
TI - Strong Fubini properties of ideals
JO - Fundamenta Mathematicae
PY - 1999
VL - 159
IS - 2
SP - 135
EP - 152
AB -  Let I and J be σ-ideals on Polish spaces X and Y, respectively. We say that the pair ⟨I,J⟩ has the Strong Fubini Property (SFP) if for every set D ⊆ X× Y with measurable sections, if all its sections $D_x = {y: ⟨x,y⟩ ∈ D}$ are in J, then the sections $D^y = {x: ⟨x,y⟩ ∈ D}$ are in I for every y outside a set from J (“measurable" means being a member of the σ-algebra of Borel sets modulo sets from the respective σ-ideal). We study the question of which pairs of σ-ideals have the Strong Fubini Property. Since CH excludes this phenomenon completely, sufficient conditions for SFP are always independent of ZFC.  We show, in particular, that:  • if there exists a Lusin set of cardinality the continuum and every set of reals of cardinality the continuum contains a one-to-one Borel image of a non-meager set, then ⟨MGR(X), J⟩ has SFP for every J generated by a hereditary $п^1_1$ (in the Effros Borel structure) family of closed subsets of Y (MGR(X) is the σ-ideal of all meager subsets of X),  • if there exists a Sierpiński set of cardinality the continuum and every set of reals of cardinality the continuum contains a one-to-one Borel image of a set of positive outer Lebesgue measure, then $⟨NULL_μ, J⟩$ has SFP if either $J= NULL_ν$ or J is generated by any of the following families of closed subsets of Y ($NULL_μ$ is the σ-ideal of all subsets of X having outer measure zero with respect to a Borel σ-finite continuous measure μ on X):  (i) all compact sets,  (ii) all closed sets in $NULL_ν$ for a Borel σ-finite continuous measure ν on Y,  (iii) all closed subsets of a $п^1_1$ set A ⊆ Y.
LA - eng
KW - Polish space; Strong Fubini Property; σ-ideal; cardinal coefficients; measurability; -ideals; strong Fubini property; meager sets; null sets; Polish spaces; Borel sets; Lusin set; Sierpiński set
UR - http://eudml.org/doc/212325
ER -

References

top
  1. [1] T. Bartoszyński and H. Judah, Set Theory. On the Structure of the Real Line, A K Peters, 1995. Zbl0834.04001
  2. [2] R. H. Bing, W. W. Bledsoe and R. D. Mauldin, Sets generated by rectangles, Pacific J. Math. 51 (1974), 27-36. Zbl0261.04001
  3. [3] J. Brzuchowski, J. Cichoń and B. Węglorz, Some applications of strong Lusin sets, Compositio Math. 43 (1981), 217-224. Zbl0463.28001
  4. [4] T. Carlson, Extending Lebesgue measure by infinitely many sets, Pacific J. Math. 115 (1984), 33-45. Zbl0582.28004
  5. [5] K. Eda, M. Kada and Y. Yuasa, The tightness about sequential fans and combinatorial properties, J. Math. Soc. Japan 49 (1997), 181-187. Zbl0898.03019
  6. [6] C. Freiling, Axioms of symmetry: throwing the darts at the real line, J. Symbolic Logic 51 (1986), 190-220. Zbl0619.03035
  7. [7] D. H. Fremlin, Measure-additive coverings and measurable selectors, Dissertationes Math. 260 (1987). Zbl0703.28003
  8. [8] D. H. Fremlin, Real-valued-measurable cardinals, in: Set Theory of the Reals, H. Judah (ed.), Israel Math. Conf. Proc. 6 (1993), 151-304. 
  9. [9] H. Friedman, A consistent Fubini-Tonelli theorem for nonmeasurable functions, Illinois J. Math. 24 (1980), 390-395. Zbl0467.28003
  10. [10] P. R. Halmos, Measure Theory, Van Nostrand, 1950. 
  11. [11] M. Kada and Y. Yuasa, Cardinal invariants about shrinkability of unbounded sets, Topology Appl. 74 (1996), 215-223. 
  12. [12] A. Kamburelis, A new proof of the Gitik-Shelah theorem, Israel J. Math. 72 (1990), 373-380. Zbl0738.03019
  13. [13] A. Kanamori and M. Magidor, The evolution of large cardinal axioms in set theory, in: Higher Set Theory, Lecture Notes in Math. 669, Springer, 1978, 99-275. Zbl0381.03038
  14. [14] A. S. Kechris, Classical Descriptive Set Theory, Grad. Texts in Math. 156, Springer, 1995. 
  15. [15] A. W. Miller, Mapping a set of reals onto the reals, J. Symbolic Logic 48 (1983), 575-584. Zbl0527.03031
  16. [16] I. Recław and P. Zakrzewski, Fubini properties of ideals, submitted for publication. 
  17. [17] I. Recław and P. Zakrzewski, Strong Fubini properties of ideals, preprint P 97-10, Institute of Math., Warsaw University. Zbl0926.03058
  18. [18] J. Shipman, Cardinal conditions for strong Fubini theorems, Trans. Amer. Math. Soc. 321 (1990), 465-481. Zbl0715.03022
  19. [19] P. Zakrzewski, Strong Fubini axioms from measure extension axioms, Comment. Math. Univ. Carolin. 33 (1992), 291-297. Zbl0765.03026
  20. [20] P. Zakrzewski, Extending Baire Property by countably many sets, submitted for publication. 
  21. [21] P. Zakrzewski, Fubini properties of ideals and forcing, to appear. Zbl1016.03050

NotesEmbed ?

top

You must be logged in to post comments.