Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. It's 100% free, no registration required.

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 am looking for detailed references containing proofs of inclusion relationships between different $L^p$ spaces and multiple counterexamples of functions in one but not the others.

share|cite|improve this question
@MichaelAlbanese, I don't think there is a difference. Anyways, I know this isn't the answer you want, but I would really suggest trying to work out these things for yourself, as it usually helps build intuition about the behavior of $L^p$ functions. In general, however, $L^p(X,\mu)$ and $L^q(X, \mu)$ are never included in one another for any $p \neq q$, except for in the case that $(X,\mu)$ is a finite measure space, in which case $L^q(X,\mu) \subseteq L^p(X,\mu)$ when $p\leq q$. – Christopher A. Wong Oct 18 '12 at 6:21
@MichaelAlbanese Oh no, I think that $L_p$ is better. Because there are $L^1_p$ and $W^1_p$, so $L_p$ is natural notation. Sorry for so pedantic) – Nikita Evseev Oct 18 '12 at 6:31
@Per Currently I'm digging into books and articles about possibility to embed $L_p(X,\mu)$ into $L_q(X,\nu)$, for the cases $p,q\in[1,+\infty]$ and $(X,\mu)$ is $$([0,1],\text{Lebesgue measure}) \\ (\mathbb{N}, \text{counting measure})\\ (\{1,\ldots,n\},\text{counting measure}).$$ In fact this problem deserves a whole book. So I'll just reference you to the Topics in Banach space theory. F. Albiac, N. Kalton. – Norbert Oct 18 '12 at 6:54
@commenter Classification of embeddings for different $p$ and measure spaces. – Norbert Oct 18 '12 at 7:02
@Norbert: I'd recommend Garling's book with the innocent title Inequalities. – commenter Oct 18 '12 at 7:12
up vote 1 down vote accepted

I think that my answer here, borrowed from an exercise in Folland's book, addresses this; it gives necessary and sufficient conditions for each inclusion to hold.

share|cite|improve this answer

Here is a special case, we will prove $ L_2[a,b] \subset L_1[a,b] \,.$ Assume $f \in L_2[a,b]\,,$ then

$$ \int_{a}^{b}|f(x)|\,dx \leq\sqrt{\int_{a}^{b}1\,dx} \sqrt{\int_{a}^{b}f(x)^2\,dx} =\sqrt{b-a}||f||_2 < \infty\,. $$

The above inequality follows from the Schwartz inequality or more generally (Holder's inequality).

share|cite|improve this answer
Why don't you post proof for more general case? – Norbert Oct 18 '12 at 7:03

I learned about that stuff from Kolmogorov and Fomin's Real Analysis text, I believe. It has the benefit that it's cheap for a math book.

share|cite|improve this answer
Thanks Shawn. I was not really looking for a real analysis textbook but for a list of known results and counter-examples, and where to find them in particular. That would be great if that particular textbook contains all of those. Does it? – Per Oct 18 '12 at 6:32

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.