Let ( X , <mrow class="MJX-TeXAtom-ORD"> <mi class="MJX-tex-caligraphic" mathvaria

Jeffery Clements

Jeffery Clements

Answered question

2022-06-20

Let ( X , A , ν ) be a measure space. Suppose that the measure of X is bounded. Show that for disjoint A 1 , A 2 , lim n ν ( A n ) = 0.

Since X is bounded from countable additivity we have that
ν ( n = 1 A n ) = n = 1 ν ( A n ) ν ( X ) < .

Thus from Borel-Cantelli
n = 1 ν ( A n ) < ν ( lim sup n A n ) = 0.

Now I also have that
ν ( lim sup n A n ) lim sup n ν ( A n )
which implies that
lim sup n ν ( A n ) = 0.

How can I deduce from here that lim n ν ( A n ) = 0? It seems I would need to use the fact that
0 = lim sup n ν ( A n ) lim inf n ν ( A n ) 0
so lim inf n ν ( A n ) = 0 also and this would imply that lim n ν ( A n ) = 0 because of?

Answer & Explanation

Ryan Newman

Ryan Newman

Beginner2022-06-21Added 26 answers

You are overcomplicating things. Just because you need to prove a statement about measure theory doesn't mean you have to only throw measure theory at it. Forget Borel-Cantelli and lim sup, just focus on what is in front of you.

Since X is bounded from countable additivity we have that
ν ( n = 1 A n ) = n = 1 ν ( A n ) ν ( X ) < .

Yes, and that is all you need from measure theory.
Basically, what you now proved is that for a n = ν ( A n ), you know that the series
n = 1 a n
converges.
What the statement you are trying to prove says is that the sequence a n converges. You don't need any measure theory to prove that. It's plain old first-year calculus.

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?