Remote Access Transactions of the American Mathematical Society
Green Open Access

Transactions of the American Mathematical Society

ISSN 1088-6850(online) ISSN 0002-9947(print)



Cardinal conditions for strong Fubini theorems

Author: Joseph Shipman
Journal: Trans. Amer. Math. Soc. 321 (1990), 465-481
MSC: Primary 03E15; Secondary 03E35, 28A20, 28A35
MathSciNet review: 1025758
Full-text PDF Free Access

Abstract | References | Similar Articles | Additional Information

Abstract: If $ {\kappa _1},{\kappa _2}, \ldots ,{\kappa _n}$ are cardinals with $ {\kappa _1}$ the cardinality of a nonmeasurable set, and for $ i = 2,3, \ldots ,n$ $ {\kappa _i}$ is the cardinality of a set of reals which is not the union of $ {\kappa _{i - 1}}$ measure-0 sets, then for any nonnegative function $ f:{{\mathbf{R}}^n} \to {\mathbf{R}}$ all of the iterated integrals

$\displaystyle {I_\sigma } = \iint \cdots \int {f({x_1},{x_2}, \ldots ,{x_n})d{x_{\sigma (1)}}d{x_{\sigma (2)}} \cdots d{x_{\sigma (n)}},\quad \sigma \in {S_n}} $

, which exist are equal. If all $ n!$ of the integrals exist, then the weaker condition of the case $ n = 2$ implies they are equal. These cardinal conditions are consistent with and independent of ZFC, and follow from the existence of a real-valued measure on the continuum. Other necessary conditions and sufficient conditions for the existence and equality of iterated integrals are also treated.

References [Enhancements On Off] (What's this?)

  • [C] Freiling, [1986] Axioms of symmetry: throwing darts at the real number line, J. Symbolic Logic 51 (1986), 190-200. MR 830085 (87f:03148)
  • [D] Fremlin, [1983] Cichón's diagram, Séminaire Initiation à l'Analyse 23 (1983/84), no. 5.
  • 1. -, [1987] Measure-additive coverings and measurable selectors, Dissertationes Math. 260 (1987). MR 928693 (89e:28012)
  • [H] Friedman, [1980] A consistent Fubini-Tonelli theorem for nonmeasurable functions, Illinois J. Math. 24 (1980), 390-395. MR 573474 (82b:03097)
  • [M] Gitik and S. Shelah, [1988] Forcing with ideals and simple forcing notions, preprint. MR 1035887 (91g:03104)
  • [K] Gàdel, [1964] What is Cantor's Continuum Problem?, Philosophy of Mathematics, edited by P. Benacerraf and H. Putnam, Prentice-Hall, Englewood Cliffs, N.J., 1964. MR 0166055 (29:3333)
  • [S] Gudder, [1984] Probability manifolds, J. Math. Phys. 25 (1984), 2397-2401. MR 751521 (85h:81008)
  • [T] Jech, [1978] Set theory (Academic Press, New York, 1978). MR 506523 (80a:03062)
  • [K] Kunen, [1984] Random and Cohen reals, Chapter 20 of Handbook of Set-Theoretic Topology, edited by K. Kunen and J. E. Vaughan, Elsevier Science Publishers, 1984. MR 776639 (86d:03049)
  • [I] Pitowsky, [1983] Deterministic models of spin and statistics, Phys. Rev. D 27 (1983), 2316-2326. MR 704118 (84i:81006)
  • [A] Shiryayev, [1984] Probability, Springer-Verlag, New York, 1984. MR 737192 (85a:60007)
  • [R] Solovay, [1970] A model of set theory in which every set of reals is Lebesgue measurable, Ann. of Math. 92 (1970), 1-56. MR 0265151 (42:64)
  • 2. -, [1971] Real-valued measurable cardinals, Axiomatic Set Theory, edited by D. Scott, Proc. Sympos. Pure Math., vol. 13, part 1, Amer. Math. Soc., Providence, R.I., 1971, pp. 397-428. MR 0290961 (45:55)
  • [S] Ulam, [1930] Zur Masstheorie in der algemeinen Mengenlehre, Fund. Math. 16 (1930), 140-150.

Similar Articles

Retrieve articles in Transactions of the American Mathematical Society with MSC: 03E15, 03E35, 28A20, 28A35

Retrieve articles in all journals with MSC: 03E15, 03E35, 28A20, 28A35

Additional Information

Keywords: Fubini theorem(s), real-valued measurable cardinals, nonmeasurable sets
Article copyright: © Copyright 1990 American Mathematical Society

American Mathematical Society