MathOverflow is a question and answer site for professional mathematicians. It's 100% free, no registration required.

Sign up
Here's how it works:
  1. Anybody can ask a question
  2. Anybody can answer
  3. The best answers are voted up and rise to the top

Suppose $M$ is a model of ZFC, and $\mu^M$ is the Lebesgue measure on $\mathbb R^M$ such that $\mu^M(\mathbb R^M)=1$. It is known that if $r$ is a Cohen real over $M$ and $N=M[r]$ then $\mu^N(\mathbb R^M)=0$.

This is a very strong transition from having sets with a full measure being annihilated into nullity. Is it possible that for some[every?] $x\in(0,1)$ there exists $N=M[G]$ a generic extension of $M$ such that $\mu^N(\mathbb R^M)=x$?

If the answer is negative in its full generality ($M$ is just any model of ZFC) can we add some assumptions for a positive answer? (e.g. $M\models CH$)

This is really just idle curiosity which could not be satisfied via Google, references to a possible answer would be just as welcomed as a complete answer

share|cite|improve this question
up vote 11 down vote accepted

The answer is no. If $\mathbb{R}^V$ is measurable in a forcing extension $V[G]$ having new reals, then the measure must be $0$. The point is that every new real $x$ in $V[G]$ but not in $V$ is transcendental over $\mathbb{R}^V$, since one cannot add algebraic numbers by forcing. It follows that the translates of $\mathbb{R}^V$ by the powers of $x$ are disjoint. Thus, a Vitali-style argument with wrapped translations of the unit interval of $V$ shows that if $\mathbb{R}^V$ is measurable, it must have measure zero.

Gunter Fuchs and I had made this observation in connection with Sebastian's question Probabilities independent of ZFC?, which is very much related to your question.

share|cite|improve this answer
Ah, so simple! Seeing how this is a Vitali style argument, my next question would have to be obvious: what happens when we remove the axiom of choice so the Vitali argument fails? – Asaf Karagila Feb 16 '12 at 1:27
The argument doesn't seem to use AC, since I'm not picking representatives here, but using only the transcendence of the new reals over the ground model field. So perhaps it works fine as-is? – Joel David Hamkins Feb 16 '12 at 1:30
Instead of powers, you could also use multiples of the new real. Or, you can appeal to the Hewitt-Savage 01-1-law, which says that any measurable tail set must have measure 1 or measure 0. (A tail set in $X \subseteq 2^\omega$ is one that is closed under rational translations, i.e., $X+s=X$ for all finite sequences $s$.) The same argument shows that any filter extending the Frechet filter must have measure 0, or be non-measurable. – Goldstern Feb 16 '12 at 7:54

Your Answer


By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.