Analysis 3

Vorlesungsskript
Wintersemester 2011/12
Bernd Schmidt

Version vom 12. Dezember 2011

Institut f ur Mathematik, Universitat Augsburg, Universitatsstr. 14, 86135 Augs-

burg, bschmidt@math.uni-augsburg.de
1
Inhaltsverzeichnis
Inhaltsverzeichnis 2
1 Einleitung 3
2 Grundlagen der Matheorie 4
2.1 Mae . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 5
2.2 Fortsetzung von Maen . . . . . . . . . . . . . . . . . . . . . . . . 12
2.3 Messbare Mengen . . . . . . . . . . . . . . . . . . . . . . . . . . . 21
3 Integrationstheorie 25
3.1 Messbare Funktionen . . . . . . . . . . . . . . . . . . . . . . . . . 25
3.2 Das Integral . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 29
3.3 Die Konvergenzsatze . . . . . . . . . . . . . . . . . . . . . . . . . 38
3.4 Mae und Integrale auf Produkten . . . . . . . . . . . . . . . . . 43
3.5 Bildmae und Transformationsformel . . . . . . . . . . . . . . . . 53
4 Ausgewahlte Anwendungen 64
4.1 L
p
-Raume . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 64
4.2 Faltung und Glattungskerne . . . . . . . . . . . . . . . . . . . . . 72
4.3 Fourier-Transformation . . . . . . . . . . . . . . . . . . . . . . . . 78
5 Mannigfaltigkeiten 88
5.1 Denition und Charakterisierung . . . . . . . . . . . . . . . . . . 88
5.2 Tangential- und Normalraum . . . . . . . . . . . . . . . . . . . . 98
5.3 Ausblick: Allgemeine Mannigfaltigkeiten . . . . . . . . . . . . . . 102
Literaturverzeichnis 105
2
Kapitel 1
Einleitung
Die Vorlesung Analysis 3 schliet den grundlegenden Analysiszyklus ab.
...
Literatur: Die Kapitel 2 und 3 folgen dem klassischen matheoretischen Zu-
gang zur Integrationstheorie. Diesen Sto (und vieles mehr) ndet man etwa bei
Bauer [Bau] und Elstrodt [El]. Neuere Darstellungen, die sich im Wesentlichen
auf Grundlagen der Ma- und Integrationstheorie beschranken, gibt es in den
B uchern von Brokate und Kersting [BK] sowie Ambrosio, DaPrato und Men-
nucci [ADPM]. Ein sehr guter konziser Zugang, der in etwa das abdeckt, was
wir auch hier in dieser Vorlesung uber Matheorie behandeln, steht in Kapitel
III des Wahrscheinlichkeitstheoriebuches von Bandelow [Ban]. Einen direkteren
Weg, allerdings nur f ur das Lebesgue-Ma auf dem R
n
, gibt das Analysisbuch
von Konigsberger [Ko] an. Das Analysisbuch [For] von Forster schlielich enthalt
einen aquivalenten, doch ganzlich verschiedenen, eher topologischen Zugang zum
Lebesgue-Integral auf dem R
n
.
Die in Kapitel 3 diskutierten Ergebnisse uber L
p
-Raume und Faltung ndet
man auch in den oben angegebenen Referenzen zu Matheorie. Was wir anschlie-
end uber Glttungskerne und die die Fourier-Transformation behandeln werden,
steht dagegen in den meisten Analysislehrb uchern, z.B. in [Ko] oder [For].
Die folgenden Kapitel, in denen die Vektoranalysis im R
n
behandelt wird, n-
den Sie in vielen allgemeinen Lehrb uchern zur Analysis, wobei hier wieder [For]
und [Ko] empfehlenswert sind. Das Skript [Br] von Brokate entwickelt auerdem
eine mehrdimensionale Riemannsche Integrationstheorie und eignet sich daher
besonders, wenn Sie die Vektoranalysis unabhangig von der Lebesgueschen Inte-
grationstheorie verstehen mochten. Das ausgezeichnete weiterf uhrende Buch [Ja]
von Janich schlielich bietet eine Einf uhrung in die moderne Vektoranalysis im
Dierentialformenkalk ul.
3
Kapitel 2
Grundlagen der Matheorie
In den ersten beiden Kapiteln f uhren wir das Lebesgue-Integral ein. Unser Haupt-
augenmerk liegt dabei auf Funktionen f : R, wobei eine Teilmenge von
R
n
ist. F ur gutartige Funktionen lasst sich zwar das Riemann-Integral auch in
mehreren Dimensionen denieren, doch der Begri des Lebesgue-Integrals erlaubt
es, wesentlich allgemeinere Funktionen als die Riemann-integrierbaren Funktio-
nen zu integrieren. Die Konstruktion ist zwar um einiges aufwandiger als die
Denition des Riemann-Integrals, doch ist das Lebesgue-Integral erst einmal ein-
gef uhrt, stellt es sich als sehr exibel und daher einfacher zu handhaben heraus.
Die Fr uchte der Arbeit werden wir ernten konnen, wenn wir in der Lage sind,
sehr starke Konvergenzsatze f ur Integrale zu beweisen.
Allgemeiner untersuchen wir auch Funktionen f : R, wenn die Grund-
menge eines allgemeinen Maraums ist. Ein solcher Maraum erf ullt nur die aller-
notwendigsten Bedingungen, um Funktionen integrieren zu konnen. Das ist einer-
seits in vielen Anwendungen, etwa in der Wahrscheinlichkeitstheorie, interessant.
Andererseits f uhrt es auch zu mehr Klarheit, wenn man sich auf die wesentlichen
Eigenschaften konzentriert. In diesem Sinne stellen die beiden folgenden Kapitel
eine Einf uhrung in die allgemeine Ma- und Integrationtheorie dar.
Zur Motivation des Lebesgue-Integrals betrachten wir eine Funktion f : [a, b]
R. In der Riemannschen Integrationstheorie konstruiert man ein Integral
_
b
a
f(x) dx,
indem man die Grundmenge [a, b] durch eine Zerlegung a = x
1
< x
2
< . . . < x
N
=
b in feine Intevalle unterteilt und dann mit Ober- und Untersummen approximiert.
Die Strategie in der Lebesgueschen Theorie dagegen ist es, zunachst den Wertebe-
reich R von f durch eine feine Zerlegung, etwa durch . . . <
1
n
< 0 <
1
n
<
2
n
< . . .
zu unterteilen. Wenn man nun den Urbildern
A
n,k
= f
1
__
k
n
,
k + 1
n
__
, k Z,
eine Lange (A
n,k
) zuordnen kann und schlielich n gehen lasst, versucht
4
man
_
b
a
f(x) dx := lim
n

kZ
k
n
(A
n,k
)
zu denieren.
Das groe Problem ist nun nat urlich, die Groe (A), also in einer Dimension
eine Lange, in zwei Dimensionen eine Flache und allgemein ein n-dimensionales
Volumen, f ur recht allgemeine Mengen A anzugeben. Dies f uhrt dazu, dass
wir zuallererst ein Ma auf der Menge angeben m ussen, das eben genau dies
leistet.
2.1 Mae
Im Folgenden sei eine Menge und / ein System von Teilmengen von , also
/ T() eine Teilmenge der Potenzmenge T() von . Wir mochten dann den
Mengen A / ein Ma zuordnen. Aus technischen Gr unden, auf die wir spater
eingehen werden, kann man dies unter w unschenswerten Zusatzannahmen leider
oft nicht f ur alle Teilmengen von machen, so dass man sich auf ein moglichst
groes System gutartiger Teilmengen beschranken muss. Wir denieren daher:
Denition 2.1 Ein Mengensystem / von Teilmengen von heit -Algebra,
wenn gilt
(i) /,
(ii) A / = A
c
A und
(iii) A
1
, A
2
, . . . / =

i=1
A
i
/.
(, /) heit dann ein messbarer Raum.
(A
c
= A bezeichnet das Komplement einer Menge A .)
Bemerkung: Ist / eine -Algebra, so ist mit A
1
, A
2
, . . . /, N N auch
A
1
. . . A
N
/, denn A
1
. . . A
N
= A
1
. . . A
N
. . .,
A
1
. . . A
N
/, denn A
1
. . . A
N
= (A
c
1
. . . A
c
N
)
c
,
A
1
A
2
/, denn A
1
A
2
= A
1
A
c
2
und

i=1
A
i
/, denn

i=1
A
i
= (

i=1
A
c
i
)
c
.
Etwas heuristisch lasst sich formulieren: In -Algebren sind alle abzahlbaren Men-
genoperationen erlaubt, in dem Sinne, dass die Verkn upfung von abzahlbar vielen
Operationen mit Mengen aus / nicht aus / herausf uhrt.
5
Denition 2.2 Es sei eine Menge und / eine -Algebra auf . Eine Abbil-
dung : / [0, ] heit ein Ma, wenn gilt
(i) () = 0 und
(ii) f ur paarweise disjunkte A
1
, A
2
, . . . / ist

_
i=1
A
i
_
=

i=1
(A
i
).
(, /, ) heit dann ein Maraum.
Die letzte Eigenschaft nennt man auch die -Additivitat eines Maes. Beachte,
dass den Wert annehmen darf. F ur das Rechnen auf R vereinbaren
wir die Rechenregeln
x + = f ur alle x R,
x = f ur alle x (0, ] und
0 = 0.
Beispiele:
1. Auf jeder Menge sind , und T() -Algebren.
2. , R, (, 5], (5, ) ist eine -Algebra auf R. Durch
() = 0, ((, 5]) = 2, ([5, )) = 7 und (R) = 9
wird hierauf ein Ma deniert.
3. Auf jeder Menge ist die Menge der (co-)abzahlbaren Mengen
/ = A : A oder A
c
abzahlbar
eine -Algebra.

Ubung: Zeigen Sie dies!

4. Weder das System der oenen noch das System der abgeschlossenen Teil-
mengen bildet eine -Algebra auf R. (Warum?)
5. Ist eine Menge, / eine -Algebra auf und x , so deniert

x
(A) =
_
1, falls x A,
0, falls x / A
f ur A / ein Ma auf , das sogenannte Dirac-Ma bei x.
6
6. Ist (/
i
)
iI
eine Familie von -Algebren, so ist auch / =

iI
/
i
eine -
Algebra.

Ubung: Zeigen Sie dies!

7. Ist / eine -Algebra auf und M eine beliebige Teilmenge, so ist
/
M
= A M : A /
eine -Algebra auf M. Man nennt sie die Spur--Algebra von / auf M.
Speziell f ur M / ergibt sich /
M
= A / : A M.
Ist ein Ma auf (, /) und M /, so lasst sich auf /
M
einschranken,
indem man deniert
(M)(A) := (A) A /
M
.
Man nennt M (= [
,
M
) die Einschrankung von auf M.

Ubung: Zeigen Sie dies!

Das vorige Beispiel 6 erlaubt es nun, zu einem beliebigen Mengensystem ( die
kleinste ( enthaltende -Algebra zu assoziieren:
Denition 2.3 Es seien eine Menge und ( T() ein Mengensystem auf .
Die von ( erzeugte -Algebra ist das Mengensystem
(() =

/ T() : / ist -Algebra und ( /.

Beispiel 6 zeigt, dass (() tatsachlich eine -Algebra ist. Oensichtlich ist sie die
kleinste ( enthaltende -Algebra.

Ubung: Bestimmen Sie die von ( = x : x erzeugte -Algebra.

Insbesondere das Lebesgue-Ma, auf dessen Konstruktion wir ja zusteuern,
wird sich nun nicht so einfach explizit angeben lassen. Wir schranken uns daher
zunachst auf ein kleineres Mengensystem ein, das allerdings keine -Algebra mehr
ist. Dazu denieren wir zunachst:
Denition 2.4 Ein Mengensystem / von Teilmengen von heit Ring, wenn
gilt
(i) /,
(ii) A
1
, A
2
/ = A
1
A
2
A und
(iii) A
1
, A
2
/ = A
1
A
2
/.
7
Bemerkung: Im Gegensatz zur -Algebra kann man in einem Mengenring also
i.A. nur endliche Vereinigungen (Induktion!) und relative Komplemente bilden.
Auch endliche Schnitte sind wieder zugelassen, da ja mit A
1
, A
2
/ auch
A
1
A
2
= A
1
(A
1
A
2
) /
gilt.
Entsprechend deniert man:
Denition 2.5 Es sei eine Menge und / ein Ring auf . Eine Abbildung
: / [0, ] heit ein Inhalt, wenn gilt
(i) () = 0 und
(ii) f ur disjunkte A
1
, A
2
/ ist
(A
1
A
2
) = (A
1
) + (A
2
).
Mit vollstandiger Induktion erhalt man dann auch

_
N
_
i=1
A
i
_
=
N

i=1
(A
i
)
f ur (endlich viele!) paarweise disjunkte A
1
, A
2
, . . . , A
N
/.

Ubung: Es sei ein Inhalt auf dem Ring / auf . Zeigen Sie, dass f ur A
1
, A
2
/
(i) (A
1
A
2
) + (A
1
A
2
) = (A
1
) + (A
2
) und
(ii) A
1
A
2
= (A
1
) (A
2
)
gilt.
Beispiele:
1. Jede -Algebra ist ein Ring und jedes Ma ist ein Inhalt.
2. Auf jeder Menge ist die Menge der endlichen Mengen
/ = A : A ist endich
ein Ring. F ur # = ist dies jedoch keine -Algebra.
Ein besonders wichtiges Beispiel ist gegeben durch das System von Vereinigun-
gen halboener Quader. Dabei nennen wir eine Menge Q R
n
einen halboenen
Quader, wenn es a
1
b
1
, a
2
b
2
, . . . , a
n
b
n
mit
Q = [a
1
, b
1
) . . . [a
n
, b
n
)
gibt.
8
Proposition 2.6 Das Mengensystem
T = A R
n
: es gibt halboene Quader Q
1
, . . . Q
N
mit A = Q
1
. . . Q
N
.
ist ein Ring auf R
n
.
Die Elemente von T bezeichnet man auch als Figuren.
Dem Beweis schicken wir ein sehr n utzliches technisches Hilfsresultat voraus,
wobei wir Figuren durch achsenparallele Hyperebenen der Form H = x R
n
:
x
k
= c f ur ein k 1, . . . , n und c R zerschneiden. Bezeichnet man f ur eine
solche Hyperebene den linken und rechten Halbraum mit
H

= x R
n
: x
k
< c bzw. H
+
= x R
n
: x
k
c,
so zerschneidet man eine Menge M R
n
durch H, indem man M als disjunkte
Vereinigung
M = (M H

)

(M H
+
)
schreibt. Durch weitere Hyperebenen lassen sich diese Teile von M dann sukzes-
sive weiter zerschneiden.
Lemma 2.7 Es seien Q
1
, . . . , Q
N
halboene Quader, Q
j
= [a
(j)
1
, b
(j)
1
) . . .
[a
(j)
n
, b
(j)
n
). Zerschneidet man Q
1
. . . Q
N
sukzessive entlang aller Hyperachen
H
(a)
j,k
= x : x
k
= a
(j)
k
und H
(b)
j,k
= x : x
k
= b
(j)
k
,
k = 1, . . . , n, j = 1, . . . , N, so ergeben sich endlich viele disjunkte halboene
Quader

Q
i
, i I, so dass
Q
1
. . . Q
N
=
_
iI

Q
i
gilt und jeder der urspr unglichen Quader Q
j
selbst die disjunkte Vereinigung
Q
j
=
_
i:

Q
i
Q
j

Q
i
ist.
Beweis. Das ergibt sich unmittelbar aus der Konstruktion: Es bezeichne

Q
i
, i
I, die endliche Familie disjunkter Mengen die durch die sukzessive Zerlegung
durch die angegebenen Hyperebenen entsteht. Da jeder Quader Q
j
durch die
Hyperebenen
H
(a)
j,k
= x : x
k
= a
(j)
k
und H
(b)
j,k
= x : x
k
= b
(j)
k
,
9
k = 1, . . . , n von seinem Komplement getrennt wird, ist jedes

Q
i
ganz in einem
Q
j
enthalten und es ist
Q
j
=
_
i:

Q
i
Q
j

Q
i
.
F ur festes j entstehen die

Q
i
mit

Q
i
Q
j
dabei dadurch, dass der Quader Q
j
ent-
lang der achsenparallelen Hyperebenen, die das Innere von Q
j
schneiden, zerlegt
wird. Da aber bei einem solchen Zerschneiden eines halboenen Quaders wie-
der nur halboene Quader entstehen, sind die Q
i
tatschlich alle selbst halboene
Quader.
Beweis von Proposition 2.6. Mit a
1
= b
1
und a
2
, . . . a
n
, b
2
, . . . , b
n
beliebig sieht
man
= [a
1
, b
1
) . . . [a
n
, b
n
) T.
Auch die Abgeschlossenheit bez uglich Vereinigungen ist klar: A
1
, A
2
T =
A
1
A
2
T. Nur dass in / relative Komplemente gebildet werden konnen, ist
nicht trivial.
F ur A = Q
1
. . . Q
N
T und A
t
= Q
t
1
. . . Q
t
N
T erhalten wir mit
Lemma 2.7 paarweise disjunkte halboene Quader

Q
i
, i I, mit
A A
t
=
_
iI

Q
i
und
A
t
=
N

_
j=1
Q
t
j
=
N

_
j=1
_
i:

Q
i
Q

Q
i
=
_
i:

Q
i
A

Q
i
.
Damit aber ist
A A
t
=
_
i:

Q
i
,A

Q
i
T.

Der erste Schritt zur Konstruktion des Lebesgue-Maes ist es nun, auf T einen
Inhalt zu denieren.
Lemma und Denition 2.8 Ist Q = [a
1
, b
1
) . . . [a
n
, b
n
) ein halboener
Quader, so denieren wir
(Q) := (b
1
a
1
) . . . (b
n
a
n
).
Ist allgemein A =

N
j=1
Q
j
T mit paarweise disjunkten Q
j
, so setzen wir
(A) :=
N

j=1
(Q
j
).
ist ein Inhalt auf T, der sogenannte Elementarinhalt auf R
n
.
10
Beweis. Da sich nach Lemma 2.7 jedes A T als disjunkte Vereinigung halboe-
ner Quader schreiben lasst, diese Darstellung jedoch nicht eindeutig ist, m ussen
wir uns zunachst uberlegen, dass wohldeniert ist: Ist etwa
A =
N
_
j=1
Q
j
=
N

_
j=1
Q
t
j
mit paarweise disjunkten Q
j
bzw. Q
t
j
, so konnen wir mit Lemma 2.7, angewandt
auf Q
1
, . . . Q
N
, Q
t
1
, . . . , Q
t
N
, die Figur A derart durch achsenparallele Hyperebe-
nen in disjunkte Quader

Q
i
, i I, zerschneiden, dass jedes Q
j
und jedes Q
t
j

durch diese Hyperebenen in Quader

Q
j
=
_
i:

Q
i
Q
j

Q
i
bzw. Q
t
j
=
_
i:

Q
i
Q

Q
i
zerlegt werden.
Nun ist leicht zu sehen, dass f ur die Zerlegung eines Quader Q durch eine
achsenparallele Hyperebene H gilt
(Q) = (Q H

) + (Q H
+
).
Induktiv ergibt sich damit
(Q
j
) =

i:

Q
i
Q
j
(

Q
i
) bzw. (Q
t
j
) =

i:

Q
i
Q

j
(

Q
i
).
Dann aber ist tatsachlich
N

j=1
(Q
j
) =
N

j=1

i:

Q
i
Q
j
(

Q
i
) =

iI
(

Q
i
) =
N

j=1

i:

Q
i
Q
j
(

Q
i
) =
N

j=1
(Q
t
j
).
Der Nachweis, dass ein Inhalt ist, ist nun einfach. Einerseits gilt
() = ([0, 0) . . . [0, 0)) = 0.
Sind andererseits A =

N
j=1
Q
j
und A
t
=

j=1
Q
t
j
disjunkt mit paarweise disjunk-
ten Q
j
bzw. Q
t
j
, so sind auch alle Q
1
, . . . , Q
N
, Q
t
1
, . . . , Q
t
N
paarweise disjunkt und
(A A
t
) = (Q
1
) + . . . + (Q
N
) + (Q
t
1
) + . . . + (Q
t
N
) = (A) + (A
t
).

11
2.2 Fortsetzung von Maen
Wahrend Inhalte auf Ringen leichter anzugeben sind als Mae auf -Algebren,
lasst sich nur mit letzteren eine reichhaltige Theorie aufbauen. Unser Ziel in
diesem Abschnitt ist es daher, einen Inhalt auf einem Ring zu einem Ma auf
eine den Ring enthaltende -Algebra zu erweitern. Allerdings lasst sich nicht
jeder Inhalt zu einem Ma fortsetzen. Eine oensichtlich notwendige Bedingung
hierf ur ist, dass der Inhalt nicht nur additiv, sondern sogar -additiv ist. Dies
bekommt einen eigenen Namen:
Denition 2.9 Es sei eine Menge und / ein Ring auf . Eine Abbildung
: / [0, ] heit ein Prama, wenn gilt
(i) () = 0 und
(ii) f ur paarweise disjunkte A
1
, A
2
, . . . / mit A
1
A
2
. . . A ist

_
i=1
A
i
_
=

i=1
(A
i
).
Erstaunlich ist nun, dass diese Bedingung sogar hinreichend ist.
Satz 2.10 (Fortsetzungssatz) Jedes Prama auf einem Ring / kann zu einem
Ma auf die erzeugte -Algebra (/) fortgesetzt werden.
F ur viele wichtige Beispiele ist diese Fortsetzung sogar eindeutig.
Denition 2.11 Es sei ein Inhalt auf einem Ring / auf . Gibt es eine Folge
von Mengen A
1
, A
2
, . . . / mit A
1
A
2
. . . = und (A
j
) < f ur jedes j,
so nennt man -endlich.
Satz 2.12 (Fortsetzungs- und Eindeutigkeitssatz) Jedes -endliche Prama
auf einem Ring / kann auf genau eine Weise zu einem Ma auf (/) fortgesetzt
werden.
F ur den Beweis von Satz 2.10, der im Wesentlichen auf Caratheodory zur uck-
geht, brauchen wir noch ein paar Vorbereitungen. Die Idee besteht darin, ein
Prama zunachst zu einer Abbildung

, die auf ganz T() deniert ist, fort-

zusetzen. Dieses

ist dann i.A. kein Ma. Doch lasst sich zeigen, dass eine
Einschrankung auf eine geschickt gewahlte / enthaltende -Algebra tatsachlich
alle Maeigenschaften erf ullt.
Denition 2.13 Es sei eine Menge. Eine Abbildung : T() [0, ] heit
aueres Ma, wenn gilt
12
(i) () = 0,
(ii) f ur A
1
A
2
ist (A
1
) (A
2
) und
(iii) f ur A
1
, A
2
, . . . T() ist (

j=1
A
j
)

j=1
(A
j
).
Die letzte Eigenschaft bezeichnet man auch als -Subadditivitat. Endliche Subad-
ditivitat, also (A
1
. . . A
N
) (A
1
) +. . . +(A
N
) f ur A
1
, . . . , A
N
, N N, gilt
dann nat urlich auch. (Erganze zu einer Folge durch A
N+1
= A
N+2
= . . . = .)
Jeder Inhalt erzeugt ein zugehoriges aueres Ma durch die folgende Kon-
struktion.
Lemma 2.14 Es seien eine Menge, / ein Ring auf und ein Inhalt auf
(, /). Dann wird durch

(M) := inf
_

j=1
(A
j
) : A
1
, A
2
, . . . / mit M

_
j=1
A
j
_
f ur jedes M ein aueres Ma auf deniert.
Beweis. (i) Oensichtlich ist

0 und

()

j=1
() = 0.
(ii) Ist M
1
M
2
, so ergibt sich

(M
1
)

(M
2
) direkt aus der Kon-
struktion, da jede Folge von Mengen, die M
2
uberdeckt, auch M
1
uberdeckt.
(iii) Seien M
1
, M
2
, . . . , > 0 beliebig und o.B.d.A.

(M
i
) < f ur alle
i. Zu M
i
wahle A
(i)
1
, A
(i)
2
, . . . / mit
M
i

_
j=1
A
(i)
j
und

j=1
(A
(i)
j
)

(M
i
) + 2
i
.
Wegen

j=1
M
j

i,j=1
A
(i)
j
ist dann

_
i=1
M
i
_

i,j=1
(A
(i)
j
)

i=1
(

(M
i
) + 2
i
) = +

i=1

(M
j
).
Da > 0 beliebig war, folgt die Behauptung.
Wir konstruieren nun diejenigen Mengen, auf denen sich ein aueres Ma
besonders gut verhalt (und auf die wir im Beweis des Fortsetzungssatzes wieder
einschranken werden).
Denition 2.15 Es sei eine Menge und ein aueres Ma auf . Dann heit
A -messbar, falls f ur alle M
(M) = (M A) + (M A
c
)
gilt. Die Menge der -messbaren Mengen bezeichnen wir mit /

.
13
Satz 2.16 (Satz von Caratheodory) Es sei ein aueres Ma auf einer Men-
ge . Dann ist /

eine -Algebra und die Einschrankung [

,
von auf /

ist
ein Ma.
Beweis. Der Beweis erfolgt in mehreren Schritten.
1. Wegen () = 0 folgt /

. Des Weiteren ist oensichtlich A /

genau
dann, wenn A
c
/

ist.
2. Seien A
1
, A
2
messbar. Wir zeigen, dass dann auch A
1
A
2
messbar ist.
Beachte, dass wegen 1. dann auch A
1
A
2
= (A
1
A
c
2
) = (A
c
1
A
2
)
c
/

ist.
Aus der Messbarkeit von A
1
und A
2
ergibt sich zunachst
(M) = (M A
1
) + (M A
c
1
)
= (M A
1
A
2
) + (M A
1
A
c
2
) + (M A
c
1
A
2
) + (M A
c
1
A
c
2
)
f ur jedes M . Diese Gleichheit gilt dann auch, wenn man M durch M(A
1

A
2
) ersetzt, wobei M (A
1
A
2
) A
c
1
A
c
2
= ist, so dass man
(M (A
1
A
2
)) = (M A
1
A
2
) + (M A
1
A
c
2
) + (M A
c
1
A
2
)
erhalt. Aus diesen beiden Gleichungen folgt nun
(M) = (M (A
1
A
2
)) + (M A
c
1
A
c
2
)
= (M (A
1
A
2
)) + (M (A
1
A
2
)
c
).
3. Um zu zeigen, dass mit A
1
, A
2
, . . . /

auch A
1
A
2
. . . /

ist,
d urfen wir o.B.d.A. annehmen, dass die A
j
paarweise disjunkt sind: Dies sieht
man, indem man
B
1
:= A
1
und B
j
= A
j
(B
1
. . . B
j1
), j = 2, 3, . . . ,
setzt. Wegen 2. ergibt sich induktiv, dass alle B
j
in /

liegen. Auerdem sind die

B
j
oensichtlich disjunkt und es ist
A
1
A
2
. . . = B
1
B
2
. . . .
4. Wir schlieen nun den Beweis, dass /

eine -Algebra ist ab und zeigen

dabei auch gleich noch, dass ein Ma auf /

ist.
Es seien A
1
, A
2
, . . . /

paarweise disjunkt. Dann hat man f ur jedes M

und N N
(M) =
N

j=1
(M A
j
) +
_
M
N

j=1
A
c
j
_
.
Dies zeigt man induktiv: F ur N = 1 ist dies nichts anderes als die Messbarkeit
von A
1
. Ist die Gleichung f ur N schon gezeigt, so folgt aus der Messbarkeit von
14
A
N+1
und aus A
j
A
N+1
= f ur j = 1, . . . N
(M) =
N

j=1
(M A
j
) +
_
M
N

j=1
A
c
j
A
N+1
. .
=A
N+1
_
+
_
M
N

j=1
A
c
j
A
c
N+1
_
=
N+1

j=1
(M A
j
) +
_
M
N+1

j=1
A
c
j
_
.
Aus der Monotonie von erhalten wir dann
(M)
N

j=1
(M A
j
) +
_
M

j=1
A
c
j
_
=
N

j=1
(M A
j
) +
_
M
_

_
j=1
A
j
_
c
_
.
Im Limes N bekommen wir mit Hilfe der -Subadditivitat von , indem
wir A =

j=1
A
j
setzen, schlielich
(M)

j=1
(M A
j
) + (M A
c
) (M A) + (M A
c
) . (2.1)
Umgekehrt folgt aus der Subadditivitat auch
(M) (M A) + (M A
c
) .
Dies zeigt, dass A messbar ist.
Wahlt man speziell M = A, so liefert (2.1)
(A)

j=1
(A
j
).
Die umgekehrte Ungleichung folgt wieder aus der -Subadditivitat, so dass sich
in der Tat
(A) =

j=1
(A
j
).
ergibt.
Wir konnen nun den Fortsetzungssatz beweisen:
Beweis von Satz 2.10. Es sei ein Prama auf einem Ring / auf . Nach Lemma
2.14 ist

ein aueres Ma auf . Nach Satz 2.16 gen ugt es zu zeigen, dass jedes
15
A /

-messbar ist und

(A) = (A) erf ullt. F ur ersteres wiederum gen ugt

es wegen

(M)

(M A) +

(A A
c
)
(Subadditivitat) nachzuweisen, dass auch

(M)

(M A) +

(A A
c
)
gilt.
Es sei also A /. F ur

(M) = ist die Behauptung klar. F ur

(M) <
lassen sich zu jedem > 0 Elemente A
1
, A
2
, . . . / nden, so dass

(M) +

j=1
(A
j
) =

j=1
(A
j
A) +

j=1
(A
j
A
c
)
ist. Hiebei haben wir ausgenutzt, dass / ein Ring ist und (A
j
) = (A
j
A) +
(A
j
A
c
) f ur jedes j gilt. Nach Konstruktion von

ist dann wegen M A

j=1
(A
j
A) und M A
c

j=1
(A
j
A
c
) aber

(M) +

(M A) +

(M A
c
).
Da beliebig war, folgt die Behauptung.
Es bleibt zu zeigen, dass

(A) = (A) ist. Mit A

1
= A und A
2
= A
3
= . . . =
ersieht man unmittelbar aus der Denition von

, dass

(A) (A) + () + () + . . . = (A)

ist. Um die umgekehrte Ungleichung einzusehen, beachte, dass f ur jede Folge
A
1
, A
2
, . . . / mit A A
1
A
2
. . . wegen der -Additivitat von auf / gilt
(A) =

j=1
(A
j
A)

j=1
(A
j
),
so dass auch (A)

(A) sein muss.

F ur den Beweis von Satz 2.12 benotigen wir die in den

Ubungaufgaben be-
reitgestellten Tatsachen uber Dynkin-Systeme.
Beweis von Satz 2.12 . Nach Satz 2.10 bleibt zu zeigen, dass

durch seine Werte

auf / auf ganz (/) eindeutig festgelegt ist. Es sei dazu
t
ein weiteres Ma auf
(/) mit

(A) =
t
(A) f ur alle A /. Da -endlich ist, gibt es Mengen
B
1
, B
2
, . . . / mit (B
j
) < f ur alle j und B
1
B
2
. . . = . Wie in Teil 3
des Beweises von Satz 2.16 sieht man, dass diese B
j
o.B.d.A. disjunkt gewahlt
werden konnen
Zu jedem B
j
denieren wir ein System der guten Mengen
(
j
:= A :

(A B
j
) =
t
(A B
j
).
16
Aus den Maeigenschaften von

und
t
ergibt sich, dass jedes (
j
ein Dynkin-
System ist: Erstens ist oenbar (
j
. Zweitens gilt f ur A (
j
auch

(A
c
B
j
) =

(B
j
)

(A B
j
) =
t
(B
j
)
t
(A B
j
) =
t
(A
c
B
j
),
denn

(B
j
) = (B
j
) =
t
(B
j
), und somit A
c
(
j
. Drittens schlielich ist f ur
paarweise disjunkte A
1
, A
2
, . . . (

_
B
j

_
i=1
A
i
_
=

i=1

(A
i
B
j
) =

i=1

t
(A
i
B
j
) =
t
_
B
j

_
i=1
A
i
_
und also A
1
A
2
. . . (
j
.
Da f ur jedes j oenbar / (
j
ist und / mit je zwei Mengen auch deren
Schnitt enthalt, folgt mit Aufgabe 4 von Blatt 1 nun
(/) = (/) (
j
.
Mit anderen Worten: F ur jedes j und jedes A (/) ist

(AB
j
) =
t
(AB
j
).
Summation uber alle j ergibt dann

(A) =
t
(A).

Bemerkung. Eine Inspektion dieses Beweises zeigt, dass wir das folgende Ein-
deutigkeitsresultat f ur Mae bewiesen haben: Ist (, /) ein messbarer Raum, auf
dem zwei Mae
1
und
2
gegeben sind, und ist ( / ein Mengensystem mit

1
(C) =
2
(C) C ( und (() = /,
das erstens mit je zwei Mengen auch deren Schnitt enthalt und in dem zweitens
eine Folge B
1
, B
2
, . . . mit

j=1
B
j
= und
1
(B
j
) =
2
(B
j
) < f ur alle j
existiert, so folgt
1
=
2
.
Um das Lebesgue-Ma zu konstruieren, bleibt nach diesen theoretischen Vor-
bereitungen nur noch ein letzter Schritt:
Lemma 2.17 Der Elementarinhalt ist sogar ein Prama.
Beweis. Es seien A
1
, A
2
, . . . T mit

j
A
j
= A T. F ur alle N N ist dann
A A
1
. . . A
N
und daher
(A)
_
N
_
j=1
A
j
_
=
N

j=1
(A
j
).
Mit N folgt daher
(A)

j=1
(A
j
).
17
Um die umgekehrte Ungleichung zu zeigen zerschneiden wir gema Lemma
2.7 A und jedes A
j
in endlich viele disjunkte halboene Quader Q
i
, i I, bzw.
Q
ji
, i I
j
, mit
A =
_
iI
Q
i
bzw. A
j
=
_
iI
j
Q
ji
.
Zu > 0 kann ein jeder Quader Q = [a
1
, b
1
) . . . [a
n
, b
n
) von innen durch
einen Quader
Q
in
() = [a
1
, b
1
) . . . [a
n
, b
n
)
und von auen durch einen Quader
Q
au
() = [a
1
, b
1
) . . . [a
n
, b
n
)
approximiert werden, so dass
Q
in
() Q (Q
in
())

gilt. Dabei ist oenbar

lim
0
(Q
in
()) = lim
0
(Q
in
())

) = (Q).
Es gilt dann
_
iI
Q
in
i
() A =

_
j=1
_
iI
j
Q
ji

_
j=1
_
iI
j
(Q
au
ji
())

.
Da nun aber der erste Term als endliche Vereinigung kompakter Mengen wieder
kompakt ist, gibt es eine endliche Indexmenge J mit
_
iI
Q
in
i
()
_
(i,j)J
(Q
au
ji
())

.
Erst recht gilt also
_
iI
Q
in
i
()
_
(i,j)J
Q
au
ji
().
Aus der endlichen Additivitat und der Monotonie des Inhalts folgt damit

iI
(Q
in
i
())

(i,j)J
(Q
au
ji
()).
Lasst man in dieser Ungleichung 0 gehen, bekommt man schlielich
(A) =

iI
(Q
i
)

(i,j)J
(Q
ji
)

j=1

iI
j
(Q
ji
) =

i=1
(A
j
).
18

Bemerkung. ist auf T sogar -endlich, denn es ist ja z.B. f ur A

j
= [j, j)
n

_
j=1
A
j
= R
n
und (A
j
) = (2j)
n
< .
Mit Satz 2.12 konnen wir nun eindeutig auf (T) fortsetzen.
Denition 2.18 Man nennt B := (T) die -Algebra der Borel-Mengen, ihre
Elemente auch Borel-messbar. Der Elementarinhalt lasst sich eindeutig zu einem
Ma auf B fortsetzen, das wir das Lebesgue-Borel-Ma auf (R
n
, B) nennen.
Um die Dimension des zugrunde liegenden Raumes R
n
hervorzuheben, schrei-
ben wir gelegentlich auch
n
bzw. B
n
.
Tatsachlich ist die -Algebra /

, die sich aus dem Fortsetzungssatz ergibt,

sogar groer als das System der Borel-Mengen.
Denition 2.19 Man nennt / := /

die -Algebra der Lebesgue-Mengen, ihre

Elemente auch Lebesgue-messbar. Das Ma

[
/
auf / heit Lebesgue-Ma auf
R
n
und wird oft auch einfach wieder mit bezeichnet.
Wieder schreiben wir gelegentlich auch
n
bzw. /
n
.
In den

Ubungsaufgaben werden wir eine Lebesgue-Menge konstruieren, die
nicht mehr Borel-messbar ist. Man kann sogar zeigen, dass es wesentlich mehr
Lebesgue-Mengen als Borel-Mengen gibt: B hat die gleiche Machtigkeit wie R,
wahrend B die gleiche Machtigkeit wie T(R) hat.
Es sei noch bemerkt, dass sich das Lebesgue-Borel-Ma und das Lebesgue-
Ma nach Beispiel 7 von Seite 7 auf beliebige Borel- bzw. Lebesgue-messbare
Mengen A einschranken lassen. Wenn keine Verwechslungen entstehen konnen,
bezeichnet man die Einschrankungen A oft auch wieder mit .
Es stellt sich heraus, dass das Lebesgue-Ma gerade die Vervollstandigung des
Lebesgue-Borel-Maes ist:
Lemma und Denition 2.20 Ist (, /, ) ein Maraum, so ist

/ := A N : A / und B / mit N B und (B) = 0

wieder eine -Algebra. lasst sich durch
(A N) := (A),
eindeutig zu einem Ma auf

/ fortsetzen. Man nennt die Vervollstandigung
von .
19
Beweis.

Ubung!
In der Tat ist es manchmal n utzlich, auf diese Weise die Klasse der zulassi-
gen Mengen noch um die Teilmengen derjenigen Mengen zu vergroern, deren
Ma verschwindet. Andererseits muss man beim Arbeiten mit mehreren Maen
beachten, dass die in der Vervollstandigung konstruierte -Algebra explizit von
dem zugrunde liegenden Ma abhangt.
Dass nun das Lebesgue-Ma wirklich die Vervollstandigung des Lebesgue-
Borel-Maes ist, ergibt sich aus dem folgenden Satz, den wir hier allerdings nicht
beweisen.
Satz 2.21 Es sei ein -endliches Prama auf einem Ring / auf . Dann ist

[
,

die Vervollstandigung von

[
(,)
.
Beweis. Freiwillige

Ubung. (S. etwa [El, Satz 2.6.4]).
Bemerkung. Der Satz zeigt, dass das Lebesgue-Ma die einzige Fortsetzung des
Elementarinhalts auf die Lebesgue-messbaren Mengen ist, da f ur jede Fortsetzung
und jede Lebesgue-Menge A N, wobei A B und N B B mit (B) = 0
ist, gilt
(A) = (A) (A N) (A B) = (A B) = (A),
also (A N) = (A).
Abschlieend halten wir noch eine wichtige Eigenschaft des Lebesgue-Maes
fest:
Satz 2.22 (i) Das Lebesgue-Ma ist translationsinvariant, d.h. f ur jedes x
R
n
und jedes Lebesgue-messbare A ist auch x + A messbar und es gilt
(A) = (x + A).
(ii) ist das einzige translationsinvariante Ma auf /, das dem Einheitsw urfel
[0, 1)
n
das Ma 1 zuweist.
Beweis. (i) Es ist leicht zu sehen, dass der Elementarinhalt diese Eigenschaft
erf ullt und damit nach Konstruktion dann auch

.
(ii) Nat urlich ist ([0, 1)
n
) = 1. Es sei ein weiteres translationsinvariantes
Ma auf R
n
mit ([0, 1)
n
) = 1. F ur p N
0
und q N kann man den W urfel
[0, p)
n
sowohl in p
n
disjunkte Translationen von [0, 1)
n
als auch in q
n
disjunkte
Translationen von [0, pq
1
)
n
zerlegen. Es folgt
p
n
= p
n
([0, 1)
n
) = ([0, p)
n
) = q
n
([0, pq
1
))
und damit ([0, r)) = r
n
f ur alle r Q
+
. (Da von unten stetig ist, gilt dann
sogar ([0, r)) = r
n
r R
+
).
20
Ist nun Q = [0, b
1
) . . . [0, b
n
), r > 0 und 0
j
< r, so dass
_
b
j
r
_
r +
j
= b
j
, j = 1, . . . , n
ist, so gibt es

b
j
r
| disjunkte Translationen von [0, r)
n
, die ganz in Q liegen
und

j
(
b
j
r
| + 1) disjunkte Translationen von [0, r)
n
, die ganz in Q uberdecken.
Also folgt

j
__
b
j
r
_
r
_
= r
n

j
_
b
j
r
_
(Q) r
n

j
__
b
j
r
_
+ 1
_
=

j
___
b
j
r
_
+ 1
_
r
_
.
Mit r 0 ergibt sich
b
j
r
|r b
j
und somit
(Q) =

j
b
j
= (Q).
Wegen der Translationsinvarianz von und ist dann (Q) = (Q) f ur alle
halboenen Quader und dann auch = auf T nach Lemma 2.7, also = auf
B nach Satz 2.12 und schlielich = auf / nach Lemma und Denition 2.20.

2.3 Messbare Mengen

Die zum Ende des vorigen Abschnitts betrachteten Mengen vom Ma Null spielen
eine spezielle Rolle in der Matheorie, so dass sie einen eigenen Namen bekommen.
Denition 2.23 Es sei (, /, ) ein Maraum.
(i) Eine Menge N / mit (N) = 0 heit Nullmenge.
(ii) Enthalt / mit jeder Nullmenge auch alle ihre Teilmengen, so nennt man
(, /, ) vollstandig.
Beispiele:
1. Jede abzahlbare Teilmenge des R
n
ist eine Borelsche Nullmenge. Allgemei-
ner ist jede abzahlbare Vereinigung von Nullmengen wieder eine Nullmenge.
2. Ist n 2 und f : R
n1
R stetig, so ist
graph f = x R
n
: x
n
= f(x
1
, . . . , x
n1
)
eine Nullmenge in R
n
.
21
Es gen ugt zu begr unden, dass der Graph graph f[
Q
der Einschrankung auf
einen beliebigen halboenen Quader Q der Seitenlange 1 eine Nullmenge
ist, denn mit Q
z
= [z
1
, z
1
+1) . . . [z
n1
, z
n1
+1) f ur z Z
n1
ist dann
graph f =
_
zZ
n1
graph f[
Qz
als abzahlbare Vereinigung von Nullmengen wieder eine Nullmenge. Da f
auf Q aber gleichmaig stetig ist (Q ist kompakt), gibt es zu jedem > 0
ein N N mit
[x x
t
[

N
1
= [f(x) f(x
t
)[ < .
Zerlegt man Qalso in N
n1
disjunkte halboene Quader

Q
i
, i = 1, . . . , N
n1
,
der Seitenlange N
1
und setzt a
i
= inf

Q
i
f, so ist
graph f[
Q

N
n1
_
i=1

Q
i
[a
i
, a
i
+ ].
Dabei ist aber

_
N
n1
_
i=1

Q
i
[a
i
, a
i
+ ]
_
= N
n1
(N
1
)
N1
= .
Mit 0 folgt, dass graph f eine Lebesguesche Nullmenge ist. (graph f
ist als abgeschlossene Menge sogar eine Borel-Menge.)
3. Das Lebesgue-Ma ist (wie nat urlich jede Vervollstandigung) vollstandig.
Man kann zeigen, dass das Borel-Ma nicht vollstandig ist, d.h. dass B /
gilt, vgl. die

Ubungsaufgaben.
Unser nachstes Ziel ist es, moglichst viele Mengen als Borel-messbar zu er-
kennen.
Satz 2.24 Es sei O das System der oenen Mengen, ( das System der abge-
schlossenen Mengen und / das System der kompakten Mengen auf R
n
. Dann
gilt
B = (O) = (() = (/).
Insbesondere sind also alle oenen und abgeschlossenen Mengen Borel-messbar.
Bemerkung. In allgemeinen topologischen Raumen deniert man die -Algebra
der Borel-Mengen durch B := (O). Oenbar gilt dann
B = (O) = (() (/).
22
I.A. ist aber B ,= (/).

Ubung: Bestimmen Sie B = (O) und (/) auf einer Menge , die mit der
diskreten Metrik versehen ist.
Beweis. Jede oene Menge lasst sich als abzahlbare Vereinigung halboener ach-
senparalleler Quader schreiben: Ist U R
n
oen und x U, so gibt es einen
halboenen Quader Q U mit x Q, so dass Q nur rationale Eckpunkte hat,
d.h. es ist
Q = [a
1
, b
1
) . . . [a
n
, b
n
) mit a
1
, . . . , a
n
, b
1
, . . . , b
n
Q.
Dies zeigt, dass die (abzahlbare) Vereinigung aller in U liegenden halboenen
Quader mit rationalen Eckpunkten ganz U ist.
Somit gilt O B und durch Komplementbildung auch / ( B. Also:
(O), ((), (/) B.
Umgekehrt lasst sich jeder halboene Quader Q = [a
1
, b
1
) . . . [a
n
, b
n
)
als abzahlbarer Schnitt von oenen Mengen und als abzahlbare Vereinigung von
abgeschlossenen (sogar kompakten) Mengen schreiben:
Q =

j=1
(a
1
j
1
, b
1
) . . . (a
n
j
1
, b
n
) =

_
j=1
[a
1
, b
1
j
1
] . . . [a
n
, b
n
j
1
],
so dass auch
B (O), ((), (/)
ist.
Beispiel: Die Cantormenge (oder auch das Cantorsche Diskontinuum) C ist
wie folgt deniert: Aus dem Intervall [0, 1] entfernt man das oene Intervall A
1,1
mit dem gleichen Mittelpunkt und einem Drittel an Lange, also A
1,1
= (
1
3
,
2
3
),
so dass zwei Intervalle der Lange
1
3
ubrigbleiben. Aus jedem dieser entfernt man
nun jeweils ein oenes Intervall A
2,1
bzw. A
2,2
mit dem gleichen Mittelpunkt
und einem Drittel an Lange, also A
2,1
= (
1
9
,
2
9
) bzw. A
2,2
= (
7
9
,
8
9
), so dass vier
Intervalle der Lange
1
9
zur uckbleiben. So fortfahrend entfernt man in der k-ten
Iteration 2
k1
Intervalle A
k,1
, . . . , A
k,2
k1 jeweils der Lange
1
3
k
. Schlielich setzt
man
C = [0, 1]

_
k=1
2
k1
_
i=1
A
k,i
.
Da alle A
k,i
oen sind, ist C abgeschlossen (sogar kompakt) und damit Borel-
messbar. C ist eine Nullmenge:
(C) = 1

k=1
2
k1

i=1
(A
k,i
) = 1

k=1
2
k1

i=1
3
k
= 1
1
3

k=0
_
2
3
_
k
= 1
1
3
1
1
2
3
= 0.
23
Mengentheoretisch ist C jedoch genauso gro wie R:

Ubung: #C = #R.
Tipp: Zeigen Sie, dass C =
_

k=1
a
i
3
k
: a
i
0, 2
_
gilt, d.h. dass die Menge C
gerade aus denjengen Punkten in [0, 1] besteht, die sich im triadischen System
ohne Verwendung der Zier 1 darstellen lassen.
Bemerkung: Ohne Beweis erwahnen wir noch, dass das Borel-Ma von innen
und auen regular ist: F ur jede Borel-Menge A gilt
(A) = sup(K) : K A ist kompakt = inf(U) : U A ist oen.
So gut wie alle Mengen, die man vern unftigerweise betrachtet, sind Lebesgue-
messbar. Mit Hilfe des Auswahlaxioms lasst sich jedoch auch eine nicht-Lebesguesche
Teilmenge von R nden:
Beispiel: Auf [0, 1] deniere man eine

Aquivalenzrelation x y durch
x y : x y Q.
(Das ist tatsachlich eine

Aquivalenzrelation!) Aus jeder

Aquivalenzklasse wahlen
wir einen Reprasentanten und denieren V [0, 1] als die Menge dieser Re-
prasentanten. F ur q, r Q mit q ,= r ist dann
(q + V ) (r + V ) = ,
denn gabe es a, b V mit q + a = r + b, so waren a und b wegen a b =
r q aquivalent aber verschieden, was der Konstruktion von V widerspricht.
Andererseits ist
[0, 1]
_
qQ[1,1]
(q + V ) [1, 2],
denn zu jedem x [0, 1] gibt es ein a V mit x a, also x a Q, wobei
[x a[ 1 ist, und aus 1 q 1, 0 a 1 folgt q + a [1, 2].
Ware nun V messbar, so m usste wegen der Translationsinvarianz des Lebesgue-
Maes
1 = ([0, 1])

qQ[1,1]
(q + V ) ([1, 2]) = 3
gelten, wobei (q + V ) = (V ) f ur alle q ist. Sowohl f ur (V ) = 0 als auch
f ur (V ) > 0 f uhrt dies zu einem Widerspruch. (Man nennt V auch eine Vitali-
Menge.)
Dieses Beispiel zeigt insbesondere, dass sich nicht zu einem translations-
invarianten Ma auf ganz T(R) fortsetzen lasst, was die schon zu Beginn des
Abschnitts 2.1 gemachte Bemerkung begr undet, dass Mae im Allgemeinen nicht
auf ganz T() zu betrachten sind.
24
Kapitel 3
Integrationstheorie
Wir f uhren nun das zu Beginn von Kapitel 2 vorgestellte Programm weiter, indem
wir nun versuchen, moglichst allgemeinen Funktionen f : R (oder sogar
f : R , ) ein Integral uber bez uglich zuzuordnen.
3.1 Messbare Funktionen
Ist (, /, ) mit (wie ublich) / , = T(), so ist es nicht moglich, beliebige f :
R zu integrieren. Wir m ussen voraussetzen, dass f mit den -Algebren /
und B vertraglich ist. Allgemein deniert man:
Denition 3.1 Es seien (, /), (
t
, /
t
) messbare Raume.
(i) Eine Abbildung f :
t
heit /-/
t
-messbar, wenn gilt
f
1
(A
t
) / A
t
/
t
.
(ii) Ist (
t
, /
t
) = (R, B), so nennt man eine /-B-messbare Abbildung auch
einfach /-messbar.
(iii) Ist (, /) = (R
n
, /) und (
t
, /
t
) = (R, B), so nennt man eine /-B-
messbare Abbildung auch einfach messbar.
Insbesondere werden wir f ur Funktionen f : R den Bildraum R immer mit
der -Algebra der Borel-Mengen B versehen.
Es ist in der Integrationstheorie oft praktisch, auch die Funktionswerte
zuzulassen, d.h. f :

R = R zu betrachten. Dazu kann man
einfach B zur -Algebra

B fortsetzen, die aus allen Mengen der Form
B, B , B und B ,
mit B B besteht. (Dies ist wirklich eine -Algebra!)
25
Denition 3.2 Ist (, /) ein messbarer Raum, so nennt man eine /-

B-messbare
Funktion f :

R eine /-messbare numerische Funktion.
Reellwertige /-messbare numerische Funktionen sind nat urlich /-messbar.
Ein Kriterium, das die

Uberpr ufung der Messbarkeit von Funktionen sehr
vereinfacht ist das folgende:
Satz 3.3 Es seien (, /), (
t
, /
t
) messbare Raume, ( /
t
mit (() = /
t
.
f :
t
ist genau dann /-/
t
-messbar, wenn
f
1
(C) / C (
gilt.
Beweis. Es ist leicht nachzupr ufen, dass das System der guten Mengen
A
t
/
t
: f
1
(A
t
) /
eine -Algebra ist. Da es ( enthalt, muss es auch (() = / enthalten, so dass
die angegebene Bedingung hinreichend ist. Die Notwendigkeit ist klar.
Korollar 3.4 Eine Funktion f : R
n
R
m
ist Borel-messbar (d.h. B
n
-B
m
-
messbar) genau dann, wenn f
1
(U) R
n
f ur jede oene Menge U R
m
Borel-
messbar ist.
Insbesondere sind alle stetigen Funktionen f : R
n
R
m
Borel-messbar.
Beweis. Klar.
Korollar 3.5 Es sei (, /) ein messbarer Raum und f :

R eine Abbildung.
Dann sind aquivalent:
(i) f ist eine /-messbare numerische Funktion.
(ii) f
1
([, a)) / f ur alle a Q.
(iii) f
1
([, a]) / f ur alle a Q.
(iv) f
1
((a, ]) / f ur alle a Q.
(v) f
1
([a, ]) / f ur alle a Q.
Abk urzend schreibt man die Mengen aus (ii) auch als f < a := x : f(x) <
a = f
1
((, a)) und entspechend f a, f > a, f a in (iii), (iv)
bzw. (v).
26
Beweis. Es ist klar, dass f ur messbares f und jedes a R all die Mengen f < a,
f a, f > a und f a in / liegen. Um etwa (ii) = (i) zu zeigen,
gen ugt es nach Satz 3.3 zu begr unden, dass
( = (, a) : a Q
die -Algebra

B erzeugt. Das aber sieht man so: Zunachst ergibt sich der Reihe
nach, dass
=

kN
[, k), R =
_
kN
[, k) ,
=

R (R ) und ,
in (() liegen.
Weiter kann man f ur a, b R Folgen a
k
a und b
k
b mit a
k
, b
k
Q
wahlen, so dass gilt
[a, b) = [, b) [, a) =
_
_
k
[, b
k
)
_

_
_
k
[, b
k
)
_
((),
was zeigt, dass (()[
R
=

B R :

B (() = B ist.
Zusammengefasst folgt
B, B , B und B ,

B
f ur alle B B.

Ubung: Zeigen Sie die noch nicht bewiesenen Implikationen.

Proposition 3.6 Sind (, /), (
t
, /
t
), (
tt
, /
tt
) messbare Raume und f :

t
/-/
t
-messbar, g :
t

tt
/
t
-/
tt
-messbar, so ist g f :
tt
/-/
tt
-
messbar.
Beweis. Klar: F ur A /
tt
ist g
1
(A) /
t
und daher f
1
(g
1
(A)) /.
Achtung! Sind f, g : R R messbar gema Denition 3.1, also /-B-messbar,
so muss g f nicht messbar sein. Proposition 3.6 garantiert dies nur, wenn f
/-B-messbar und g B-B-messbar oder wenn f /-/-messbar und g /-B-messbar
ist. In den

Ubungsaufgaben werden wir sehen, dass es eine stetige (und damit
/-B-messbare) Funktion f gibt, die aber nicht /-/ messbar ist. Es gibt also ein
A / mit f
1
(A) / /. Verkn upft mit der messbaren Funktion g =
A
ist dann
aber
(g f)
1
(1) = f
1
(g
1
(1)) = f
1
(A) / /.
Wir zeigen nun, dass sich aus messbaren Funktionen viele weitere messbare
Funktionen ergeben.
27
Proposition 3.7 Es seien f, g, f
1
, f
2
, . . . /-messbare numerische Funktionen auf
einem messbaren Raum (, /), t R, p > 0. Dann sind auch
(i) [f[
p
, (ii) tf, (iii) f
+
, (iv) f

,
(v) maxf, g, (vi) minf, g, (vii) f + g, (viii) f g,
(ix) sup
kN
f
k
, (x) inf
kN
f
k
, (xi) limsup
k
f
k
, (xii) liminf
k
f
k
,
(xiii) lim
k
f
k
(in (vii) falls uberall deniert, d.h. f ur kein x der Fall f(x), g(x) =
, auftritt, und in (xiii) falls existent) /-messbare numerische Funktio-
nen.
Beweis. Wir zeigen exemplarisch (i), (vii), (viii), (ix) und (xi). Die ubrigen Aus-
sagen ergeben sich direkt aus diesen oder sind einfach.
(i) Das folgt aus Korollar 3.5, denn f ur jedes a R ist
[f[
p
< a =
_
/ f ur a < 0,
f > a
1/p
f < a
1/p
/ f ur a 0.
(vii) Das folgt wieder aus Korollar 3.5, denn f ur jedes a R ist
f + g < a = f < a g =
_
qQ
f < q q < a g
=
_
qQ
f < q g < a q /.
(viii) Wegen fg = f
+
g
+
f

g
+
f
+
g

+f

darf man nach (ii), (iii), (iv)

und (vii) o.B.d.A. f, g 0 annehmen. F ur alle a 0 ist dann fg < a = /
und auch f ur a > 0 ist
fg < a =
__
f <
a
g
_
g > 0
_
g = 0
=
_
_
_
qQ(0,)
f < q
_
q <
a
g
_
g > 0
_
_
g = 0
=
_
_
_
qQ(0,)
f < q
_
g <
a
q
_
g > 0
_
_
g 0 g 0) /.
(ix) Auch das folgt aus Korollar 3.5, denn f ur jedes a R ist
sup
k
f
k
a =

k
f
k
a /.
28
(xi) Nach (ix) und (x) ist limsup
k
f
k
= inf
kN
sup
mk
f
m
eine /-messbare
numerische Funktion.

Ubung: Zeigen Sie die ubrigen Aussagen!

Die Messbarkeit vektorwertiger Abbildungen ergibt sich in einfacher Weise
aus der Messbarkeit der Komponentenfunktionen.
Proposition 3.8 Es sei (, /) ein messbarer Raum und f = (f
1
, . . . , f
m
) :
R
m
. Dann ist f /-B
m
-messbar genau dann, wenn alle f
j
/-B
1
messbar sind.
Beweis. Das folgt direkt aus Satz 3.3: Sind die f
j
/-messbar, so gilt f ur alle
a
1
, . . . , a
n
, b
1
, . . . , b
n
R
f
1
([a
1
, b
1
) . . . [a
n
, b
n
)) = x : a
1
f
1
(x) < b
1
, . . . , a
n
f
1
(x) < b
n
,
= f
1
([a
1
, b
1
)) . . . f
1
([a
n
, b
n
)) /,
was zeigt, dass f /-B
m
-messbar ist. Ist umgekehrt f als /-B
m
-messbar voraus-
gesetzt, so folgt
f
1
j
([a, b)) = f
1
(R . . . R
. .
(j 1)-mal
[a, b) (R . . . R
. .
(n j 1)-mal
) /,
f ur jedes j 1, . . . , m und alle a, b R, weshalb alle f
j
/-messbar sind.
3.2 Das Integral
Das Integral f ur einfache Funktionen
Das Pendant zu den (nicht-negativen) Treppenfunktionen sind in der Lebesgue-
schen Theorie die einfachen Funktionen:
Denition 3.9 Ist (, /) ein messbarer Raum, so heit jede Funktion f : R
von der Form
f =
N

j=1
a
j

A
j
, A
1
, . . . , A
N
/, a
1
, . . . , a
N
R
+
, N N,
einfach.
Bemerkung. Die einfachen Funktionen sind also gerade diejenigen nicht-negativen
/-messbaren Funktionen, die nur endlich viele Werte annehmen. Dabei lassen sich
die A
j
immer als paarweise disjunkt wahlen, indem man f ur f() = a
1
, . . . , a
N

die A
j
als A
j
= f
1
(a
j
) wahlt. Oensichtlich sind mit f, g einfach und a 0
auch
f + g und af
einfach.
29
Denition 3.10 Es sei (, /, ) ein Maraum und f =

N
j=1
a
j

A
j
eine ein-
fache Funktion mit paarweise disjunkten A
1
, . . . , A
N
/, N N. Dann setzt
man
_

f d :=
N

j=1
a
j
(A
j
)
und nennt diesen Wert das Integral von f uber bez uglich .
Das folgende Lemma zeigt, dass dieser Begri wohldeniert ist:
Lemma 3.11 Es sei f einfach mit
f =
N

j=1
a
j

A
j
=
N

j=1
a
t
j

j
f ur paarweise disjunkte A
1
, . . . , A
N
/ und paarweise disjunkte A
t
1
, . . . , A
t
N

/, N, N
t
N. Dann gilt
N

j=1
a
j
(A
j
) =
N

j=1
a
t
j
(A
t
j
).
Beweis. Indem wir gegebenenfalls 0
\

j
A
j
bzw. 0
\

j
A

j
addieren, konnen
wir o.B.d.A.
A
1
. . . A
N
= A
t
1
. . . A
t
N
=
annehmen. Es gilt dann

i,j
a
i

A
i
A
j
=

i
a
i

A
i
= f =

j
a
t
j

j
=

i,j
a
t
j

A
i
A

j
.
Da die Mengen A
i
A
t
j
paarweise disjunkt sind, muss f ur jedes Indexpaar (i, j)
mit A
i
A
t
j
,= daher a
i
= a
t
j
gelten. Dann aber ist

i
a
i
(A
i
) =

i,j
a
i
(A
i
A
j
) =

i,j
a
t
j
(A
i
A
t
j
) =

j
a
t
j
(A
t
j
).

Beispiel: Schon jetzt konnen wir Funktionen integrieren, die nicht Riemann-
integrierbar sind: Da [0, 1] Q eine Borel-Menge ist, ist
[0,1]Q
einfach. Dabei
ist _
R

[0,1]Q
d = ([0, 1] Q) = 0,
da [0, 1] Q abzahlbar ist.
30
Lemma 3.12 Sind f, g einfache Funktionen auf einem Maraum (, /, ) und
a 0, so ist
(i)
_

af d = a
_

f d,
(ii)
_

f + g d =
_

f d +
_

g d und
(iii) f g =
_

f d
_

g d.
Beweis. (i) ist klar.
(ii) Es seien
f =
N

j=1
a
j

A
j
und g =
N

j=1
a
t
j

j
mit paarweise disjunkten A
1
, . . . , A
N
/und paarweisen disjunkten A
t
1
, . . . , A
t
N

/, N, N
t
N, deren jeweilige Vereinigung wieder o.B.d.A. ganz sei. Dann ist
f =

i,j
a
i

A
i
A

j
und g =

i,j
a
t
j

A
i
A

j
,
wobei die A
i
A
t
j
paarweise disjunkt sind, so dass sich
_

(f + g) d =

i,j
(a
i
+ a
t
j
)(A
i
A
t
j
)
=

i,j
a
i
(A
i
A
t
j
) +

i,j
a
t
j
(A
i
A
t
j
)
=

i
a
i
(A
i
) +

j
a
t
j
(A
t
j
)
=
_

f d +
_

g d
ergibt.
(iii) Mit den Bezeichnungen aus (ii) erhalten wir aus

i,j
a
i

A
i
A

j
= f g =

i,j
a
t
j

A
i
A

j
,
dass a
i
a
t
j
gilt, wann immer A
i
A
t
j
,= ist, und somit
_

f d =

i,j
a
i
(A
i
A
t
j
)

i,j
a
t
j
(A
i
A
t
j
) =
_

g d.

31
Das Integral f ur nicht-negative messbare Funktionen
Das Integral f ur allgemeine nicht-negative messbare numerische Funktionen wol-
len wir durch Approximation mit einfachen Funktionen denieren. Dazu benoti-
gen wir die folgenden Vorbereitungen.
Lemma 3.13 Es seien f
1
f
2
. . . und f einfache Funktionen auf einem
Maraum (, /, ) mit f lim
k
f
k
. Dann gilt
_

f d lim
k
_

f
k
d.
(Beachte, dass wegen der Monotonie der Folge (f
k
) der punktweise Grenzwert
lim
k
f
k
und der Limes lim
k
_

f
k
d in [0, ] exstieren.)
Beweis. Es sei 0 t < 1. Dann ist f ur jedes k N
B
k
:= f
k
tf = f
k
tf 0 /.
Nach Voraussetzung ist dabei B
1
B
2
. . . und

k
B
k
= . Wahle a
j
0,
A
j
/, j = 1, . . . , N, mit
f =
N

j=1
a
j

A
j
.
Da stetig von unten ist (vgl. die

Ubungsaufgaben), folgt damit
t
_
f d = t
N

j=1
a
j
(A
j
) = t lim
k
N

j=1
a
j
(A
j
B
k
)
= lim
k
_
tf
B
k
d lim
k
_
f
k

B
k
d lim
k
_
f
k
d.
t [0, 1) war aber beliebig, so dass die Behauptung folgt.
Korollar 3.14 Es seien f
1
f
2
. . . und g
1
g
2
. . . einfache Funktionen
auf einem Maraum (, /, ) mit lim
k
f
k
= lim
k
g
k
. Dann gilt
lim
k
_

f
k
d = lim
k
_

g
k
d.
Beweis. F ur jedes m N ist f
m
lim
k
f
k
= lim
k
g
k
und daher nach
Lemma 3.13 _
f
m
d lim
k
_
g
k
d.
Mit m zeigt dies
lim
m
_
f
m
d lim
k
_
g
k
d.
Die umgekehrte Ungleichung folgt analog.
Als letzte Vorbereitung zeigen wir:
32
Lemma 3.15 Es sei (, /) ein messbarer Raum. Eine Funktion f :

R ist
genau dann eine nicht-negative /-messbare numerische Funktion f, wenn es eine
monoton wachsende Folge einfacher Funktionen (
k
) mit
k
f gibt.
Beweis. Nach Proposition 3.7 ist jeder Limes einer Folge einfacher Funktionen
eine nicht-negative /-messbare numerische Funktion. Die Umkehrung ergibt sich,
indem man etwa

k
=
k2
k

j=1
j 1
2
j

A
k
,j
, A
k,j
= f
1
__
j 1
2
j
,
j
2
j
__
.
setzt.
Nach all diesen Vorbereitungen konnen wir denieren:
Denition 3.16 F ur eine nicht-negative /-messbare numerische Funktion f auf
einem Maraum (, /, ) deniert man
_

f d = lim
k
_

k
d,
wobei
k
eine monoton steigend gegen f konvergente Folge von einfachen Funktio-
nen ist, und nennt diesen Wert ( [0, ]) das Integral von f uber bez uglich .
Unsere Vor uberlegungen zeigen, dass dies wohldeniert ist. Indem man f ur einfa-
che Funktionen f alle
k
= f setzt, sieht man auch, dass dies mit dem Integral-
begri f ur f aus Denition 3.10 ubereinstimmt.
Lemma 3.17 Sind f, g nicht-negative /-messbare numerische Funktionen auf
einem Maraum (, /, ), a 0, so gilt dies auch f ur af und f + g und es ist
(i)
_

af d = a
_

f d,
(ii)
_

f + g d =
_

f d +
_

g d und
(iii) f g =
_

f d
_

g d.
Beweis. Nach Proposition 3.7 sind af und f + g nicht-negative /-messbare nu-
merische Funktionen.
(i) und (ii) ergeben sich unmittelbar aus den entsprechenden Punkten in Lem-
ma 3.12.
Um (ii) einzusehen, wahle einfache Funktionen
k
f und
k
g und
beachte, dass f ur jedes m N
m
f g = lim
k

k
gilt, so dass aus Lemma
3.13 _

m
lim
k
_

k
=
_
g
folgt. Die Behauptung ergibt sich nun mit m .
33
Das Integral
Das allgemeine Integral erklart man durch Zerlegung in Positiv- und Negativteil.
Denition 3.18 Eine /-messbare numerische Funktion f auf einem Maraum
(, /, ) heit integrierbar, wenn
_

f
+
d und
_

d endlich sind. In diesem

Fall setzt man _

f d =
_

f
+
d
_

d
und nennt diesen Wert ( R) das Integral von f uber bez uglich .
Die Menge der integrierbaren Funktionen wird mit L
1
(, /, ) bezeichnet.
Bemerkung.
1. Diese Denition ist moglich, da nach Proposition 3.7 ja auch f
+
und f

/-messbare numerische Funktionen sind.

2. Beachte: F ur f 0 ist f

= 0, so dass diese Denition mit Denition 3.16

vertraglich ist. Nur diejenigen f 0, nennt man aber integrierbar, f ur die
_

f d endlich ist.
3. Wenn keine Verwirrungen zu bef urchten sind, schreibt man oft auch nur
_
f oder
_
f d f ur
_

f d. Auch die Schreibweisen

_

f(x) d(x) und

_

f(x)(dx) sind gebrauchlich. Speziell f ur das Lebesgue-Ma benutzt man

auch wieder die Notation
_
f d =
_
f(x) dx.
Satz 3.19 Sind f, g L
1
(, /, ), a R, so ist auch af, f + g (wenn uberall
deniert) und [f[ L
1
(, /, ) und es gilt
(i)
_

af d = a
_

f d,
(ii)
_

f + g d =
_

f d +
_

g d,
(iii) f g =
_

f d
_

g d und
(iv) [
_

f d[
_

[f[ d.
Das Integral ist also eine monotone lineare Abbildung auf dem Vektorraum der
integrierbaren Funktionen mit Werten in R.
Beweis. Nach Proposition 3.7 sind af, f + g und [f[ /-messbare numerische
Funktionen.
(i) Wegen
(af)
+
=
_
af
+
f ur a 0,
af

f ur a 0
und (af)

=
_
af

f ur a 0,
af
+
f ur a 0
34
sind sowohl
_
(af)
+
als auch
_
(af)

endlich mit
_
af =
_
(af)
+

_
(af)

=
_
a
_
f
+
a
_
f

= a
_
f f ur a 0,
a
_
f

+ a
_
f
+
= a
_
f f ur a 0.
(ii) (f +g)
+
, f
+
und g
+
sind nicht-negative /-messbare numerische Funktio-
nen mit (f + g)
+
f
+
+ g
+
, so dass nach Lemma 3.17(iii) und (ii)
_
(f + g)
+

_
f
+
+ g
+
=
_
f
+
+
_
g
+
<
ist. Eine analoge Abschatzung gilt f ur die Negativteile. Dies zeigt, dass f + g
integrierbar ist.
Mit (f +g)
+
(f +g)

= f +g = f
+
f

+g
+
g

folgt dann wieder aus

Lemma 3.17(ii)
_
(f + g)
+
+
_
f

+
_
g

=
_
(f + g)

+
_
f
+
+
_
g
+
und damit
_
(f + g) =
_
(f + g)
+

_
(f + g)

=
_
f +
_
g.
(iii) Das folgt aus Lemma 3.17(iii) wegen f g = f
+
g
+
und f

.
(iv) ergibt sich nun aus (iii) und (i), da f, f [f[ ist.
Wir konnen nun Funktionen auch uber Teilmengen von integrieren.
Denition 3.20 Ist (, /, ) ein Maraum, M / und f eine nicht-negative
/-messbare numerische Funktion oder f L
1
(, /, ), so setzen wir
_
M
f d :=
_

f
M
d.

Ubung:

Uberlegen Sie sich, dass dieser Wert gerade
_
M
f[
M
d(M)
(vgl. Beispiel 7 von Seite 7) ist.
Speziell f ur Nullmengen gilt:
Lemma 3.21 Ist N eine Nullmenge im Maraum (, /, ) und f eine nicht-
negative /-messbare numerische Funktion oder f L
1
(, /, ), so gilt
_
N
f d = 0.
35
Beweis. Es gen ugt den Fall, dass f eine nicht-negative /-messbare numerische
Funktion ist, zu betrachten. Dazu sei
g(x) =
N
=
_
f ur x N,
0 f ur x / N.
Da die Folge der einfachen Funktionen
k
= k
M
monoton steigend gegen g
konvergiert, gilt
_

g d = lim
k

k
= lim
k
0 k(N) = 0.
Andererseits ist sicherlich f g, so dass die Behauptung aus Lemma 3.17(iii)
folgt.

Ubung: Zeigen Sie, dass f ur eine /-messbare numerische Funktion f mit f > 0
die Umkehrung gilt: Ist
_
N
f d = 0,
so muss N eine Nullmenge sein.

Ubung: Es sei [a, b] ein Intervall. Zeigen Sie dass jede Riemann-integrierbare
Funktion auf [a, b] auch Lebesgue-integrierbar ist und dass ihr Riemann-Integral
mit dem Lebesgue-Integral ubereinstimmt.
Denition 3.22 Man sagt, dass eine Aussage uber die Punkte x eines Ma-
raums (, /, ) -fast- uberall gilt (abgek urzt: -f. u.), wenn es eine Nullmenge N
gibt, so dass diese Aussage auf alle x N zutrit.
Insbesondere sagt man also, dass zwei Funktionen f und g -f. u. gleich sind,
wenn sie auerhalb einer Nullmenge ubereinstimmen. Als Korollar zu Lemma
3.21 und Satz 3.19 ergibt sich dann:
Korollar 3.23 Es seien f, g :

R /-messbare numerische Funktionen mit
f = g -f. u.
(i) Sind f und g nicht-negativ, so gilt
_

f d =
_

g d.
(ii) Ist f integrierbar, so ist auch g integrierbar und es gilt
_

f d =
_

g d.
Beweis. (i) Nach Voraussetzung ist f ,= g (= f g 0 f g 0 /)
eine Nullmenge und daher
_

f d =
_
N
c
f d + 0 =
_
N
c
g d + 0 =
_

g d.
(ii) Mit f = g f. u. ist auch f
+
= g
+
f. u. und f

= g

f. u. und daher nach (i)

_

g
+
d =
_

f
+
d ( R) und
_

d =
_

d ( R).
36
Daraus folgt die Behauptung.
Zum Ende dieses Abschnitts bemerken wir noch den folgenden elementaren
Zusammenhang: Ist eine Menge, auf der zwei -Algebren /

/ und zwei
Mae , auf / bzw.

/ gegeben sind, so dass durch fortgesetzt wird, so
gilt f ur jede /-messbare nicht-negative numerische oder integrierbare Funktion
f, die dann ja auch

/-messbar ist,
_

f d =
_

f d.

Ubung:

Uberlegen Sie sich das!
Ist insbesondere = auf

/ =

/ die Vervollstandigung von auf / (vgl.
Lemma und Denition 2.20), so ist umgekehrt jede

/-messbare Funktion f nach
geeigneter Abanderung auf einer Nullmenge schon /-messbar. (Zu jedem a Q
gibt es eine Nullmenge N
a
/mit f aN
a
/. Dann ist auch N =

aQ
N
a
eine Nullmenge und die Funktion f
t
= f
\N
+
N
erf ullt wegen
f
t
a = f a N = (f a N
a
) N / a Q
nach Korollar 3.5 die gew unschten Eigenschaften.) Aus Korollar 3.23 folgt dann
_

f
t
d =
_

f d .
Speziell in Bezug auf die Integration bez uglich des Lebesguemaes und des
Lebesgue-Borel-Maes heit das also, dass man bei Borel-messbaren Funktionen
nicht darauf achten muss, bez uglich welches dieser Mae integriert wird, und
dass bei Lebesgue-messbaren Funktionen ggf. nach Abanderung auf einer f ur
die Integration irrelevanten Nullmenge auch immer das Lebesgue-Borel-Ma
zugrunde gelegt werden kann.
Vektorwertige und komplexe Integrale
Nach Proposition 3.8 ist eine vektorwertige Funktion f = (f
1
, . . . , f
m
) : R
m
auf einem Maraum (, /, ) genau dann /-B
m
-messbar, wenn ihre Komponen-
tenfunktionen f
j
/-messbar sind. Wir denieren daher:
Denition 3.24 eine vektorwertige /-B
m
-messbare Funktion f = (f
1
, . . . , f
m
) :
R
m
auf einem Maraum (, /, ) heit integrierbar, wenn alle f
j
integrier-
bar sind. In diesem Fall setzt man
_

f d =
__

f
1
d, . . . ,
_

f
m
d
_
und nennt diesen Wert ( R
m
) das Integral von f uber bez uglich .
Die Menge der integrierbaren Funktionen wird mit L
1
(, /, ; R
m
) bezeich-
net.
37
Dies kollidiert nicht mit unserer fr uheren Denition f ur m = 1. Speziell f ur
m = 2 konnen wir R
2
mit C identizieren und erhalten so f ur komplexwertige
Funktionen f L
1
(, /, ; C) genau dann wenn Real- und Imaginarteil inte-
grierbar sind mit
_

f d =
_

Re f d + i
_

Imf d.
Oenbar ist eine /-B
m
-messbare Funktion f genau dann integrierbar, wenn
alle Integrale
_

[f
j
[ d endlich sind, also genau dann, wenn
_

|f| d <
f ur eine Norm | | (und dann alle Normen) auf dem R
m
gilt.
Bemerkung. Es ist dann
_
_
_
_
_

f d
_
_
_
_

|f| d.
Wir werden diese Abschatzung im Weiteren nicht benotigen und verzichten daher
auf den Beweis.
Freiwillige

Ubung: Beweisen Sie diese Abschatzung.
Tipp: Approximieren Sie allgemeine Funktionen in L
1
(, /, ; R
m
) durch Funk-
tionen der Form

N
j=1
a
j

A
j
, A
1
, . . . , A
N
/.
3.3 Die Konvergenzsatze
Der groe Vorteil des Lebesgue-Integrals im Vergleich etwa zum Riemann-Integral
liegt nun nicht nur darin, dass eine wesentlich groere Klasse von Funktionen
integriert werden kann. Es gelten vor allem auch sehr starke Konvergenzsatze
uber die Vertauschung von Integral und Limes bei Funktionenfolgen. Diese Satze
sind von grundlegender Bedeutung in der Analysis.
Wir untersuchen in diesem Abschnitt Funktionenfolgen (f
k
) auf einem Ma-
raum (, /, ), die fast uberall gegen eine Grenzfunktion f konvergieren (vgl. De-
nition 3.22): f
k
f -f. u., d.h. es gibt eine Nullmenge N / mit f
k
(x) f(x)
f ur alle x N.
Satz 3.25 (Satz von der monotonen Konvergenz / Satz von Beppo Levi)
Es seien f, f
1
, f
2
, . . . :

R /-messbar mit f
k
f -f. u.
(i) Ist f
k
0 f ur alle k, so gilt
lim
k
_

f
k
d =
_

f d ( [0, ]).
38
(ii) Sind alle f
k
integrierbar, so ist f genau dann integrierbar, wenn lim
k
_

f
k
d <
ist. In diesem Fall gilt
lim
k
_

f
k
d =
_

f d.
Bemerkungen.
1. Nat urlich gilt ein ensprechendes Resultat in (ii) f ur f
k
f.
2. Ist der Maraum (, /, ) vollstandig, so folgt die Messbarkeit von f aus
der Messbarkeit der f
k
.
Beweis. Indem wir f, f
1
, f
2
, . . . auf einer geeigneten Nullmenge N abandern, in-
dem wir etwa zu
N
cf,
N
cf
1
,
N
cf
2
, . . . ubergehen, was die auftretenden Integrale
nicht verandert, d urfen wir o.B.d.A. annehmen, dass f
k
f sogar punktweise
gilt.
(i) Es gibt einfache Funktionen
k,m
f
k
f ur m . Setzt man

k
= max
1,k
, . . . ,
k,k
,
so ist erstens
k
wieder einfach, zweitens

k
= max
1,k
, . . . ,
k,k
max
1,k+1
, . . . ,
k,k+1

max
1,k+1
, . . . ,
k,k+1
,
k+1,k+1
=
k+1
f ur alle k, drittens

k
= max
1,k
, . . . ,
k,k
maxf
1
, . . . f
k
= f
k
f
und viertens auch
lim
k

k
lim
k

m,k
= f
m
f ur jedes m. Zusammengefasst: (
k
) ist eine monoton wachsende Folge einfacher
Funktionen mit
k
f
k
f ur jedes k und
k
f. Es folgt
_

f d = lim
k
_

k
d lim
k
_

f
k
d
_

f d,
was
lim
k
_

f
k
d =
_

f d
zeigt.
(ii) Setze g
k
= f
k
f
1
L
1
(, /, ), so dass 0 = g
1
g
2
. . . und
g
k
g = f f
1
gilt. Nach (i) ist dann
lim
k
_

f
k
d
_

f
1
d = lim
k
_

g
k
d =
_

g d.
39
g ist genau dann integrierbar, wenn dieser Ausdruck endlich ist, womit f genau
dann integrierbar ist, wenn lim
k
_

f
k
< ist. In diesem Fall folgt dann wegen
_
g =
_
f
_
f
1
auch
lim
k
_

f
k
d =
_

f d.

Beispiel: F ur jede nicht-negative /-messbare numerische Funktion ist durch

t
(A) =
_
A
f d
ein Ma auf (, /) deniert. Denn oenbar ist
_

f d = 0 und f ur paarweise
disjunkte A
1
, A
2
, . . . / gilt

t
_
_
j
A
j
_
=
_

j
A
j
f d =
_

A
j
f d =

j
_

A
j
f d =

t
(A
j
)
nach dem Satz von der monotonen Konvergenz.
Bemerkung. Man sagt in diesem Fall, dass
t
die Dichte f bez uglich hat. Nach
Lemma 3.21 ist dann jede -Nullmenge auch eine
t
-Nullmenge. Der bemerkens-
werte Satz von Radon-Nikodym, den wir hier allerdings nicht beweisen werden,
besagt, dass die Umkehrung auch richtig ist, genauer: Ist jede
t
-Nullmenge auch
eine -Nullmenge und -endlich, so besitzt
t
eine Dichte bez uglich , vgl.
[Bau].
Satz 3.26 (Lemma von Fatou) F ur jede Folge (f
k
) nicht-negativer /-messbarer
numerischer Funktionen gilt
_

liminf
k
f
k
d liminf
k
_

f
k
d.
Beweis. Setze g
k
= inf
mk
f
m
, so dass g
k
liminf
k
f
k
gilt. Wegen f
k
g
k
folgt aus dem Satz von der monotonen Konvergenz dann
liminf
k
_

f
k
d lim
k
_

g
k
d =
_

liminf
k
f
k
d.

Satz 3.27 (Satz von der majorisierten Konvergenz / Satz von Lebesgue)
Es seien f
1
, f
2
, . . . /-messbare numerische Funktionen auf einem Maraum (, /, )
mit f
k
f punktweise -f. u. Des Weiteren gebe es eine integrierbare Funktion
g L
1
(, /, ) mit [f
k
[ g f ur alle k. Dann sind die auch die Funktionen
f, f
1
, f
2
, . . . integrierbar und es gilt
lim
k
_

f
k
d =
_

f d.
40
Man nennt g eine integrierbare Majorante.
Beweis. Wieder d urfen wir o.B.d.A. f
k
f punktweise annehmen. Mit [f
k
[ g
f ur alle k ist auch [f[ g und damit f, f
1
, f
2
, . . . integrierbar. Nach dem Lemma
von Fatou ist nun einerseits
liminf
k
_
f
k
+
_
g = liminf
k
_
(f
k
+ g)
_
liminf
k
(f
k
+ g) =
_
(f + g)
und andererseits
_
g limsup
k
_
f
k
= liminf
k
_
(g f
k
)
_
liminf
k
(g f
k
) =
_
(g f).
Es folgt
liminf
k
_
f
k

_
f limsup
k
_
f
und daraus die Behauptung.
Beispiel: Ganz ohne weitere Voraussetzung darf man punktweise Limites nicht
mit der Integration vertauschen, wie das Beispiel f
k
= k
(0,1/k)
auf R mit dem
Lebesgue-Ma zeigt: Einerseits gilt f
k
0 pnktweise, andererseits ist
_
f
k
= 1 ,=
0 =
_
0 f ur alle k.
Anwendung: Parameter-abhangige Integrale
Wie in der Analysis 2 betrachten wir Integrale, die von einem Parameter abhangen.
F ur Lebesgue-Integrale lassen sich hier nun wesentlich starkere Aussagen uber die
Stetigkeit und Dierenzierbarkeit bez uglich dieses Parameters zeigen.
Satz 3.28 Es seien (X, d) ein metrischer Raum, x
0
X, (, /, ) ein Maraum
und f : X R eine Funktion, die den folgenden Bedingungen gen ugt:
(i) f(, x) ist integrierbar f ur alle x X.
(ii) x f(, x) ist stetig bei x
0
f ur alle .
(iii) Es existiert eine integrierbare Funktion g auf mit
[f(, x)[ g() , x X.
Dann ist die Abbildung F : X R, gegeben durch
F(x) =
_

f(, x)(d),
stetig.
41
Beweis. Ist (x
k
) eine Folge aus X mit x
k
x
0
, so setze
f
k
: R, f
k
() = f(, x
k
).
Aus dem Satz von der majorisierten Konvergenz folgt dann
lim
k
F(x
k
) = lim
k
_

f
k
()(d) =
_

f(, x)(d) = F(x

0
).

Satz 3.29 Es seien U R

n
oen, (, /, ) ein Maraum und f : U R
eine Funktion, die den folgenden Bedingungen gen ugt:
(i) f(, x) ist integrierbar f ur alle x U.
(ii) x f(, x) ist partiell nach x
i
dierenzierbar f ur alle .
(iii) Es existiert eine integrierbare Funktion g auf mit
[
x
i
f(, x)[ g() , x U.
Dann ist die Abbildung F : U R, gegeben durch
F(x) =
_

f(, x)(d),
partiell nach x
i
dierenzierbar mit

x
i
F(x) =
_

x
i
f(, x)(d).
Beweis. Es sei x U. F ur h
k
R mit h
k
0 ist dann f ur hinreichend groes k
auch x + h
k
e
i
U und es gilt
f
k
() :=
f(, x + h
k
e
i
) f(, x)
h

x
i
f(, x)
sowie nach dem Mittelwertsatz mit geeigneten
,k
U
[f
k
()[ = [
x
i
f(,
,k
)[ g().
Es folgt
lim
k
F(x + h
k
e
i
) F(x)
h
= lim
k
_

f
k
(d) =
_

x
i
f(, x)(d)
aus dem Satz von der majorisierten Konvergenz.
Bemerkung. In den beiden vorangehenden Satzen w urde es gen ugen, die Ste-
tigkeit bei x
0
bzw. die Dierenzierbarkeit von x f(, x) nur f ur fast alle
zu fordern. Indem man diese Resultate auf B

(x
0
) (als Teilmenge von X mit
der induzierten Metrik bzw. von U) anwendet, sieht man, dass es f ur die Stetig-
keit bei x
0
bzw. die partielle Dierenzierbarkeit bei x
0
ausreicht, entsprechende
Majoranten nur f ur x B

(x
0
), > 0 beliebig klein, zu nden.
42
3.4 Mae und Integrale auf Produkten
In diesem Abschnitt untersuchen wir sogenannte Produktmae und die Inte-
gration bez uglich dieser Mae auf Produktraumen. Insbesondere stellt sich das
Lebesgue-Borel-Ma auf dem R
n
gerade als n-faches Produkt des eindimensiona-
len Lebesgue-Borel-Maes heraus. Dies wird es uns letztlich gestatten, Integrale
im R
n
durch iterierte eindimensionale Integrale auszurechnen.
Denition 3.30 Sind (
1
, /
1
), . . . , (
N
, /
N
) messbare Raume, N N, so de-
niert man die Produkt--Algebra /
1
. . . /
N
auf
1
. . .
N
durch
/
1
. . . /
N
:= (A
1
. . . A
N
: A
j
/
j
j).
Bemerkung. /
1
. . . /
N
ist die kleinste -Algebra auf dem Produkt
1

. . .
N
, so dass alle Projektionen
j
:
1
. . .
N

j
, (x
1
, . . . , x
N
) x
j
,
j = 1, . . . , N messbar sind. (Warum?)
Beispiel: Ist m, n N mit m n, so gilt f ur die -Algebren der Borel-Mengen
auf R
n
, R
m
und R
nm
B
n
= B
m
B
nm
.
Begr undung: Da f ur je zwei halboene Quader Q
1
= [a
1
, b
1
). . . [a
m
, b
m
) R
m
und Q
2
= [a
m+1
, b
m+1
) . . . [a
n
, b
n
) R
nm
das Produkt
[a
1
, b
1
) . . . [a
m
, b
n
) = Q
1
Q
2
in B
m
B
nm
liegt und diese n-dimensionalen Quader die -Algebra B
n
erzeugen,
folgt B
n
B
m
B
nm
.
Um die umgekehrte Inklusion zu zeigen, gen ugt es nachzuweisen, dass alle
Mengen der Form AB mit A B
m
und B B
nm
in B
n
liegen. Dazu betrachten
wir zunachst f ur einen halboenen Quader Q R
m
(
1
:= B B
nm
: QB B
n
.
Es ist nicht schwer zu sehen, dass (
1
eine -Algebra auf R
nm
ist:
(
1
(klar),
B (
1
= QB B
n
= QB
c
= (QR
nm
) (QB) B
n
=
B
c
(
1
(beachte QR
nm
=

k=1
Q[k, k)
nm
B
n
) und
B
1
, B
2
, . . . (
1
= Q

j
B
j
=

j
(QB
j
) B
n
=

j
B
j
(
1
.
Da sie alle halboenen Quader enthalt, ist sogar (
1
= B
nm
. Genauso zeigt man,
dass f ur jedes B B
nm
das System
(
2
:= A B
m
: A B B
n

43
eine -Algebra auf R ist. (Beachte hierbei, dass nach dem schon Gezeigten R
m

B =

k=1
[k, k)
m
B B
n
gilt.)
Wegen B
nm
(
1
liegt dabei insbesondere jeder halboene Quader Q R
m
in (
2
. Es ist also auch (
2
= B
m
. Das aber heit nichts Anderes, als dass mit jedem
A in B
m
und B in B
nm
das Produkt A B in B
n
liegt.
Um Mae und Integrale auf Produktraumen zu untersuchen, beschranken wir
uns im Wesentlichen auf zwei Faktoren, da man den allgemeinen Fall endlich vieler
Faktoren induktiv hierauf zur uckf uhren kann, was wir am Ende dieses Abschnitts
kurz erlautern werden. Es seien im Folgenden also (
1
, /
1
) und (
2
, /
2
) messbare
Raume.
Denition 3.31 Ist M
1

2
, so denieren wir f ur jedes x
1

1
den
x
1
-Schnitt M
x
1

2
durch
M
x
1
:= x
2

2
: (x
1
, x
2
) M
und analog f ur jedes x
2

2
den x
2
-Schnitt M
x
2

1
durch
M
x
2
:= x
1

1
: (x
1
, x
2
) M.
Beachte, dass diese Notation nicht eindeutig ist, wenn
1

2
,= ist. (F ur
x
1

2
bezeichnet dann
x
zwei verschiedene Mengen, je nachdem, ob x
als Element von
1
oder von
2
aufgefasst ist. Im Kontext wird aber immer klar
sein, welche Menge gemeint ist.)
Lemma 3.32 Ist A /
1
/
2
, so ist
A
x
1
/
2
x
1

1
und A
x
2
/
1
x
2

2
.
Beweis. Wir beweisen nur die erste Aussage, die zweite zeigt man ganz analog.
Es sei x
1

1
beliebig und (
x
1
= A /
1
/
2
: A
x
1
/
2
. Erstens ist dann
(
x
1
eine -Algebra, denn es gilt

x
1
= /
2
= (
x
1
,
A (
x
1
= A
x
1
/
2
= ( A)
x
1
=
2
A
x
1
/
2
= A
c
(
x
1
und
A
1
, A
2
, . . . (
x
1
= (A
j
)
x
1
(
x
1
j = (

j
A
j
)
x
1
=

j
(A
j
)
x
1
/
2
=

j
A
j
(
x
1
.
Zweitens liegt jedes Produkt A
1
A
2
mit A
1
/
1
, A
2
/
2
in (
x
1
, da ja
(A
1
A
2
)
x
1
= x
2

2
: x
1
A
1
, x
2
A
2
=
_
A
2
/
2
f ur x
1
A
1
,
/
2
f ur x
1
/ A
1
44
gilt. Zusammen ergibt sich damit (
x
1
= /
1
/
2
, was gerade die Behauptung
war.
Beispiel: F ur das Produkt nur Lebesgue-messbarer Mengen gilt ein den Borel-
Mengen entsprechendes Resultat nicht! Es sei V die Vitali-Menge aus dem Bei-
spiel von Seite 24. Dann ist V 0 als Teilmenge der zweidimensionalen Borel-
schen Nullmenge R 0 eine Lebesgue-Menge. F ur x
2
= 0 ist aber
(V 0)
x
2
= V
nicht Lebesgue-messbar. Daher ist /
1
/
1
,= /
2
.
Dieses Beispiel zeigt auch, dass eine so einfache Funktion wie f : R R
2
,
f(x) = (x, 0) nicht /
1
-/
2
messbar ist, da ja f
1
(V 0) = V ist. Andererseits
ist f als stetige Funktion nat urlich Borel-messbar.
Es seien nun
i
-endliche Mae auf (
i
, /
i
), i = 1, 2. Unser Ziel ist es, ein
Ma auf
1

2
zu nden, das Produktmengen gerade das Produkt der Mae
ihrer Faktoren zuordnet:
Satz 3.33 Sind (
1
, /
1
,
1
) und (
2
, /
2
,
2
) zwei -endliche Maraume, so gibt
es genau ein Ma auf
1

2
mit
(A
1
A
2
) =
1
(A
1
)
2
(A
2
) A
1
/
1
, A
2
/
2
.
Denition 3.34 Dieses Ma wird das Produktma von
1
und
2
genannt und
auch mit
1

2
bezeichnet. F ur den Produktraum (
1

2
, /
1
/
2
,
1

2
)
schreibt man auch (
1
, /
1
,
1
) (
2
, /
2
,
2
).
Die wesentliche Idee bei der Konstruktion dieses Maes ist es, f ur A /
1
/
2
die Schnitte A
x
1
mit
2
zu messen und die Ergebnisse gema
1
aufzuintegrieren
oder umgekehrt, um
(A) =
_

2
(A
x
1
)
1
(dx
1
) =
_

1
(A
x
2
)
2
(dx
2
)
zu erhalten. Um dies rigoros umzusetzen, bedarf es einiger Vorbereitung:
Lemma 3.35 Sind (
1
, /
1
,
1
) und (
2
, /
2
,
2
) zwei -endliche Maraume, A
/
1
/
2
, so sind f ur i = 1, 2 die Abbildungen

1
[0, ], x
1

2
(A
x
1
) und
2
[0, ], x
2

1
(A
x
2
)
/
1
- bzw. /
2
-messbare numerische Funktionen.
Beweis. Da
2
-additiv ist, gibt es B
1
, B
2
, . . . /
2
mit

j
B
j
=
2
und
2
(B
j
) <
f ur alle j. O.B.d.A. d urfen wir die B
j
als paarweise disjunkt annehmen. Wir
xieren j N und setzen
f
(j)
A
:
1
[0,
2
(B
j
)], x
1

2
(A
x
1
B
j
)
45
f ur A
1

2
. Wieder betrachten wir das System der guten Mengen
( = A /
1
/
2
: f
(j)
A
ist /
1
-messbar.
Erstens ist dann ( ein Dynkin-System, denn
f
(j)

0 ist /
1
-messbar,
A ( = f
(j)
A
ist /
1
-messbar = f
(j)
A
c =
2
(B
j
) f
(j)
A
ist /
1
-messbar
und
A
1
, A
2
, . . . ( paarweise disjunkt = f
(j)

i
A
i
=

i
f
(j)
A
i
ist /
1
-messbar.
Zweitens liegt mit A
1
/
1
und A
2
/
2
wegen
f
(j)
A
1
A
2
=
2
(A
2
B
j
)
A
1
auch A
1
A
2
in (. Da nun der Schnitt zweier solcher Produkte wieder eine
Produktmenge ist ((A
1
A
2
) (A
t
1
A
t
2
) = (A
1
A
t
1
) (A
2
A
t
2
)), ist aber (vgl.
die Hausaufgaben) das von diesen Mengen erzeugte Dynkin-System gleich der
erzeugten -Algebra, also /
1
/
2
. Dann aber folgt ( = /
1
/
2
, was bedeutet,
dass f ur jedes A /
1
/
2
, j N die Abbildung f
(j)
A
/
1
-messbar ist.
Nach Voraussetzung an die Mengen B
j
gilt nun f ur jedes A /
1
/
2
x
1

2
(A
x
1
) =

2
(A
x
1
B
j
) =

j
f
(j)
A
(x
1
),
weshalb auch diese Abbildung /
1
-messbar ist.
Die /
2
-Messbarkeit von x
2

1
(A
x
2
) ergibt sich analog.
Nun sind die oben schon erwahnten Integrale
_

2
(A
x
1
)
1
(dx
1
) und
_

1
(A
x
2
)
2
(dx
2
) erklart und wir konnen Satz 3.33 beweisen.
Beweis von Satz 3.33. Deniere : /
1
/
2
[0, ] durch
(A) =
_

2
(A
x
1
)
1
(dx
1
) A /
1
/
2
.
ist ein Ma, denn () =
_

1
0
1
(dx
1
) = 0 und f ur paarweise disjunkte
A
1
, A
2
, . . . /
1
/
2
gilt

_
_
j
A
j
_
=
_

2
_
_
j
(A
j
)
x
1
_

1
(dx
1
) =
_

2
((A
j
)
x
1
)
1
(dx
1
)
=

j
_

2
((A
j
)
x
1
)
1
(dx
1
) =

j
(A
j
),
wobei der vorletzte Schritt aus dem Satz von der monotonen Konvergenz folgte.
46
F ur alle A
1
/
1
und A
2
/
2
ist auerdem
(A
1
A
2
) =
_

2
(A
2
)
A
1
(x
1
)
1
(dx
1
) =
1
(A
1
)
2
(A
2
).
Ganz analog ergibt sich nun, dass auch
t
: /
1
/
2
[0, ], deniert durch

t
(A) =
_

1
(A
x
2
)
2
(dx
2
) A /
1
/
2
.
ein Ma mit

t
(A
1
A
2
) =
1
(A
1
)
2
(A
2
) A
1
/
1
, A
2
/
2
ist.
Es bleibt zu zeigen, dass es hochstens ein Produktma auf
1

2
geben kann.
Denn dann ist auch notwendigerweise =
t
und der Beweis aller Aussagen aus
Satz 3.33 abgeschlossen.
Es seien also ,
t
zwei Mae auf /
1
/
2
, die auf den Produktmengen uber-
einstimmen. Wahle Folgen B
(i)
1
, B
(i)
2
, . . . in /
i
mit
i
(B
(i)
j
) < f ur alle j und

j
B
(i)
j
=
j
, i = 1, 2. Das System ( der Produktmengen erzeugt /
1
/
2
, enthalt
mit je zwei Mengen auch deren Schnitt und die Mengen B
(1)
j
B
(2)
k
mit
(B
(1)
j
B
(2)
k
) =
t
(B
(1)
j
B
(2)
k
) =
1
(B
(1)
j
)
2
(B
(2)
k
) < ,
f ur die

j,k
(B
(1)
j
B
(2)
k
) =
1

2
gilt. Aus der Bemerkung nach dem Beweis
des Eindeutigkeitssatzes 2.12 von Seite 17 folgt nun, dass =
t
sein muss.
Beispiel: Ist m, n N, m n, so gilt f ur das Lebesgue-Borel-Ma

n
=
m

nm
.
Wir hatten ja schon gesehen, dass B
n
= B
m
B
nm
gilt. Die Gleichheit der Mae
folgt, da

n
([a
1
, b
1
) . . . [a
n
, b
n
)) = (b
1
a
1
) . . . (b
n
a
n
)
=
m
([a
1
, b
1
) . . . [a
m
, b
m
))
nm
([a
m+1
, b
m+1
) . . . [a
n
, b
n
))
f ur alle halboenen Quader [a
1
, b
1
) . . . [a
n
, b
n
) ist.
Als nachstes wollen wir nun nat urlich Funktionen auf Produktraumen nach
Produktmaen integrieren. Wie beim Aufbau der Integrationstheorie behandeln
wir zunachst nicht-negative numerische Funktionen.
Wieder benotigen wir ein vorbereitendes Messbarkeitsresultat.
47
Lemma 3.36 Es seien (
1
, /
1
) und (
2
, /
2
) messbare Raume und f :
1

R eine /
1
/
2
-messbare Funktion. Dann ist f ur jedes x
2

2
die Funktion

1
x
1
f(x
1
, x
2
) /
1
-messbar
sowie f ur jedes x
1

1
die Funktion

2
x
2
f(x
1
, x
2
) /
2
-messbar.
Beweis. Es gen ugt wieder, die erste Aussage zu beweisen. F ur jedes x
2

2
folgt
die aber direkt aus
x
1
: f(x
1
, x
2
) B = (f
1
(B))
x
2
/
1
B

B
nach Lemma 3.32.
Wir konnen nun das erste Hauptresultat formulieren:
Satz 3.37 (Satz von Tonelli) Es seien (
1
, /
1
,
1
) und (
2
, /
2
,
2
) -endliche
Maraume und f :
1

2
[0, ] eine nicht-negative /
1
/
2
-messbare nu-
merische Funktion. Dann sind die Funktionen
x
1

_

2
f(x
1
, x
2
)
2
(dx
2
) und x
2

_

1
f(x
1
, x
2
)
1
(dx
1
)
nicht-negative /
1
- bzw. /
2
-messbare Funktionen auf
1
bzw.
2
und es gilt
_

2
f(x)
1

2
(dx) =
_

1
_

2
f(x
1
, x
2
)
2
(dx
2
)
1
(dx
1
)
=
_

2
_

1
f(x
1
, x
2
)
1
(dx
1
)
2
(dx
2
).
Beweis. Es gen ugt wieder, die erste Aussage uber die Messbarkeit und die erste
Gleichung zu beweisen.
1. Ist f eine einfache Funktion, etwa f =

N
j=1
a
j

A
j
, so ist f ur jedes x
1

1
x
2
f(x
1
, x
2
) =
N

j=1
a
j

A
j
(x
1
, x
2
) =
N

j=1
a
j

(A
j
)x
1
(x
2
)
nach Lemma 3.32 eine einfache Funktion auf
2
. Dann ist
x
1

_

2
f(x
1
, x
2
)
2
(dx
2
) =
N

j=1
a
j

2
((A
j
)
x
1
)
48
/
1
-messbar nach Lemma 3.35 und nach der Konstruktion des Produktmaes im
Beweis von Satz 3.33
_

1
_

2
f(x
1
, x
2
)
2
(dx
2
)
1
(dx
1
) =
N

j=1
a
j
_

2
((A
j
)
x
1
)
1
(dx
1
)
=
N

j=1
a
j

2
(A
j
) =
_

2
f(x)
1

2
(dx).
2. Ist nun allgemein f eine nicht-negative numerische Funktion, so gibt es
eine Folge einfacher Funktionen (
k
) mit
k
f. Wie eben in 1. gesehen, sind
dann die Funktionen
k
(x
1
, ) einfache Funktionen auf
2
und es gilt nat urlich

k
(x
1
, ) f(x
1
, ) f ur jedes x
1

1
. Nach dem Satz von der monotonen Kon-
vergenz (oder eigtl. der Konstruktion des Integrals) ist nun
x
1

_

2
f(x
1
, x
2
)
2
(dx
2
) = lim
k
_

k
(x
1
, x
2
)
2
(dx
2
)
als Limes /
1
-messbarer Funktionen wieder /
1
-messbar. (Die Messbarkeit des
Integrals einfacher Funktionen hatten wir ja schon oben in 1. gezeigt.)
Nach dem Satz von der monotonen Konvergenz und 1. folgt weiter:
_

1
_

2
f(x
1
, x
2
)
2
(dx
2
)
1
(dx
1
) =
_

1
lim
k
_

k
(x
1
, x
2
)
2
(dx
2
)
1
(dx
1
)
= lim
k
_

1
_

k
(x
1
, x
2
)
2
(dx
2
)
1
(dx
1
)
= lim
k
_

k
(x)
1

2
(dx)
=
_

2
f(x)
1

2
(dx).

Das zweite Hauptresultat ist die Version f ur integrierbare Funktionen des

letzten Satzes. Nat urlicherweise treten hier nur fast uberall auf einem Maraum
(, /, ) denierte numerische Funktionen auf, also Abbildungen g :



R, so
dass

N f ur eine geeignete -Nullmenge N ist. Man nennt eine solche
Funktion integrierbar, wenn g[
\N
durch 0 auf N zu g fortgesetzt integrierbar ist
und setzt _

g d =
_

g d.
(Das ist nach Lemma 3.21 unabhangig von der Wahl von N und das gleiche wie
_
\N
g[
\N
d(( N)).)
49
Satz 3.38 (Satz von Fubini) Es seien (
1
, /
1
,
1
) und (
2
, /
2
,
2
) -endliche
Maraume und f L
1
(
1

2
, /
1
/
1
,
1

2
). Dann ist
f(x
1
, ) L
1
(
2
, /
2
,
2
) f ur
1
-fast alle x
1

1
und
f(, x
2
) L
1
(
1
, /
1
,
1
) f ur
2
-fast alle x
2

2
.
Die f ur fast alle x
1
bzw. x
2
denierten Funktionen
x
1

_

2
f(x
1
, x
2
)
2
(dx
2
) und x
2

_

1
f(x
1
, x
2
)
1
(dx
1
)
sind integrierbar auf
1
bzw.
2
und es gilt
_

2
f(x)
1

2
(dx) =
_

1
_

2
f(x
1
, x
2
)
2
(dx
2
)
1
(dx
1
)
=
_

2
_

1
f(x
1
, x
2
)
1
(dx
1
)
2
(dx
2
).
Beweis. Nach dem Satz von Tonelli ist
_

1
_

2
f
+
(x
1
, x
2
)
2
(dx
2
)
1
(dx
1
) =
_

2
f
+
(x)
1

2
(dx) < .
Dies zeigt, dass die nicht-negative /
1
-messbare numerische Funktion
x
1

_

2
f
+
(x
1
, x
2
)
2
(dx
2
)
integrierbar ist und damit auch f ur fast alle x
1
, etwa f ur alle x auerhalb der

1
-Nullmenge N
+
,
_

2
f
+
(x
1
, x
2
)
2
(dx
2
) <
also f
+
(x
1
, )
2
-integrierbar ist f ur x
1

1
N
+
. (Beachte, dass diese Funk-
tionen nach Satz 3.37 /
2
-messbar sind.) Entsprechende Aussagen gelten f ur f

auerhalb einer
1
-Nullmenge N

. Dann aber ist f ur fast alle x

1
, namlich f ur alle
x
1
/ N := N
+
N

, die Funktion f(x

1
, ) integrierbar mit
_

2
f(x
1
, x
2
)
2
(dx
2
) =
_

2
f
+
(x
1
, x
2
)
2
(dx
2
)
_

2
f

(x
1
, x
2
)
2
(dx
2
).
Wie eben gesehen sind die Abbildungen
x
1

_

2
f
+
(x
1
, x
2
)
2
(dx
2
) und x
1

_

2
f

(x
1
, x
2
)
2
(dx
2
),
nachdem man die Werte auf N zu 0 abandert, R-wertige integrierbare Funktionen,
also auch ihre Dierenz, womit gezeigt ist, dass die fast uberall denierte Funktion
50
x
1

_

2
f(x
1
, x
2
)
2
(dx
2
) integrierbar ist. F ur diese Funktion gilt nach dem oben
Gezeigten dann
_

1
_

2
f(x
1
, x
2
)
2
(dx
2
)
1
(dx
1
)
=
_

1
\N
_

2
f
+
(x
1
, x
2
)
2
(dx
2
)
1
(dx
1
)
_

1
\N
_

2
f

(x
1
, x
2
)
2
(dx
2
)
1
(dx
1
)
=
_

2
f
+
(x
1
, x
2
)
1

2
(dx)
_

2
f

(x
1
, x
2
)
1

2
(dx)
=
_

2
f(x
1
, x
2
)
1

2
(dx).
Die noch nicht gezeigten Aussagen ergeben sich nun wieder analog.
Bemerkung. Aus dem Satz von Tonelli erhalten wir, dass jede der Bedingungen

2
[f(x)[
1

2
(dx) < ,

1
_

2
[f(x
1
, x
2
)[
2
(dx
2
)
1
(dx
1
) < und

2
_

1
[f(x
1
, x
2
)[
1
(dx
1
)
2
(dx
2
) <
dazu aquivalent ist, dass f integrierbar ist.
Beispiele:
1. Es gilt
_
[0,1]
2
x
1
x
2
dx =
_
1
0
_
1
0
x
1
x
2
dx
1
dx
2
=
_
1
0
x
2
_
1
0
x
1
dx
1
dx
2
=
1
2
_
1
0
x
1
dx
1
=
1
4
.
2. Man kann im Satz von Fubini i.A. leider nicht auf die Ausnahmenullmengen
verzichten: Die Funktion f : R
2
R, f(x
1
, x
2
) = x
2

0
(x
1
) ist Lebesgue-
integrierbar, da f. u. gleich 0, doch
x
2
f(x
1
, x
2
) =
_
x
2
f ur x
1
= 0,
0 sonst
ist f ur x
1
= 0 nicht integrierbar.
Sind nun allgemeiner N -endliche Maraume (
1
, /
1
,
1
), . . . (
N
, /
N
,
N
)
gegeben, so wird das N-fache Produktma auf (
1
. . .
N
, /
1
. . . /
N
)
induktiv durch

1
. . .
N
:= (
1
. . .
N1
)
N
51
deniert. Es ist das einzige Ma mit
(
1
. . .
N
)(A
1
. . . A
N
) =
1
(A
1
) . . .
N
(A
N
)
f ur alle A
j
/
j
, j = 1, . . . , N. (Die Eindeutigkeit sieht man ganz analog zum
Fall zweier Faktoren.) Insbesondere gilt f ur das Lebesgue-Borel-Ma

n
=
1
. . .
1
.
Das N-fache Produkt der Maraume wird dann auch als

N
j=1
(
j
, /
j
,
j
)
geschrieben. Induktiv ergibt sich f ur integrierbare oder nicht-negative messbare
numerische Funktionen auf diesem Raum
_

1
...
N
f d
1
. . .
N
=
_

1

_

N
f(x
1
, . . . , x
N
)
1
(dx
1
) . . .
N
(dx
N
).
Beispiele:
1. Insbesondere bei der Berechnung von Lebesgue-Integralen auf demR
n
d urfen
wir also einfach sukkzessive integrieren: F ur f L
1
(R
n
) oder f 0
messbar ist
_
R
n
f(x) dx =
_

f(x
1
, . . . , x
n
) dx
1
. . . dx
n
.
2. Das Prinzip von Cavalieri: F ur M R
n
bezeichne M
x
1
den x
1
-Schnitt
M
x
1
= x
t
R
n1
: (x
1
, x
t
) A. Das Cavalierische Prinzip besagt dann,
dass zwei Mengen A, B B
n
das gleiche Ma haben, wenn

n1
(A
x
1
) =
n1
(B
x
1
)
f ur alle x
1
R gilt.

Ubung: Beweisen Sie dies!

Ubung: Zeigen Sie, dass der Rotationskorper

A = x R
3
: a x
1
b, x
2
2
+ x
2
3
(f(x
1
))
2
,
wobei < a < b < und f : [a, b] [0, ) eine stetige Funktion ist,
das Volumen
(A) =
_
b
a
(f(t))
2
dt
hat. (Sie d urfen verwenden, dass ein Kreis vom Radius r das zweidimensio-
nale Lebesgue-Ma (also die Flache) r
2
hat. Das werden wir im nachsten
Abschnitt zeigen.)
52
3.5 Bildmae und Transformationsformel
In vielen Anwendungen und insbesondere, wenn wir spater Integrale uber ge-
kr ummte Oberachen betrachten, ist es wichtig zu verstehen, wie sich Inte-
grale unter Koordinatenwechseln, also Dieomorphismen des Denitionsbereichs,
transformieren. Das wird durch die allgemeine Transformationsformel beschrie-
ben, die wir in diesem Abschnitt beweisen werden. Sie ist das n-dimensionale
Pendant zur Substitutionsformel.
Sind ganz allgemein (, /) und (
t
, /
t
) messbare Raume, ein Ma auf
(, /) und f :
t
eine /-/
t
-messbare Abbildung, so kann man durch f
auf
t
transportieren, indem man

t
(A) := (f
1
(A
t
)) A
t
/
t
setzt. Oenbar ist
t
ein Ma auf (
t
, /
t
).
Denition 3.39 Dieses Ma heit das Bildma von unter f. Es wird mit f()
bezeichnet.
Beispiel: Ist a R
n
und
a
: R
n
R
n
die Translationsabbildung
a
(x) = x +a,
so gilt

a
() = ,
denn f ur alle A
t
/ ist
a
()(A
t
) = (
1
a
(A
t
)) = (A
t
a) = (A
t
) wegen der
Translationsinvarianz des Lebesgue-Maes.
Wir untersuchen zunachst das Transformationsverhalten von unter anen
Abbildung. Wegen der Translationsinvarianz, gen ugt es hier, lineare Abbildungen
zu betrachten. Da sich jeder Dieomorphismus lokal wie eine ane Abbildung
verhalt, ist das schon der erste Schritt zur allgemeinen Transformationsformel.
Lemma 3.40 F ur jede Borel-Menge A und jedes nicht-singulare M R
nn
gilt
(MA) = [ det M[(A).
Das heit also das f ur det M ,= 0 das Bildma M von unter der linearen
Abbildung x Mx durch
M =
1
[ det M[

gegeben ist.
Beweis. Zunachst stellen wir fest, dass mit A B auch MA B ist. Dies folgt aus
MA = (M
1
)
1
(A) und der Stetigkeit von x M
1
x. Da mit je zwei Matrizen,
f ur die die fragliche Gleichung f ur alle A gilt, auch deren Produkt die Behauptung
53
erf ullt, gen ugt es, den Beweis f ur Diagonalmatrizen und orthogonale Matrizen zu
f uhren.
1
Wegen der Translationsinvarianz von (s. Satz 2.22(i)) ist auch die Abbildung
A (MA) ein translationsinvariantes Ma, so dass es nach Satz 2.22(ii) ein
c > 0 gibt mit
(MA) = c(A).
Um die Konstante c zu bestimmen verwenden wir Quader und Kugeln: Ist M =
diag(m
1
, . . . , m
n
) diagonal, so ist
(M[0, 1)
n
) = (I
1
. . . I
n
), I
j
=
_
[0, m
j
), m
j
> 0,
(m
j
, 0], m
j
< 0,
also
(M[0, 1)
n
)) = [m
1
[ . . . [m
n
[ = [ det M[([0, 1)
n
).
Ist M orthogonal, so gilt MB
1
(0) = B
1
(0) und daher wegen det M = 1
(MB
1
(0)) = (B
1
(0)) = [ det M[(B
1
(0)).
Beachtet man noch, dass ([0, 1)
n
) = 1 > 0 und (B
1
(0)) > ([0, n
1/2
)
n
) =
n
n/2
> 0 gilt, so folgt c = det M.
Beispiel: Ist f : R
n
R
n
gegeben durch f(x) = Mx + c f ur eine orthogonale
Matrix M R
nn
und ein c R
n
, so ist f = : Zwei kongruente Mengen
besitzen das gleiche Ma. Man sagt daher auch, dass das Lebesgue-Ma bewe-
gungsinvariant ist.
Die wesentliche Arbeit beim Beweis der Transformationsformel, auf den wir
ja zusteuern, steckt in den folgenden beiden Hilfsresultaten:
Lemma 3.41 Es seien U, V R
n
oen, : U V ein Dieomorphismus und
Q U ein kompakter Quader. Dann ist (Q) eine Borel-Menge und es gilt
((Q)) max
xQ
[ det D(x)[(Q).
Beweis.
2
Als kompakte Menge liegt (Q) in B. Wir nehmen zuerst an, dass Q
sogar ein Hyperw urfel ist, d.h. dass alle Seitenlangen l gleich lang sind, und l > 0
1
Nach einem Satz aus der linearen Algebra lasst sich jede Matrix M R
nn
als Produkt
M = QDR mit orthogonalen Q und R und diagonalem D schreiben: Da M
T
M symmetrisch ist,
gibt es eine Orthonormalbasis aus Eigenvektoren v
1
, . . . , v
n
. Wegen (Mv
i
) (Mv
j
) = (M
T
Mv
i
)
v
j
= [Mv
i
[
2

ij
sind die Mv
i
orthogonal. Wir setzen w
i
= [Mv
i
[
1
Mv
i
, wann immer Mv
i
,= 0
ist, und erganzen dies zu einer weiteren Orthonormalbasis (w
i
). Durch Rv
i
= e
i
, Qe
i
= w
i
,
De
i
= [Mv
i
[e
i
und lineare Fortsetzung werden dann die orthogonalen Matrizen R und Q und
die Diagonalmatrix D deniert. Es gilt Q
T
MR
T
e
i
= Q
T
Mv
i
= [Mv
i
[Q
T
w
i
= [Mv
i
[e
i
= De
i
.
D.h. Q
T
MR
T
= D, also M = QDR.
2
Dieser Beweis wurde in der Vorlesung weggelassen.
54
ist. Angenommen, die Behauptung ware falsch, dann gabe es einen Quader Q
0
und ein t > max
xQ
0
[ det D(x)[ mit
((Q
0
)) t(Q
0
).
Zerlegen wir Q
0
durch 2
n
Translationen

Q
1
, . . . ,

Q
2
n von
1
2
Q, also W urfel der
halben Seitenlange
l
2
, die sich nur an den Randern uberschneiden, so muss min-
destens einer dieser W urfel, den wir mit Q
1
bezeichnen die gleiche Ungleichung
((Q
1
)) t(Q
1
) erf ullen, da nach Summation uber i sonst
t(Q
0
) ((Q
0
)) =
_

_
_
i

Q
i
__

i
((

Q
i
)) < t

i
(

Q
i
) = t(Q
0
)
ware. Indem wir nun Q
1
derart zerteilen erhalten wir ein Q
2
Q
1
Q
0
mit wie-
derum halbierter Seitenlange und ((Q
2
)) t(Q
2
). So fortfahrend bekommen
wir eine Folge von W urfeln Q
0
Q
1
. . ., wobei Q
k
die Seitenlange
l
2
k
hat.
Wegen der Translationsinvarianz des Lebesgue-Maes d urfen wir vorausset-
zen, dass der Punkt, der in allen Q
k
liegt gerade der Ursprung 0 ist und dass
(0) = 0 gilt. Es bezeichne M die invertierbare Matrix D(0). Durch
|x|
M
:= [M
1
x[

denieren wir eine Norm auf R

n
. Da auf R
n
alle Normen aquivalent sind, gibt es
eine Konstante C > 0 mit |x|
M
C[x[

f ur alle x R
n
. Beachte, dass f ur jedes
r > 0 gilt
x : |x|
M
r = x : [M
1
x[

r = My : [y[

r = M[r, r]
n
.
Zu jedem > 0 existiert nun (nach der Denition der Ableitung) ein > 0
mit
|(x) D(0)x|
M
|x|
M
x B

(0).
F ur hinreichend groes k ist Q
k
= c
k
+ [
l
2
k+1
,
l
2
k+1
]
n
B

(0) ist damit wegen

|(x) Mc
k
|
M
|Mc
k
Mx
k
|
M
|(x) Mx
k
|
M
|(x) Mc
k
|
M
|M(x c
k
)|
M
+ |x|
M
[x c
k
[

+ C[x[

(1 + C)
l
2
k+1
f ur alle x Q
k
, also (Q
k
) Mc
k
+ M[
(1+C)l
2
k+1
,
(1+C)l
2
k+1
]
n
.
Aus Lemma 3.40 erhalten wir damit
((Q
k
)) [ det M[
_
(1 + C)l
2
k
_
n
= [ det M[(1 + C)
n
(Q
k
)
55
und daraus wegen t(Q
k
) ((Q
k
)), die im Limes 0 zum Widerspruch
f uhrende Ungleichung
[ det D(0)[ sup
xQ
k
[ det D(x)[ < t [ det D(0)[(1 + C)
n
.
Damit ist nun die Behauptung f ur Hyperw urfel mit positiver Seitenlange gezeigt.
Ist nun Q ein kompakter Quader mit positiver Seitenlange, so konnen wir
Q = c+M

Q als anes Bild eines Hyperw urfels

Q Q mit positiven Seitenlangen
schreiben und erhalten
((Q)) = ((c + M

Q)) sup
x

Q
[ det(D(c + Mx)M)[(

Q)
= sup
yQ
[ det D(y)[ det [M[(

Q) = sup
yQ
[ det D(y)[(Q).
nach Lemma 3.40.
Ist schlielich Q = [a
1
, b
1
] . . . [a
n
, b
n
] ein allgemeiner kompakter Quader
in U, so liegt f ur hinreichend kleine > 0 auch Q

= [a
1
, b
1
+] . . . [a
n
, b
n
+]
in U und es folgt
((Q)) ((Q

)) sup
xQ
[ det D(x)[(Q

).
Da aber D auf jedem Q

0
f ur festes, hinreichend kleines
0
> 0 gleichmaig
stetig ist, ergibt sich im Limes 0
((Q)) sup
xQ
[ det D(x)[(Q)

Lemma 3.42 Es seien U, V R

n
oen, : U V ein Dieomorphismus
und A U eine Borel-Menge (oder Lebesgue-Menge). Dann ist auch (A) eine
Borel-Menge (bzw. Lebesgue-Menge) und es gilt
inf
xA
[ det D(x)[(A) ((A)) sup
xA
[ det D(x)[(A).
Beweis.
3
1. F ur jede Borel-Menge A U ist das Bild (A) V (als Urbild von
A unter der Borel-messbaren Funktion
1
) wieder Borel-messbar.
4
2. Es sei nun A eine beliebige Borel-messbare Menge, so dass A U kompakt
ist. Beachte, dass dann auch die -Umgebung von A
A

= x R
n
: a A mit [x a[ <
3
Dieser Beweis wurde in der Vorlesung weggelassen.
4
Achtung: F ur Lebesgue-Mengen darf man so nicht schlieen: Wie in den Hausafgaben gese-
hen, gibt es Homoomorphismen, die nicht /-/-messbar sind. Wir werden hierf ur also tatsachlich
die Dierenzierbarkeit von ausn utzen m ussen, s. unten.
56
kompakten Abschluss hat und f ur hinreichend kleine > 0 ganz in U liegt. (Die
erste Behauptung ist klar, da A und damit A

beschrankt ist. Die zweite folgt so:

Gabe es zu jedem k N ein x
k
A
1/k
U
c
, so hatten wir auch eine Folge a
k
A
mit [x
k
a
k
[ <
1
k
. F ur eine Teilfolge a
km
galte dann a
km
a A und damit auch
x
km
a A U. Da U
c
abgeschlossen ist, m usste aber auch a = lim
m
x
km
U
c
sein. Widerspruch.)
Nach Konstruktion des Lebesgue-Maes durch das auere Ma

gibt es zu
jedem > 0 eine Folge (Q
j
) halboener Quader mit A

j
Q
j
und
(A)

j
(Q
j
) .
Indem wir diese Quader ggf. in kleinere Quader zerlegen, d urfen wir annehmen,
dass jedes Q
j
einen Durchmesser kleiner als hat. Dann aber konnen wir o.B.d.A.
auch alle Q
j
weglassen, die nicht ganz in A

liegen, denn solche Q

j
konnen ja kein
St uck von A uberdecken. Wegen (A)

j
(Q
j
) ergibt sich daraus nun nach
Lemma 3.41
((A))

j
((Q
j
))

j
sup
xQ
j
[ det D(x)[(Q
j
)
sup
xA
[ det D(x)[

j
(Q
j
) sup
xA
[ det D(x)[((Q) + ).
Lassen wir nun 0 gehen, so folgt aus der gleichmaigen Stetigkeit von D
auf A

0
U f ur ein xes hinreichend kleines
0
((A)) sup
xA
[ det D(x)[(Q).
3. Ist nun A U eine allgemeine Borel-Menge, so betrachten wir die Mengen
U
m
= B
m
(0)
_
x U : dist(x, U) >
1
m
_
.
Diese Mengen sind oen, da die Abbildung x dist(x, M) = inf
yM
[x y[ f ur
jede Menge M R
n
stetig ist. Oenbar ist dann A U
m
f ur jedes m eine Borel-
Menge mit A U
m
U beschrankt. Da zudem U
1
U
2
. . . mit

m
U
m
= U
(U ist oen) gilt, folgt aus der Stetigkeit des Lebesgue-Maes von unten und
Schritt 2 nun
((A)) =

m
((A U
m
))

m
sup
xAUm
[ det D(x)[(A U
m
)
sup
xA
[ det D(x)[

m
(A U
m
) = sup
xA
[ det D(x)[(A).
4. Es sei nun A U noch allgemeiner eine Lebesgue-messbare Menge. Dann
gibt es eine Borelsche Nullmenge N und eine Borel-Menge B mit B A
57
B N und daher auch (B) (A) (B N). Nach 3. ist nun ((N)) = 0
(auch wenn sup
xN
[ det(D)(x)[ = ist!) und damit auch (B N) (B)
(N) eine Nullmenge, woraus folgt, dass (A) Lebesgue-messbar mit ((A)) =
((B)) ist. Wieder aus 3. ergibt sich dann auch
((A)) = ((B)) sup
xB
[ det(D)(x)[(B) sup
xA
[ det(D)(x)[(A).
5. Der Beweis der unteren Schranke folgt nun einfach, indem man Schritt 5
auf
1
und die Lebesgue-Menge (A) anwendet. Demnach ist
(A) =
_

1
((A))
_
sup
y(A)
[ det D(
1
)(y)[((A))
= sup
y(A)
[ det(D)
1
(
1
(y))[((A)) = sup
xA
[ det(D)
1
(x)[((A))
=
1
inf
xA
[ det(D)(x)[
((A))
(o.B.d.A. ist inf
xA
[ det(D)(x)[ > 0, sonst ist nichts zu zeigen) und damit
inf
xA
[ det(D)(x)[(A) ((A)).

Wir konnen nun das Transformationsverhalten des (Borel-)Lebesgue-Maes

unter Dieomorphismen beschreiben.
Satz 3.43 Es seien U, V R
n
oene Mengen und : U V ein Dieomor-
phismus. Eine Menge A U ist genau dann Borel-messbar (Lebesgue-messbar),
wenn (A) V Borel-messbar (bzw. Lebesgue-messbar) ist. In diesem Fall gilt
((A)) =
_
A
[ det D(x)[ dx.
Angewandt auf
1
heit das gerade, dass das Bildma () von auf V f ur
A V aus / gegeben ist durch
()(A) = (
1
(A)) =
_
A
[ det D
1
(x)[ dx =
_
A
1
[ det D(
1
(x))[
dx
M.a.W.: () ist das Ma mit der Dichte
1
[ det D(
1
(x))[
bez uglich auf V .
Beweis. Die Messbarkeitsaussagen folgen aus Lemma 3.42 angewandt auf und

1
.
F ur eine Lebesgue-Menge A U und m N sowie k = 0, . . . , m2
m
1 setze
A
m,k
= A [m, m]
n

_
k
2
m
[ det D[ <
k + 1
2
m
_
, A
m
=
m2
m
1
_
k=0
A
m,k
.
58
Da x [ det D(x)[ stetig ist, sind die A
m,k
und A
m
Lebesgue-messbar. Es gilt
dann A
1
A
2
. . . und

m
A
m
= A, also auch (A
1
) (A
2
) . . . und

m
(A
m
) = (A). Dar uberhinaus konvergiert die Folge der einfachen Funktio-
nen f
m
mit
f
m
=
m2
m
1

k=0
k
2
m

A
m,k
monoton wachsend gegen [ det D[
A
.
Mit Lemma 3.42 folgt nun
((A
m
)) =

k
((A
m,k
))

k
k + 1
2
m
(A
m,k
) =
_
f
m
dx +
1
2
m
(A
m
),
wobei
1
2
m
(A
m
)
1
2
m
([m, m]
n
) =
2
n
m
n
2
m
ist, und
((A
m
)) =

k
((A
m,k
))

k
k
2
m
(A
m,k
) =
_
f
m
dx.
Die Stetigkeit des Lebesgue-Maes von unten und der Satz von der monotonen
Konvergenz liefern im Limes m schlielich
((A)) =
_
A
[ det D(x)[ dx.

Endlich konnen wir nun die allgemeine Transformationsformel f ur Lebesgue-

Integrale beweisen. Da es in der Praxis manchmal n utzlich ist, die Dieomor-
phismuseigenschaft nur bis auf Nullmengen zu fordern, formulieren wir gleich
eine leichte Verallgemeinerung mit.
Satz 3.44 Es seien U, V R
n
oene Mengen, : U (U) = V ein Dif-
feomorphismus und f : V

R eine Funktion. f ist genau dann messbar, wenn
f [ det D[ : U

R messbar ist. In diesem Falle gelten:
(i) Ist f 0, so gilt
_
V
f(x) dx =
_
U
f((x))[ det D(x)[ dx ( [0, ]).
(ii) f ist genau dann auf V integrierbar, wenn f [ det D[ auf U integrierbar
ist. Ist diese Bedingung erf ullt, so gilt wieder
_
V
f(x) dx =
_
U
f((x))[ det D(x)[ dx.
59
Ist dar uberhinaus f :

V

R deniert,

V V und :

U

V (beliebig) auf

U U fortgesetzt, so dass

V V und

U U Nullmengen sind, so gelten diese
Behauptungen auch noch, wenn man U durch

U und V durch

V ersetzt.
Beweis. 1. Aus Proposition 3.6, Proposition 3.7 und Lemma 3.42 ergibt sich:
Ist f messbar, so auch f [ det D[, da /-/-messbar ist. Ist umgekehrt
f [ det D[ als messbar vorausgesetzt, so ist auch f messbar und damit
auch f = f
1
, da
1
/-/-messbar ist.
2. Die Behauptung (i) gilt f ur einfache Funktionen f =

N
j=1
a
j

A
j
, denn
dann ist nach Satz 3.43 ja
_
(U)
f(x) dx =

j
a
j
((
1
(A
j
))) =

j
_

1
(A
j
)
a
j
[ det D(x)[ dx
=

j
_

1
(A
j
)
f((x))[ det D(x)[ dx =
_
U
f((x))[ det D(x)[ dx.
F ur allgemeine f 0 konnen wir eine Folge einfacher Funktionen (
k
) mit
k

f wahlen, f ur die nach dem Satz von der monotonen Konvergenz und dem eben
Gezeigten
_
(U)
f(x) dx = lim
k
_
(U)

k
(x) dx = lim
k
_
U

k
((x))[ det D(x)[ dx
=
_
U
f((x))[ det D(x)[ dx,
ist, denn es gilt ja dann auch
k
[ det D[ f [ det D[. Dies zeigt (i).
3. (ii) folgt nun unmittelbar aus (i) angewandt auf den Positiv- und den
Negativteil von f. Beachte dabei, dass (f [ det D[)

= f

[ det D[ ist.
4. Der Zusatz ergibt sich nun unmittelbar aus dem schon Gezeigten, wenn
man beachtet, dass f und f [ det D[ genau dann auf V bzw. U messbar
sind, wenn sie auf V bzw. U messbar sind, und eine analoge Aussage f ur die
Integrierbarkeit gilt. Bei der Integrationsformel schlielich darf man die Mengen

V V und

U U vernachlassigen. All das folgt daraus, dass

V V und

U U
Nullmengen sind.
Beispiele:
1. Es sei a R
n
, r 0 und V = rU + a, U R
n
oen. Ist dann f : V

R
messbar und nicht-negativ oder integrierbar, so gilt
_
V
f(x) dx = r
n
_
U
f(rx + a) dx,
denn f ur den Dieomorphismus : U V , (x) = rx+a gilt ja det D =
det(r Id) = r
n
.
60
2. Zweidimensionale Polarkoordinaten. Die Abbildung : (0, ) (0, 2)
R
2
([0, ) 0), (r, ) = (r cos , r sin ) ist ein Dieomorphismus, s.
Analysis 2. F ur nicht-negative messbare oder integrierbare f gilt also (nach
Fubini)
_
R
2
f(x) dx =
_

0
_
2
0
rf(r cos , r sin ) ddr,
denn det D = det
_
cos r sin
sin r cos
_
= r.
Speziell f ur f =
B
1
(0)
erhalten wir die Flache der Einheitskreisscheibe:

2
(B
1
(0)) =
_
1
0
_
2
0
r ddr = 2
r
2
2

1
0
= .
Als weitere Anwendung konnen wir nun das Gau-Integral
_

e
x
2
dx
mit einem Trick berechnen. Nach Fubini gilt
__

e
x
2
dx
_
2
=
_

e
x
2
1
dx
1
e
x
2
2
dx
2
=
_
R
2
e
[x[
2
dx
=
_

0
_
2
0
e
r
2
dr dr = 2
_

0
e
r
2
r dr
= e
r
2

0
= ,
also
_

e
x
2
dx =

.
In n Dimensionen folgt daraus f ur beliebige a > 0 wegen e
ax
2
=

n
i=1
e
ax
2
i
_
R
n
e
ax
2
dx =
__
R
e
at
2
dt
_
n
=
_
1

a
_
R
e
s
2
ds
_
n
=
_

a
_n
2
.
3. Dreidimensionale Polarkoordinaten. Die Abbildung : (0, ) (0, 2)
(0, ) R
3
([0, )0R), (r, , ) = (r sin cos , r sin sin , r cos )
ist ein Dieomorphismus, s. Analysis 2. F ur nicht-negative messbare oder
integrierbare f gilt also (nach Fubini)
_
R
3
f(x) dx
=
_

0
_
2
0
_

0
f(r sin cos , r sin sin , r cos ) r
2
sin d ddr,
61
denn det D = r
2
sin .
Als Anwendung berechnen wir das Volumen der dreidimensionalen Kugel
B = B
1
(0):
(B) =
_
R
n

B
(x) dx =
_

0
_
2
0
_

0

[0,1)
(r)r
2
sin d ddr
= 2
_

0
sin d
_
1
0
r
2
dr = 2 2
1
3
=
4
3
.
4. Das Volumen der n-dimensionalen Kugel: Es sei B
(n)
r
die n-dimensionale
Vollkugel vom Radius r um 0. Dann gilt

n
(B
(n)
r
) =
_
_
_

(n1)/2
2
(n+1)/2
r
n
13...n
f ur ungerade n,

n/2
2
n/2
r
n
24...n
f ur gerade n.
Die Behauptung ergibt sich z.B. durch Induktion nach n: Zunachst ist (s.o.)

1
(B
(1)
r
) = 2r,
2
(B
(2)
r
) = r
2
,
was die Falle n = 1 und n = 2 liefert. Weiter gilt

n
(B
(n)
r
) =
_
R
n

x
2
1
+...+x
2
n
<r
2

(x) dx
=
_
B
(2)
r
__
R
n2

x
2
3
+...+x
2
n
<r
2
x
2
1
x
2
2

(x) dx
3
. . . dx
n
_
dx
1
dx
2
=
_
B
(2)
r

n2
_
B
(n2)

r
2
x
2
1
x
2
2
_
dx
1
dx
2
=
_
B
(2)
r
_
r
2
x
2
1
x
2
2
_n2
2
dx
1
dx
2

n2
_
B
(n2)
1
_
f ur n 3, wobei wir den Satz 3.38 von Fubini und die Skalierungseigenschaft
aus Lemma 3.40 ausgenutzt haben. Das hier auftretende zweidimensionale
Integral lasst sich mit Polarkoordinaten explizit berechnen und wir erhalten

n
(B
(n)
r
) =
_
r
0
_
2
0
(r
2
s
2
)
n2
2
d s ds
n2
_
B
(n2)
1
_
= 2
1
n
(r
2
s
2
)
n
2

s=r
s=0

n2
_
B
(n2)
1
_
=
2r
n
n

n2
_
B
(n2)
1
_
=
2r
2
n

n2
_
B
(n2)
r
_
,
62
wobei wir noch einmal die Skalierungseigenschaft von
n2
ausgenutzt ha-
ben. Hieraus ergibt sich die gew unschte Formel nun f ur n, wenn sie in n2
Dimensionen schon etabliert ist.
Nat urlich kann man das Ergebnis oenbar auch in der Form

n
(B
(n)
r
) =
_
_
_

(n1)/2
2
n+1
(
n+1
2
)!r
n
(n+1)!
f ur ungerade n,

n/2
r
n
(
n
2
)!
f ur gerade n.
schreiben. Wirklich h ubscher lasst sich diese Formel allerdings mit Hilfe der
Gamma-Funktion
5
darstellen:

n
(B
(n)
r
) =

n/2
r
n
(1 +
n
2
)
.
Dazu bemerken wir zunachst, dass die Substitution t = s
2
nach Beispiel 2
den Wert (
1
2
) =
_

0
t
1/2
e
t
dt = 2
_

0
e
s
2
ds =

liefert so dass

_
1 +
n
2
_
=
n
2

_
n
2
_
=
n
2
_
n
2
1
_

_
n
2
1
_
= . . .
=
_
n
2

n2
2
. . .
2
2
(1) =
n(n2)...1
2
n/2
n
2

n2
2
. . .
1
2
(
1
2
) =
n(n2)...1
2
(n+1)/2

folgt, was die Behauptung zeigt.

5
Erinnerung an Analysis 2: : (0, ) R, x
_

0
t
x1
e
t
dt interpoliert die Fakultaten
nat urlicher Zahlen und erf ullt die Funktionalgleichung x(x) = (x + 1) mit (1) = 1.
63
Kapitel 4
Ausgew

ahlte Anwendungen
4.1 L
p
-Raume
In diesem Abschnitt behandeln wir eine in der Analysis wichtige Klasse von Funk-
tionen. Diejenige namlich, f ur die geeignete Potenzen integrierbar sind. Im Fol-
genden sei (, /, ) ein Maraum.
Denition 4.1 F ur 1 p < und f :

R /-messbar setzt man
|f|
p
:=
__

[f[
p
d
_1
p
( [0, ])
und
L
p
(, /, ) := f : R : f ist /-messbar und |f|
p
<
Ist speziell R
n
messbar, / = /

und das Lebesgue-Ma, so schreiben wir

auch einfach L
p
().
Die Denition ware auch f ur p < 1 moglich, doch weisen die Raume L
p
(, /, )
dann nicht mehr so schone Eigenschaften auf, wie wir Sie unten beweisen wer-
den. Beachte auerdem, dass die Denition konsistent mit unser schon fr uher
eingef uhrten Notation L
1
(, /, ) ist.
Beispiel:
1. Es sei = [0, 1], f(x) = [x[

. Dann ist
f L
p
()
_
1
0
[x[
p
< p > 1 >
1
p
.
2. Ist = [1, ), g(x) = [x[

. Dann ist
f L
p
()
_

1
[x[
p
< p < 1 <
1
p
.
64
Denition 4.2 Eine /-messbare Funktion f : R heit wesentlich beschrankt,
wenn es eine wesentliche obere Schranke c, also ein c 0 mit
[f(x)[ c -fast uberall
gibt. Die kleinste wesentliche oberere Schranke nennt man das essentielle Supremum
von [f[ und schreibt:
|f|

:= ess sup[f[ := infc 0 : [f(x)[ c -fast uberall.

Die Menge der wesentlich beschrankten Funktionen bezeichnen wir mit L

(, /, )
(oder einfach L

() f ur das Lebesgue-Ma auf messbaren R

n
).
Beachte, dass |f|

selbst eine wesentliche obere Schranke f ur [f[ ist, denn

gilt etwa
[f(x)[ |f|

+
1
k
x / N
k
, (N
k
) = 0, k = 1, 2, . . . ,
so ist
[f(x)[ |f|

x /
_
k
N
k
,
_
_
k
N
k
_
= 0.
Achtung! Obwohl genauso bezeichnet, ist | |

i.A. nicht die Supremumsnorm.

Z.B. ist |
Q
|

= 0 in L

(R
n
).

Ubung: Es sei f L
p
(, /, ) f ur alle 1 p . Zeigen Sie
lim
p
|f|
p
= |f|

.
Wir konnen nun die Ungleichungen von Holder und von Minkowski in einem
sehr allgemeinen Rahmen formulieren.
Satz 4.3 (Die Holdersche Ungleichung) Es seien 1 p, q, mit
1
p
+
1
q
=
1 (wobei
1

:= 0). Sind f, g /-messbare numerische Funktionen auf , so gilt

|fg|
1
|f|
p
|g|
q
.
Insbesondere impliziert f L
p
() und g L
q
(), dass fg L
1
() gilt.
Beweis. Sei zunachst 1 < p, q < . Wir gehen aus von der elementaren Unglei-
chung
ab
a
p
p
+
b
q
q
a, b [0, ].
Die sieht man z.B. so: O.B.d.A. ist 0 < a, b < . Da (0, ) x log x konkav
ist (wegen x log
tt
(x) =
1
x
2
< 0), gilt
1
p
log(a
p
) +
1
q
log(b
q
) log
_
1
p
a
p
+
1
q
b
q
_
,
woraus die fragliche Ungleichung mach Anwenden der Exponentialfunktion folgt.
65
O.B.d.A. sei nun |f|
p
, |g|
q
> 0. (Ansonsten ware [f[
p
oder [g[
p
fast uberall
0 und damit fg = 0 f. u. Dann aber ist |fg|
1
= 0.) Speziell f ur a =
[f[
|f|p
und
b =
[g[
|g|q
ergibt sich nun aus obiger Ungleichung
|fg|
1
|f|
p
|g|
q
=
_

[f[
|f|
p

[g[
|g|
q
d
_

_
[f[
p
p|f|
p
p
+
[g[
q
q|g|
q
q
_
d =
1
p
+
1
q
= 1,
was zu zeigen war.
Gilt nun p, q = 1, , etwa o.B.d.A. p = 1 und q = , so gibt es eine
Nullmenge N mit [g(x)[ |g|

f ur alle x / N. Es folgt
_

[fg[ d =
_
\N
[fg[ d |g|

_
\N
[f[ d = |g|

|f|
1
.

Satz 4.4 (Die Minkowski-Ungleichung) Es seien 1 p und f, g /-

messbare numerische Funktionen auf . Dann gilt (falls f + g uberall deniert
ist)
|f + g|
p
|f|
p
+|g|
p
.
Insbesondere ist damit f + g L
p
(, /, ), wenn f, g L
p
(, /, ) gilt.
Beweis. O.B.d.A. sei f, g L
p
(, /, ). Es sei wieder zunachst 1 < p < .
Oenbar ist
|f + g|
p
p
=
_

[f + g[ [f + g[
p1
d

[f[ [f + g[
p1
d +
_

[g[ [f + g[
p1
d
und damit nach der Holderschen Ungleichung
|f + g|
p
p
|f|
p
|[f + g[
p1
|
q
+|g|
p
|[f + g[
p1
|
q
mit
1
p
+
1
q
= 1, also q =
p
p1
, wobei
|[f + g[
p1
|
q
=
__

[f + g[
(p1)
p
p1
_
p1
p
= |f + g|
p1
p
ist. Zusammengefasst ergibt sich
|f + g|
p
p
(|f|
p
+|g|
p
) |f + g|
p1
p
und daraus nach Division durch |f +g|
p1
p
die Behauptung, wenn wir garantieren
konnen, dass |f +g|
p
< ist. Das aber folgt aus [f +g[
p
(2 max[f[, [g[)
p

2
p
[f[
p
+ 2
p
[g[
p
.
66
F ur p = 1 folgt direkt
|f + g|
1
=
_

[f + g[ d
_

[f[ d +
_

[g[ d = |f|
1
+|g|
1
.
F ur p = schlielich erhalt man die Behauptung, da mit [f[ |f|

f. u.
und [g[ |g|

f. u. auch [f + g[ |f|

+|g|

f. u. ist.
Bemerkung. F ur ein Intervall [a, b] erhalt man die aus der Riemannschen Inte-
grationstheorie bekannten Versionen dieser Ungleichungen zur uck. Aber auch die
Versionen f ur Vektoren und f ur Folgen ergeben sich sofort aus Theorem 4.3 und
4.4, indem man 1, . . . , N bzw. N mit dem Zahlma betrachtet.
Beispiele:
1. Ist ein endliches Ma, also () < , (wie etwa das Lebesgue-Ma auf
einer beschrankten Menge), so gilt
p p
t
= L
p
(, /, ) L
p

(, /, ).
Begr undung: F ur f L
p

(, /, ) ist mit
1

+
p
p

= 1
|f|
p
p
= |[f[
p
|
1
|1|

|[f[
p
|
p

/p
= (())
1

__
[f[
p

d
_
p
p

< .
2. Ist das Zahlma auf N, also (A) = #A, so schreibt man auch L
p
(, /, ) =:
l
p
. Hier gelten die umgekehrten Inklusionen (

Uberlegen Sie sich das!):

p p
t
= l
p
l
p

.
3. Ist = das Lebesgue-Ma auf R, so gilt f ur zwei verschiedene p und p
t
keine dieser Inklusionen:
p ,= p
t
= L
p
(R) , L
p

(R)
f ur alle p, p
t
[1, ].

Ubung: Zeigen Sie dies.

Die Notation | |
p
wird durch das folgende Korollar (fast) gerechtfertigt:
Korollar 4.5 Es seien 1 p , f, g L
p
(, /, ) und R. Dann sind
auch f und f + g (falls uberall deniert) in L
p
(, /, ) und es gilt
(i) |f|
p
= [[|f|
p
,
(ii) |f + g|
p
|f|
p
+|g|
p
und
67
(iii) |f|
p
= 0 f = 0 f. u.
Beweis. (i) ist klar, (ii) ist gerade die Minkowskische Ungleichung und (iii) folgt
aus Lemma 3.21.
||
p
ist also fast eine Norm auf L
p
(, /, ). (Da zur Norm nur die Implikation
|f|
p
= 0 = f = 0 fehlt, spricht man auch von einer Pseudonorm.) Insbe-
sondere kann man die Konverenz von Funktionenfolgen f
k
f in L
p
(, /, )
bez uglich | |
p
untersuchen. Dabei ist nur zu beachten, dass
f
k
f in L
p
(, /, ) : |f
k
f|
p
0
die Limesfunktion nur fast uberall festlegt. Cauchy-Folgen (f
k
) bzgl. | |
p
sind
nat urlich durch
> 0 N N : |f
k
f
m
|
p
< k, m N
charakterisiert und es ist klar, dass jede konvergente Folge eine Cauchy-Folge ist.
Wegen [|f
k
|
p
|f|
p
[ |f
k
f|
p
nach Minkowski ist auch
f
k
f in L
p
(, /, ) = |f
k
|
p
|f|
p
oensichtlich.
Ganz wesentlich f ur die L
p
-Raume ist nun der folgende Vollstandigkeitssatz:
Satz 4.6 Jede Cauchy-Folge (f
k
) aus L
p
(, /, ) konvergiert gegen ein f
L
p
(, /, ). Dar uberhinaus gibt es eine Teilfolge (f
km
), so dass f
km
f punkt-
weise fast uberall gilt.
Beweis.
1
1. Wir denieren uns k
1
< k
2
< . . . induktiv, so dass
|f
k
m+1
f
km
|
p
2
m
gilt. Dazu wahlen wir induktiv k
m
> k
m1
zu = 2
m
einfach so gro, dass
|f
i
f
km
| < 2
m
f ur alle i k
m
ist. Setze nun
g
m
= f
k
m+1
f
km
und g =

m=1
[g
m
[ ( [0, ]).
Nach der Minkowski-Ungleichung ist dann
_
_
_
_
_
N

m=1
[g
m
[
_
_
_
_
_
p

m=1
|f
k
m+1
f
km
|
p
1 N N
1
Dieser Beweis wurde in der Vorlesung weggelassen.
68
und daher auch |g|
p
1: F ur 1 p < folgt dies aus

N
m=1
[g
m
[
p
g
p
und
dem Satz von der monotonen Konvergenz. F ur p = ergibt sich das daraus,
dass mit

N
m=1
[g
m
[ 1 f. u. und

N
m=1
[g
m
[ g auch g 1 f. u. ist.
Dann aber ist g fast uberall endlich und die Summe

m=1
g
m
fast uberall
absolut konvergent. Wegen

m
i=1
g
i
= f
km
f
k
1
konvergiert die Teilfolge (f
km
)
fast uberall gegen ein /-messbares f (= f
k
1
+

i=1
g
i
).
2. Es sei nun zunachst 1 p < . F ur jedes m ist
[f f
km
[
p
=

i=m+1
g
i

p
g
p
f. u.
Da aber g
p
integrierbar ist und [f f
km
[
p
f. u. gegen 0 konvergiert, folgt aus dem
Satz von der majorisierten Konvergenz
|f f
km
|
p
=
__
[f f
km
[
p
_1
p
0.
Dann aber konvergiert schon die ganze Folge bez uglich | |
p
, denn zu > 0 gibt
es ein N N und dazu ein k
m
N mit
|f
i
f
j
| < i, j N und |f f
km
| <
und somit
|f
i
f|
p
< 2 i N.
3. F ur p = gilt sogar eine starkere Aussage. F ur jedes Indexpaar i, j gibt
es eine Nullmenge N
ij
mit
sup
\N
[f
i
f
j
[ = |f
i
f
j
|

Das zeigt, dass (f

k
) auf N, N =

i,j
N
ij
sogar bez uglich der Supremumsnorm,
also im vollstandigen Raum B( N; [ [

), eine Cauchy-Folge bildet, wobei N

immer noch eine Nullmenge ist. Nach einem Satz aus der Analysis 2 konvergiert
dann f
k
f (und nicht nur eine Teilfolge) sogar gleichmaig auf N, erst
recht punktweise fast uberall auf .
Wir diskutieren nun noch ein Dichtheitsresultat f ur die Raume L
p
(R
n
). Dabei
nennen wir eine Funktion f : R
n
R eine Treppenfunktion, wenn es halboene
Quader Q
1
, . . . , Q
N
und reelle Zahlen a
1
, . . . , a
N
, N [N derart gibt, dass f
(evtl. auch nur fast uberall) von der Form
f =
N

j=1
a
j

Q
j
ist.
69
Satz 4.7 Die Menge der Treppenfunktionen ist dicht in L
p
(R
n
) f ur 1 p < .

Ubungsaufgabe! Die Losung wird spater hier eingef ugt.

Als Korollar erhalten wir:

Korollar 4.8 Die Menge der stetigen Funktionen mit kompaktem Trager ist
dicht in L
p
(R
n
) f ur 1 p < .
Hierbei ist der Trager (engl.: support) einer Funktion f : R
n

R deniert
durch
supp f = x : f(x) ,= 0.
Beweis.

Ubungsaufgabe! Die Losung wird spater hier eingef ugt.
Leider ist L
p
(, /, ) selbst kein normierter Vektorraum, da | |
p
nur eine
Pseudonorm ist und nicht alle Summen von Funktionen erklart sind. (Immer
dann namlich, wenn Ausdr ucke der Form auftreten.) Andererseits haben
wir ja schon festgestellt, dass sich in der Integrationstheorie Funktionen, die fast
uberall gleich sind, im Wesentlichen gleich verhalten. Um nun einen normierten
Raum zu denieren, identiziert man solche Funktionen daher und geht wie folgt
vor: Auf der Menge der /-messbaren numerischen Funktionen denieren wir eine

Aquivalenzrelation durch
f g : f = g -fast uberall.
Die

Aquivalenzklasse einer Funktionen f bezeichnen wir mit [f] und setzen
L
p
(, /, ) := [f] : f L
p
(, /, ).
Durch [f] = [f] und [f] + [g] = [f + g] f ur R, f, g L
p
(, /, ) ist
in wohldenierter Art und Weise eine Vektorraumstruktur auf L
p
(, /, )
gegeben. Beachte, dass jede Funktion aus L
p
(, /, ) hochstens auf einer Null-
menge die Werte annehmen kann, so dass jede

Aquivalenzklasse Vertreter
mit Werten aus R hat. Auch
|[f]|
p
:= |f| f L
p
(, /, )
ist wohldeniert. Hierduch wird L
p
(, /, ) nun tatsachlich zu einem normierten
Raum, wie sich unmittelbar aus Korollar 4.5 ergibt, und es gilt [f
k
] [f] in
L
p
(, /, ) genau dann, wenn f
k
f in L
p
(, /, ) gilt. Auch das Konzept der
punktweisen Konvergenz -fast uberall lasst sich ubertragen, indem wir sagen,
dass [f
k
] [f] -fast uberall gilt, wenn f
k
f -fast uberall erf ullt ist. Auch
das hangt ja nicht von der Auswahl der Reprasentanten aus [f
k
] oder [f] ab.
70
Es ist nun ublich, nicht ganz so genau zwischen f und der

Aquivalenzklasse
[f] von f zu unterscheiden. Solange die betrachteten Funktionen unter einem
Integral auftreten, ist das ja auch nicht so schlimm. Man muss dabei allerdings
vorsichtig sein: Ein Ausdruck der Form [f](x) allein macht i.A. keinen Sinn. Es
kann ja f(x) ,= f
t
(x) f ur f f
t
vorkommen. Man sagt also etwa, dass nach der
Holderschen Ungleichung
|fg|
1
|f|
p
|g|
q
f, g L
1
(, /, )
gilt,
1
p
+
1
q
= 1, meint aber, dass dies f ur alle Vertreter der Klassen [f] und [g] der
Fall ist, ahnlich f ur die Minkowski-Ungleichung.
Satz 4.6, Satz 4.7 und Korollar 4.8 lasst sich nun so zusammenfassen:
Satz 4.9 L
p
(, /, ) ist ein Banachraum f ur 1 p . Jede konvergente
Folge in diesem Raum besitzt eine fast uberall konvergente Teilfolge. Sowohl die
Menge der Treppenfunktionen als auch die Menge der stetigen Funktionen mit
kompaktem Trager liegen dicht in L
p
(R
n
) f ur 1 p < .
In der letzten Aussage sind hierbei nat urlich die

Aquivalenzklassen, die eine
Treppenfunktion als Reprasentanten bzw. einen stetigen Reprasentanten besit-
zen, gemeint.
Wir werden dieser Konvention im Weiteren folgen und daher immer von Funk-
tionen in L
p
(, /, ) sprechen, wo doch eigentlich deren

Aquivalenzklassen oder
Funktionen in L
p
(, /, ) gemeint sind.
Bemerkungen.
1. Indem wir die Ergebnisse dieses Abschnitts komponentenweise anwenden,
erhalten wir zu den Aussagen aus Satz 4.9 analoge Aussagen f ur die Raume
vektorwertiger Funktionen (eigtl.:

Aquivalenzklassen vektorwertiger Funk-
tionen) L
p
(, /, ; R
m
).
2. Die Raume L
2
(, /, ) sind sogar Hilbertraume, also Vektorraume mit ei-
nem Skalarprodukt, die bez uglich der induzierten Norm vollstandig sind.
Das Skalarprodukt auf L
2
(, /, ) ist hierbei gegeben durch
(f, g) f, g :=
_

fg d.
Analoges gilt f ur komplexwertige Funktionen, wobei das Skalarprodukt auf
L
2
(, /, ; C) dann durch
(f, g) f, g :=
_

fg d.
deniert ist.
71
4.2 Faltung und Glattungskerne
Im Folgenden betrachten wir speziell das Lebegue-Ma auf dem R
n
und die Funk-
tionenraume L
p
:= L
p
(R
n
) := L
p
(R
n
, /, ).
Denition 4.10 Sind f und g nicht negative messbare numerische Funktionen
oder integrierbare Funktionen, so deniert man die Faltung f g : R
n

R von
f und g durch
f g(x) :=
_
R
n
f(x y)g(y) dy.
F ur f, g 0 ist dies (als Element von [0, ]) oenbar immer deniert. Das
gilt aber auch f ur integrierbare f und g, denn wegen
_
R
n
_
R
n
[f(x y)g(y)[ dy dx =
_
R
n
_
R
n
[f(x y)[ dx [g(y)[ dy = |f|
1
|g|
1
< ,
nach dem Satz von Tonelli ist (x, y) f(xy)g(y) auf R
n
R
n
integrierbar und
damit nach Fubini
x
_
R
n
f(x y)g(y) dy
eine (f. u. denierte) integrierbare Funktion.
Proposition 4.11 Sind f, g : R
n

R integrierbar, so sind auch f g und g f
integrierbar und es gilt
|f g|
1
|f|
1
|g|
1
sowie f g = g f.
Beweis. Die Rechnung von oben zeigt
|f g|
1
=
_
R
n
[f g(x)[ dx
_
R
n
_
R
n
[f(x y)g(y)[ dy dx = |f|
1
|g|
1
.
Eine analoge Abschatzung gilt f ur gf. Die Kommutativitat folgt aus dem Trans-
formationssatz mit der Substitution z = x y. (Genauer: Mit der Transformati-
onsformel f ur den Dieomorphismus y x y.) Demnach ist
f g(x) =
_
R
n
f(x y)g(y) dy =
_
R
n
f(z)g(z x) dz = g f(x).

Da mit f = f
t
f. u. und g = g
t
f. u. oenbar auch f g = f
t
g
t
f. u. ist, konnen
wir die Faltung auch als eine Abbildung
L
1
(R
n
) L
1
(R
n
) L
1
(R
n
), (f, g) f g
72
auassen, die oenbar bilinear ist. Proposition 4.11 besagt dann insbesondere,
dass diese Faltungsabbildung stetig ist, denn f
k
f und g
k
g in L
1
impliziert
|f
k
g
k
f g|
1
|(f
k
f) g
k
|
1
+|f (g
k
g)|
1
|(f
k
f)|
1
|g
k
|
1
+|f|
1
|g
k
g|
1
0,
da |g
k
|
1
als konvergente Folge beschrankt ist.
Zusammengefasst lauten die Ergebnisse von oben dann:
Satz 4.12 Die Faltungsabbildung L
1
(R
n
) L
1
(R
n
) L
1
(R
n
), (f, g) f g ist
bilinear und kommutativ und stetig mit
|f g|
1
|f|
1
|g|
1
.
Beweis. Klar.
Die Faltung ist auch dann noch sinnvoll deniert, wenn einer der Faktoren in
L
1
und der andere in L
p
f ur beliebiges 1 p liegt:
Satz 4.13 F ur f L
1
(R
n
) und g L
p
(R
n
), 1 p deniert
f g(x) =
_
R
n
f(x y)g(y) dy
eine stetige bilineare Abbildung L
1
(R
n
) L
p
(R
n
) L
p
(R
n
) mit
|f g|
p
|f|
1
|g|
p
.
Die letzte Abschatzung heit auch die Youngsche Ungleichung.
Beweis.
2
F ur p = 1 ist das schon gezeigt und f ur p = ist [f(x y)g(y)[
|g|

[f(x y)[ f ur fast alle y, also integrierbar mit

[f g(x)[
_
R
n
[f(x y)g(y)[ dy |g|

_
R
n
[f(x y)[ dy = |g|

|f|
1
.
f ur alle x.
Sei nun 1 < p < . Zunachst gilt f ur f, g 0 mit
1
p
+
1
q
= 1 nach der
Holderschen Ungleichung
f g(x) =
_
R
n
f
1/q
(x y)f
1/p
(x y)g(y) dy

__
R
n
[f
1/q
[
q
dy
_1
q
__
R
n
[f
1/p
(x y)g(y)[
p
dy
_1
p
= |f|
1/q
1
__
R
n
f(x y)g
p
(y) dy
_1
p
.
2
Dieser Beweis wurde in der Vorlesung weggelassen.
73
Potenzieren mit p und Integration nach x liefert wegen q =
p
p1
nach dem Satz
von Tonelli
_
R
n
(f g)
p
dx |f|
p1
1
_
R
n
_
R
n
f(x y)g
p
(y) dy dx
= |f|
p1
1
_
R
n
_
R
n
f(x y) dx g
p
(y) dy
= |f|
p1
1
_
R
n
|f|
1
g
p
(y) dy = |f|
p
1
|g|
p
p
,
d.h. es ist
__
R
n
__
R
n
f(x y)g(y) dy
_
p
dx
_1
p
|f|
1
|g|
p
.
F ur f L
1
(R
n
) und g L
p
(R
n
) zeigt die Rechnung angewandt auf [f[ und
[g[, dass y f(x y)g(y) f ur fast alle x integrierbar ist mit
__
R
n

_
R
n
f(x y)g(y) dy

p
dx
_1
p

__
R
n
__
R
n
[f(x y)[[g(y)[ dy
_
p
dx
_1
p
|f|
1
|g|
p
,
was zu zeigen war. Die Stetigkeit der Faltungsabbildung folgt ganz analog zum
Fall q = 1.
Bemerkung.
3
Man kann auch zwei Mae und
t
auf B falten, indem man

t
(A) :=
_
R
n
(A x)
t
(dx)
setzt. Wahlt man zu A B
n
die Menge S
A
= (x, y) R
n
R
n
: x +y A, so
zeigt

t
(S
A
) =
_
R
n
_
R
n

S
A
(x, y) (dy)
t
(dx)
=
_
R
n
_
R
n

Ax
(y) (dy)
t
(dx) =
_
R
n
(A x)
t
(dx),
dass
t
gerade das Bildma des Produktmaes unter der Bildung der Summen
der Komponenten ist. In wahrscheinlichkeitstheoretischer Interpretation zeigt die-
ser Zusammenhang, dass die Verteilung der Summe unabhangiger Zufallsvaria-
blen gerade durch die Faltung der Verteilungen der Summanden gegeben ist.
3
Diese Bemerkung kann getrost ubersprungen werden.
74
Der Zusammenhang zu L
1
-Funktionen ergibt sich, wenn und
t
durch Dich-
ten (vgl. die Bemerkung von Seite 40) f bzw. f
t
bez uglich des Lebesgue-Maes
gegeben sind. Dann ist namlich

t
(A) =
_

_
Ax
f(y) dy f
t
(x) dx =
_

_
A
f(y x) dy f
t
(x) dx
=
_
A
_

f(y x) f
t
(x) dx dy =
_
A
f f
t
(y) dy,
also f f
t
gerade die Dichte von
t
.
Eine f ur die Analysis bedeutende Anwendung ist die Approximation von rauen
durch glatte Funktionen, die sich aus den nachsten beiden Satzen ergibt.
Satz 4.14 Es seien f C
k
(R
n
), k N
0
, mit kompaktem Trager und g L
p
(R
n
),
1 p . Dann ist auch f g C
k
(R
n
) und es gilt

(f g) = (

f) g
f ur alle Multiindizes mit [[ k.
Beweis. Wahlt man R so gro, dass supp f B
R
(0) und damit auch supp

f
B
R
(0) f ur jedes ist, so folgt f ur jedes r > 0

f(x y) = 0 x B
r
(0), y B
c
R+r
(0).
da f ur diese x, y ja [x y[ [y[ [x[ R gilt. Damit ist aber f ur x B
r
(0)
[

f(x y)g(y)[ C
B
R+r
(0)
(y)g(y)
f ur eine Konstante C > max
[[k
sup
zR
n [

f(z)[. (Ein solches C existiert, da

jedes

f kompakten Trager hat.) Auf der rechten Seite der letzten Ungleichung
steht aber eine integrierbare Funktion, denn nach Holder ist
|
B
R+r
(0)
g|
1
|
B
R+r
(0)
|
q
|g|
p
= ((B
R+r
(0)))
1/q
|g|
p
<
mit
1
p
+
1
q
= 1.
Die Stetigkeit von f g in B
r
(0) folgt nun direkt aus Satz 3.28. Da r > 0 aber
beliebig war, ist damit der Fall k = 0 gezeigt. Die Dierenzierbarkeitsaussage folgt
nun induktiv mit Satz 3.29: Ist sie f ur f C
k
schon gezeigt und nun f C
k+1
,
so gilt f ur [[ = k mit
i
> 0 ja

e
i
(f g) =
_
R
n

e
i
x
f(x y)g(y) dy,
wobei die Ableitung
x
i

e
i
x
f(x y)g(y) des Integranden f ur x B
r
(0) durch
eine integrierbare Funktion majorisiert wird. Wir d urfen also unter dem Integral
75
dierenzieren und erhalten, da r beliebig war, eine nach dem Fall k = 0 stetige
Funktion

(f g) = (

f) g.

Bemerkung. Der Beweis zeigt, dass eine schwachere Annahme als supp f kom-
pakt ausgereicht hatte: Es gen ugt etwa, dass zu jedem r > 0 und Multiindex
eine L
q
-Funktion F,
1
p
+
1
q
= 1, gefunden werden kann mit
sup
xBr(0)
[

f(x y)[ F(y).

Ein wichtiges Beispiel einer solchen Funktion ist f(x) = e
x
2
.
Denition 4.15 Eine Folge nichtnegativer Funktionen (
k
) L
1
(R
n
) heit eine
Dirac-Folge, wenn gilt
lim
k
_
R
n

k
= 1 und lim
k
_
R
n
\Br(0)

k
= 0 r > 0.
Satz 4.16 Es sei (
k
) eine Diracfolge auf R
n
, f L
p
(R
n
), 1 p . Setze
f
k
:=
k
f. Dann gilt:
(i) Ist f L
p
(R
n
) mit 1 p < , so folgt f
k
f in L
p
.
(ii) Ist f C
b
(R
n
) := L

(R
n
) C(R
n
), so folgt f
k
f gleichmaig auf jeder
kompakten Teilmenge von R
n
.
Bemerkung. Anschaulich (und in einem gewissen Sinne sogar rigoros) approxi-
miert eine solche Dirac-Folge das Dirac-Ma
0
mit

0
(A) = 1 0 A
f ur A /. Fasst man f L
1
als Ma A
_
A
f(x) dx mit Dichte f auf, so gilt

0
f(A) =
_
R
n

0
(A x)f(x) dx =
_
R
n

A
(x)f(x) dx =
_
A
f(x) dx.
M.a.W.: f = f. Satz 4.16 liefert also mit geeigneten Approximationen
k
an

0
Approximationen
k
f an
0
f = f.
Beweis von Satz 4.16. Wir zeigen zunachst (ii). Sei K R
n
kompakt. Zu > 0
konnen wir wegen der gleichmaigen Stetigkeit von f auf beschrankten Mengen
0 < r < 1 so klein wahlen, dass
sup
xK
sup
yBr(x)
[f(x) f(y)[
76
gilt. F ur hinreichend groe k ist
_
R
n
\Br(0)

k
und [1
_
R
n

k
[ und wir
erhalten
[f
k
(x) f(x)[
=

_
R
n

k
(x y) (f(y) f(x)) dy
_
1
_
R
n

k
(x y) dy
_
f(x)

_
Br(x)

k
(x y) [f(y) f(x)[ dy +
_
R
n
\Br(x)

k
(x y) [f(y) f(x)[ dy
+

1
_
R
n

k
(x y) dy

[f(x)[

_
Br(x)

k
(x y) dy + 2|f|

_
R
n
\Br(x)

k
(x y) dy +|f|
L

(1 + ) + 3|f|

f ur alle x K. Daraus folgt die Behauptung.

(i) ergibt sich nun aus (ii) mit Hilfe der Youngschen Ungleichung und der
Dichtheit von f C : supp f ist kompakt in L
p
. Nach der Youngschen Unglei-
chung gilt
|
k
f (
B
1
(0)

k
) f|
p

_
R
n
\B
1
(0)

k
dx |f|
p
0.
Wir d urfen also, indem wir ggf. zu (
B
1
(0)

k
), was wieder eine Diracfolge ist,
ubergehen, annehmen, dass supp
k
B
1
(0) f ur alle k gilt.
Zu > 0 wahle g stetig mit kompaktem Trager, etwa supp g B
R
(0), so dass
|f g|
p
ist, vgl. Satz 4.9. Da dann aber

k
(x y)g(y) = 0 x / B
R+1
(0), y R
n
, k N
und damit supp(
k
g) B
R+1
(0) ist, folgt aus (ii) f ur k gen ugend gro
|f
k
f|
p
|
k
f
k
g|
p
+|
k
g g|
p
+|g f|
p
|
k
|
1
|g f|
p
+
_
_
B
R+1
(0)
[
k
g g[
p
_1
p
+|f g|
p
(1 +|
k
|
1
) +[B
R+1
(0)[
1
p
sup
B
R+1
(0)
[
k
g g[ 3.

Beispiel: Es sei : R
n
R nicht negativ und integrierbar mit
_
R
n
(x) dx = 1.
F ur > 0 setze

(x) =
n
(
x

). Dann ist (

) f ur 0 (genauer: (

k
)
kN
f ur

k
0) eine Dirac-Folge.
77
Begr undung: Nach der Transformationsformel ist (mit der Substitution y =
1
x)
_
R
n

(x) dx =
_
R
n

n
(
1
x) dx =
_
R
n
(y) dy = 1
f ur alle und
_
R
n
\Br(0)

(x) dx =
_
R
n
\B
r/
(0)
(y) dy 0
mit 0 nach dem Satz von der majorisierten Konvergenz.
Dies gilt insbesondere f ur die Funktion
(x) =
_
Ce

1
1x
2
f ur [x[ < 1,
0 f ur [x[ 1,
wobei C > 0 so gewahlt ist, dass
_
(x) dx = 1 ist. Dieses ist unendlich
oft dierenzierbar. (Beachte, dass die Funktion t e

1
1t
2
auf R C

-glatt
ist. Das folgt daraus, dass deren k-te Ableitung auf (1, 1) von der Form t
p
k
(t)(1 t
2
)
2k
e

1
1t
2
f ur geeignete Polynome p
k
ist, wie man durch Induktion
sieht.

Uberlegen Sie sich das!) Man nennt diese Funktion auch den Standard-
Glattungskern (engl.: standard mollier).
Korollar 4.17 Die Menge C

c
(R
n
) der beliebig oft dierenzierbaren Funktionen
mit kompaktem Trager ist dicht in L
p
(R
n
) f ur 1 p < .
Bemerkung. Beachte, dass der folgende Beweis zeigt, dass die C

c
(R
n
)-Approxi-
mationen an f L
p
unabhangig von p gewahlt werden konnen.
Beweis. Es sei der Standard-Glattungskern aus dem vorigen Beispiel und

n
(

) die zugehorige Dirac-Folge. Ist f L

p
und > 0, so ist nach dem Satz
von der majorisierten Konvergenz f ur g =
B
R
(0)
f L
p
|f g|
p
< f ur R
hinreichend gro. Nach Satz 4.14 ist nun

g C

-glatt und nach Satz 4.16 gilt

|

g g|
p
f ur hinreichend kleine > 0, also | g f|
p
< 2. Schlielich
ist

(x y)g(y) = 0 f ur alle y R
n
, wenn x / B
R+
(0) ist, weshalb

g
kompakten Trager hat.
(Nat urlich gilt auch

f C

und

f f mit 0. Doch diese

Funktionen haben i.A. nicht kompakten Trager.)
4.3 Fourier-Transformation
In Analysis 2 hatten wir gesehen, das sich periodische Funktionen in eine Fourier-
Reihe entwickeln lassen, sich also als

Uberlagerung der komplexen Exponential-
funktionen x e
ikx
, k Z, darstellen lassen. Wir wenden uns nun dem Problem
zu, allgemeine Funktionen f : R
n
C in dieser Weise zu beschreiben. Lasst man
78
die Periodizitatsbedingung fallen, stellt sich heraus, dass (gutartige) Funktionen
f immer noch durch eine kontinuierliche

Uberlagerung der ebenen Wellen
x e
ix
, R
n
, gegeben sind:
f(x) =
1
(2)
n/2
_
R
n
e
ix

f() d.
Die

f(), R
n
, spielen hier die Rolle der Fourierkoezienten im periodischen
Fall. Nun brauchen wir allerdings f ur jedes R
n
einen solchen Koezienten
und nicht mehr nur abzahlbar viele wie bei den Fourier-Reihen. Die Abbildung


f() nennt man die Fourier-Transformierte von f.
Nat urlicherweise betrachten wir in diesem Abschnitt komplexwertige Funk-
tionen, schreiben aber oft nur kurz L
p
oder L
p
(R
n
) f ur L
p
(R
n
; C).
Denition 4.18 Es sei f L
1
(R
n
; C). Dann ist die Fourier-Transformierte von
f als die Funktion

f : R
n
C mit
Tf() :=

f() :=
1
(2)
n/2
_
R
n
e
ix
f(x) dx
deniert.
Da die Funktionen x e
ix
(durch 1) beschrankt sind, existieren diese Integrale
wirklich. Oensichtlich stimmen sie f ur fast uberall gleiche Funktionen uberein.
Bemerkungen.
1. In der Literatur sind auch leicht abweichende Denitionen gebrauchlich,
wobei es immer darum geht, den Faktor 2 an unterschiedlichen Stellen
unterzubringen. Insbesondere ndet man auch oft
_
R
n
e
ix
f(x) dx als De-
nition f ur die Fourier-Transformation (wobei 2 dann in der unten dis-
kutierten inversen Fourier-Transformation auftritt). Jede Version hat ihre
Vor- und Nachteile.
2. Man kann durch T() := () :=
1
(2)
n/2
_
R
n
e
ix
(dx) die Fourier-Trans-
formation auch f ur endliche Mae auf dem R
n
erklaren. Das werden wir hier
aber nicht weiter verfolgen.
Beispiele:
1. Es sei f =
(R,R)
: R R die charakeristische Funktion des Intervalls
(R, R). Dann ist (

Ubung!)

f() =
_
2

sin(R)

.
79
2. Es sei nun f : R R die Gausche Glockenkurve f(x) =
1

2
e
x
2
/2
. Dann
ist

f() =
1
2
_

e
ix
e

x
2
2
dx =
1
2
_

1
2
(x+i)
2
dx e

2
2
.
Um das letzte Integral, ohne Anleihen aus der Funktionentheorie nehmen
zu m ussen, zu berechnen, bemerken wir, dass nach Satz 3.29
d
d
_

1
2
(x+i)
2
dx = i
_

(x + i)e

1
2
(x+i)
2
dx = ie

1
2
(x+i)
2

x=
x=
= 0
gilt, denn f ur jedes R > 0 ist wegen [e

1
2
(x+i)
2
[ = e

1
2
(x
2

2
)
die Ableitung
des Integranden durch

(x + i)e

1
2
(x+i)
2

([x[ + R)e

1
2
(x
2
R
2
)
B
R
(0)
majorisiert. Da auerdem f ur = 0 nach Beispiel 2 von Seite 61 gilt
_

e
x
2
/2
dx =

2, erhalten wir zusamenfassend:

f() =
1
2

2 e

2
2
= f().
f ist also seine eigene Fourier-Transformierte.
Wir untersuchen nun zunachst einige elementare Eigenschaften der Fourier-
Transformation.
Satz 4.19 (Elementare Eigenschaften der Fourier-Transformation) Es sei-
en f, g L
1
(R
n
), C. Die Fourier-Transformation erf ullt die folgenden Eigen-
schaften:
(i)

f + g =

f + g und

f =

f.
(ii)

f ist stetig und beschrankt mit |

f|

1
(2)
n/2
|f|
1
.
(iii) F ur die Fourier-Transformierte der komplex-konjugierten Funktion gilt

f() =

f() R
n
.
(iv) Bezeichnet
a
f f ur a R
n
die um a translatierte Funktion f( a), so gilt

a
f() = e
ia

f() R
n
.
(v) Ist R 0 und bezeichnet f

die gestreckte Funktion f

(x) = f(x), so
ist

() =
1
[[
n

f
_

_
R
n
.
80
(vi)

fg und f g liegen in L
1
und es gilt
_
R
n

f(x)g(x) dx =
_
R
n
f(x) g(x) dx.
Beweis. (i) Klar.
(ii) Die Stetigkeit von

f folgt direkt aus Satz 3.28 und [e
ix
f(x)[ = [f(x)[.
Des Weiteren ist [

f()[
1
(2)
n/2
_
R
n
[e
ix
f(x)[ dx =
1
(2)
n/2
|f|
1
f ur alle .
(iii) Dies folgt aus

f() =
1
(2)
n/2
_
R
n
e
ix
f(x) dx =
1
(2)
n/2
_
R
n
e
+ix
f(x) dx =

f().
(iv) Oenbar ist
a
f L
1
und die Substitution y = x a ergibt
1
(2)
n/2
_
R
n
e
ix
f(x a) dx =
1
(2)
n/2
_
R
n
e
ia
e
iy
f(y) dy = e
ia

f().
(v) Oenbar ist f

L
1
und die Substitution y = x ergibt nach der Trans-
formationsformel
1
(2)
n/2
_
R
n
e
ix
f(x) dx =
1
(2)
n/2
_
R
n
e
iy

f(y)
1
[[
n
dy =
1
[[
n

f
_

_
.
(vi) Wegen (ii) ist

f, g L

und daher nach der Holderschen Ungleichung

fg, f g L
1
. Mit dem Satz von Fubini ergibt sich
_
R
n

f(x)g(x) dx =
1
(2)
n/2
_
R
n
_
R
n
e
iyx
f(y) dy g(x) dx
=
1
(2)
n/2
_
R
n
_
R
n
e
iyx
g(x) dx f(y) dy =
_
R
n
g(y)f(y) dx.
(Beachte, dass (x, y) e
iyx
f(y)g(x), vom Betrag kleiner oder gleich [f(x)[[g(y)[,
nach dem Satz von Tonelli integrierbar ist.)
Bemerkung. (i) und (ii) besagen, dass die Fourier-Transformation eine stetige
lineare Abbildung T : L
1
L

ist, deren Bild sogar in C

b
= L

C liegt. Wir
werden diese Aussage weiter unten noch verstarken.
Wir begr unden nun die eingangs erwahnte Darstellungsformel f ur f durch
seine Fourier-Transformierte.
Satz 4.20 (Umkehrformel) Es seien f und

f L
1
. Dann gilt
f(x) =
1
(2)
n/2
_
R
n
e
ix

f() d.
81
F ur eine Funktion g L
1
schreibt man daher auch
T
1
g() :=
1
(2)
n/2
_
R
n
e
ix
g(x) dx,
also T
1
g() = Tg() und nennt diese Operation die inverse Fourier-Transfor-
mation.
Beweis. Zu (x) =
1
(2)
n/2
e

x
2
2
denieren wir

(x) = (x) und

(x) =
n

_
x

_
f ur > 0. Nach Satz 4.19(v) und Beispiel 2 von Seite 80 gilt dann

() =

(x).
Nach Satz 4.19(iv) und (vi) ist daher (mit y = )
_
e
ix

f()

() d =
_

x
f()

() d =
_

x
f()

() d
=
_
f(x + )

() d =
_
f(x y)

(y) dy = (f

)(x),
weil

gerade ist.
Nun ist nach dem Beispiel von Seite 77 ()

k
f ur
k
0 eine Dirac-Folge,
denn es gilt ja
_

1
(x) dx = 1 nach Beispiel 2 von Seite 80. Damit gibt es nach
den Satzen 4.16(i) und 4.6 eine Teilfolge, so dass f

km
fast uberall gegen f
konvergiert. Andererseits gilt oenbar

k

1
(2)
n/2
und damit wegen
[e
ix

f()

()[
1
(2)
n/2
[

f()[
nach dem Satz von der majorisierten Konvergenz
_
e
ix

f()

k
() d
1
(2)
n/2
_
e
ix

f() d
f ur alle x. Es folgt tatsachlich
f(x) =
1
(2)
n/2
_
e
ix

f() d f ur f.a. x.

Korollar 4.21 Ist f,

f L
1
, so gilt

f(x) = f(x).
82
Beweis. f(x) = T
1
Tf(x) = T
2
f(x).
Besonders wichtig ist nun, dass die Fourier-Transformation Ableitungen in
Produkte verwandelt(!).
Satz 4.22 (Fourier-Transformation und Dierentiation) Es seien f L
1
(R
n
)
und j 1, . . . , n.
(i) Ist f C
1
(R
n
) und
j
f L
1
f ur ein j 1, . . . , n, so ist

j
f() = i
j

f() R
n
.
(ii) Ist umgekehrt x
j
f (genauer: x x
j
f(x)) eine L
1
-Funktion, so ist

f nach

j
partiell dierenzierbar mit

j

f = i

x
j
f.
Beweis. (i) Wegen f L
1
gibt es nach dem Satz von Fubini f ur (
n1
-)fast alle
(x
1
, . . . , x
j1
, x
j+1
, . . . , x
n
) Folgen a
k
, b
k
mit f(a
k
), f(b
k
) 0, da
sonst ja
_
[f(x)[ dx
j
nicht konvergieren w urde. Andererseits ist f ur < a <
b < nach partieller Integration
_
b
a
e
ix
j

j
f(x) dx
j
= e
ix
j

j
f(x)

x
j
=b
x
j
=a
+ i
j
_
b
a
e
ix
j

j
f(x) dx
j
.
Angewandt auf a = a
k
und b = b
k
ergibt sich im Limes k mit majorisierter
Konvergenz
_
R
e
ix
j

j
f(x) dx
j
= i
j
_
R
e
ix
j

j
f(x) dx
j
.
Wiederum mit dem Satz von Fubini folgt daher nun

j
f()
=
_

k,=j
e
ix
k

k
__

e
ix
j

j
f(x) dx
j
_
dx
1
. . . dx
j1
dx
j+1
. . . dx
n
= i
j
_

e
ix
f(x) dx
1
. . . dx
n
,
also die Behauptung.
(ii) Dies folgt aus Satz 3.29, da
j
e
ix
f(x) dierenzierbar ist und
[
j
e
ix
f(x)[ = [ x
j
e
ix
f(x)[ = [x
j
f(x)[
gilt.
Beispiel: F ur jedes f C

c
und jedes p [1, ] ist

f L
p
.
83
Begr undung: Nach Satz 4.19(ii) ist

f L

. Sei also p < . F ur jeden Multiindex

ist auch

f C

c
L
1
und
[

f()[ = [

j
f()[
1
(2)
n/2
|

j
f|
1
nach Satz 4.22 und Satz 4.19(ii). Daher gibt es eine nur von f und k N
0
abhangige Konstante C > 0 mit
[(1 +[[
2k
)

f()[ C R
n
.
Setzt man B
j
= B
j+1
(0) B
j
(0) und wahlt k mit 2k n 2, so folgt aus Beispiel
4 von Seite 62
_
[

f()[
p

_
C
p
(1 +[[
2k
)
p
=

j=0
_
B
j
( )
C
p
(B
1
(0)) + C
p

j=1
j
2kp
(B
j
)
C
p

n/2
(1 +
n
2
)

j=0
j
2k+n
< .
Daher ist

f integrierbar.
Wir konnen nun unsere Folgerung aus Satz 4.19(ii) verstarken:
Satz 4.23 (Lemma von Riemann-Lebesgue) Es sei f L
1
(R
n
). Dann gilt
lim
[[

f() = 0.
Beweis. Es sei zunachst f C
1
mit kompaktem Trager. Dann ist f ur mit
j
,= 0
nach den Satzen 4.22(i) und 4.19(ii)
[

f()[ =

j
f()

|
j
f|
1
(2)
n/2
[
j
[
und damit
[

f()[ min
j
|
j
f|
1
[
j
[
0
mit [[ .
Es sei nun allgemein f L
1
. Zu gegebenem > 0 gibt es eine stetig dieren-
zierbare Funktion mit kompaktem Trager und |f g|
1
< , s. Korollar 4.17. F ur
[[ hinreichend gro ist dann aber
[

f()[ [

f() g()[ +[ g()[ |

f g|

+ |f g|
1
+ 2.

Schlielich beweisen wir noch die wichtige Eigenschaft der Fourier-Transfor-

mation, Faltungen in Produkte zu uberf uhren.
84
Satz 4.24 (Fourier-Transformation und Faltung) Es seien f, g L
1
.
(i) Dann ist auch f g L
1
und es gilt

f g = (2)
n/2

f g.
(ii) Sind zusatzlich

f, g L
1
, so ist auch fg L
1
mit

fg = (2)
n/2

f g.
Beweis. (i) Nach der Youngschen Ungleichung (s. Satz 4.13) ist f g in L
1
. Mit
Fubini und der Substitution z = x y folgt

f g() =
1
(2)
n/2
_
e
ix
_
f(y)g(x y) dy dx
=
1
(2)
n/2
_
e
iy
f(y)
_
e
i(xy)
g(x y) dx dy
= (2)
n/2
1
(2)
n/2
_
e
iy
f(y)
1
(2)
n/2
_
e
iz
g(z) dz dy
= (2)
n/2

f() g().
(ii) Wegen f(x) =

f(x) ist f L

nach Satz 4.19(ii) und somit fg L

1
.
Weiter ist nach (i)
T(

g) =
1
(2)
n/2
T
_
(2)
n/2
TTf TTg
_
=
1
(2)
n/2
T
2
(Tf Tg)
und damit
T(fg) = T
3
(

g) =
1
(2)
n/2
Tf Tg.

Die Fourier-Transformation kann auch auf dem Raum L

2
(R
n
; C) erklart wer-
den und hat dann besonders schone Abbildungseigenschaften: T : L
2
L
2
ist
eine Isometrie. Da das Integral aus der Denition der Fourier-Transformation f ur
f L
2
L
1
nicht mehr deniert ist (denn x [e
ix
f(x)[ = [f(x)[ ist nicht
integrierbar), m ussen wir hier anders vorgehen: Wir setzen T von L
1
L
2
stetig
auf L
2
fort:
Satz 4.25 (Fourier-Transformation auf L
2
) Es gibt genau eine stetige Ab-
bildung L
2
L
2
, f

f, die auf L
1
L
2
mit der Fourier-Transformation uber-
einstimmt (und wieder mit T bezeichnet wird).
T ist linear und besitzt eine Inverse T
1
, die auf L
1
L
2
mit der inversen
Fourier-Transformation auf L
1
L
2
ubereinstimmt.
Es gilt die Formel von Plancherel:
_

f g dx =
_
fg dx f, g L
2
.
85
T : L
2
L
2
ist also ein Vektorraumisomorphismus, der das L
2
-Skalarprodukt
erhalt: Tf, Tg = f, g. Man sagt daher auch, T sei unitar. Insbesondere ergibt
sich f ur f = g
|

f|
2
= |f|
2
,
weshalb man auch von einer Isometrie spricht.
Beweis. Nach Lemma 4.19(vi), (iii) und Korollar 4.21 ist f ur f, g L
1
mit

f, g
L
1
_

f(x) g(x) dx =
_
f(x)

g(x) dx =
_
f(x)

g(x) dx =
_
f(x)g(x) dx.
Nach dem Beispiel von Seite 83 ist insbesondere f ur jedes f C

c
die Fourier-
Transformierte

f in L
2
mit |

f|
2
= |f|
2
.
Nun liegt nach Korollar 4.17 C

c
dicht in L
2
, so dass wir zu jedem f L
2
eine Folge f
k
C

c
mit f
k
f in L
2
wahlen konnen. Wie nach diesem Korollar
bemerkt konnen wir, falls f auerdem in L
1
liegt, die f
k
so wahlen, dass auch
f
k
f in L
1
gilt.
Es gilt dann |

f
k

f
m
|
2
= |f
k
f
m
|, weshalb

f
k
eine Cauchyfolge ist und wir
eine Abbildung T : L
2
L
2
,
T(f) = lim
k

f
k
(in L
2
)
denieren konnen. Diese Denition ist unabhangig von der Auswahl der Folge f
k
,
denn ist g
k
eine weitere Folge mit g
k
f, so ist ja |

f
k
g
k
|
2
|f
k
g
k
|
2
0,
also lim
k
g
k
= lim
k

f
k
. Insbesondere ist Tf =

f f ur f C

c
, was man aus
der Wahl f
k
= f f ur alle k ersieht.
Des Weiteren ist mit C

c
f
k
f und C

c
g
k
g
[f
k
, g
k
f, g[ = [f
k
f, g
k
+f, g
k
g[
|f
k
f|
2
|g
k
|
2
+|f|
2
|g
k
g|
2
0
und genauso wegen

f
k
T(f) und g
k
T(g)

f
k
, g
k
T(f), T(g)

0,
also
f, g = T(f), T(g).
F ur C ergibt sich auerdem
T(f + g) = lim
k
T(f
k
+ g
k
) = T(f) + T(g),
so dass T linear ist. T ist auch stetig, da gilt
|Tf Tg|
2
= |f g| f, g L
2
.
86
Schlielich gilt f ur f L
1
L
2
|

f
k


f|

1
(2)
n/2
|f
k
f|
1
0,
also insbesondere

f
k


f punktweise. Andererseits gibt es nach Satz 4.6 eine
Teilfolge f
km
, so dass

f
km
punktweise fast uberall gegen Tf konvergiert. Dies
zeigt, dass T = T auf L
1
L
2
ist. Wir konnen also T = T setzen.
Ganz analog lasst sich T
1
von L
1
L
2
auf L
2
mit Werten in L
2
fortsetzen.
Mit C

c
f
k
f folgt dann aus der Stetigkeit von T und T
1
T
1
Tf = lim
k
T
4
f
k
= f = lim
k
T
4
f
k
= TT
1
f.

87
Kapitel 5
Mannigfaltigkeiten
In den nachsten Kapiteln werden wir beschreiben, wie man Funktionen uber
gekr ummte Flachen integrieren kann. Diese Mannigfaltigkeiten sollen daher
nun mathematisch sauber eingef uhrt werden. Wir werden in dieser Vorlesung
nur Untermannigfaltigkeiten des R
n
betrachten. Das ist technisch einfacher, da
man in diesem Fall einen umgebenden Raum zur Verf ugung hat. Im letzten
Abschnitt dieses Kapitels werden wir allerdings kurz noch auf den allgemeinen
Mannigfaltigkeitsbegri eingehen.
5.1 Denition und Charakterisierung
Es gibt verschiedene Moglichkeiten, Untermannigfaltigkeiten des R
n
zu denie-
ren; der Leitgedanke ist aber immer der gleiche: Wenn die geraden, nicht
gekr ummten Teilmengen, also die anen Unterraume durch ane Funktionen
beschrieben werden konnen, so m ussen wir die Mannigfaltigkeiten mit Hilfe nicht-
linearer Funktionen beschreiben. Indem wir dierenzierbare Funktionen betrach-
ten, erhalten wir allgemeine Teilmengen, auf denen sich eine dierenzierbare
Struktur denieren lassen wird.
Im Wesentlichen gibt es drei aquivalente Charakterisierungen:
durch auere Karten,
als Losungsmenge von Gleichungen oder
durch Parametrisierungen bzw. innere Karten.
Motiviert sind diese Darstellungen durch die Beschreibung von Unterraumen des
R
n
: V R
n
ist ein k-dimensionaler Unterraum genau dann, wenn eine der drei
folgenden aquivalenten Bedingungen erf ullt ist:
Es gibt einen Isomorphismus : R
n
R
n
(eine auere Karte), so dass
(V ) = R
k
0 R
n
ist.
88
Es gibt eine lineare Abbildung f : R
n
R
nk
mit vollem Rang (also
Rang f = n k), so dass V = Kern f = x R
n
: f(x) = 0 gilt.
Es gibt eine lineare Abbildung (eine Parametrisierung) : R
k
R
n
mit
Rang = k und V = Bild f = (R
k
).
F ur Mannigfaltigkeiten werden wir die entsprechenden Eigenschaften nur lo-
kal fordern, d.h. auf kleinen Umgebungen ihrer Punkte. Eine globale Parametri-
sierung ist z.B. schon f ur die schone runde Kugel nicht moglich, die sicherlich
eines unserer Paradebeispiele einer Mannigfaltigkeit sein wird. Wir denieren al-
so Objekte, die lokal wie ein verformter k-dimensionaler Teilraum im R
n
liegen,
k 0, 1, . . . , n.
Untermannigfaltigkeiten: Die Denition
Wir wahlen die Beschreibung als Losungsmenge nichtlinearer Gleichungen als
Denition, da sie am schnellsten zu interessanten Beispielen f uhrt.
Denition 5.1 Es seien n, k N
0
, N. M R
n
heit k-dimensionale
C

-Untermannigfaltigkeit des R
n
, wenn es zu jedem p M eine oene Umgebung
U R
n
und eine C

-glatte Funktion f : U R
nk
mit Rang Df(p) = n k
gibt, so dass
M U = x U : f(x) = 0
gilt.
Abbildung 5.1: M U als lokale Nullstellenmenge.
Die Bedingung an den Rang der Ableitung Df(p) (bzw. nach Wahl von Koor-
dinaten deren Jacobimatrix) ist oenbar das Analogon zur Bedingung in Punkt 2
im linearen Fall oben. Sie besagt, dass die lineare Abbildung Df(p) : R
n
R
nk
89
surjektiv ist. Nach Verkleinerung von U kann man annehmen, dass diese Bedin-
gung auf ganz U erf ullt ist. (Eine solche Abbildung nennt man auch Submersion).
Schreibt man f = (f
1
, . . . , f
nk
), so ist sie aquivalent dazu, dass die n k Gra-
dienten
f
1
(p), . . . , f
nk
(p)
linear unabhangig sind. Im Falle k = n 1 spricht man auch von Hyperachen.
Wir werden auch einfach nur von Mannigfaltigkeiten sprechen und so-
wie k nicht extra erwahnen. Mit Ausnahme von Abschnitt 5.3 sind aber immer
Untermannigfaltigkeien im R
n
gemeint, wie eben deniert.
Beispiele:
1. Ane Unterraume sind C

-Mannigfaltigkeiten.
2. Die n-dimensionale Sphare S
n
= x R
n+1
: [x[ = 1 R
n+1
ist eine n-
dimensionale C

-Untermannigfaltigkeit des R
n+1
, denn S
n
= x R
n+1
:
f(x) = 0 f ur f(x) = [x[
2
1 und f(x) = 2x ,= 0 auf S
n
.
3. Das Hyperboloid H
c
:= x R
3
: x
2
1
+ x
2
2
= x
2
3
+ c, c ,= 0, ist eine
zweidimensionale C

-Mannigfaltigkeit im R
3
.

Ubung: Zeigen Sie dies sowie, dass H

c
f ur c = 0 keine Untermannigfaltig-
keit des R
3
ist. Welche geometrische Figur ist H
0
?
4. Wir bezeichnen mit R
nn

= R
n
2
den Vektorraum der reellen nn-Matrizen.
Die Menge der orthogonalen Matrizen
O(n) = A R
nn
: A
T
A = Id
(Id die Einheitsmatrix) ist eine
n(n1)
2
-dimensionale C

-Untermannigfaltig-
keit des R
nn
.
Um das einzusehen, bemerken wir zunachst, dass O(n) = A R
nn
:
f(A) = 0 f ur f : R
nn
R
nn
sym
mit f(A) = A
T
AId gilt, wobei R
nn
sym
den
n(n+1)
2
-dimensionalen Vektorraum der symmetrischen reellen nn-Matrizen
bezeichnet. Oensichtlich ist f C

-glatt. Die Ableitung Df(A) ist gegeben

durch
Df(A)H = lim
t0
f(A + tH) f(A)
t
= lim
t0
(A + tH)
T
(A + tH) A
T
A
t
= lim
t0
H
T
A + A
T
H + tH
T
H
= H
T
A + A
T
H.
90
Tatsachlich ist Df(A) f ur A O(n) surjektiv, denn zu gegebenem B
R
nn
sym
gilt Df(A)H = B etwa f ur H :=
1
2
AB:
Df(A)H =
1
2
_
(AB)
T
A + A
T
AB
_
=
1
2
_
B
T
A
T
A + A
T
AB
_
= B.
In all diesen Beispielen ergab sich die Mannigfaltigkeit sogar als Losungsmenge
x : f(x) = 0 einer einzigen Funktion f. Wir halten daher die folgende wichtige
Beobachtung, die sich direkt aus unserer Denition ergibt, fest:
Beobachtung: Ist U R
n
oen, f C

(U; R
nk
) und c ein regularer Wert
von f, also Rang Df(p) = n k f ur alle p M := f
1
(c), so ist M eine
k-dimensionale C

-Untermannigfaltigkeit des R
n
.

Auere Karten
Zur theoretischen Untersuchung ist es oft n utzlich, Untermannigfaltigkeiten im
R
n
auf eine alternative Art und Weise mittels auerer Karten zu charakterisieren.
Anschaulich besagt diese Charakterisierung, dass eine k-dimensionale Unterman-
nigfaltigkeiten bis auf eine glatte Koordinatentransformation lokal genau so
im R
n
liegt wie der R
k

= x R
n
: x
k+1
= . . . x
n
= 0 im R
n
. Diese Charakteri-
sierung hat auerdem den Vorteil, dass sie in nat urlicher Weise zum allgemeinen
Konzept der Untermannigfaltigkeit einer Mannigfaltigkeit f uhrt.
Mit R
k
0 bezeichnen wir den Unterraum x R
n
: x
k+1
= . . . = x
n
= 0
des R
n
. Ist f : U V , U, V R
n
oen, bijektiv und sind sowohl f als auch f
1
C

-glatt, N , so nennt man f einen C

-Dieomorphismus.
Satz 5.2 M R
n
ist genau dann eine k-dimensionale C

-Mannigfaltigkeit,
wenn es zu jedem p M eine oene Umgebung U R
n
, eine oene Menge
V R
n
und einen C

-Dieomorphismus : U V gibt, so dass

(M U) = (R
k
0) V
gilt.
Eine solche Abbildung nennt man auere Karte oder manchmal auch einen
Flachmacher, da sie die Mannigfaltigkeit in U in den linearen Raum R
k
0
plattb ugelt, vgl. Abb. 5.2.
Beweis. : Sei p M, M k-dimensionale Mannigfaltigkeit. Wahle eine Umge-
bung

U von p und eine Funktion f C

U; R
nk
) mit Rang Df(p) = n k und
M

U = x

U : f(x) = 0. Durch Umnummerieren der Koordinaten konnen
wir erreichen, dass die letzten n k Spalten von Df(p) linear unabhangig sind.
1
1
Genauer: Sind die letzten nk Spalten von Df(p) linear unabhangig, so verfahren wir wie
beschrieben. Der allgemeine Fall lasst sich durch Vorschalten einer linearen Abbildung, welche
durch eine geignete Permutationsmatrix gegeben ist, darauf zur uckf uhren.
91
Abbildung 5.2: Der Flachmacher.
Schreibt man x = (, ), R
k
, R
nk
, so ist also D

f(p) invertierbar und

der Satz uber implizite Funktionen liefert oene Mengen U
1
und U
2
in R
k
bzw.
R
nk
, so dass p U
1
U
2


U gilt, sowie ein C

(U
1
; R
nk
) existiert mit
M (U
1
U
2
) = (, ()) : U
1
.
Deniere nun : U := U
1
U
2
R
n
durch
(, ) := (, ()).
Oenbar ist injektiv und D(, ) =
_
Id
k
0
D

Id
nk
_
invertierbar, so dass nach
dem Satz uber inverse Funktionen ein Dieomorphismus von U nach V := (U)
ist. Auerdem ist nat urlich
(, ) M U (, ) (R
k
0) V.
: Sind nun umgekehrt p M, eine oene Umgebung U R
n
, eine oene
Menge V R
n
und ein C

-Dieomorphismus : U V gegeben, so dass

(M U) = (R
k
0) V
gilt, so ist
M U =
1
((R
k
0) V ) = x U :
k+1
(x) = . . . =
n
(x) = 0.
Da D(x) f ur jedes x U vollen Rang n hat, sind die
k+1
(x), . . . ,
n
(x) in
der Tat linear unabhangig.
Topologie
Da jede Mannigfaltigkeit im R
n
insbesondere eine Teilmenge des R
n
ist, erbt
sie die Topologie des umgebenden Raums. Genauer: Durch Einschrankung der
92
ublichen Metrik des R
n
auf eine beliebige Teilmenge M R
n
wird M zu einem
metrischen Raum. F ur Teilmengen von M sind also die Eigenschaften oen,
abgeschlossen und kompakt wohldeniert, wobei man zumindest in den er-
sten beiden Fallen der Genauigkeit halber lieber oen in M bzw. abgeschlos-
sen in M sagen sollte, da dies nicht aqivalent dazu ist, dass sie als Teilmengen
des R
n
oen bzw. abgeschlossen sind. Nun ist jedoch die vom R
n
geerbte Metrik
oft nicht die richtige Metrik auf M. (Ein besserer Distanzbegri zwischen
zwei Punkten auf M ware etwa durch die Lange eines minimalen, ganz in M
verlaufenden Verbindungspfads gegeben.) Die topologischen Begrie wie oen
und abgeschlossen ergeben sich jedoch auch direkt aus den entspre chenden
Begrien im R
n
ohne R uckgri auf die metrische Struktur.
Abstrakt deniert man:
Denition 5.3 Ist T eine Menge und T(T) ein System von Teilmengen von
T mit der Eigenschaft, dass
(i) beliebige Vereinigungen von Mengen aus wieder in liegen,
(ii) endliche Durchschnitte von Mengen aus wieder in liegen und
(iii) , T sind,
so nennt man (T, ) einen topologischen Raum. Jede Menge U nennt man
oen.
Indem man in einem metrischen Raum T die Menge der (bzgl. der Metrik)
oenen Mengen mit bezeichnet, wird (T, ) zu einem topologischen Raum.
Das ergibt sich unmittelbar aus den bekannten Eigenschaften oener Mengen in
metrischen Raumen. Der Begri des topologischen Raumes verallgemeinert den
Begri des metrischen Raumes also in nat urlicher Weise, genauso, wie der Begri
des metrischen Raumes eine nat urliche Varallgemeinerung der normierten Raume
darstellt.
Denition 5.4 Eine Teilmenge M heit oen/abgeschlossen in M, wenn
es eine oene/abgeschlossene Menge

R
n
gibt, so dass =

M ist.

Ubung:

Uberlegen Sie sich, dass
(a) auf diese Weise M zu einem topologischen Raum wird und
(b) diese Topologie mit der von der ererbten Metrik induzierten ubereinstimmt.
Der Begri der Stetigkeit ubertragt sich auf topologische Raume, indem man
eine Abbildung zwischen zwei topologischen Raumen stetig nennt, wenn Urbil-
der oener Mengen oen sind. F ur metrische Raume ist das ja eine bekannte
aquivalente Charakterisierung der Stetigkeit.
93
Parametrisierungen
Wir geben noch eine weitere Charakterisierung von Mannigfaltigkeiten mittels
Parametrisierungen bzw. inneren Karten an. Diese Beschreibung wird uns spater
den Weg weisen, wie allgemeine Mannigfaltigkeiten auch ohne einen umgebenden
Euklidischen Raum zu denieren sind.
Man nennt eine Abbildung f zwischen metrischen Raumen (oder allgemeiner
topologischen Raumen) einen Homoomorphismus, wenn sie bijektiv ist und wenn
sowohl f als auch f
1
stetig sind.
2
Satz 5.5 M R
n
ist genau dann eine k-dimensionale C

-Mannigfaltigkeit,
wenn es zu jedem p M eine in M oene Umgebung U M, eine oene
Menge V R
k
und einen Homoomorphismus : V U gibt, so dass
C

(V ; R
n
) mit Rang D(x) = k x V
gilt.
Eine solche Abbildung nennt man auch eine lokale Parametrisierung oder
eine (innere) Karte
3
von M. Abbildungen C

(V ; R
n
), V R
k
oen, mit
Rang D = k auf V , d.h. D(x) : R
k
R
n
injektiv f ur alle x V , nennt man
Immersionen.
Beweis. : Ist M eine k-dimensionale Mannigfaltigkeit, so gibt es nach Satz
5.2 zu jedem p M eine Umgebung

U R
n
, eine oene Menge

V R
n
und
einen C

-Dieomorphismus :

U

V , so dass
(M

U) = (R
k
0)

V
gilt. Denieren wir nun V := R
k
: (, 0)

V und : V M

U =: U
durch
() =
1
(, 0),
so sind V und U oen in R
k
bzw. M mit p U sowie ein C

-glatter Homoomor-
phismus. Es gilt
D() = D
1
(, 0)
_
Id
k
0
_
=
_
D(
1
(, 0))
_
1
_
Id
k
0
_
nach der Kettenregel f ur =
1
P mit P : R
k
R
n
, P() = (, 0). Da
(D(
1
(, 0)))
1
nicht singular ist, folgt Rang D() = Rang
_
Id
k
0
_
= k.
2
Ein Homoomorphismus f : T
1
T
2
zwischen zwei topologoischen Raumen induziert eine
Bijektion zwischen den oenen Mengen in T
1
und T
2
. Vom topologischen Standpunkt sind diese
Raume nicht zu unterscheiden.
3
Achtung: Diese Bezeichnung ist zwar f ur Untermannigfaltigkeiten des R
n
gebrauchlich. In
der allgemeinen Theorie der Mannigfaltigkeiten bezeichnet man jedoch meist die Inverse
1
,
die von M in den Euklidischen Raum abbildet als Karte, s. Abschnitt 5.3.
94
: Es seien p, U, V und wie im Satz angegeben. Durch eventuelles
Umnummerieren der Koordinaten d urfen wir annehmen, dass die ersten k Zeilen
von D(
1
(p)) linear unabhangig sind. Betrachten wir die Abbildung

t
= (
1
, . . . ,
k
) : V R
k
,
die sich durch Streichen der letzten n k Eintrage aus ergibt, so ist dann
D
t
(
1
(p)) nicht singular und nach dem Satz uber inverse Funktionen gibt es
eine Umgebung V
t
von
1
(p) und eine oene Menge U
t
R
k
, so dass
t
: V
t

U
t
ein C

-Dieomorphismus ist.
Deniere nun : V
t
R
nk
U
t
R
nk
durch
(, ) = () + (0, ).
Abbildung 5.3: ,
t
und .
ist bijektiv, denn f ur alle ,

V
t
und , R
nk
gilt
(, ) = (

, )
t
() =
t
(

) =

=
und f ur (
t
,
t
) U
t
R
nk
ist = (
t
)
1
(
t
) V
t
und
(, ) = () + (0, ) = (
t
,
t
)
f ur ein geeignetes R
nk
. Des Weiteren ist
D(, ) =
_
D
t
() 0
Id
nk
_
95
invertierbar und, weil auerdem C

-glatt ist, ist nach dem Satz uber inverse

Funktionen ein C

-Dieomorphismus.
Da ein Homoomorphismus ist, ist (V
t
) oen in M. Wahlen wir

U R
n
oen mit (V
t
) =

U M und setzen

U = (U
t
R
nk
)

U, so ist
1
:

U

V :=
1
(

U) ein C

-Dieomorphismus mit
(

V (R
k
0)) = (

V (V
t
R
nk
) (R
k
0))
= (

V (V
t
0)) = (

V ) (V
t
0)
=

U (V
t
) =

U

U M =

U M,
wobei wir

V (V
t
R
nk
) und

U

U ausgenutzt haben, und damit

V (R
k
0) =
1
(

U M).

1
ist also ein Flachmacher f ur M in der Nahe von p, so dass die Behauptung
aus Satz 5.2 folgt.
Im Allgemeinen kann man eine Mannigfaltigkeit nicht mit einer einzigen Karte
parametrisieren. Zur vollstandigen Beschreibung benotigt man daher eine Samm-
lung von Karten, die ganz M uberdecken: einen Atlas also.
Denition 5.6 Eine Familie (
j
) von Karten
j
: V
j
U
j
wie in Satz 5.5
deniert heit ein Atlas von M, wenn M

j
U
j
gilt.
Bei der Untersuchung von Mannigfaltigkeiten mit Hilfe von Karten ist es wich-
tig zu verstehen, inwiefern Eigenschaften der Mannigfaltigkeit von einer speziell
gewahlten Karte abhangen.
Abbildung 5.4: Kartenwechsel.
96
Wir betrachten daher den Kartenwechsel

1
2

1
: V
t
1
:=
1
1
(U
1
U
2
) V
t
2
:=
1
2
(U
1
U
2
) (5.1)
f ur zwei sich uberlappende Karten
j
: V
j
U
j
, j = 1, 2, mit U
1
U
2
,= .
Satz 5.7 Sind
1
,
2
zwei sich uberlappende Karten einer C

-Mannigfaltigkeit
wie in (5.1), so sind V
t
1
und V
t
2
oen in R
k
und der Kartenwechsel
1
2

1
:
V
t
1
V
t
2
ist ein C

-Dieomorphismus.
Beweis. Da U
1
und U
2
und damit auch U
1
U
2
oen in M und
1
,
2
Homoomor-
phismen sind, sind V
t
1
und V
t
2
oen. Oensichtlich ist
1
2

1
: V
t
1
V
t
2
bijektiv.
Es gen ugt also, noch
1
2

1
C

(V
t
1
; V
t
2
) und (
1
2

1
)
1
=
1
1

2

C

(V
t
2
; V
t
1
) zu zeigen.
Es sei p U
1
U
2
. Nach Satz 5.2 gibt es oene Mengen U U
1
U
2
und V
im R
n
mit p U und einen C

-Dieomorphismus : U V , so dass
(M U) = V (R
k
0)
erf ullt ist. Wie oben sieht man, dass die Mengen
W
j
:=
1
j
(M U) R
k
, j = 1, 2,
oen sind.
Abbildung 5.5:
1
,
2
und .
Die Bilder der C

-glatten und bijektiven Abbildungen

j
: W
j
(M U)
97
liegen in R
k
0, so dass wir

j
= (
j
, 0) mit
j
: W
j
R
k
schreiben konnen, vgl. Abb. 5.5. Wegen Rang D = n und Rang D
j
= k ist
dabei Rang D
j
= k. Der Satz uber inverse Funktionen zeigt nun, dass die

j
: W
j

j
(W
j
) = R
k
: (, 0) (M U)
C

-Dieomorphismen sind. Da nun

1
2

1
=
1
2

1
und
1
1

2
=
1
1

2
auf W
1
mit
1
1
(p) W
1
bzw. W
2
mit
1
2
(p) W
2
gilt, wobei p U
1
U
2
beliebig war, folgt die Behauptung.
Beispiel: Ist : I R
n
, I ein Intervall, eine C

-Kurve mit ,= 0, so dass

: I (I) ein Homoomorphismus ist, so ist (I) eine Mannigfaltigkeit mit
Parametrisierung .
Abbildung 5.6: Kurven im R
n
.
5.2 Tangential- und Normalraum
Wie man in der Analysis Funktionen durch ihre Ableitung, also durch lokale
Linearisierungen, untersucht, werden wir nun k-dimensionale Mannigfaltigkeiten
lokal durch k-dimensionale lineare Raume beschreiben. Die Grundidee ist hierbei,
dass kleine Umgebungen U M von Punkten p M bis auf kleine Fehler (Ter-
me hoherer Ordnung) in einem k-dimensionalen anen Raum p + T
p
M liegen,
wobei T
p
M ein k-dimensionaler Unterraum, der sogenannte Tangentialraum ist.
p +T
p
M liegt bei p tangential an M an. Mannigfaltigkeiten sind also innitesi-
mal Euklidisch und deshalb kann man Analysis auf ihnen betreiben. In diesem
Abschnitt betrachten wir immer Mannigfaltigkeiten der Klasse C
1
.
Die wesentliche Idee zur Denition des Tangentialraums ist, dass eine jede
ganz in M verlaufende dierenzierbare Kurve nur an M tangentiale Ablei-
tungsvektoren (Geschwindigkeiten) hat und umgekehrt jeder an M bei p
98
tangentiale Vektor als ein solcher Geschwindigkeitsvektor einer geeigneten Kurve
in M durch p entsteht.
Denition 5.8 Es sei M eine Mannigfaltigkeit im R
n
und p M. Ein Vektor
v R
n
heit Tangentialvektor an M im Punkt p, wenn es eine stetig dieren-
zierbare Kurve : (, ) M f ur ein geeignetes > 0 gibt, so dass
(0) = p und (0) = v
gilt. Die Gesamtheit der Tangentialvektoren wird der Tangentialraum an M bei p
genannt und mit T
p
M bezeichnet.
Abbildung 5.7: Der Tangentialraum.
Oft denkt man sich den Tangentialraum bei p M angeheftet. Beachte aber,
dass T
p
M ein Vektorraum ist. Die Bezeichnung Tangentialraum wird durch
Punkt (i) des folgenden Satzes gerechtfertigt. Dieser Satz gibt auerdem eine
Charakterisierung des Tangentialraums durch Karten und durch die Abbildung,
als deren Nullstellenmenge M lokal beschrieben wird.
Satz 5.9 Es sei M eine Mannigfaltigkeit im R
n
und p M.
(i) T
p
M ist ein k-dimensionaler Unterraum des R
n
.
(ii) Ist : V U eine (innere) Karte von M mit p U und a :=
1
(p),
dann gilt
T
p
M = Bild D(a).
Insbesondere bilden die Vektoren

1
(a), . . . ,
k
(a)
(also die Spaltenvektoren von D(a)) eine Basis von T
p
M.
99
(iii) Ist

U R
n
eine Umgebung von p und f C
1
(

U; R
nk
) mit Rang Df(p) =
n k, so dass
M

U = x

U : f(x) = 0
gilt, so ist
T
p
M = Kern Df(p).
(iv) Ist : U
t
V
t
eine auere Karte von M mit p U
t
, dann ist
T
p
M = (D(p))
1
(R
k
0).
Beweis. Wir werden
Bild D(a) T
p
M Kern Df(p) (5.2)
zeigen. Aus
dimBild D(a) = Rang D(a) = k = n Rang Df(p) = dimKern Df(p)
folgt dann, dass diese Mengen sogar gleich sind, was alle Behauptungen in (i),
(ii) und (iii) beweist.
(iv) ergibt sich aus (ii), indem man wie im ersten Teil des Beweises von Satz
5.5 bemerkt, dass durch : V M, () =
1
(, 0) eine innere Karte auf
V := R
k
: (, 0) V
t
gegeben ist, f ur die mit a =
1
(p)
T
p
M = D(a)R
k
=
_
D(
1
(a, 0))
_
1
_
Id
k
0
_
R
k
= (D(p))
1
(R
k
0)
gilt.
Es bleibt (5.2) zu begr unden. Sei also v Bild D(a), etwa v = D(a)w,
w R
k
. F ur hinreichend kleines ist dann
: (, ) M, (t) = (a + tw)
eine stetig dierenzierbar Kurve in M mit
(0) = (a) = p und (0) = D(a)w = v
(Kettenregel), was die erste Inklusion zeigt.
Ist nun v T
p
M vorgelegt, so wahlen wir eine Kurve gema Denition 5.8.
F ur t gen ugend nahe bei 0 gilt dann (t)

U und somit f((t)) = 0. Daraus
ergibt sich aber direkt
0 =
d
dt

t=0
f((t)) = Df(a) (0) = Df(a)v,
d.h. v Kern Df(a).
100
Beispiele:
1. Es sei (I) die am Ende von Abschnitt 5.1 diskutierte eindimensionale
Mannigfaltigkeit, die durch eine C

-Kurve : I R
n
mit ,= 0 und
: I (I) ein Homoomorphismus entsteht. Dann ist T
p
(I) = R (a) f ur
(a) = p.
2. Nach Abschnitt 5.1 ist die Mannigfaltigkeit der orthogonalen Matrizen O(n)
durch O(n) = A R
nn
: f(A) = 0 mit f(A) = A
T
AId gegeben, wobei
Df(A)H = A
T
H + H
T
A
ist. Damit ist
T
A
O(n) = Kern Df(A) = H R
nn
: H
T
A + A
T
H = 0.
Speziell f ur A = Id ergibt sich
T
Id
O(n) = H R
nn
: H
T
= H =: R
nn
antisym
.
F ur allgemeine A O(n) erhalt man gerade den entsprechend gedrehten
Raum:
T
A
O(n) = H R
nn
: (A
T
H)
T
= A
T
H
= H R
nn
: A
T
H R
nn
antisym
= AR
nn
antisym
.
Die Normalenvektoren am Punkte p sind nat urlich genau diejenigen Vektoren
in R
n
, die senkrecht auf T
p
M stehen:
Denition 5.10 Es sei M eine Mannigfaltigkeit im R
n
und p M. N
p
M :=
(T
p
M)

heit der Normalenraum an M im Punkt p, seine Elemente Normalen-

vektoren an M bei p.
Abbildung 5.8: Der Normalenraum.
Unmittelbar aus Satz 5.9 ergibt sich das folgende
101
Korollar 5.11 Es sei M eine Mannigfaltigkeit im R
n
und p M. Ist

U R
n
eine Umgebung von p und f C
1
(

U; R
nk
) mit Rang Df(p) = n k, so dass
M

U = x

U : f(x) = 0
gilt, so bilden die Vektoren
f
1
(p), . . . , f
nk
(p)
(also die Zeilenvektoren von Df(p)) eine Basis von N
p
M.
Beweis. Da T
p
M = Kern Df(p) k-dimensional ist, gen ugt es zu bemerken, dass
Kern Df(p) = (spanf
1
(p), . . . , f
nk
(p))

gilt.
Beispiele:
1. Im letzten Abschnitt haben wir insbesondere gesehen, dass f ur U R
n
oen, f C
1
(U; R) mit regularem Wert c, die Niveauache M = f
1
(c)
eine C
1
-Hyperache imR
n
ist. Korollar 5.11 zeigt, dass in diesem Fall f(p)
immer senkrecht auf T
p
M, p M, steht.
2. Der Normalenraum an O(n) bei Id ist
N
Id
O(n) = (T
Id
O(n))

=
_
R
nn
antisym
_

= R
nn
sym
.
5.3 Ausblick: Allgemeine Mannigfaltigkeiten
Im letzten Abschnitt dieses Kapitels gehen wir kurz auf die allgemeine Denition
einer Mannigfaltigkeit ein. Dies dient lediglich Ihrer Allgemeinbildung; wir werden
diesen allgemeinen Rahmen im Folgenden nicht weiter verwenden. Wir starten
mit einem allgemeinen topologischen Raum M und nennen nun Homoomorphis-
men von oenen Teilmengen von M auf oene Teilmengen des R
k
Karten
4
. Eine
Menge von Karten, deren Denitionsgebiete ganz M uberdecken, nennt man wie-
der einen Atlas.
Da wir nun aber keinen umgebenden Euklidischen Raum mehr voraussetzen,
ist es zunachst nicht klar, wie man Dierenzierbarkeit auf M denieren soll. Die
wesentliche Idee hierzu ist nun, alles mittels Karten auf den R
k
zur uckzuspielen.
Dazu muss man jetzt allerdings voraussetzen, dass die Kartenwechsel dierenzier-
bar sind: Gilt f ur je zwei uberlappende Karten
1
: U
1
V
1
,
2
: U
2
V
2
mit
U
j
oen in M, V
j
oen in R
k
, j = 1, 2, und U
1
U
2
,= eines Atlas, dass

2

1
1
:
1
(U
1
U
2
)
2
(U
1
U
2
)
ein C

-Dieomorphismus ist, so nennen wir den Atlas (C

-)dierenzierbar.
4
Vgl. die Denition der inneren Karten zuvor, wo die Karten in die andere Richtung gehen.
102
Nun kann man zu jedem Atlas / all jene Karten hinzunehmen, die mit allen
Karten aus / dierenzierbar wechseln. Die so gewonnene Menge von Karten
bezeichent man mit T(/). Sie ist in der Tat wieder ein Atlas, sogar ein maximaler,
was man wie folgt einsieht: Sind
1
: U
1
V
1
,
2
: U
2
V
2
uberlappende Karten
aus T(/), so kann man um jeden Punkt p U
1
U
2
eine Karte aus / nden,
so dass

2

1
1
=
2

1

1
1
und
1

1
2
=
1

1

1
2
in entsprechend kleinen Umgebungen von
1
(p) bzw.
2
(p) dierenzierbar sind.
Einen maximalen dierenzierbaren Atlas T nennt man auch eine dierenzierbare
Struktur.
Um Pathologien auszuschlieen verlangt man noch, dass M ein Hausdorraum
mit einer abzahlbaren Basis der Topologie ist. Motiviert durch Satz 5.5 denieren
wir nun:
Denition 5.12 Einen Hausdorraum M, der dem zweiten Abzahlbarkeitsaxiom
gen ugt, zusammen mit einer dierenzierbaren Struktur T nennt man eine k-
dimensionale Mannigfaltigkeit.
Wie oben angedeutet werden nun typische Eigenschaften durch Zur uckholen
mittels Karten deniert. So nennt man eine Abbildung f : M N zwischen
zwei Mannigfaltigkeiten dierenzierbar, wenn die Abbildung
f
1
f ur Karten von M und von N mit geeignetem Denitionsbereich dieren-
zierbar ist. (Beachte, dass dies unabhangig von der Wahl der Karten und
ist.)
Der Tangentialraum muss nun auch ohne einen gegebenen Raum deniert
werden. Eine Moglichkeit in Anlehnung an Denition 5.8 besteht darin, zu
gegebenem p M alle Kurven
C
p
(M) = C
1
((, ); M) f ur ein > 0
zu betrachten und auf dieser Menge durch

1

2

d
dt

t=0

1
=
d
dt

t=0

2
f ur eine Karte um p eine

Aquivalenzrelation einzuf uhren. (Diese ist unabhangig
von der Wahl der Karte .) Die

Aquivalenzklassen [] C
p
(M)/ nennt man
nun Tangentialvektoren und deren Gesamtheit wird wieder der Tangentialraum
an M bei p genannt und mit T
p
M bezeichnet. Mehr hierzu ndet man etwa in
[Ja].
103
Zum Schluss dieses Ausugs in die allgemeine Theorie der Mannigfaltigkei-
ten wollen wir noch zwei Punkte kurz anreien. Erstens besagt der Whitneysche
Einbettungssatz, dass wir, selbst wenn wir nur Untermannigfaltigkeiten des R
n
betrachten, in gewisser Weise schon den allgemeinen Fall behandeln, denn jede
k-dimensionale Mannigfaltigkeit M kann in den R
2k+1
eingebettet werden: Es
existiert eine Abbildung f : M R
2k+1
, so dass f(M) eine Untermannigfal-
tigkeit von R
2k+1
und f : M f(M) ein Dieomorphismus ist. Das soll nun
jedoch nicht heien, dass die Beschaftigung mit allgemeinen Mannigfaltigkeiten
uber ussig ware. Allein schon deshalb, weil diese Einbettung nicht kanonisch ge-
geben ist und viele Konzepte in der einbettungsfreien Darstellung transparenter
bleiben.
Zweitens legt der topologische Raum M (in Dimensionen 4) die dieren-
zierbare Struktur nicht eindeutig fest. F ur Untermannigfaltigkeiten des R
n
ergibt
sich diese etwa durch die Dierenzierbarkeit auerer Karten als Abbilung des
umgebenden Euklidischen Raums. Im Allgemeinen kann es jedoch auf M ver-
schiedene dierenzierbare Strukturen geben, so dass zwei Mannigfaltigkeiten, die
nicht dieomorph sind, dennoch homoomorph sein konnen.
104
Literaturverzeichnis
[ADPM] A. Ambrosio, G. DaPrato, A. Mennucci: Introduction to Measure Theo-
ry and Integration. Ed. della Normale, Pisa 2011.
[Ban] C. Bandelow: Einf uhrung in die Wahrscheinlichkeitstheorie. BI-Wissen-
schaftsverlag, Mannheim Wien Z urich 1989.
[Bau] H. Bauer: Ma- und Integrationstheorie. de Gruyter, Berlin New York
1990.
[Br] M. Brokate: Vektoranalysis. Vorlesungsskript. M unchen, 2008. http://www-
m6.ma.tum.de/brokate/vek ws08.pdf
[BK] M. Brokate, G. Kersting: Ma und Integral. Birkhauser, Basel 2011.
[El] H. Elstrodt: Ma- und Integrationstheorie. Springer, Berlin Heidelberg
2011.
[For] O. Forster: Analysis 3. Vieweg + Teubner, Wiesbaden, 2009.
[Ja] K. Janich: Vektoranalysis. Springer, Berlin, 2005.
[Ko] K. Konigsberger: Analysis 2. Springer, Berlin, 2009.
105