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 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 ⟨ N U L L μ , J ⟩ has SFP if either J = N U L L ν or J is generated by any of the following families of closed subsets of Y ( N U L L μ 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 N U L L ν for a Borel σ-finite continuous measure ν on Y,  (iii) all closed subsets of a п 1 1 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.

To embed these notes on your page include the following JavaScript code on your page where you want the notes to appear.

Only the controls for the widget will be shown in your chosen language. Notes will be shown in their authored language.

Tells the widget how many notes to show per page. You can cycle through additional notes using the next and previous controls.

    
                

                
Note: Best practice suggests putting the JavaScript code just before the closing </body> tag.