MHB Show Inclusion of Measures: Hölder's Inequality

  • Thread starter Thread starter mathmari
  • Start date Start date
mathmari
Gold Member
MHB
Messages
4,984
Reaction score
7
Hey! :o

Let $1 \leq p_1 \leq p_2 \leq +\infty$. Show that in a Lebesgue measurable $E\subset R^d$ with $0<m(E)<+\infty$ we have that $L^{p_2} \subsetneq L^{p_1}$.

Using Hölder's inequality I got that $||f||_{p_1} \leq ||f||_{p_2} \mu (E)^{1/p_1 \cdot q}$.

Is this correct so far?? How could I continue to show that $||f||_{p_1} < ||f||_{p_2}$ ?? (Wondering)

Or is there an other way to show this?? (Wondering)
 
Physics news on Phys.org
mathmari said:
How could I continue to show that $||f||_{p_1} < ||f||_{p_2}$ ?? (Wondering)

Or isn't this that we want to show so that $L^{p_2} \subsetneq L^{p_1}$ ?? (Wondering)
 
I posted this question on math-stackexchange but apparently I asked something stupid and I was downvoted. I still don't have an answer to my question so I hope someone in here can help me or at least explain me why I am asking something stupid. I started studying Complex Analysis and came upon the following theorem which is a direct consequence of the Cauchy-Goursat theorem: Let ##f:D\to\mathbb{C}## be an anlytic function over a simply connected region ##D##. If ##a## and ##z## are part of...
Back
Top