2
$\begingroup$

Let $(X,\mu)$ be a measure space and $\mu(X)< + \infty$, $\phi$ be a bounded linear functor on $L^1(\mu)$. Prove that there exists a positive measure $\lambda$ on $X$ such that $\phi(f) = \int_X f d\lambda$ for any $f \in L^1(\mu)$.

This appears like Riesz representation theorem to me. But I don't know how to do it.

Thank you very much.

  • 0
    @icurays1 What happens if there is not a topological structure on $X$?2012-11-23

1 Answers 1

2

If $\lambda$ works, then $\lambda(A)=\phi(\chi_A)$ for all $A$ measurable (as the measure is finite, $\chi_A\in L^1(\mu)$).

So we define $\lambda(A):=\phi(\chi_A)\geqslant 0$. It defines a set function, with $\lambda(\emptyset)=0$. $\sigma$-additivity is a consequence of monotone convergence theorem.

  • 0
    Okay, thanks for the clarification.2012-11-22