Real Analysis ( measure theory)

Click For Summary
SUMMARY

The discussion centers on proving that the outer measure of the union of two bounded sets A and B, which maintain a distance of at least α > 0 from each other, equals the sum of their individual outer measures. Participants emphasize the importance of the gap between the sets, which is crucial for establishing that the outer measure of the union is greater than the sum of the outer measures of the individual sets. The proof attempts to leverage the definition of outer measure and the properties of disjoint sets to demonstrate this relationship.

PREREQUISITES
  • Understanding of outer measure and its properties
  • Familiarity with bounded sets in measure theory
  • Knowledge of set operations, particularly unions and intersections
  • Basic concepts of real analysis, specifically measure theory
NEXT STEPS
  • Study the definition and properties of outer measure in detail
  • Explore the implications of disjoint sets in measure theory
  • Review proofs related to the additivity of measures
  • Investigate the concept of ε (epsilon) in mathematical proofs and its applications
USEFUL FOR

Students and researchers in real analysis, particularly those focusing on measure theory, as well as educators seeking to deepen their understanding of the properties of outer measures and their applications in mathematical proofs.

sbashrawi
Messages
49
Reaction score
0

Homework Statement


Let A and B be bounded sets for which there is [tex]\alpha[/tex] > 0 such that |a -b| [tex]\geq[/tex][tex]\alpha[/tex]
for all a in A and b in B. Prove that outer measure of ( A [tex]\bigcup[/tex] B ) = outer measure of (A) + outer measure of (B)

Homework Equations



We know that outer measure of the union is less than the addition of outer measure of the single sets
we need to show that it is greater than the addition of outer measures of the sets

The Attempt at a Solution


 
Physics news on Phys.org
Have you tried anything? The fact that the two sets have a gap between them is obviously important. Try going straight to the definition of outer measure and see if you can spot anything useful
 
I know that they are disjoint but it is not clear for me how to use this in proving that
the outer measure of union is greater than the addition of the ouetr measure of the sets.

but I tried this:

A [tex]\bigcup[/tex]B[tex]\subset[/tex] O for some set O covering A and B
i.e A [tex]\bigcup[/tex]B[tex]\subset[/tex]([tex]\bigcup[/tex] I[tex]\cup[/tex]J)
So m(A[tex]\bigcup[/tex]B)< m(A) + m(B)
or m(A[tex]\bigcup[/tex]B) + [tex]\epsilon[/tex] > m(A) + m(B)
and since [tex]\epsilon[/tex] is arbirary. then it is done.

but I think there is a gab in this proof and I don't know why
 

Similar threads

  • · Replies 2 ·
Replies
2
Views
2K
Replies
2
Views
2K
  • · Replies 11 ·
Replies
11
Views
3K
  • · Replies 14 ·
Replies
14
Views
2K
  • · Replies 4 ·
Replies
4
Views
4K
  • · Replies 7 ·
Replies
7
Views
2K
  • · Replies 1 ·
Replies
1
Views
614
Replies
1
Views
2K
Replies
4
Views
2K
  • · Replies 1 ·
Replies
1
Views
2K