- #1
Yagoda
- 46
- 0
Homework Statement
To give some context, I'm trying to show that [itex]\mu(\bigcup^{\infty}_{k=1}A_{k})\leq \sum^{\infty}_{k=1}\mu(A_{k})[/itex] where μ is the Lebesgue measure and the A's are a countable set of Borel sets.
Since the A's may not be disjoint, I'm trying to rewrite the left side of the equation to somehow show that the elements that are present in more than one set are not being counted in the same way that they are on the right, which causes the left side to be smaller (or equal if all sets are disjoint).
Homework Equations
The Attempt at a Solution
In class we were given the hint to consider elements that are only in one set, present in 2 sets, in 3 sets, etc. and use this to rewrite the inequality.
The elements that are only in one set particular set [itex]A_{k} = A_{k} \setminus \bigcup^{k-1}_{i=1} A_{i}[/itex]. When I union all of these, it looks pretty messy.
I'm stuck on figuring out how to write elements that are present in more than one set. Does this approach look like it's on the right track?
(From what I've read it seems to common to build this up using the outer Lebesgue measure, but we haven't covered that. It seem like the way we're going about this is kind of unconventional)