Kompaktes Intervall/Reelle Funktion/Riemann integrierbar auf Unterteilung/Existenz/Fakt

Es sei ${}I=[a,b]$ ein kompaktes Intervall und sei

$f\colon I\longrightarrow \mathbb {R}$

eine Funktion.

Dann ist ${}f$ genau dann Riemann-integrierbar, wenn es eine Unterteilung ${}a=a_{0}<a_{1}<\cdots <a_{n}=b$ derart gibt, dass die einzelnen Einschränkungen ${}f_{i}:=f|_{[a_{i-1},a_{i}]}$ Riemann-integrierbar sind.

In dieser Situation gilt

${}\int _{a}^{b}f(t)\,dt=\sum _{i=1}^{n}\int _{a_{i-1}}^{a_{i}}f_{i}(t)\,dt\,.$

Einen Beweis erstellen