A Continuous Function on a Closed Interval is Riemann Integrable
corollaryAnalysiscor:continuous-implies-riemann-integrable-2026aA function continuous on a closed real interval is Riemann integrable there, and so is its restriction to every nondegenerate closed subinterval. This records, as a citable statement, the integrability already established inside the first part of the fundamental theorem of calculus.
Let be real numbers with in the order of the ordered field , let be the closed interval determined by and , regarded as a subset of the real line , and let the codomain carry the same metric . Let be continuous on .
Then the following hold.
1. (Integrability) ¶ is Riemann integrable on .
2. (Closed subintervals) ¶ For all with , the restriction is Riemann integrable on .
Loading…
Prerequisites
No prerequisites tracked.
Dependents
No dependents yet.
Dependent proofs
No dependent proofs yet.
No relations recorded yet.