Skip to main content
8 of 9
added 4 characters in body
Uri Bader
  • 11.6k
  • 2
  • 37
  • 60

Let me turn my comment into an answer.

I claim that for fixed $\mu\in\text{Prob}(\mathbb{C})$ and $f\in C_c(\mathbb{C})$, $$ \int f(z)d\mu(z)= \lim_{r\to 0} \frac{1}{\pi r^2} \int\mu_w([0,r))f(w) d\lambda(w), $$ where $\lambda$ is the Lebesgue measure on $\mathbb{C}$.

To see this, fix $\epsilon>0$, let $\delta$ be the one given by the uniform continuity of $f$, and observe that for $r\leq \delta$, $$ \left|\int f(z)d\mu(z)- \frac{1}{\pi r^2} \int\mu_w([0,r))f(w) d\lambda(w)\right|\leq $$ $$ \int d\mu(z)\int_{|w-z|\leq r}d\lambda(w) \frac{|f(z)-f(w)|}{\pi r^2} \leq\epsilon.$$


This gives the required inversion formula, hence answers Q3, as well as Q1.


As for Q2, I am not sure what do you expect. One way to answer would be using the inversion formula given above, that is given a collection $(\mu'_z)_z$ you can define $\mu$ using the above formula and then define the collection $(\mu_z)_z$ as you did. The initial collection is "consistent" iff you got back where you've started.

Uri Bader
  • 11.6k
  • 2
  • 37
  • 60