TheoremBase

Proof

Let ε>0\varepsilon>0. By Heine-Cantor: Continuity on Compact Interval Implies Uniform Continuity, there exists δ>0\delta>0 such that ∣x−y∣<δ|x-y|<\delta implies ∣f(x)−f(y)∣<ε/(b−a)|f(x)-f(y)|<\varepsilon/(b-a). Choose a partition PP with mesh ∣P∣<δ|P|<\delta. On each subinterval Ii=[xi−1,xi]I_i=[x_{i-1},x_i], the oscillation satisfies ωi:=sup⁡Iif−inf⁡Iif<ε/(b−a)\omega_i:=\sup_{I_i}f-\inf_{I_i}f<\varepsilon/(b-a). Hence U(f,P)−L(f,P)=∑iωi ∣Ii∣<εb−a∑i∣Ii∣=ε.U(f,P)-L(f,P)=\sum_i \omega_i\,|I_i| < \frac{\varepsilon}{b-a}\sum_i |I_i| = \varepsilon. By Riemann Integrability Criterion via Upper and Lower Sums, ff is Riemann integrable on [a,b][a,b].

Citations

Loading…

Dependencies

Uses0

Loading…

Comments

Log in to comment.

Loading…