Measure Theory
A stronger version of Fubini's theorem for positive functions, where the function is no longer assumed to be measurable but merely that the two iterated integrals are well defined and exist, is independent of ZFC. On the one hand, CH implies that there exists a function on the unit square whose iterated integrals are not equal — the function is simply the indicator function of an ordering of equivalent to a well ordering of the cardinal ω1. A similar example can be constructed using MA. On the other hand, the consistency of the strong Fubini theorem was first shown by Friedman. It can also be deduced from a variant of Freiling's axiom of symmetry.
Read more about this topic: List Of Statements Undecidable In ZFC
Famous quotes containing the words measure and/or theory:
“Perpetual modernness is the measure of merit, in every work of art; since the author of it was not misled by anything short- lived or local, but abode by real and abiding traits.”
—Ralph Waldo Emerson (1803–1882)
“A theory if you hold it hard enough
And long enough gets rated as a creed....”
—Robert Frost (1874–1963)