Results 1 to 4 of 4

Math Help - Lp spaces set inclusion

  1. #1
    Newbie
    Joined
    Mar 2010
    From
    Melbourne
    Posts
    24
    Thanks
    1

    Lp spaces set inclusion

    I am stuck on trying to show for that a fixed measure space (X,\cal{S},\mu) with 1 \leq r \leq p \leq s < \infty we have
     L_{p} \subset L_{r} + L_{s} .

    Cheers!
    Follow Math Help Forum on Facebook and Google+

  2. #2
    Newbie
    Joined
    Mar 2010
    From
    Melbourne
    Posts
    24
    Thanks
    1
    I have attempted the question. I am not sure if the proof is valid though. Any comments will be appreciated!
    Here it goes:


    Let f\in L_{p} which means we have

    \int \vert\hspace{0.5mm}f\vert^{p}\hspace{1mm}d\mu<\inf  ty.

    Write f:=g+h where the functions g and h are measurable functions.

    Since the measuable function \vert\hspace{0.5mm}g+h\vert is integrable, it is almost everywhere finite.

    Then WLOG we have

    \vert\hspace{0.5mm}g\vert \leq \vert\hspace{0.5mm}g+h\vert<\infty\hspace{3mm}\tex  t{almost everywhere}

    from which it follows that

     \Vert g\Vert_{r} := \Bigg( \int \vert g\vert^{r}\hspace{1mm}d\mu\Bigg)^{\dfrac{1}{r}}<\i  nfty_{.}

    Similarly for h, we obtain

    \Vert h\Vert_{s} := \Bigg( \int \vert h\vert^{s}\hspace{1mm}d\mu\Bigg)^{\dfrac{1}{s}}<\i  nfty_{.}
    Last edited by willy0625; May 15th 2010 at 10:23 PM.
    Follow Math Help Forum on Facebook and Google+

  3. #3
    Super Member
    Joined
    Apr 2009
    From
    México
    Posts
    721
    Quote Originally Posted by willy0625 View Post
    I have attempted the question. I am not sure if the proof is valid though. Any comments will be appreciated!
    Here it goes:


    Let f\in L_{p} which means we have

    \int \vert\hspace{0.5mm}f\vert^{p}\hspace{1mm}d\mu<\inf  ty.

    Write f:=g+h where the functions gand h are measurable functions.

    Since the measuable function \vert\hspace{0.5mm}g+h\vert is integrable, it is almost everywhere finite.

    Then WLOG we have

    \vert\hspace{0.5mm}g\vert \leq \vert\hspace{0.5mm}g+h\vert<\infty\hspace{3mm}\tex  t{almost everywhere}

    from which it follows that

     \Vert g\Vert_{r} := \Bigg( \int \vert g\vert^{r}\hspace{1mm}d\mu\Bigg)^{\dfrac{1}{r}}<\i  nfty_{.}

    Similarly for h, we obtain

    \Vert h\Vert_{s} := \Bigg( \int \vert h\vert^{s}\hspace{1mm}d\mu\Bigg)^{\dfrac{1}{s}}<\i  nfty_{.}
    I don't like your argument, you can't say |g|\leq |g+h| (what if h is negative), and the part where you took integrals is fishy at best.

    Some cases are simple enough. For example if \mu (X)<\infty and 1\leq p \leq q \leq \infty then L^q \subset L^p (this is not difficult to prove, just use Hölder's inequality).Intuitively, if on the contrary, X had no finite measure subset the inclusions would be reversed (I don't yet have a proof for this), and the general case would (?!) follow by decomposing your space in this (or some similar) fashion.
    Follow Math Help Forum on Facebook and Google+

  4. #4
    MHF Contributor
    Opalg's Avatar
    Joined
    Aug 2007
    From
    Leeds, UK
    Posts
    4,041
    Thanks
    7
    Quote Originally Posted by Jose27 View Post
    Some cases are simple enough. For example if \mu (X)<\infty and 1\leq p \leq q \leq \infty then L^q \subset L^p (this is not difficult to prove, just use Hölder's inequality).Intuitively, if on the contrary, X had no finite measure subset the inclusions would be reversed (I don't yet have a proof for this), and the general case would (?!) follow by decomposing your space in this (or some similar) fashion.
    Following up on that idea, let f\in L^p(X), and let Y = \{x\in X:|f(x)|\geqslant1\}. Let g = f\big|_Y (that is, g equals f on Y and g is zero outside Y) and similarly h = f\big|_{X\setminus Y}. Clearly f=g+h. Then \mu(Y)<\infty and so (as Jose27 points out) g\in L^r(X). Also, it's easy to see that h\in L^s(X), because \int\!\!|h|^s = \int\!\!|h|^p|h|^{s-p}\leqslant\int\!\!|h|^p<\infty. Thus f\in L^r(X) + L^s(X), as required.
    Follow Math Help Forum on Facebook and Google+

Similar Math Help Forum Discussions

  1. Any metric spaces can be viewed as a subset of normed spaces
    Posted in the Differential Geometry Forum
    Replies: 5
    Last Post: December 15th 2011, 03:00 PM
  2. Lebesgue Spaces Inclusion
    Posted in the Differential Geometry Forum
    Replies: 1
    Last Post: March 17th 2010, 06:20 AM
  3. Inclusion map
    Posted in the Advanced Algebra Forum
    Replies: 0
    Last Post: October 22nd 2009, 09:48 AM
  4. Replies: 3
    Last Post: June 1st 2008, 01:51 PM
  5. Set Inclusion
    Posted in the Discrete Math Forum
    Replies: 4
    Last Post: December 9th 2006, 02:32 PM

Search Tags


/mathhelpforum @mathhelpforum