Are functions in Lp space always bounded?

Question

I know that functions in $L^2$ space have finite norms by definition, but are they also bounded "almost everywhere" ?

So say for instance the following functions norm is finite but it is not bounded.

$$ f(x) = \frac{1}{(x-\frac{1}{2})^2} ~~ ; ~~~ f(x) \in L^2[(0,1),\mu] $$

$$ {\|f(x)\|}_2 = \left(\int_0^1{\frac{1}{(x-\frac{1}{2})^2}}\right)^{1/2}$$ $$ {\|f(x)\|}_2 = \left(\left. {\frac{1}{(x-\frac{1}{2})}}\right]_0^1\right)^{1/2}$$ $$ {\|f(x)\|}_2 = 2$$

Where is the $p$ in the integral? Are you already answering the question in the question? — Sergio Parreiras, Dec 13 '13 at 05:48
I meant in general fo L^p space, but I have tried to give a specific example. — Michael T Mckeon, Dec 13 '13 at 05:51
Michael, functions in $L^p$ spaces are equivalence classes of functions - you can change a function's values on a zero measure set and it stays in the same equivalence class. So you only need to question whether your function is bounded almost everywhere. — massy255, Dec 13 '13 at 05:51
see this related post: http://math.stackexchange.com/questions/458437/is-a-lp-function-almost-surely-bounded-a-e — massy255, Dec 13 '13 at 06:15

score 15 · Answer 1 · answered Dec 15 '13 at 17:20

Let's fix the definitions first.

A function $f:(0,1)\to\mathbb R$ is called bounded if there is a number $M$ such that $|f(x)|\le M$ for all $x\in (0,1)$.

Since the elements of $L^p$ are not functions, but equivalence classes of functions, the concept of boundedness must be adjusted.

A function $f:[0,1]\to\mathbb R$ is called essentially bounded if there is a number $M$ such that $|f(x)|\le M$ for almost all $x\in (0,1)$. (That is, the inequality holds on some set $E$ such that $(0,1)\setminus E$ has zero measure.)

If two functions $f,g$ belong to the same equivalence class and $f$ is essentially bounded, then $g$ is also essentially bounded. Thus, the property of being essentially bounded makes sense for elements of $L^p$.

Does it hold for all elements of $L^p$? Yes if $p=\infty$ (by definition), no if $p<\infty$. For example, the function $f(x)=x^{-1/(p+1)}$ defines an element of $L^p((0,1))$ which is not essentially bounded. For every $M$, the set $\{x:|f(x)|>M\}$ contains an interval, and therefore is not a null set.

Remark. One often allows functions to take values in the extended real line $[-\infty, \infty]$. In this case, one can say that every element of $L^p$ is finite almost everywhere.

Concerning your remark, isn't any element of Lp(I) finite almost everywhere, whatever the interval I? Not only for the extended real line? — Gateau au fromage, Jul 23 '19 at 16:03
Follow up question: I believe this means that for an $L^p$ function to be bounded, it must be essentially bounded. Now, looking at functions that are bounded $in$ $L^p$, does it mean that they are not necessarily also 'bounded functions' or 'essentially bounded functions?' — ali, Jun 28 '23 at 19:07

Are functions in Lp space always bounded?

1 Answers1