The Math Forum

Search All of the Math Forum:

Views expressed in these public forums are not endorsed by NCTM or The Math Forum.

Math Forum » Discussions » sci.math.* » sci.math

Notice: We are no longer accepting new posts, but the forums will continue to be readable.

Topic: Half Measure
Replies: 14   Last Post: Mar 25, 2013 5:03 PM

Advanced Search

Back to Topic List Back to Topic List Jump to Tree View Jump to Tree View   Messages: [ Previous | Next ]
David C. Ullrich

Posts: 21,553
Registered: 12/6/04
Re: Half Measure and Correction
Posted: Mar 24, 2013 11:53 AM
  Click to see the message monospaced in plain text Plain Text   Click to reply to this topic Reply

On Sun, 24 Mar 2013 00:48:48 -0500, quasi <quasi@null.set> wrote:

>quasi wrote:
>>William Elliot wrote:

>>>Question: Is there a dense D, subset of R with
>>>empty interior and measure D /\ [0,1] = 1/2?

>> A = (0,1/2)\Q
>> B = Q\A

>I meant:
> A = [0,1/2]\Q
> B = Q\[0,1/2]

>> D = A U B

Of course this answers the question as asked. But it's
sort of a cheat. If we're doing measure theory then we
want to ignore sets of measure zero...

Hmm. One might put it this way. _If_ we're talking
about measurable sets _modulo_ null sets then Q
doesn't count as dense because Q is the same as the
empty set; similarly your D doesn't really count as
having empty interior since A is the same as [0,1/2].

So the more interesting version of the question,
in any case less trivial, amounts to this: Is there
a measurable set D such that

0 < m(D intersect I) < m(I)

for every open interval I, and such that
m(D intersect [0,1]) = 1/2 ?

The answer is yes, by the way. Think about
"fat Cantor sets". Start with a Cantor set, then
add some more Cantor sets, one in each interval
the first set misses. Repeat until done...


Point your RSS reader here for a feed of the latest messages in this topic.

[Privacy Policy] [Terms of Use]

© The Math Forum at NCTM 1994-2018. All Rights Reserved.