Skip to main content
1 of 3
Tom LaGatta
  • 8.5k
  • 1
  • 43
  • 82

Here's a concrete example of an atomless measure. Let $f \in L^1$ be an integrable function with total mass 1 (i.e. $\int_0^1 f = 1$). Define $$\mathbb P(A) = \int_A f(x) ~dx$$ for any Borel set $A$. Exercise: Prove that $\mathbb P$ is an atomless measure.

Note: $f$ is called the Radon-Nikodym derivative of $\mathbb P$ with respect to Lebesgue measure, and often written $f = \tfrac{d\mathbb P}{dx}$. $f$ is also called the density function of the measure $\mathbb P$.

Tom LaGatta
  • 8.5k
  • 1
  • 43
  • 82