Let f:[0,1]->R be a measurable function and E a subset of {x : f'(x) exists}. If m(E)=0, show that m(f(E))=0.

Printable View

- July 19th 2012, 09:35 PMJehDeceptive Lebesgue measure theory problem
Let f:[0,1]->R be a measurable function and E a subset of {x : f'(x) exists}. If m(E)=0, show that m(f(E))=0.

- July 21st 2012, 05:03 AMInvisibleManRe: Deceptive Lebesgue measure theory problem
for the lower bound take infimum of f'(x).

- July 21st 2012, 05:55 AMJehRe: Deceptive Lebesgue measure theory problem
- July 21st 2012, 07:40 PMInvisibleManRe: Deceptive Lebesgue measure theory problem
Well if I am not mistaken:

- July 21st 2012, 08:03 PMJehRe: Deceptive Lebesgue measure theory problem
You're a bit confused. The image of is , which has Lebesgue measure 1. Your reversal of the endpoints of the intervals makes no sense. We're just looking at the image of the function.

- July 27th 2012, 01:24 PMmastermind2007Re: Deceptive Lebesgue measure theory problem
I guess by m you mean the Lebesgue measure function?

Well, it is intuitively clear that a function cannot turn a set of Lebesgure-measure zero to a set which has Lebesgue-measure non-zero.

Your example doesn't work because the sine function is differentiable on whole of [0,1].

Think about it: Is the set that you chose where sin is differentiable really a set of measure zero? And think about what you integrate over. - July 27th 2012, 02:08 PMJehRe: Deceptive Lebesgue measure theory problem
That's not true. The Cantor function on takes a set of Lebesgue measure zero to a set of Lebesgue measure 1. It doesn't matter that is differentiable everywhere. E merely needs to be a subset of of places where it is differentiable. That's besides the point, anyway. I merely was questioning the validity of the first inequality posted by InvisibleMan.

- July 27th 2012, 11:42 PMmastermind2007Re: Deceptive Lebesgue measure theory problem
Okay, you are right that the Cantor function does that.

I mentioned the fact that sin is differentiable everywhere because the set you chose for the sin-function isn't a set of Lebesgue-measure zero (interval [0,pi]).

As for the inequality that InvisibleMan posted:

I think there might be some absolute value signs missing.