Blame
| 06e7ee | Carlos Kuban | 2024-11-12 22:58:19 | 1 | # Riemann-Integrierbarkeit stetiger Funktionen |
| 2 | ||||
| 3 | ### <u>Satz</u> (Riemann-Integrierbarkeit stetiger Funktionen) |
|||
| 4 | ||||
| 5 | Eine stetige Funktion auf einem kompakten Intervall $[a,b]$ mit $a < b$ ist Riemann-intergrierbar. |
|||
| 6 | ||||
| 7 | ### <u>Beweis</u> (Riemann-Integrierbarkeit stetiger Funktionen) |
|||
| 8 | ||||
| 9 | Sei $f \in C([a,b])$ und $\epsilon > 0$. Wir können annehmen, dass $f$ gleichmäßig stetig ist und es gibt ein $\delta > 0$, sodass für alle $x, y \in [a,b]$ gilt |
|||
| 10 | ||||
| 11 | $$|x-y|<\epsilon \implies |f(x)-f(y)|<\epsilon$$ |
|||
| 12 | ||||
| 13 | Sei $\zeta = \{a = x_{0} < x_{1} < ... < x_{n-1} < x_{n} = b\}$ eine Zerlegung von $[a,b]$ mit |
|||
| 14 | ||||
| 15 | $$\max_{k=1,...,n}|x_{k} - x_{k-1}| < \delta$$ |
|||
| 16 | ||||
| 17 | Zum Beispiel können wir die Zerlegung durch $x_{k} = a + k\frac{b-a}{n}$ für $k = \{0,...,n\}$ und ein hinreichend großes $n \in \mathbb{N}$ definieren. |
|||
| 18 | ||||
| 19 | Wir definieren für jedes $k \in \{1,...,n\}$ die Zahlen |
|||
| 20 | ||||
| 21 | $$m_{k} = \min f([x_{k-1},x_{k}])$$ |
|||
| 22 | ||||
| 23 | $$M_{k} = \max f([x_{k-1},x_{k}])$$ |
|||
| 24 | ||||
| 25 | wobei wir die Existenz von Minimum und Maximum verwendet haben. |
|||
| 26 | ||||
| 27 | Wir behaupten nun, dass für alle $k \in \{1,...,n\}$ |
|||
| 28 | ||||
| 29 | $$M_{k} - m_{k} < \epsilon$$ |
|||
| 30 | ||||
| 31 | gilt. In der Tat ist $m_{k} = f(z_{min})$ und $M_{k} = f(z_{max})$ für $z_{min}, z_{max} \in [x_{k-1}, x_{k}]$. Da aber $x_{k} - x_{k-1} < \delta$ ist, haben wir auch $|z_{min} - z_{max}| < \delta$. Auf Grund der Wahl von $\delta$ erhalten wir also unsere Behauptung $M_{k} - m_{k} = f(z_{max}) - f(z_{min}) < \epsilon$. |
|||
| 32 | ||||
| 33 | Wir definieren Treppenfunktionen $u, o$ durch |
|||
| 34 | ||||
| 35 | $$ u(x) = m_{k}, \text{ falls } x \in [x_{k-1},x_{k})\\;für\\;ein\\;k\\in\{1,...,n\}$$ |
|||
| 36 | $$ u(x) = m_{n}, \text{ falls } x = b$$ |
|||
| 37 | ||||
| 38 | $$ o(x) = M_{k}, \text{ falls } x \in [x_{k-1},x_{k})\\;für\\;ein\\;k\in\{1,...,n\}$$ |
|||
| 39 | $$ o(x) = M_{n}, \text{ falls } x = b$$ |
|||
| 40 | ||||
| 41 | für $x \in [a,b]$. |
|||
| 42 | ||||
| 43 | Nach Definition von $m_{k},M_{k}$ für $k \in \{1,...,n\}$ gilt daher $u \le f \le o$. Des Weiteren ist |
|||
| 44 | ||||
| 45 | $$\int_{a}^{b} (o-u)(x)\,dx = \sum_{k=1}^{n} (M_{k} -m_{k})(x_{k}-x_{k-1}) < \epsilon \sum_{k=1}^{n} (x_{k} - x_{k-1}) = \epsilon (b-a).$$ |
|||
| 46 | ||||
| 47 | Da $\epsilon > 0$ beliebig war (und $b-a$ fix ist), zeigt dies, dass $f$ Riemann-integrierbar ist. $\square$ |