Prove: Absolute Continuity Let f in AC[0,1] Monotonic

In summary, the conversation discusses proving that if a function f is absolutely continuous in the interval [0,1] and the measure of a subset E in this interval is 0, then the measure of f(E) is also 0. The terms AC, E, and m are defined as absolutely continuous, a subset in [0,1] with measure 0, and the Lebesque measure, respectively. The conversation also suggests trying an easier case where f is Lipschitz continuous and proving the preservation of measure zero.
  • #1
nfrer
3
0
Let f in AC[0,1] monotonic,Prove that if m(E)=0 then m(f(E))=0
 
Physics news on Phys.org
  • #2
What are AC, E, and m? Why wouldn't you bother to define these?
 
  • #3
Definitions

Let f in AC[0,1] monotonic,Prove that if m(E)=0 then m(f(E))=0

ie, f is absolutely continuous in [0,1], m denotes the Lebesque measure and E is a subset of [0,1] with meausre 0.
 
  • #4
Have you tried anything? For every [itex]\epsilon > 0[/itex], there exists a countable collection of pairwise disjoint open intervals [itex]\mathcal{C}[/itex] such that

[tex]E \subseteq \bigcup _{U \in \mathcal{C}} U[/tex]

and

[tex]\sum _{U \in \mathcal{C}} \mbox{vol}(U) < \epsilon[/tex]

Absolute Continuity
 
Last edited:
  • #5
first try an easier case: let f be lipschitz continuous, i.e. assume there is a constant K such that |f(x)-f(y)| < K|x-y| for all x,y, in domain f.

then prove f preserves measure zero.
 

Related to Prove: Absolute Continuity Let f in AC[0,1] Monotonic

What does it mean for a function to be absolutely continuous on the interval [0,1]?

A function f is absolutely continuous on [0,1] if for any given ε > 0, there exists a δ > 0 such that for every finite sequence of pairwise disjoint subintervals [ai,bi] of [0,1] whose total length is less than δ, the sum of the absolute values of the differences between the function values at the endpoints of the subintervals is less than ε.

What is the significance of a function being absolutely continuous?

Absolute continuity is a stronger condition than continuity, and it ensures that the function has a nice degree of smoothness. It is often used in the study of integration and differentiation, and is also useful for proving the fundamental theorem of calculus.

What is the relationship between absolute continuity and monotonicity?

If a function is absolutely continuous on [0,1], then it must be monotonic on that interval. However, the converse is not necessarily true - a function can be monotonic but not absolutely continuous.

How can you prove that a function is absolutely continuous on [0,1]?

One way to prove absolute continuity is to show that the function is differentiable almost everywhere on [0,1] and its derivative is integrable on [0,1]. Another way is to use the fact that a monotonic function on a closed interval is absolutely continuous if and only if it is of bounded variation.

Can a function be absolutely continuous on a larger interval than [0,1]?

Yes, a function can be absolutely continuous on any interval [a,b] as long as its derivative is integrable on [a,b]. Additionally, if a function is absolutely continuous on [0,1], it is also absolutely continuous on any subinterval of [0,1].

Similar threads

  • Calculus and Beyond Homework Help
Replies
13
Views
994
  • Calculus and Beyond Homework Help
Replies
12
Views
1K
  • Calculus and Beyond Homework Help
Replies
5
Views
1K
  • Calculus and Beyond Homework Help
Replies
3
Views
1K
  • Calculus and Beyond Homework Help
Replies
8
Views
2K
  • Calculus and Beyond Homework Help
Replies
7
Views
2K
  • Calculus and Beyond Homework Help
Replies
2
Views
1K
  • Calculus and Beyond Homework Help
Replies
5
Views
1K
  • Calculus and Beyond Homework Help
Replies
17
Views
2K
  • Calculus and Beyond Homework Help
Replies
2
Views
903
Back
Top