You are currently browsing the monthly archive for June 2010.
There is a remarkably nice proof of the Lebesgue decomposition theorem (described below) by von Neumann. This leads immediately to the Radon-Nikodym theorem.
If and are two finite measures on then there exists a non-negative (w.r.t. both measures) measurable function and a -null set such that
for each .
Let and consider the operator