2
$\begingroup$

Let $(X,\mathcal M, \mu)$ be an arbitrary measure space and $1\le p<\infty$. I am curious whether the following statement holds:

Let $\{f_n:X\to\mathbb{R}:n\in\mathbb{N}\}_n$ be a sequence in $L^p=L^p(X,\mathcal M, \mu)$. If $f_n\to f\in L^p$ (with respect to the $p$-norm) and $f_n\le f$ almost everywhere, then $f=\sup_{n\in\mathbb{N}}f_n$ almost everywhere.

1 Answers 1

3

Every $L^p$ convergent sequence converges, up to subsequences, a.e. to the same limit. Thus for that subsequence your statement holds.

Wrong argument: However it is false in general. For example (taken from Terry Tao's blog) consider the "typewriter" sequence. Namely consider $L^1([0,1])$ with the usual Lebesgue measure and define each $f_n$ to be the indicator function of the interval $\left[\frac{n-2^k}{2^k},\frac{n+1-2^k}{2^k}\right]$ if $2^k

EDIT: the previous example does not satisfy the hypotesis $f_n(x)\le f(x)$. In fact the statement is right.

Take any $f_n\rightarrow f$ in $L^p$ and you call $A$ the full measure set on which some $(f_{n_k})_k$ converges a.e. to $f$, then for any $x\in A$ you have that $\sup_n f_n(x)\le f(x)$ by hypothesis and that $\sup_n f_n(x)\ge f(x)$ since $f_{n_k}(x)\rightarrow f(x)$.

  • 0
    Your example doesn't satisfy the condition $f_n\leq f$ almost everywhere. We have $f\geq \sup_kf_{n_k}$, where $f_{n_k}$ is a subsequence which converges almost everywhere. In this case $\sup_kf_{n_k}(x)=f(x)$.2012-07-18
  • 0
    You are perfectly right, in fact the statement is correct. I proceed to fix.2012-07-18