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.
References on relationships between different $L^p$ spaces
0
$\begingroup$
real-analysis
general-topology
reference-request
measure-theory
banach-spaces
-
0Do you mean $L^p$ spaces? – 2012-10-18
-
1@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$. – 2012-10-18
-
0Are you interested in usual inclusions, isometric inclusion, or complemented inclusions? – 2012-10-18
-
1@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) – 2012-10-18
-
0I was interested mainly in usual inclusions, but I would welcome references to other results as well! – 2012-10-18
-
1@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. – 2012-10-18
-
0@Norbert: while Albiac-Kalton is a fantastic book, it is concerned with much more advanced issues than this question: It seems Per is only asking about the natural relationships, not (im)possibility of embedding one into the other. – 2012-10-18
-
0@commenter so can you recommend something for my issue? – 2012-10-18
-
0@Norbert What is your issue? – 2012-10-18
-
1@commenter Classification of embeddings for different $p$ and measure spaces. – 2012-10-18
-
0@Norbert. Thanks a lot for the Albiac-Kalton reference. From a quick googling of its contents, it looks great! – 2012-10-18
-
1@Norbert: I'd recommend Garling's book with the innocent title [Inequalities](http://www.cambridge.org/9780521876247). – 2012-10-18
-
0@commenter Thanks! The title is indeed inncocent – 2012-10-18
3 Answers
0
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.
-
0Thanks 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? – 2012-10-18
1
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).
-
2Why don't you post proof for more general case? – 2012-10-18
1
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.