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$