# Measure theory

1. Sep 20, 2010

### sbashrawi

1. The problem statement, all variables and given/known data
Show that there is a continuous , strictly increasing function on the interval [0, 1] that maps a set of positive measure onto a set of measure zero

2. Relevant equations

3. The attempt at a solution

I need to find a mapping to a countable set or cantor set but I couldn't construct such function

2. Sep 20, 2010

### Dick

TRY the Cantor function. Why doesn't it work? What might you do to modify it?

3. Sep 22, 2010

### sbashrawi

Cantor function is amapping from [0,1] onto [0,1] , I need a restriction so that its image has measure zero. But it is seemed to me that its image is countable am I right?

4. Sep 22, 2010

### Dick

It's image is [0,1]. That's not countable. Nor does it have measure zero. But those aren't the things you need. If C(x) is the Cantor function, it's not strictly monotone increasing, is it? Can you tell me why not? There's an easy way to modify it into a function from [0,1] to [0,2] that is strictly monotone increasing.

5. Sep 24, 2010

### sbashrawi

We have the function : h(x) = C(x) + x , where C(x) is the cantor function, the function h(x) is increasing function from [0,1] onto [0,2].
[0,1] = C union O : c = cantor set , O its complement.
m( C) = 0 , m(O) = 1 .
how can I modify this to get the required function?

6. Sep 24, 2010

### Dick

That's already (almost) the function you want. m([0,2])=2. What are m(h(O)) and m(h(C))?

7. Sep 25, 2010

### sbashrawi

m( h(O)) = 1 and m(h(c))= 1 .
I think we can use the inverse function of h . it is contniuous , increasing
and hinv: [0,2] to [0,1]
and h inv(h(c)) = c which has measure zero i.e it maps a set with positive measure to a set of measure zero as required.

let f(x) = h(x) / 2 we get the required function: f: [0,1] to [0,1]

8. Sep 25, 2010

That's it.