Consider a complete, finite measure space ( X , <mrow class="MJX-TeXAtom-ORD"> <mi

Brody Lambert

Brody Lambert

Answered question

2022-06-03

Consider a complete, finite measure space ( X , M , μ ). Let { f n } n = 1 L 1 ( μ ) be a sequence such that sup n | f n | d μ < . Furthermore, assume that for every ε > 0 there exists δ > 0 such that E | f n | d μ < ε whenever μ ( E ) < δ. I want to show the followings:
( a )   sup n { | f n | M } | f n | d μ 0  as  M .
( b )   sup n { | f n | δ } | f n | d μ 0  as  δ 0.
I have the following proof for (a):
Let E = { x X : | f n ( x ) | M }. By Chebyshev's inequality,
μ ( E ) 1 M X | f n | d μ   n N .
Since μ ( E ) 0 as M , δ > 0, μ ( E ) < δ and therefore,
E | f n | d μ < ε .
Since this is true for all ε > 0 and n N ,
E | f n | d μ = { | f n | M } | f n | d μ 0  as  M .
Taking the supremum on the left-hand side, we get
sup n { | f n | M } | f n | d μ 0  as  M .
I wonder if my proof is coorect, and for (b), I wonder how to show that the measure of the set { | f n | δ } is small so that a similar argument can be stated as in (a)?

Answer & Explanation

rederijkd6h1c

rederijkd6h1c

Beginner2022-06-04Added 3 answers

Your answer to a) looks good. b) is in fact simpler. Recall that the space has finite measure, so
{ | f n | δ } | f n | d μ δ { | f n | δ } d μ δ μ ( X )
so
sup n { | f n | δ } | f n | d μ δ μ ( X ) 0
as δ 0.

Do you have a similar question?

Recalculate according to your conditions!

Ask your question.
Get an expert answer.

Let our experts help you. Answer in as fast as 15 minutes.

Didn't find what you were looking for?