Measure theory question: Countable sub-additivity

  • Thread starter Cascabel
  • Start date
  • #1
2
0
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?
 

Answers and Replies

  • #2
2
0
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)##.
 

Related Threads on Measure theory question: Countable sub-additivity

Replies
3
Views
2K
Replies
3
Views
2K
  • Last Post
Replies
6
Views
2K
  • Last Post
Replies
11
Views
766
Replies
11
Views
865
Replies
6
Views
1K
Replies
6
Views
4K
Replies
6
Views
1K
Top