S.O.S. Mathematics CyberBoard

Your Resource for mathematics help on the web!
 It is currently Sat, 25 May 2013 10:35:30 UTC

 All times are UTC [ DST ]

 Page 1 of 1 [ 4 posts ]
 Print view Previous topic | Next topic
Author Message
 Post subject: property of lebesque outer measurePosted: Sun, 7 Aug 2011 15:18:50 UTC
 Senior Member

Joined: Wed, 28 May 2008 23:03:08 UTC
Posts: 111
hey all, i am struggling with trying to work out the following property of lebesque outer measure, and was wondering if somebody could help me out:

If A and B are subsets of R, such that for some @>0, |x-y|>@ for all x in A, y in B, then m(AUB)=m(A) + m(B), where m is the lebesque outer measure.

Any assistance would be greatly appreciated,

Eric

Top

 Post subject: Re: property of lebesque outer measurePosted: Sun, 7 Aug 2011 15:33:39 UTC
 Moderator

Joined: Wed, 30 Mar 2005 04:25:14 UTC
Posts: 12103
Location: Austin, TX
eric3353 wrote:
hey all, i am struggling with trying to work out the following property of lebesque outer measure, and was wondering if somebody could help me out:

If A and B are subsets of R, such that for some @>0, |x-y|>@ for all x in A, y in B, then m(AUB)=m(A) + m(B), where m is the lebesque outer measure.

Any assistance would be greatly appreciated,

Eric

The sets are disjoint by the given, since any gives @, (here .)

_________________
(\ /)
(O.o)
(> <)
This is Bunny. Copy Bunny into your signature to help him on his way to world domination

Top

 Post subject: Re: property of lebesque outer measurePosted: Sun, 7 Aug 2011 15:41:10 UTC
 Senior Member

Joined: Wed, 28 May 2008 23:03:08 UTC
Posts: 111
the problem is, A and B are not necessarily lebesque measurable, which, if they were, the disjointness would give the desired result. but the outer measure is defined on the entire power set of R, that is, on sets that are not necessarily lebesque measurable also. the proof will have something to do with infs and covering sets, but i just cant seem to work it out yet.

Top

 Post subject: Re: property of lebesque outer measurePosted: Sun, 7 Aug 2011 16:10:36 UTC
 Moderator

Joined: Mon, 29 Dec 2008 17:49:32 UTC
Posts: 6009
Location: 127.0.0.1, ::1 (avatar courtesy of UDN)
eric3353 wrote:
the problem is, A and B are not necessarily lebesque measurable, which, if they were, the disjointness would give the desired result. but the outer measure is defined on the entire power set of R, that is, on sets that are not necessarily lebesque measurable also. the proof will have something to do with infs and covering sets, but i just cant seem to work it out yet.

One inequality () is trivial. To get the other inequality, since A,B are separated, there are disjoint opens U and V that contain A and B respectively. Take any covering of (by (disjoint) Borel subsets or by (disjoint) intervals, depending on how you define the Lebesgue outer measure), and you have covering of A and of B, giving for arbitrary.

_________________

Top

 Display posts from previous: All posts1 day7 days2 weeks1 month3 months6 months1 year Sort by AuthorPost timeSubject AscendingDescending
 Page 1 of 1 [ 4 posts ]

 All times are UTC [ DST ]

Who is online

Users browsing this forum: No registered users

 You cannot post new topics in this forumYou cannot reply to topics in this forumYou cannot edit your posts in this forumYou cannot delete your posts in this forum

Search for:
 Jump to:  Select a forum ------------------ High School and College Mathematics    Algebra    Geometry and Trigonometry    Calculus    Matrix Algebra    Differential Equations    Probability and Statistics    Proposed Problems Applications    Physics, Chemistry, Engineering, etc.    Computer Science    Math for Business and Economics Advanced Mathematics    Foundations    Algebra and Number Theory    Analysis and Topology    Applied Mathematics    Other Topics in Advanced Mathematics Other Topics    Administrator Announcements    Comments and Suggestions for S.O.S. Math    Posting Math Formulas with LaTeX    Miscellaneous