Finitely many discontinuities implies Riemann integrable

A bounded function with only finitely many discontinuities is Riemann integrable
Finitely many discontinuities implies Riemann integrable

Finitely many discontinuities implies Riemann integrable: Let f:[a,b]Rf:[a,b]\to\mathbb{R} be . If ff has only finitely many discontinuities on [a,b][a,b], then ff is on [a,b][a,b].

This theorem illustrates that Riemann integration tolerates “isolated bad points.” It is a stepping stone toward the full characterization via the size of the discontinuity set.

Proof sketch: Let D={x1,,xm}D=\{x_1,\dots,x_m\} be the discontinuity set. Cover each xjx_j by a small IjI_j so that the total length Ij\sum |I_j| is very small. On the complement K=[a,b]IjK=[a,b]\setminus\bigcup I_j, the function ff is and hence , so choose a fine enough on KK to make small. The contribution to ULU-L from Ij\bigcup I_j is controlled by boundedness of ff and the small total length, so overall ULU-L can be made <ε<\varepsilon.