Riemann Integrability of Composition

Click For Summary
SUMMARY

The discussion centers on the Riemann integrability of the composition of functions, specifically ψ(x) = x sin(1/x) for 0 < x ≤ 1 and ψ(0) = 0. Participants confirm that if f: [-1,1] → ℝ is Riemann integrable, then f ∘ ψ is also Riemann integrable, provided that the set of discontinuities of f ∘ ψ has measure zero. However, the challenge arises in proving that the set of discontinuities for f ∘ ψ and f ∘ ψ* = √x sin(1/x) also has measure zero, which remains unresolved in the discussion.

PREREQUISITES
  • Understanding of Riemann integration and its criteria for integrability.
  • Familiarity with the concept of measure zero sets in real analysis.
  • Knowledge of function composition and continuity properties.
  • Experience with theorems related to discontinuities and integrability.
NEXT STEPS
  • Research the properties of Riemann integrable functions and their discontinuities.
  • Study the implications of the continuity of ψ(x) = x sin(1/x) on the integrability of f ∘ ψ.
  • Explore the relationship between measure zero sets and function composition in Riemann integration.
  • Investigate specific examples of functions that exhibit discontinuities and their impact on integrability.
USEFUL FOR

Mathematics students, particularly those studying real analysis, as well as educators and researchers interested in Riemann integration and function properties.

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 1 ·
Replies
1
Views
1K
  • · Replies 1 ·
Replies
1
Views
1K