Dismiss Notice
Join Physics Forums Today!
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?

  1. Mar 15, 2013 #1
    In 1970, Solovay proved that,
    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?)
     
  2. jcsd
  3. Mar 15, 2013 #2

    mathman

    User Avatar
    Science Advisor
    Gold Member

    I am not familiar with the work you are discussing. However with a measure, where each point has measure 1, all sets are measurable.
     
  4. Mar 15, 2013 #3

    pwsnafu

    User Avatar
    Science Advisor

    The trivial measure (sends every set to zero) does the job.

    If you want non-trivial example consider the Dirac measure.
     
  5. Mar 17, 2013 #4
    Ah, thanks to both of you, mathman and pwsnafu. My mistake was that I was unconsciously thinking only of additive measures, so that I simply overlooked the obvious ones you mentioned.
    If I had put additive measure as a prerequisite, as well as translation invariant, I would have essentially ended up with Lebesgue measure, which apparently would have made my question vacuous.
     
Know someone interested in this topic? Share this thread via Reddit, Google+, Twitter, or Facebook




Similar Discussions: Measures beyond Lebesgue: are Solovay's proofs extendible to them?
  1. Extending ordinals (Replies: 2)

  2. Lebesgue Measure (Replies: 1)

  3. Extended Kalman (Replies: 0)

Loading...