Understanding a step in the proof of RRT for the dual of $L^p(X,\mu)$ on pg.402.(Royden "Real Analysis" 4th edition )

44 Views Asked by At

Here is the step that I do not understand:

enter image description here

Should not the equality before the last contains a power of $p$ over the sum and an integral sign according to the definition of p-norm , or maybe I do not understand how it comes from its preceding one, could anyone help me understand this please?

1

There are 1 best solutions below

4
On BEST ANSWER

If $F$ is a measurable set, then $\|\chi_F\|_p^p = \int \chi_F^p \, d\mu = \int \chi_F \, d\mu = \mu(F)$ because $\chi_F^p = \chi_F$.

The context of your picture is missing, but if I presume that $E_1,E_2,\ldots$ are disjoint sets whose union is $E$, then $\chi_E - \sum_{k=1}^n \chi_{E_k} = \chi_{\bigcup_{k=n+1}^\infty E_k}$, from which you obtain the desired equality.