Algebra of Riemann integrable functions
Riemann integrable functions are closed under linear combinations and products
Algebra of Riemann integrable functions
Let be Riemann integrable .
Proposition:
- For any , the function is Riemann integrable.
- The product is Riemann integrable.
- Consequently, is Riemann integrable.
These closure properties are essential: they guarantee the Riemann integral behaves well under the usual algebraic operations on functions.
Proof sketch: Linearity is standard from linearity of sums and the integrability definition via upper /lower sums . For products, note that Riemann integrable functions are bounded , so and . Use the identity to reduce product integrability to integrability of squares, and show that if is integrable then is integrable (e.g., by continuity of and the Lebesgue criterion , or by oscillation estimates).