Absolutely continuous functions and sets of measure 0.

  • Thread starter glacier302
  • Start date
  • #1
35
0

Homework Statement



Prove that if f: [a,b] -> R is absolutely continuous, and E ∁ [a,b] has measure zero, then f(E) has measure zero.

Homework Equations



A function f: [a,b] -> R is absolutely continuous if for every ε > 0 there is an δ > 0 such that for every finite sequence {(xj,xj')} of nonoverlapping intervals in [a,b] with ∑|xj'-xj| < δ, ∑|f(xj')-f(xj)| < ε .



The Attempt at a Solution



I think that there is an alternative definition of absolute continuity using countable intervals instead of finite intervals, and if I knew that the set E was countable I think I could go from there...but I don't know that E is countable; I only know that it has measure zero. So I'm not really sure where to start.

Any help would be much appreciated : )
 

Answers and Replies

  • #2
743
1
Well, if you can show that the measure of f(E) is less than any epsilon, you'll be done right? Fix an [itex] \epsilon > 0 [/itex]. Furthermore, you know that E has zero measure, so can you cover it with intervals in a way that allows you to exploit absolute continuity?
 

Related Threads on Absolutely continuous functions and sets of measure 0.

Replies
0
Views
1K
Replies
1
Views
9K
Replies
3
Views
1K
Replies
2
Views
1K
Replies
1
Views
788
Replies
8
Views
1K
  • Last Post
Replies
10
Views
7K
Replies
4
Views
2K
  • Last Post
Replies
2
Views
1K
  • Last Post
Replies
11
Views
663
Top