Riemann Integrability of Composition

Click For Summary

Homework Help Overview

The discussion revolves around the Riemann integrability of the composition of functions, specifically focusing on the function ψ(x) = x sin(1/x) for 0 < x ≤ 1 and ψ(0) = 0. The original poster poses a problem regarding the integrability of f ∘ ψ when f is Riemann integrable, and also questions the case for ψ*(x) = √x sin(1/x).

Discussion Character

  • Conceptual clarification, Assumption checking

Approaches and Questions Raised

  • Participants discuss the conditions under which the composition of functions remains Riemann integrable, referencing the continuity of ψ and the measure of discontinuities. There is an exploration of theorems related to Riemann integration, particularly concerning sets of discontinuities and their measures.

Discussion Status

Some participants are actively seeking suggestions and clarifications on the original poster's approach. There is acknowledgment of relevant theorems, but uncertainty remains regarding how to apply them to demonstrate the measure of discontinuities for f ∘ ψ.

Contextual Notes

The original poster expresses a hunch that both f ∘ ψ and f ∘ ψ* are Riemann integrable, but they are grappling with the implications of their findings and the application of known theorems in this context.

Shoelace Thm.
Messages
59
Reaction score
0

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 \circ ψ 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 \subset [a,b], ψ^{\text{pre}}(Z) is a set of measure zero in [c,d], then if f is Riemann integrable, f \circ ψ is Riemann integrable. However, this doesn't apply well in this situation. What can I do? I have a hunch that both f \circ ψ and f \circ ψ* are Riemann integrable.


The Attempt at a Solution

 
Physics news on Phys.org
Any suggestions?
 
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?
 
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 f \circ \psi are of measure 0. Clearly it is discontinuous at a point u iff f is discontinuous at \psi(u), but I don't know where to go from here.
 

Similar threads

  • · Replies 1 ·
Replies
1
Views
1K
  • · Replies 1 ·
Replies
1
Views
1K
  • · Replies 13 ·
Replies
13
Views
13K
  • · Replies 2 ·
Replies
2
Views
2K
  • · Replies 1 ·
Replies
1
Views
1K
  • · Replies 15 ·
Replies
15
Views
2K
  • · Replies 62 ·
3
Replies
62
Views
9K
Replies
1
Views
3K
  • · Replies 2 ·
Replies
2
Views
2K
  • · Replies 1 ·
Replies
1
Views
1K