3
$\begingroup$

I would a appreciate if someone could take the time to check if my solution to the following problem is correct:

From http://www.math.chalmers.se/~borell/MeasureTheory.pdf, page 64, ex.6.

Let $(X, \cal{M}, \mu)$ be a positive measure space and suppose $f$ and $g$ are non-negative measurable functions such that $$ \int_{A} fd\mu = \int_A gd\mu,\quad \text{all } A \in \cal{M}. $$

$(a).$ Prove that $f = g$ a.e. $[\mu]$ if $\mu$ is $\sigma$-finite.

$(b).$ Prove that the conclusion of Part $(a)$ may fail if $\mu$ is not $\sigma$-finite.

Consider the set where $f > g.$ Denote this set $A.$ But $A=\cup_n[A_n]$ where $$A_n=\{x:f(x)>g(x)+1/n\},$$ a strictly increasing sequence hence $\mu(A)=\lim_n \mu(A_n).$ So if $\mu(A)>0,$ there is a $N$ such that $\mu(A_N)>0$ Since $X$ is $\sigma$-finite $X=\cup_m\{X_m\}$ where $\mu(X_m)< \infty.$ If $\mu(A_N)>0$ then there must exist an $M$ s.t. $\mu(\cap{A_N,X_M})>0.$ and hence integral_intersection$\{A_N,X_M\} {f} \ge$ integral_intersection$\{A_N,X_M\} {g} + 1/N\mu(\cap\{A_N,X_M\}),$ a contradiction unless the left-hand side is infinite.

In that case consider $C_n=\{x: g(x) < n \}.$

Choose $M$ s.t. $\mu(A_M,X_M,C_M) > 0,$ now integrate over this set instead to arrive at the desired contradiction. Hence $\mu(A)=0$

The same applies to the set $B=\{x:g(x)>f(x)\}, \mu(B)=0.$

  • 0
    It seems ok. Did you solve part b)?2012-07-18
  • 0
    Yes, i did. But i think there was a gap in my solution, i just fixed it.2012-07-18
  • 2
    You might want to consider (1) using mathjax/latex and (2) posting the problem (as opposed to a link to the problem).2012-07-18
  • 0
    I LaTeX your solution. Please fix "integral-intersection" and the other odd things. **Someone double-check please?**2012-07-18
  • 1
    For b), let $\mu$ be the measure on $\mathbb{R}$ that is $+\infty$ on any non-empty set. Then let $f,g$ be *any* two positive functions. Then the integral equality criterion is satisfied, but $f$ need not equal $g$.2012-07-18
  • 0
    This may be a little pedantic (the need for $\sigma$ finiteness frequently escapes me), but the crux of the argument is that to obtain a contradiction one must show the existence of a non-null set of *finite* measure on which $f$ and $g$ differ. The finite part is essential.2012-07-18

1 Answers 1