Questions tagged [lp-spaces]

For questions about $L^p$ spaces. That is, given a measure space $(X,\mathcal F,\mu)$, the vector space of equivalence classes of measurable functions such that $|f|^p$ is $\mu$-integrable. Questions can be about properties of functions in these spaces, or when the ambient space in a problem is an $L^p$ space.

$L^p$ spaces are defined for $p\in(0,\infty]$ as follows:

Let $(X,\mathcal F,\mu)$ be a measure space. For $p$ with $0 < p<\infty$ we write $L^p(X,\mu)$ ($L^p(X)$ or $L^p$ when there is no ambiguity), for the vector space of equivalence classes (for equality almost everywhere) of measurable functions $f$ such that $\int_X|f|^p\mathrm{d}\mu$ is finite.

When $1\leq p<\infty$ we endow $L^p$ with the norm $$\lVert f\rVert_p:=\left(\int_X|f(x)|^p\mathrm{d}\mu(x)\right)^{1/p}$$ When $0 < p < 1$ we write $$\lVert f\rVert_p:=\int_X|f(x)|^p\mathrm{d}\mu(x)$$ which induces a metric on $L^p$.

For $p=+\infty$, $L^\infty$ is the space of equivalence classes of functions $f$ such that we can find a constant $C$ with $|f(x)|\leq C$ almost everywhere. Then $\lVert f\rVert_{\infty}$ is the infimum of constants $C$ satisfying the latter property, and is called the essential supremum of $|f|$.

These spaces are sometimes called Lebesgue spaces. If we work with counting measure on, for example, the set $\mathbb N$, we get sequence spaces $\ell^p$ and $\ell^\infty$ as special cases.

5636 questions
2
votes
2 answers

What is $L^2(\Omega)/\mathbb R$?

I've encountered this space in a book (see Proposition 1.2) and don't understand what is meant. It's a notation I only know from quotient spaces, but I can't make sense of that here.
0xbadf00d
  • 13,422
2
votes
1 answer

$1 \le p < q < \infty$ implies $L^q \subset L^p$

Suppose $1 \le p < q < \infty$ and $(X,\mu)$ is a Lebesgue measure space. Also suppose $X$ is of finite measure. Prove that $L^q \subset L^p$. First, we use Holder's inequality and find $$\int_X |f|^p \, dx \le \left( \int_X |f|^q \, dx…
2
votes
1 answer

$L^\infty$, $L^p$ question

Suppose $f \in L^0$. I read that for a general measure space, if $\mu(X)<\infty$, then we cannot have that both $||f||_\infty< \infty$ and $||f||_p=\infty$ for every $p\in (0,\infty)$, but if $\mu(X)=\infty$, then we can find an $f$ such that this…
1
vote
1 answer

L_p spacece and subset of them

let $(\Omega ,A,\mu)$ be a measure space and let $11\}$ and decompose fby…
moj
  • 253
1
vote
1 answer

Functional relation to be in $L^{p}$

Suppose that $f(t)=a(t)g(t)+b(t)$ for $t\geq0$, where $a$ and $b$ are continuous functions. Thus, once can immediately can say that if $b\in{}L^{p}$, $\liminf_{t\to\infty}|a(t)|>0$ and $\limsup_{t\to\infty}|a(t)|<\infty$, then $f\in{}L^{p}$ if and…
bkarpuz
  • 833
1
vote
2 answers

$L^p$ closed in $L^1$

Let (X, M, $\mu$) be a finite measure space. Show the whole of $L^p(d \mu )$ is closed in $L^1(d\mu)$ iff $\exists C>0$ such that $||f||_{L^p}\le C\cdot||f||_{L^1}$ for all $f\in L^p(d\mu)$ $\Leftarrow$ is easy to show, as any sequence…
wfw
  • 518
1
vote
0 answers

The relationship of L^1(U) and C(U)

Let $U$ be a open set of $\mathbb{R}^n$, C(U) is all continuous functions on U, for example C(0,1), when $U=(0,1)$. And $L^1(U)$ is lp-space where $p=1$. It was said that $L^1(U)$ is the completion of of $C(U)$ by the norm $\|\cdot\|_{L^1}$. Namely…
1
vote
1 answer

Approximation in $L^p$ spaces

Let $X$ denotes the span {$x^n:n \ge1 $}. Is it true that $X $ is dense in $L^1([0,1])?.$ I showed that $X$ is dense in the space of continuous functions that vanishes at zero. I also know space of continuous functions with compact support is dense…
Toeplitz
  • 1,443
  • 10
  • 25
1
vote
1 answer

Limit of functions in $L^p$

If $f_n \to f(x)$ a.e. and $\sup_n ||f_n||_p<\infty$, how to show $f$ is in $L^p$? Can I argue that by: $||f||_p\leq \liminf_n||f_n||_p\leq\sup_n ||f_n||_p<\infty$?
JFK
  • 1,061
1
vote
1 answer

Converge in $L^p$ implies convergence in $L^q$

Let $(E,M,\mu)$ be a measured space. Let $p,q \in[1,\infty]$ with $p\neq q$, and let $(f_n)$ be a sequence of functions in $L^p\cap L^q$. Assume that $f_n\to 0 $ as $n \to \infty$ and $(f_n)$ is Cauchy in $L^q$. How can we show $f_n\to 0$ in $L^q$?
JFK
  • 1,061
1
vote
1 answer

Convergence of composition of functions in $L^P$ spaces

Let $f\in L^P(\mathbb{R}^n)$. Define for all $n\in \mathbb{N}$ the truncator operator $T_n(x)$ as $$ T_n(x)=\begin{cases} x, & |x|\le n,\\ \frac{xn}{|x|},&|x|>n.\end{cases} $$ If we denote $B(0,n)$ as the ball centered in $0$ and radius equal to…
1
vote
1 answer

$L^p$-space and lebesgue measure

I have some problems with the following task: Show that $f\in\mathscr L^p(X,\mathbb R)$ iff $\sum_{n\in\mathbb Z}2^{np}\lambda(\{x\in X:|f(x)|\geq2^n\})<\infty$, for $X\in \mathscr B(\mathbb R^d)$ and $f:X\rightarrow \mathbb R$ measurable. $\lambda$…
andy
  • 353
1
vote
0 answers

Approximation in $L^p$ spaces by continuous functions

It is known that continuous functions are dense in an $L^p(X,\mu)$ space, with $p<1$, if the space $X$ is a locally compact Hausdorf space and $\mu$ is a regular Borel measure. My question is if $f\in L^p$ and bounded, are there sequences of…
Condor5
  • 359
1
vote
0 answers

For some probability measures $p$ and $q$, under what conditions do we have $L^2(p) \subseteq L^2(q)$?

Consider some measurable space $X$, for example $X = \mathbb{R}^n$, and two probability measures $p$ and $q$ on $X$. Do we generally have $L^2(p) \subseteq L^2(q)$? Under what conditions would the inclusion hold? Under what conditions would it be an…
gadub44
  • 11