Help with a proof on integrablitiy

  • Thread starter Thread starter kala
  • Start date Start date
  • Tags Tags
    Proof
Click For Summary
SUMMARY

The discussion focuses on proving the integrability of an increasing function f defined on a compact interval [a, b]. It establishes that since f is increasing, it is bounded, allowing for the existence of the supremum U(f) and infimum L(f). The conclusion drawn is that for increasing functions on compact sets, U(f) equals L(f), confirming integrability. The proof hinges on the properties of bounded functions and the definitions of upper and lower integrals.

PREREQUISITES
  • Understanding of the properties of increasing functions
  • Familiarity with the concepts of supremum and infimum
  • Knowledge of the definition of integrability in the context of real analysis
  • Basic understanding of compact sets in topology
NEXT STEPS
  • Study the properties of integrable functions in real analysis
  • Learn about the relationship between continuity and integrability
  • Explore the implications of the Heine-Borel theorem on compact sets
  • Investigate functions with countable discontinuities and their integrability
USEFUL FOR

Students of real analysis, mathematicians focusing on integration theory, and educators teaching concepts of integrability and function properties.

kala
Messages
21
Reaction score
0

Homework Statement


Let f:[a,b] [tex]\rightarrow[/tex]R be increasing on the set [a,b] (i.e., f(x)[tex]\leq[/tex] f(y) whenever x<y. Show that f is integrable on [a,b]

Homework Equations


the definition of integrable that we are using is that [tex]\int[/tex] f=U(f)=L(f)

The Attempt at a Solution


What i tried was to start with the fact that we are on an increasing set, which is also compact. I thought since it is compact we know that we are bounded. but then i didn't know how to relate the fact that we are bounded. My thought was that since we have to use U(f) and L(f) which relate to the sup and inf, these must exist since we are on a compact set. I got here and then didn't know where to get that U(f)=L(f) So then i thought i was going in the completely wrong direction, and didn't know where else to go.
 
Physics news on Phys.org
I believe that there is an easy way to get around this by using certain facts about functions with countable number of discontinuties and compact intervals.
 

Similar threads

Replies
8
Views
2K
  • · Replies 7 ·
Replies
7
Views
1K
  • · Replies 5 ·
Replies
5
Views
2K
  • · Replies 3 ·
Replies
3
Views
2K
Replies
1
Views
2K
  • · Replies 2 ·
Replies
2
Views
2K
  • · Replies 1 ·
Replies
1
Views
3K
  • · Replies 21 ·
Replies
21
Views
2K
  • · Replies 9 ·
Replies
9
Views
2K
Replies
6
Views
3K