Search All of the Math Forum:

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

Topic: Measure and Density
Replies: 14   Last Post: Feb 23, 2013 11:26 AM

 Messages: [ Previous | Next ]
 Rotwang Posts: 1,685 From: Swansea Registered: 7/26/06
Re: Measure and Density
Posted: Feb 16, 2013 10:16 PM

On 17/02/2013 02:33, William Elliot wrote:
> Topology Q+A Board Ask An Analyst
>
> How can we find a measurable dense subset S of [0,1], with m(S) < 1,
> and such that for any (a,b) in [0,1], we have m(S /\ (a,b)) > 0?
>
> I have thought of fat Cantor sets, but I cannot see well how to
> do it. Any suggestions, please?

Let (q_n | n in N) be an enumeration of the rationals in [0, 1], and
consider the union of the sets (q_n - 1/2^{n + 3}, q_n + 1/2^{n + 3}) n
[0, 1] for n in N. I think that works.

--
I have made a thing that superficially resembles music:

http://soundcloud.com/eroneity/we-berated-our-own-crapiness

Date Subject Author
2/16/13 William Elliot
2/16/13 Rotwang
2/16/13 quasi
2/16/13 quasi
2/16/13 Butch Malahide
2/19/13 W^3
2/19/13 Butch Malahide
2/20/13 W^3
2/20/13 Butch Malahide
2/21/13 David C. Ullrich
2/21/13 quasi
2/21/13 W^3
2/22/13 quasi
2/22/13 Butch Malahide
2/23/13 David C. Ullrich