This question comes from the proof of Lemma 9.3 of Bartle's "The Elements of Integration and Lebesgue Measure" in page 97-98. This proof is shown as the image below.(adsbygoogle = window.adsbygoogle || []).push({});

Form (9.1) mentioned in the lemma is: [tex](a,b], (-\infty,b], (a,+\infty), (-\infty,+\infty)[/tex].

My question is: although [tex]I_j[/tex] constructed in P98 is a bit fatter than [tex](a_j,b_j][/tex], I doubt the assertion that the left endpointa, and in turn the compact interval [a,b], is also covered by [tex]\{I_j\}[/tex], as the proof in the text claimed (I drew a red underline). Is my doubt correct (this means the text is incorrect), or pointacan be proved to be covered by [tex]\{I_j\}[/tex] (how)? Thanks!

PS: the establishment of the converse inequality does not need the coverage of the whole [a,b]. A small shrink, say [tex][a+\epsilon,b][/tex], is sufficient to get the inequality.

**Physics Forums - The Fusion of Science and Community**

Dismiss Notice

Join Physics Forums Today!

The friendliest, high quality science and math community on the planet! Everyone who loves science is here!

The friendliest, high quality science and math community on the planet! Everyone who loves science is here!

# A question on proving countable additivity

Loading...

Similar Threads for question proving countable | Date |
---|---|

B Function rules question | Mar 17, 2018 |

A question on proving the chain rule | Jan 19, 2015 |

Proving Grad(F) is perpendicular to level curve - question | Nov 8, 2013 |

Question with the prove of r(t) ande r'(t) is perpendicular. | Aug 29, 2010 |

3 questions prove them | Mar 8, 2005 |

**Physics Forums - The Fusion of Science and Community**