Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. Join them; it only takes a minute:

Sign up
Here's how it works:
  1. Anybody can ask a question
  2. Anybody can answer
  3. The best answers are voted up and rise to the top

I think $L^\infty(\Omega, \mathcal{F}, \mu)\supseteq L^p(\Omega, \mathcal{F}, \mu), \forall p \in (0, \infty)$? My reason is $L^\infty$ is defined as the set of measurable functions that are bounded up to a set of measure zero, and if $f \notin L^\infty$, then there exists a subset of measure nonzero on which $|f|$ is $\infty$, so $f \notin L^p, \forall p \in (0, \infty)$.

So I wonder why "If $\mu$ is finite, then $L^\infty(\Omega, \mathcal{F}, \mu)\subseteq L^p(\Omega, \mathcal{F}, \mu)$ for each $p$"? If we both are right, then If $\mu$ is finite, $L^\infty = L^p$?

This is a spinoff of a reply to my earlier question.


share|cite|improve this question
See Nate Eldredge's answer for the answer to the question in the title. A very simple question: can you give an example of an unbounded function in $L^1[0,1]$? – Martin Dec 28 '12 at 0:52
Thanks, @Martin! – Tim Dec 28 '12 at 13:02
up vote 5 down vote accepted

The general result is described here: for any measure space $(S,\mu)$, and $0\leq p<q\leq \infty$,

  • $L^q(S,\mu)\subseteq L^p(S,\mu)$ $\iff$ $S$ does not contain sets of arbitrarily large measure
  • $L^p(S,\mu)\subseteq L^q(S,\mu)$ $\iff$ $S$ does not contain sets of arbitrarily small (non-zero) measure

Therefore, in particular, for a finite measure space $(S,\mu)$ we have $L^q(S,\mu)\subseteq L^p(S,\mu)$ for all $0\leq p<q\leq \infty$.

share|cite|improve this answer
Thanks! (1) Does "S does not contain sets of arbitrarily large measure" mean the same as "$\mu$ is finite"? (2) What does "S does not contain sets of arbitrarily small (non-zero) measure" imply about $\mu$? – Tim Dec 28 '12 at 3:19

If $f$ is not in $L_\infty$, it does not follow that $\{x:|f(x)|=\infty\}$ has positive measure. For example, the function $f:(0,1)\rightarrow\Bbb R$ defined by $f(x)=1/x$ is not in $L_\infty(0,1)$.

share|cite|improve this answer

Your Answer


By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.