Skip to main content
MathOverflow

Return to Question

edited tags
Link
YCor
YCor
  • 63.9k
  • 5
  • 187
  • 286
added 4 characters in body
Source Link
Michael Hardy
Michael Hardy
  • 1
  • 12
  • 85
  • 126

In Real and Complex Analysis, Rudin gives an example (due to Sierpinski) of a function $f:[0,1]^2\to[0,1]$ separately Lebesgue-measurable in each argument, such that $$ \int_0^1 dx\int_0^1f(x,y)dy \neq \int_0^1 dy\int_0^1f(x,y)dx $$$$ \int_0^1 dx\int_0^1f(x,y)\,dy \neq \int_0^1 dy\int_0^1f(x,y)\,dx $$ (all integrals are w.r.t. the Lebesgue measure on $[0,1]$). The construction of $f$ requires the Continuum Hypothesis, and my question is: What happens if we negate CH? Does it then follow that all functions $f:[0,1]^2\to[0,1]$ separately Lebesgue-measurable in each argument satisfy the conclusion of Fubini's theorem?

In Real and Complex Analysis, Rudin gives an example (due to Sierpinski) of a function $f:[0,1]^2\to[0,1]$ separately Lebesgue-measurable in each argument, such that $$ \int_0^1 dx\int_0^1f(x,y)dy \neq \int_0^1 dy\int_0^1f(x,y)dx $$ (all integrals are w.r.t. the Lebesgue measure on $[0,1]$). The construction of $f$ requires the Continuum Hypothesis, and my question is: What happens if we negate CH? Does it then follow that all functions $f:[0,1]^2\to[0,1]$ separately Lebesgue-measurable in each argument satisfy the conclusion of Fubini's theorem?

In Real and Complex Analysis, Rudin gives an example (due to Sierpinski) of a function $f:[0,1]^2\to[0,1]$ separately Lebesgue-measurable in each argument, such that $$ \int_0^1 dx\int_0^1f(x,y)\,dy \neq \int_0^1 dy\int_0^1f(x,y)\,dx $$ (all integrals are w.r.t. the Lebesgue measure on $[0,1]$). The construction of $f$ requires the Continuum Hypothesis, and my question is: What happens if we negate CH? Does it then follow that all functions $f:[0,1]^2\to[0,1]$ separately Lebesgue-measurable in each argument satisfy the conclusion of Fubini's theorem?

Source Link
Aryeh Kontorovich
Aryeh Kontorovich
  • 6.5k
  • 32
  • 51

Fubini without CH

In Real and Complex Analysis, Rudin gives an example (due to Sierpinski) of a function $f:[0,1]^2\to[0,1]$ separately Lebesgue-measurable in each argument, such that $$ \int_0^1 dx\int_0^1f(x,y)dy \neq \int_0^1 dy\int_0^1f(x,y)dx $$ (all integrals are w.r.t. the Lebesgue measure on $[0,1]$). The construction of $f$ requires the Continuum Hypothesis, and my question is: What happens if we negate CH? Does it then follow that all functions $f:[0,1]^2\to[0,1]$ separately Lebesgue-measurable in each argument satisfy the conclusion of Fubini's theorem?