2

Let $\mu$ and $\nu$ be $\sigma$-finite measures on $(\mathbb{R}^k,\mathcal{B}(\mathbb{R}^k))$. If $\int f d\mu = \int f d\nu$ for all continuous functions $f:\mathbb{R}^k\to\mathbb{R}$, then $\mu = \nu$.

This is a homework question, so general strategy and hints for proof will be awesome for me. You can write the exact answer tomorrow, though :)

Thanks!

newzad
  • 4,855

1 Answers1

2

I suspect that the result is not true.

I suspect that there is an implied (or missing) hypothesis that the measures are bounded on bounded sets.

Let $\mu A = \int_{A \cap (0,1]} \frac{dt}{t}$, and $\nu A = \mu A + \delta_0 A$, where $\delta_0$ is the Dirac measure with point mass at $x=0$.

Clearly $\mu \ne \nu$.

However, if $f$ is continuous, then either $f(0) = 0 $ or not. If $f(0) = 0$, then $\int f d \mu = \int f d \nu$, and if $f(0) \neq 0$, then both integrals are infinite with the same sign. Hence $\int f d \mu = \int f d \nu$ for all continuous $f$.

Both measures are finite on each element of the collection $\{ (-\infty, 0] \} \cup \{(\frac{1}{n+1}, \frac{1}{n}] \}_{n} \cup \{ (1,\infty) \} $.

copper.hat
  • 172,524
  • thanks. I will discuss the question with professor. –  Oct 23 '13 at 00:17
  • There is a subtlety here that leaves me a little uncertain. Stating that the integrals are equal for all continuous $f$ implies that the integrals exist (allowing unambiguous infinite values as well). This would have implications for the measures $\mu,\nu$. – copper.hat Oct 23 '13 at 00:18
  • Can you tell more about "if f(0)=0, then $\int{f}d\mu=\int{f}d\nu$"? – Mike Brown Apr 08 '15 at 05:17
  • You have $\int f d \nu = \int f d \mu + f(0)$ for all integrable $f$. – copper.hat Apr 08 '15 at 06:22
  • @copper.hat how do you integrate $\int{f}d\mu$? – Mike Brown Apr 08 '15 at 07:48
  • I'm not exactly sure what you are asking: Usual progression, start with indicator functions of measurable sets, then simple non negative functions, then measurable non negative functions, then combinations of non negative and non positive functions. – copper.hat Apr 08 '15 at 23:22
  • 1
    @Ben: You have $\int f d \mu = \int_{(0,1]} f(t)\frac{dt}{t}$. – copper.hat Apr 09 '15 at 13:40