Product Rule and Reflection for Indefinite Riemann Integrals
lemmaAnalysislem:riemann-product-rule-reflection-2026aLet be real numbers. All integrals below are Riemann integrals of continuous functions, which exist by Continuous Functions on a Closed Interval are Riemann Integrable, with the degenerate-interval convention of Mean-Square Riemann Integral of a Family of Random Variables.
1. (Product rule) Let be continuous, let be real numbers, and define
Then , , and are continuous on , and for every
2. (Reflection) Let be continuous. Then the function is continuous on , and for every
Loadingβ¦
Prerequisites
No prerequisites tracked.
Dependents
No dependents yet.
Dependent proofs
No dependent proofs yet.
No relations recorded yet.