In 1970, Solovay proved that,(adsbygoogle = window.adsbygoogle || []).push({});

although

(1) under the assumptions of ZF & "there exists a real-valued measurable cardinal", one could construct a measure μ (specifically, a countably additive extension of Lebesgue measure) such that all sets of real numbers were measurable (wrt μ),

nonetheless

(2) under the assumption of ZFC, one can construct a set (e.g., the Vitali set) which is not Lebesgue measurable.

However, I am not sure whether these proofs carry over to all measures: in other words, is it conceivable that, under ZFC & a sufficiently strong large cardinal axiom, there is a measure M so that all sets of real numbers are measurable wrt M? (For example, it would seem reasonable that the Vitali set is also not measurable by the μ in (1), but what of other measures?)

**Physics Forums | Science Articles, Homework Help, Discussion**

Dismiss Notice

Join Physics Forums Today!

The friendliest, high quality science and math community on the planet! Everyone who loves science is here!

The friendliest, high quality science and math community on the planet! Everyone who loves science is here!

# Measures beyond Lebesgue: are Solovay's proofs extendible to them?

Loading...

Similar Threads for Measures beyond Lebesgue |
---|

B Least / Smallest / Minimum Detectable Difference |

A Measures of Center/Spread in Categorical/Ordinal |

I Help with sample size to measure Form Error of a round metal part |

B Name for particular statistical measure |

**Physics Forums | Science Articles, Homework Help, Discussion**