Riemann Integrability of Composition

  • #1

Homework Statement


Let ψ(x) = x sin 1/x for 0 < x ≤ 1 and ψ(0) = 0.
(a) If f : [-1,1] → ℝ is Riemann integrable, prove that f [itex]\circ[/itex] ψ is Riemann integrable.
(b) What happens for ψ*(x) = √x sin 1/x?


Homework Equations


I've proven that if ψ : [c,d] → [a,b] is continuous and for every set of measure zero Z [itex] \subset [/itex] [a,b], [itex] ψ^{\text{pre}}(Z) [/itex] is a set of measure zero in [c,d], then if f is Riemann integrable, f [itex]\circ[/itex] ψ is Riemann integrable. However, this doesn't apply well in this situation. What can I do? I have a hunch that both f [itex] \circ [/itex] ψ and f [itex] \circ [/itex] ψ* are Riemann integrable.


The Attempt at a Solution

 

Answers and Replies

  • #3
22,129
3,298
What do you know about Riemann integration?? What theorems could come in handy?
For example, do you know that a function is Riemann integrable iff the set of discontinuities has measure 0?
 
  • #4
SammyS: My apologies, it was not twenty-four hours.

Micromass: I am aware of that theorem, and in fact used it to prove the theorem in the original post. The problem is that I do not know how to show that the set of discontinuities of [itex] f \circ \psi [/itex] are of measure 0. Clearly it is discontinuous at a point u iff f is discontinuous at [itex] \psi(u) [/itex], but I don't know where to go from here.
 

Related Threads on Riemann Integrability of Composition

Replies
1
Views
2K
  • Last Post
Replies
1
Views
557
  • Last Post
Replies
1
Views
1K
  • Last Post
Replies
2
Views
588
  • Last Post
Replies
1
Views
1K
Replies
0
Views
1K
Replies
1
Views
910
  • Last Post
Replies
1
Views
526
  • Last Post
Replies
1
Views
3K
Top