# where to find a proof of the Lebesgue Density Theorem

The other day I was browsing the site and found the question. I was trying to follow up with Topologieeeee, but clearly [s]he has not shown up for quite a while. So I wonder if anybody knows where to find the proof of the FACT referred in [s]he's question?

Thanks.

Edit

The FACT, from the old post, is the following:

Let $E$ be a Lebesgue measurable subset of $\mathbb{R}^n$. Almost every $x\in E$ satisfies $\lim\limits_{m(B)\to 0,~x\in B}\frac{m(B\cap E)}{m(B)}=1$ i.e. limit is taken over the ball $B$ containing $x$ with shrinking it.

-
Could you please add "the FACT" to your question to make it self-contained? This is called the Lebesgue density theorem and can be found e.g. in Rudin's Real and Complex Analysis. If you can access it, you can also have look at this recent proof by C.-A. Faure. – t.b. May 14 '11 at 18:19
This is exercise 25 on page 100 of Folland, Real Analysis, chapter "Differentiation on Euclidean Space". – lentic catachresis May 14 '11 at 18:21