Dismiss Notice
Join Physics Forums Today!
The friendliest, high quality science and math community on the planet! Everyone who loves science is here!

Measure theory question: Countable sub-additivity

  1. Oct 3, 2013 #1
    I have a question on sub-additivity. For sets ##E## and ##E_j##, the property states that if

    ##E=\bigcup_{j=0}^{\infty}E_j##

    then

    ##m^*(E) \leq \sum_{j=0}^{\infty}m^*(E_j)##, where ##m^*(x)## is the external measure of ##x##.

    Since ##E\subset \bigcup_{j=0}^{\infty}E_j##, by set equality, the property seems to follow from monotonicity.

    However, it is also true that, ##\bigcup_{j=0}^{\infty} E_j \subset E##, which seems to imply the reverse inequality, ##\sum_{j=0}^{\infty} m^*(E_j)\leq m^*(E)##, which is not true.

    What's wrong?
     
  2. jcsd
  3. Oct 3, 2013 #2
    Sorry, figured it out.

    Sorry, figured it out, ##m^* \left (\bigcup_{j=0}^{\infty}E_j \right ) \neq \sum_{j=0}^{\infty} m^*(E_j)##.
     
Know someone interested in this topic? Share this thread via Reddit, Google+, Twitter, or Facebook




Similar Discussions: Measure theory question: Countable sub-additivity
  1. Measure theory - Help (Replies: 7)

  2. Measure theory (Replies: 8)

Loading...