I am a graduate student of Mathematics.In the book Measure,Integration and Real Analysis by Sheldon

abbracciopj

abbracciopj

Answered question

2022-06-30

I am a graduate student of Mathematics.In the book Measure,Integration and Real Analysis by Sheldon Axler there is a question that asks the reader to show that there exists no measure space ( X , S , μ ) such that { μ ( E ) : E S } = [ 0 , 1 ).I am not sure how to do it.I was thinking of taking a nested sequence { E n } of sets in S such that μ ( E n ) = 1 1 / n but I don't think that will work.Can someone give me any clue?

Answer & Explanation

pressacvt

pressacvt

Beginner2022-07-01Added 19 answers

If ( X , S , μ ) denotes a measure space then S denotes a σ-algebra on X so that by definition X S and consequently:
μ ( X ) { μ ( E ) E S }
This with μ ( E ) μ ( X ) for every E S .
So the set { μ ( E ) E S } has a largest element in μ ( X ).
However evidently the set [ 0 , 1 ) does not have a largest element and we conclude that the two sets do not coincide.
kokoszzm

kokoszzm

Beginner2022-07-02Added 8 answers

Use your idea along with the property of "continuity from below" that all measures have. You can show that an event has measure one in this way.

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?