Strong Fubini properties of ideals

Recław, Ireneusz ; Zakrzewski, Piotr

Fundamenta Mathematicae, Tome 159 (1999), p. 135-152 / Harvested from The Polish Digital Mathematics Library

Résumé

 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.

Détail

Publié le : 1999-01-01

Zbl 0926.03058

EUDML-ID : urn:eudml:doc:212325

Bibliographie

[00000] [1] T. Bartoszyński and H. Judah, Set Theory. On the Structure of the Real Line, A K Peters, 1995. | Zbl 0834.04001

[00001] [2] R. H. Bing, W. W. Bledsoe and R. D. Mauldin, Sets generated by rectangles, Pacific J. Math. 51 (1974), 27-36. | Zbl 0261.04001

[00002] [3] J. Brzuchowski, J. Cichoń and B. Węglorz, Some applications of strong Lusin sets, Compositio Math. 43 (1981), 217-224. | Zbl 0463.28001

[00003] [4] T. Carlson, Extending Lebesgue measure by infinitely many sets, Pacific J. Math. 115 (1984), 33-45. | Zbl 0582.28004

[00004] [5] K. Eda, M. Kada and Y. Yuasa, The tightness about sequential fans and combinatorial properties, J. Math. Soc. Japan 49 (1997), 181-187. | Zbl 0898.03019

[00005] [6] C. Freiling, Axioms of symmetry: throwing the darts at the real line, J. Symbolic Logic 51 (1986), 190-220. | Zbl 0619.03035

[00006] [7] D. H. Fremlin, Measure-additive coverings and measurable selectors, Dissertationes Math. 260 (1987). | Zbl 0703.28003

[00007] [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.

[00008] [9] H. Friedman, A consistent Fubini-Tonelli theorem for nonmeasurable functions, Illinois J. Math. 24 (1980), 390-395. | Zbl 0467.28003

[00009] [10] P. R. Halmos, Measure Theory, Van Nostrand, 1950.

[00010] [11] M. Kada and Y. Yuasa, Cardinal invariants about shrinkability of unbounded sets, Topology Appl. 74 (1996), 215-223.

[00011] [12] A. Kamburelis, A new proof of the Gitik-Shelah theorem, Israel J. Math. 72 (1990), 373-380. | Zbl 0738.03019

[00012] [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. | Zbl 0381.03038

[00013] [14] A. S. Kechris, Classical Descriptive Set Theory, Grad. Texts in Math. 156, Springer, 1995.

[00014] [15] A. W. Miller, Mapping a set of reals onto the reals, J. Symbolic Logic 48 (1983), 575-584. | Zbl 0527.03031

[00015] [16] I. Recław and P. Zakrzewski, Fubini properties of ideals, submitted for publication.

[00016] [17] I. Recław and P. Zakrzewski, Strong Fubini properties of ideals, preprint P 97-10, Institute of Math., Warsaw University. | Zbl 0926.03058

[00017] [18] J. Shipman, Cardinal conditions for strong Fubini theorems, Trans. Amer. Math. Soc. 321 (1990), 465-481. | Zbl 0715.03022

[00018] [19] P. Zakrzewski, Strong Fubini axioms from measure extension axioms, Comment. Math. Univ. Carolin. 33 (1992), 291-297. | Zbl 0765.03026

[00019] [20] P. Zakrzewski, Extending Baire Property by countably many sets, submitted for publication.

[00020] [21] P. Zakrzewski, Fubini properties of ideals and forcing, to appear. | Zbl 1016.03050