Skript zur Vorlesung Analysis 1 im SS2011 - Johannes Gutenberg ...
Skript zur Vorlesung Analysis 1 im SS2011 - Johannes Gutenberg ...
Skript zur Vorlesung Analysis 1 im SS2011 - Johannes Gutenberg ...
Sie wollen auch ein ePaper? Erhöhen Sie die Reichweite Ihrer Titel.
YUMPU macht aus Druck-PDFs automatisch weboptimierte ePaper, die Google liebt.
Satz 8.4 (Rechenregeln für Integrale von Treppenfunktionen).<br />
Seien ϕ, ϕ ′ zwei Treppenfunktionen [a, b] −→ R.<br />
(a)<br />
(b)<br />
(c)<br />
∫ b<br />
a<br />
ϕ(x)dx +<br />
∫ b<br />
a<br />
∫ b<br />
ϕ(x) ≤ ϕ ′ (x) =⇒<br />
a<br />
ϕ ′ (x)dx =<br />
λϕ(x)dx = λ<br />
∫ b<br />
a<br />
∫ b<br />
a<br />
∫ b<br />
a<br />
ϕ(x)dx ≤<br />
(ϕ(x) + ϕ ′ (x))dx.<br />
ϕ(x)dx.<br />
∫ b<br />
a<br />
ϕ ′ (x)dx.<br />
Beweis. Folgt aus der Definition, betrachte <strong>im</strong>mer gemeinsame Unterteilung.<br />
Beispiel 8.5 (Äquidistante Unterteilung).<br />
Sei ϕ(x) = k k−1<br />
auf [ , k [ und ϕ(1) = 1. Dann gilt<br />
n n n<br />
∫ 1<br />
n∑ k n(n + 1)<br />
ϕ(x)dx = = ,<br />
n2 2n 2<br />
0<br />
k=1<br />
da ∑ n<br />
k=1 k = n(n+1)<br />
2<br />
, siehe §2. Dies konvergiert erwartungsgemäß nach 1/2.<br />
Definition 8.6 (Riemann Integral).<br />
Sei f : [a, b] −→ R eine beschränkte Funktion. Setze<br />
∫ b ∗<br />
a<br />
∫ b<br />
a ∗<br />
f(x)dx := inf{<br />
f(x)dx := sup{<br />
∫ b<br />
a<br />
∫ b<br />
a<br />
ϕ(x)dx | ϕ ≥ f Treppenfunktion },<br />
ϕ(x)dx | ϕ ≤ f Treppenfunktion }.<br />
Diese L<strong>im</strong>iten existieren <strong>im</strong>mer und werden Ober– und Unterintegrale genannt.<br />
f heißt Riemann integrierbar oder kurz integrierbar, falls beide übereinst<strong>im</strong>men:<br />
∫ b ∗<br />
a<br />
f(x)dx =<br />
∫ b<br />
a ∗<br />
f(x)dx.<br />
Beispiel 8.7. Viele Funktionen sind nicht Riemann integrierbar in diesem Sinn:<br />
Betrachte<br />
{<br />
1 x /∈ Q<br />
f(x) =<br />
0 x ∈ Q.<br />
Hier gilt ∫ 1 ∗<br />
f(x)dx = 1 und ∫ 1<br />
f(x)dx = 0. Solche Funktionen sind aber in<br />
0 0 ∗<br />
einem verallgemeinerten Sinn sehr wohl integrierbar und es gilt ∫ 1<br />
f(x)dx = 1,<br />
0<br />
da Q ∩ [0, 1] eine sogenannte Lebesgue Nullmenge in [0, 1] ist.<br />
84