Post History

$\int_{E_n} |g|^q = \left| \int_E \chi_{E_n}\cdot \text{sgn}(g)\cdot g \cdot |g|^{q-1}\cdot |g| \right|$ 

$\int_{E_n} |g|^q = \left| \int_E \chi_{E_n}\cdot \text{sgn}(g)\cdot g \cdot |g|^{q-1}\cdot |g| \right|$ 

I am trying to understand why the following equation is true.  Here $E$ is a measurable set and all functions are defined and measurable on it.  $1<p,q,<\infty$ such that $\frac 1 p+\frac 1 q=1$ and $g\in L^q(E)$.  $E_n= \{ x \in E:|g|\le n \}$  (for some reason the LaTeX isn't rendering the set curly braces here).  And there exists a number $M$ such that for every $f\in L^p(E)$, we have $\left|\int_Efg\right|\le M
||f||_p$.  

$$\int_{E_n} |g|^q = \left|\int_E \chi_{E_n}\cdot \text{sgn}(g)\cdot g \cdot |g|^{q-1}\cdot |g|\right|$$

My main problem with this is that it seems like the powers are off by one.  I would think that on $E_n$,

$$|g|^q = \chi_{E_n}\cdot |g|\cdot |g|^{q-1} = \chi_{E_n}\cdot\text{sgn}(g)\cdot g \cdot |g|^{q-1}$$

But even if we correct the extra factor of $|g|$ then I don't understand how we can write this as an equality.  If we're using the "integral triangle inequalty" or whatever $\left|\int_Ef\right|\le\int_E|f|$ is called, then shouldn't the equality actually be an inequality?  Is there some reason why in this particular setting we can actually have equality?