You are on page 1of 88

PAUL RESSEL

MASS- UND INTEGRATIONSTHEORIE

Vorlesungsskript

Inhaltsverzeichnis

Kapitel I. 1. 2. 3. 4. 5. 6.

Masstheorie

1 1 5 9 11 17 19

Mengensysteme Mengenfunktionen Das Lebesguesche Pr ama Der Maerweiterungssatz (Carath eory) Lebesguema und Borelmengen Mebare Abbildungen

Kapitel II. 1. 2. 3. 4. 5.

Integrationstheorie

25 25 35 38 46 48

Denition des Integrals und Konvergenzs atze Vergleich von Riemann und Lebesgueintegral Produktmae und der Satz von FUBINI Bildmae Transformationen des Lebesguemaes

Aufgaben zu Kapitel I. 1. 2. 3. 4. 5.

Masstheorie

67 67 68 69 69 69

Mengensysteme Mengenfunktionen Der Maerweiterungssatz Lebesguema und Borelmengen Mebare Abbildungen

Aufgaben zu Kapitel II. 1. 3. 4. 5.

Integrationstheorie

70 70 71 72 72

Denition des Integrals und Konvergenzs atze Produktmae und der Satz von Fubini Bildmae Transformationen des Lebesguemaes

Vorwort
Ma- und Integrationstheorie sind f ur viele Bereiche der Mathematik unverzichtbare Voraussetzung, ganz sicher gilt das f ur die Wahrscheinlichkeitstheorie und die auf ihr aufbauende moderne Finanzmathematik, aber ebenso f ur weite Bereiche der Analysis. W ahrend zu Beginn der Analysisausbildung das RiemannIntegral f ur (st uckweise) stetige Funktionen auf Intervallen selbstverst andlicher Teil des Curriculums ist, l at sich das mehrdimensionale Integral sicher besser verstehen, wenn man es als Spezialfall des allgemeinen Lebesgueintegrals einf uhren kann. Im Falle der Ma- und Integrationstheorie bedeutet Abstraktion tats achlich Vereinfachung; die Theorie ist sicher nicht komplizierter oder schwerer zu verstehen als andere Teile des fortgeschrittenen Grundstudiums. In ca. 6 Wochen einer u blichen 4st undigen Vorlesung l at sich dieser Sto ohne weiteres bew altigen, wobei der (zeitraubende) Beweis des Maerweiterungssatzes nicht unbedingt in allen Details an die Tafel geschrieben werden mu die Grundideen von Carath eodory sollte man aber unbedingt verstanden haben. Das vorliegende Skript beansprucht keinerlei Originalit at und ist auch nicht f ur eine Ver oentlichung bestimmt. Von den vielen Buchdarstellungen zu diesem Gebiet seien stellvertretend die beiden folgenden genannt, die mir pers onlich besonders gut gefallen: Heinz BAUER: Ma und Integrationstheorie (Walter de GruyterVerlag) J urgen ELSTRODT: Ma und Integrationstheorie (SpringerVerlag)

Eichst att, im Mai 2001

F ur Hinweise auf (Druck) Fehler bin ich dankbar.

Kapitel I
1. Mengensysteme

MASSTHEORIE

Zur Erinnerung: = , A , Ac := { | A} . F ur A, B ist A r B := A B c (:= A (B c )) A B := (A r B ) (B r A) A + B := A B falls A B = A := A falls A A = = .


DEFINITION 1. = ; A P () heit Algebra (1) A (2) A A = Ac A (3) A, B A = A B A Bemerkung: (3) ist ersetzbar durch (3): A, B A = A B A (1) ist ersetzbar durch (1) A . Beispiele. 1) A = P () 2) A = {, } 3) A = {, A, Ac , }, A beliebig (fest) 4) A = {A | A oder Ac ist endlich } 5) A = {A
n

R|

Intervalle im weitesten Sinne I1 , ..., In mit A =

Ij }
j =1

6) Gegenbeispiel: A = {G R | G oen} 7) Sei A eine Algebra auf , = = A = A := { A|A A} ist eine Algebra u ber

8) T : 1 2 , A2 Algebra u ber 2 = A1 := T 1 (A2 ) := {T 1 (A2 )|A2 A2 } ist eine Algebra u ber 1 . LEMMA 1.

= , = , sei A eine Algebra u ber = A ist eine Algebra.


Folgerung. = , E P () . Dann existiert eine kleinste Algebra A , die E umfat, n amlich A :=
B Algebra BE

(= da P () vorkommt !)

Schreibweise: A = (E ) , die von E erzeugte Algebra. Eigenschaften von (E ) (oder von E (E ) ) : 1.) {, } (E ) P () 2.) E1 E2 = (E1 ) (E2 ) 3.) E Algebra = E = (E ) 4.) A Algebra, E A = (E ) A . LEMMA 2.

T : 1 2 , E2 P (2 ) . Dann gilt (T 1 (E2 )) = T 1 ((E2 )) .


Beweis. : T 1 ((E2 )) ist eine Algebra (wg. 8)), die T 1 (E2 ) enth alt. : A2 := {A2 2 |T 1 (A2 ) (T 1 (E2 ))} ist eine Algebra (!), und enth alt E2 = A2 (E2 ). Folgerung. = 1 2 , E P (2 ) = 1 (1 E ) = 1 2 (E ) . DEFINITION 2. = ; A P () heit Algebra: 2

(1) A (2) A A = Ac A

(3) A1 , A2 , ... A =
i=1

Ai A .

(oder (3): ... =


i=1

Ai A ) .

Beispiele. 1) A = P () 2) A = {, } , allgemeiner jede endliche Algebra 3) A = {A |A oder Ac ist h ochstens abz ahlbar} 4) T : 1 2 , A2 Algebra u ber 2 = T 1 (A2 ) ist Algebra u ber 1 . Insbesondere: f ur = 1 2 , T = inj , die Spur Algebra 1 A2 . Jeder Durchschnitt von Algebren ist wieder eine Algebra = zu beliebigem E P () existiert (E ) :=
A Algebra AE

die kleinste E umfassende Algebra auf , oder auch die von E erzeugte Algebra. LEMMA 2.

T : 1 2 , E2 P (2 ) = (T 1 (E2 )) = T 1 ( (E2 )) .
Insbesondere gilt f ur = 1 2 : 1 (1 E ) = 1 2 (E ) . DEFINITION 3. = ; (1) D (2) D D = Dc D 3 D P () heit DynkinSystem:

(3) D1 , D2 , ... D paarweise disjunkt =


i=1

Di D

Daraus leitet man sofort ab: (4) A, B D, A B = B r A D = (A + B c )c = Ac B = B r A D


n

denn: A + B c D

(endliche disjunkte Summen


i=1

Di D , da wegen (1) und (2) D !)

Beispiele. 1) Jede Algebra 2) || = 2n, n > 1, D := {D | |D| ist gerade} ist keine Algebra, (erst recht keine Algebra), aber ein DynkinSystem. LEMMA 3.

D P () sei stabil. Dann gilt: D ist Algebra


Beweis. = : klar (i) (ii) A, B D = A B = A + (B r A B ) D A1 , A2 , ... D =

D ist DynkinSystem.

= :

Ai = A1 + (A1 A2 r A1 )+

((A1 A2 A3 ) r A1 A2 ) + ... D .
i=1

F ur E P () bezeichne (E ) das von E erzeugte DynkinSystem. SATZ 1.

Sei = und E P () stabil. = (E ) = (E ) .


Beweis. klar, da (E ) ein DynkinSystem ist. : Zu zeigen gen ugt: (E ) ist eine Algebra, d.h. wegen Lemma 3: (E ) ist als stabil nachzuweisen. Wir denieren f ur A DA := {B |A B (E )} 4

() A (E ) = DA ist ein DynkinSystem, denn: A = A (E ) , also DA Bi DA disjunkt = A A B (E ) = A B c = A r A B (E ) Bi = A Bi (E ), also Bi DA .

() A E = (E ) DA , denn E DA ( ) A (E ) = (E ) DA Daf ur gen ugt zu zeigen E DA , d.h. B E = A B (E ) , und das stimmt wegen () .

2. Mengenfunktionen
DEFINITION 4. = , A Algebra auf , : A R+ := [0, ] heit Inhalt : (1) () = 0 (2) (A + B ) = (A) + (B ) A, B A mit A B = heit Pr ama : (1) () = 0

(2)
i=1

Ai

=
i=1

(Ai ) Ai A

Folge Ai A , die paarweise disjunkt ist und f ur die

heit heit heit heit

Ma : A ist eine Algebra und ist ein Pr ama endliches Ma : ist Ma und () < Wahrscheinlichkeitma : ist ein Ma mit () = 1 Wahrscheinlichkeitsinhalt : ist ein Inhalt mit () = 1

Beispiele. 1.) = , A , A = {, A, Ac , }, , 0 : A A Ac R+ 0 + ist ein Inhalt; ein Wahrscheinlichkeitsinhalt + = 1

2) = N0 , pj 0 f ur j N0 , A = P () (A) :=
j A

pj

= () = 0,
i=1

Ai

pj =
1

pj
i=1 j Ai

=
i=1

(Ai )

Ai

ist ein Ma mit ({j }) = pj .

ist ein endliches Ma


j =0

pj <

ist ein Wahrscheinlichkeitsma


j =0

pj = 1 .

F ur R+ sei deniert durch ({j }) = e j /j !, j N0 = 0 ({j }) = 1 , also ist ein Wahrscheinlichkeitsma. heit Poissonverteilung mit Parameter . 3.) sei eine unendliche Menge A := {A |A oder Ac ist endlich} : A [0, 1] sei deniert durch (A) := 0 , A endlich 1 , Ac endlich

= ist ein Wahrscheinlichkeitsinhalt abz ahlbar = ist kein Pr ama:

N=

{n} ....
1

u berabz ahlbar = ist ein Pr ama. 4.) = , : P () [0, 1] (A) := 1 , A 0 , A (= 1A ( ))

heit Einpunktma in oder DiracMa in . 5.) = , A = P () (A) := |A| heit abz ahlendes Ma 6

LEMMA 4.

= , A Algebra auf , : A R+ Inhalt. Dann gilt: 1.) A B = (A) (B ) (Monotonie) 2.) A B, (A) < = (B r A) = (B ) (A) 3.) (A B ) + (A B ) = (A) + (B )
n n

4.)
i=1

Ai

i=1

(Ai )

5.) Ai A paarweise disjunkt,


1

Ai A =
1

(Ai )

Ai B ) falls (A) < , (B ) <

6.) |(A) (B )| (A

! 7.) ist Pr ama (Ai A A = (Ai ) (A)) 8.) Pr ama, Ai A A, (A1 ) < = (Ai ) (A) 9.) stetig in , d.h. (Ai = (Ai ) 0) = ist Pr ama

10.) Pr ama, Ai A,
1

Ai A =
1

Ai

(Ai ) .

Beweis. 1.) A B = B = A + (B r A) = (B ) = (A) + (B r A) (A) 2.) folgt aus

3.) A B = A + (B r A), B = B A + (B r A)

= (A B ) = (A) + (B r A), (B ) = (A B ) + (B r A)

= (A B ) + (A B ) + (B r A) = (A) + (B ) + (B r A) 7

Falls (B r A) < , folgt die Behauptung sofort. Falls (B Seiten sind .


n

r A) = = (B ) = = (A B ) , d.h.

beide

4.)
1

Ai = A1 + (A2 r A1 ) + (A3 r (A1 A2 )) + ... + (An r (A1 ... An1 ))


n

=
1

Ai

= (A1 ) + (A2 r A1 ) + (A3 r (A1 A2 )) + ...

(A1 ) + (A2 ) + ... + (An )


n n

5.)
i=1

(Ai ) =
1

Ai

Ai

n =
1

(Ai )
1

Ai

6.) A = A B + A B c = (A) = (A B ) + (A B c ) B = B A + B Ac = (B ) = (A B ) + (Ac B ) = (A) (B ) = (A B c ) (Ac B ) ... + ... = (A (B ) (A) = (A B ) (A B ) ... + .... = (A 7.) = : Ai A = A = (A) = (A1 ) + (A2 r A1 ) + (
n c c

B ) und B)

= A1 + (A2 r A1 ) + (A3 r A2 ) + ... ) + ...

= lim der Partialsummen (A1 ), (A2 ), ... . =: (Ai ) paarweise disjunkt,


1 n n

Ai A =
1

Ai
1

Ai

=
1

(Ai ) = lim
n 1

(Ai ) = lim
n 1

Ai

=
1

Ai

8.) Ai A, (A1 ) < = (Ai ) < i und (A) <


c c A1 Ac (A1 Ac i A1 A = i ) (A1 A =(A1 )(Ai ) =(A1 )(A)

9.) Seien Ai paarweise disjunkt, A := (A r


n 1

Ai A = A r

Ai =
1

Ai ) 0
1

= (A) =
=

Ai + A r
(Ai ) n

Ai
1

(Ai ) .

1
n 1

10.)
1

Ai

= lim
n 1

Ai

lim
1

(Ai ) =
1

(Ai ) .

3. Das Lebesguesche Pr ama


= [a, b], a < b
n

A := (E ), E := {I |I Intervall} , also A =
j =1

Ij |n N, Ij E

Wir denieren zun achst auf E : ([, ]) = (], ]) = ([, [) = (], [) := : A R+ werde deniert durch
n n

({}) := 0, () := 0 (f ur a < b )

j =1

Ij

:=
j =1

(Ij )

(ist wohldeniert!)

Behauptung: ist ein Pr ama Beweis. Gezeigt wird: Ai A, Ai = (Ai ) 0 . Angenommen


n

:= inf i (Ai ) > 0, Ai =


j =1

i i Ij , Ij E . kompakte Mengen Ki Ai mit i

(Ai r Ki )

, 2i

i N . Sei Li :=

K Ki Ai , dann gilt
=1 i i

(Ai r Li ) = Ai
i i

Kc
=1

=
=1

(Ai K c )
i

=1

(Ai K )
=1

(A K )
=1

1 <. 2

Wegen 9

(Ai ) = (Ai r Li ) +(Li ) ist (Li ) > 0 ,


<

also Li = i und damit =


i=1

Li
i=1

Ai = .

LEMMA 5.

A sei eine Algebra auf , n : A R+ sei eine Folge von Pr amaen mit 1 2 3 ... . : A R+ werde deniniert durch (A) := sup n (A) = lim n (A) .
n n

Dann ist auch ein Pr ama.


Beweis. () = lim n () = 0 , (A) + (B ) F ur Ai A, Ai A A gilt (A + B ) = lim(n (A) + n (B )) =

(A) = supn n (A) = supn [supi n (Ai )] = supi [supn n (Ai )] = supi (Ai ) .

Sei nun n das oben denierte L angenpr ama auf [n, n], n = 1, 2, 3, ... .
n

A :=
1

Ij |n N, Ij R Intervall

= (Intervalle)

sei die von allen Intervallen auf R erzeugte Algebra (dann ist [n, n] A die vorher betrachtete Algebra auf [n, n] ). n : A R+ , n (A) := n (A [n, n]) ist ein Pr ama auf A und n n+1 n ; also ist wegen Lemma 5 := lim n = sup n ein Pr ama auf A , das sogenannte Lebesguesche Pr ama. ist der eindeutig bestimmte Inhalt auf A mit (I ) = L ange von I Intervall I .

10

4. Der Maerweiterungssatz
SATZ 2.

(CARATHEODORY)

Beweis. 0 : A R+ sei ein Pr ama. Zu zeigen: Ma : (A) R+ mit |A = 0 ! Wir denieren : P () R+


Jedes Pr ama auf einer Algebra A l at sich zu einem Ma auf (A) fortsetzen.

(A) := inf
1

0 (An ) : An A n und A
1

An

Eigenschaften von : 1.) |A = 0 2.) A B (beliebig) = (A) (B )


3.)

An

(An ) A1 , A2 , ...

4.) (B ) (B A) + (B Ac ) A, B . Zu 1.): Sei A A = A, , , . . . A mit A A . . . = (A)

0 (A) . Sei umgekehrt Ai A mit A


1

Ai = A1 + (A2

r A1 ) + . . . =
0 (Ai )

A1 + A2 + A3 + . . . , wobei Ai Ai insbesondere A=
1

i,

A Ai und damit 0 (A) =


1

0 (A Ai )
1

= 0 (A) inf solcher Summen = (A) . Zu 2.) (A) ist inf einer gr oeren Menge reeller Zahlen als (B ) . Zu 3.) Fall a.) n : (An ) = , dann ist die Behauptung klar. Fall b.) n : (An ) < : n Sei > 0; (An ) + n > 0 (An An j ) mit Aj A so da An j . 2 j =1 j

11

=
n

An
j,n

An j

= (

An )
n,j

0 (An j)

=
n j

0 (An j)
(An )+ 2 n

(An ) + .

Das gilt > 0 , also ist ( Zu 4.) Spezialfall von 3.).

An )
1

(An ) .

DEFINITION 5. : P () R+ heit aueres Ma : 1.) () = 0 2.) ist monoton

3.) (

An )
1

(An ) .

Unser ist also ein aueres Ma mit der zus atzlichen Eigenschaft |A = 0 . A := {A : (B ) = (B A) + (B Ac ) B } Die Mengen in A heien mebar . Daf ur gilt nun: 5.) A ist eine Algebra 6.) |A ist ein Ma. Zu 5.) (i) A gilt oensichtlich (ii) A A = Ac A ist ebenso klar

12

(iii) A, B A . Dann gilt E (E ) = (E A) + (E Ac ) (E A) = (E A B ) + (E A B c ) (E Ac ) = (E Ac B ) + (E Ac B c ) = (E ) = (E A B ) + (E A B c ) + (E Ac B ) + (E Ac B c ) Hierin jetzt E (A B ) anstelle von E : () (E (A B )) = (E A B ) + (E A B c ) + (E Ac B )

= (E ) = (E (A B )) + (E (A B )c ) und das heit A B A . Also ist A eine Algebra.

(iv) Seien jetzt A1 , A2 , ... A paarweise disjunkt, zu zeigen ist A ! F ur disjunkte A, B A liefert () (E (A + B )) = (E A) + (E B )
n n 1

Ai

E
1

Ai

=
1 n

(E Ai ) E , n N
n c

= (E ) = (E
1 n

Ai ) +

E
1 c

Ai n , also f ur n

(E Ai ) +

E
1

Ai

(E )
1

(E Ai ) + ...

(E
1

Ai ) + ... , das heit


1

Ai A .

Sogar = . Speziell E :=
1

Ai liefert (

Ai ) =

(Ai ), also 6.).

13

Wir wissen also

|A = 0 ,

A ist eine Algebra,

|A

ist ein Ma.

Dar uber hinaus gilt noch 7.) A A

Denn: sei A A, E , An A so da E
1

An

=
1

0 (An )

= =

(0 (An A)) + 0 (An Ac )) 0 (An A) + 0 (An Ac ) ,

(E A) + (E Ac )

= (E ) (E A) + (E Ac ) = A A Es gilt also (A) A , so da mit := | (A) tats achlich ein Ma gefunden ist, das 0 |A fortsetzt. DEFINITION 6. Ein Inhalt auf einer Algebra A heit endlich : A1 , A2 , ... A paarweise disjunkt mit
1

Ai = und (Ai ) < i.

B1 , B2 , ... A mit
1

Bj = und (Bj ) < j

C1 , C2 , ... A mit Cj und (Cj ) < j ] .

SATZ 3.

Vergleichssatz. Die Algebra B u ber werde von der Algebra A erzeugt. und seien zwei Mae auf B , die auf A endlich sind. Gilt dann (A) (A) A A so folgt (B ) (B ) B B .
Beweis. (i) 0 : A R+ , 0 (A) := (A) (A) ( 0 nach Voraussetzung) 14 () < : (also auch () < )

0 besitzt nach Satz 2 eine Fortsetzung zu einem Ma : B R+ . ! Zu zeigen gen ugt: = Sei D := {D B| (D) = (D) (D)} = A D (per Denition), also insbesondere D . D D = (Dc ) = () (D) = () [(D) (D)] = () () [(D) (D)] = (Dc ) (Dc ) also Dc D Di D1 , D2 , ... D paarweise disjunkt, D := = (D) = (Di ) =

[(Di ) (Di )] = (D) (D)

= (A) = (A) D B = (A) , also D = B und = , insbesondere . (ii) Ai A paarweise disjunkt mit (Ai ) < i (= (Ai ) < i) Auf Ai , Ai A, Ai B l at sich (i) anwenden: = (Ai B ) (Ai B ) B B = (B ) = KOROLLAR. (Ai B ) (Ai B ) = (B ) .

Eindeutigkeitssatz. Jedes endliche Pr ama auf einer Algebra besitzt genau eine Fortsetzung zu einem Ma auf der erzeugten Algebra.
Beweis. 0 : A R+ sei ein endliches Pr ama mit den Mafortsetzungen und . Dann ist also (A) = (A) A A und deshalb = aufgrund des Vergleichssatzes.

15

SATZ 4.

Identit atssatz. E sei stabil und A = (E ) . , : A R+ seien zwei Mae mit |E = |E . Es gebe E1 , E2 , .... E mit En und (En ) = (En ) < n . Dann ist = .
DE := {A A|(A E ) = (A E )}

Beweis. F ur E E mit (E ) = (E ) < sei

= DE ist ein Dynkinsystem, DE E = DE = A das heit (A E ) = (A E ) A A E E mit (E ) = (E ) < = (A) = lim (A En ) = lim (A En ) = (A) A A .

Bemerkung. Statt En reicht es,


1 n

En = anzunehmen!

denn: Fn :=
j =1

c Ej = E1 + E2 E1 + E3 (E1 E2 )c + ...

( )

= (A Fn ) = (A Fn ) A A . SATZ 5.

Approximationssatz. sei ein endliches Ma auf der Algebra B , die von der Algebra A erzeugt werde. Zu B B und > 0 existiert dann ein A A mit (A B) < .

Beweis. ist die eindeutige Fortsetzung von |A; also A1 , A2 , ... A

mit B
1

An und

(An ) < (B ) + /2
1

insbesonders Nun ist A :=

(An ) < . W ahle n0 N so da


n>n0 n0

(An ) <

. 2

An A und
n=1

16

AB
1

An

B =
1

An

rB
. 2

= (A B c ) (...)
n0 c 1

(An ) (B ) <

A B
n=1

An

n=1

An 2

n>n0

An

= (Ac B )
n>n0

(An ) <

= (A

B ) = (A B c ) + (Ac B ) < .

5. Lebesguema und Borelmengen


Das Lebesguesche Pr ama auf A = (Intervalle) ist endlich (R = ]n, n + 1]) , besitzt also eine eindeutige Mafortsetzung auf (A) =: I B,
nZ das sog. (1dimensionale) Lebesguema . Es ist also : I B eindeutig bestimmte Ma mit

R+

das

(I ) = L ange von I

Intervall I .

= 1 und seine h oherdimensionalen Analoga sind von grundlegender Bedeutung f ur die gesamte Mathematik und ihre Anwendungen. Die Elemente von I B heien Borelmengen. Wir listen nun eine Reihe wichtiger Erzeugendensysteme von I B auf: F := {F R|F abgeschlossen} K := {K R|K kompakt} C2 := {[a, b]|a < b, a, b R} C3 := {] , x]|x R} C1 := {]a, b]|a < b, a, b R} (oder a, b Q) (oder x Q) G := {G R|G oen}

Beweisprinzip: (C ) = (C ) C (C ) und C (C ) . 17

LEMMA 6.

a.) B I B , x R = x + B I B und (x + B ) = (B ) ist translationsinvariant b.) B I B , R = B I B und (B ) = ||(B ) c.) B R abz ahlbar = B I B und (B ) = 0 .

Beweis. a.) {B I B|x+B I B} ist ein Dynkinsystem und enth alt C := {]a, b]|a, b R} , denn x + ]a, b] =]x + a, x + b] . und (B ) := (x + B ) sind zwei endliche Mae, die auf C u bereinstimmen, also wegen Satz 4 gleich sind. b.) Der Fall = 0 ist trivial. F ur = 0 ist C {B I B|B I B} , denn ]a, b], > 0 [b, a[, < 0 .

]a, b] = Das Ma (B ) :=
(B ) ||

stimmt auf C mit u berein, also u berhaupt.

c.) B = {b1 , b2 , b3 , ...} =

{bi } I B.
i=1

Da ({x}) = 0 x R = (B ) = 0 . Bemerkungen.

1) Es gibt u berabz ahlbare Mengen in I B , die das Lebesguema 0 haben. 2) Die sogenannte vervollst andigte Algebra L := {B N |B I B, M I B mit (M ) = 0 und N M }

ist eine Algebra (!) und heit Algebra der Lebesguemebaren Mengen .

18

SATZ 6.

$ P (R) .

Beweis. F ur x, y R ist x y : x y Q eine Aquivalenzrelation! Die zugeh origen Aquivalenzklassen sind [x] = x + Q , soda [x] ]0, 1] = f ur jedes x R . Man w ahle in jeder Aquivalenzklasse genau einen Punkt ]0, 1], K sei die Menge dieser Punkte, also K ]0, 1] und

R=
k K

[k ] =
k K

( k + Q) =

(q + K )
q Q

( x R ! (kx , qx ) K Q mit x = kx + qx ) W are nun K I B , so folgte = (R) = (q + K ) , also (K ) > 0 . Andererseits ist q Q =(K ) (q + K ) ]0, 2]
q Q]0,1]

= (...) (]0, 2]) = 2 = (q + K )


=(K )

= (K ) = 0 .

6. Mebare Abbildungen
Ist A eine Algebra u ber , so nennen wir das Paar (, A) einen Meraum oder mebaren Raum; die Elemente von A heien mebare Mengen. DEFINITION 7. (, A), ( , A ) seien mebare R aume. Eine Abildung f : heit A/A mebar: f 1 (A ) A A A

f 1 (A ) A . Beispiele. 1.) Jede konstante Abbildung ist mebar, denn f 1 (A ) = {, } .

19

2.) ( , A ) = ({0, 1}, P ({0, 1})) . Dann ist f : {0, 1} mebar f = 1A mit einem A A (da f 1 (P ({0, 1}) = {, f 1 ({0}), f 1 ({1}), })
=:A

3.) Ist f : A/A mebar und sind B, B und A B so ist f auch B /B mebar. Lemma 7.

Algebren mit A B

(i , Ai ), i = 1, 2, 3 seien mebare R aume. f : 1 2 sei A1 /A2 mebar g : 2 3 sei A2 /A3 mebar = g f : 1 3 ist A1 /A3 mebar.
Beweis. A3 A3 = (g f )1 (A3 ) = f 1 (g 1 (A3 )) A1 .
A2

LEMMA 8.

(, A), ( , A ) mebar, A = (E ), E P ( ) . F ur f : 1 gelte f (E ) A E E = f ist A/A mebar.


Beweis. f 1 (A ) = f 1 ( (E )) = (Lemma
2)

(f 1 (E )) A .
A

Sei speziell ein metrischer Raum, A = (oene Teilmengen) die Borelsche Algebra auf . Ist dann f 1 (G ) A f ur jede oene Menge G , so ist f mebar. Ist auch metrisch, A die Borelsche Algebra auf , so ist also jede stetige Abbildung f : A/A mebar, kurz Borel-mebar. Unser Hauptinteresse gilt den R, R+ wertigen mebaren Funktionen auf einem mebaren Raum (, A) . Dazu ben otigen wir noch eine nat urliche Algebra auf R .

20

I B := (I, I Intervall in B=I B = R I

R)

Z = Z (, A) := {f : R|f ist A/Bmebar} Z+ = Z+ (, A) := {f Z |f 0} Z + = Z + (, A) := {f Z |f 0} . LEMMA 9.

Z = Z (, A) := {f : R|f ist A/Bmebar}

b) f, g Z + , R+ = {

a) f, g Z, R = {f + g, f, f g, f g, f g } Z } Z+ c) {fn |n N} Z = {inf fn , sup fn , limfn , limfn } Z sowie lim fn Z , falls existent


1 f

d) f Z, f ( ) = 0 = f Z + =
1 f

Z+ .

Vorbemerkung.

I B2 := ({G R2 |G oen}) = ({]a1 , b1 ] ]a2 , b2 ]|ai < bi f ur i = 1, 2})


!

Beweis. (f, g ) : a.)

R2

(f ( ), g ( )) denn (f, g )1 (]a1 , b1 ] ]a2 , b2 ])

ist A/I B 2 mebar .

= f 1 (]a1 , b1 ]) g 1 (]a2 , b2 ]) A ai , bi R .

Die Additionsabbildung : R2 R, (x, y ) := x + y ist stetig, also I B 2 /I Bmebar. = f + g = (f, g ) ist A/I B mebar. Analog f g, f g, f g (f ist davon ein Spezialfall!).

21

h 0 = h1 (B ) = h1 (B R+ )

R+ IB = R

({[0, x[|x R+ })

b.) Zu zeigen gen ugt also {f + g < x} A x > 0 . Nun ist {f + g < x } =
s,tQ s+t<x

{f < s, g < t} A
={f <s}{g<t}

{f g x} = {f x} {g x} A x R {f g x} = {f x} {g x} A Da ({[x, ]|x R}) = I B = ({[, x]|x R}) , folgt f g, f g Z Zu f : 1) = 0 = f = 0 2) > 0 = {f < x} = {f < x/} A Zu f g : {f g = 0} = {f = 0} {g = 0} A {f g ]a, ] =
s,tQ+ st>a

...

f ur f, g Z

{f > s} {g > t} A ( a 0)

c.) {inf n fn x} =
n=1

{fn x} A {fn x} A
1

{sup fn x} = lim inf fn = sup


m

nm

inf fn

Z Z
1 x 1 x

lim sup fn = inf


m

sup fn
nm

d.) x > 0 = x < 0 =

1 f 1 f

>x = 0<f < <x = 0>f >

A A.

22

F ur x R sei x+ := x 0, x := (x) 0, |x| := x (x) = x+ + x ; analog f ur f : R : f + , f , |f | . f Z = {f + , f , |f |} Z + (siehe oben)

E (, A) := {f Z (, A)|f () ist eine endliche Menge} sei die sogenannte Menge der AElementarfunktionen , E+ (, A) := {f E (, A)|f 0} . LEMMA 10.

f E (, A) n N, A1 , ..., An A mit Ai = i , n i = j so da i=1 Ai = , und {a1 , ..., an } R mit ai = aj


n

f=
i=1

ai 1Ai .

Beweis. = : Es folgt sofort f () = {a1 , ..., an } und f 1 (B ) =


ai B

Ai

B I B. i=j

=: Sei f () = {a1 , ..., an } mit ai = aj


n

= f =
i=1

ai 1{f =ai } , {f = ai } = f 1 ({ai }) A .

Bemerkungen. 1) E (, A) = span({1A |A A}) R 2) f, g E (, A) = {f g, f g, f g } E (, A) . SATZ 7.

Zu f Z + (, A) f1 , f2 , ... E+ (, A) mit fn f (punktweise). Ist f beschr ankt, so ist sogar sup(f ( ) fn ( )) 0


erreichbar, das heit gleichm aige Konvergenz von fn gegen f .


23

Beweis.
n2n

fn :=
k=1

k1 1{ k + n 1{f n} E+ (, A) 1 f < 2k n} 2n 2n

F ur f ( ) = gilt fn ( ) = n . F ur alle ist fn ( ) := max = fn ( ) f ( ) . Ist ||f || = sup f () < = n > ||f || gilt ||f fn || 1 0 . 2n j j j = 0, 1, ..., n 2n , n f ( ) n 2 2

24

Kapitel II. INTEGRATIONSTHEORIE


1. Denition des Integrals und Konvergenzs atze
Sei f E+ (, A) = f =
f ()

1{f =} , {f = } A ; sei

ein Ma auf der Algebra A . R+ ( R+

f d :=
f ()

({f = })

falls endlich)

= 1.) 1A d = (A) A A , denn 1A = 1 1A + 0 1Ac insbesondere 1 d = 0d = 1d = () 1 d = () = 0


! !

2.) f E+ , R+ = (f )d = Beweis. = 0 = f

f d

= 0

> 0 = {f = } = {f = } 0 = (f )d =
f ()

({f = }) ({f = }) = gd f d .

= 3.) f, g E+ = (f + g )d = Beweis.
!

f d +

25

(f + g )d =
(f +g )()

{f = , g = }
, + =

({f + g = }) =

, + =

({f = , g = }) =
,

( + )({f = , g = }) ({g = })

= =

... + f d +

... = gd .

({f = }) +

n n

4.) F ur beliebige 1 , ..., n R+ und A1 , ..., An A gilt i 1Ai d =


i=1 i=1

i (Ai )

(folgt sofort aus 1.) 2.) und 3.) ). 5.) f, g E+ , f g = f d gd

Beweis. F ur = {f = , g = } ist , also f d =


,

({f = }) =
,

({f = , g = }) ({g = }) =

({f = , g = }) =

gd .

LEMMA 11.

g, fn E+ mit f1 f2 f3 ... und g supn fn = gd sup


n

fn d .

Beweis. Sei g =
j =1

j 1Aj mit j R+ , Aj A . Ferner sei 0 < < 1 .

Bn := {fn g } A und fn g 1Bn = fn d g 1Bn d Da Bn (!) = Aj Bn Aj f ur j = 1, ..., m = (Aj Bn ) (Aj ) (n ) f ur j = 1, ..., m 26

gd =
j =1

j (Aj ) = lim

j (Aj Bn ) = lim
j =1 n

g 1Bn d

und =

gd = lim
n n

g 1Bn d sup

fn d ]0, 1[

gd sup

fn d .

gn d .

Folgerung. fn , gn E+ , fn , gn , sup fn = sup gn Denn: F ur m N ist gm sup gn = sup fn


n n

= sup

fn d = sup

= umgekehrt.

gm d sup
n

fn d , also sup
m

gm d sup
n

fn dn und

Sei nun f Z + (, A) . Wegen Satz 7 denieren f d := sup


n

{fn } E+ mit fn f ; wir

fn d

(= lim ...)

und das ist aufgrund obiger Folgerung konsistent deniert (und erweitert den Integralbegri auf E+ (!) ). Eigenschaften: 1.) 2.) (f )d = (f + g )d = f d f Z + f d + g d f ur R+ f, g Z + f, g Z +

3.) f g = Beweis. 1.) E+ = 2.) E+

f d

g d

fn f = E+ (f )d = lim f d . fn f, E+

( n) fn f ( n) fn d = lim( n) lim fn d =

gn g = E+

fn + gn f + g = 2.)

27

3.) E+ =

fn f, E+

gn g = fn gn f g = f

f d = lim (fn gn )d lim gn d =

gd .

SATZ 8.

Satz von der monotonen Konvergenz F ur {fn } Z + mit f1 f2 f3 ... gilt (sup fn )d = sup
n n

fn d .

Beweis. 1.) : klar wegen Monotonie des Integrals 2.) : f := supn fn Z + n gnj E+ mit gnj (j ) fn hn := maxj =1,...,n gjn E+ und hn f , da sup hn fm = f d = lim n fn d sup
m

hn d = sup

hn d

Aber: hn fn = hn d

fm d

= sup =

hn d sup f d .

fm d .

Folgerung. {fn } Z + =
1

fn d =
1

fn d

denn: Beispiele.

n j =1

fj

j =1

fj .

1.) (, A) = (N, P (N)), das abz ahlende Ma, (A) = |A| . Sei f Z+ (, A) = RN + 28

f d =
j =1

f (j )

denn: fn := f 1{1,2,...,n} E+ (, A) und fn f .


n n n

Da fn =
j =1

f (j ) 1{j } =

fn d =
j =1

f (j ) ({j }) =
j =1

f (j )

f d = lim

fn d =
j =1

f (j ) .

2.) (, A) = ([0, 1], [0, 1] I B) , darauf = f (x) := x ist stetig, also mebar Gesucht f d !
n

fn :=
i=1

i1 1] i1 , i ] E+ n n n

0 fn f, fn (x) f (x) x Es gilt f2n f (aber nicht fn f !) .


n

fn d =

1 2 n1 + + ... + n n n i=1 1 1 (n 1)n = (1 + 2 + 3 + ... + (n 1)) = 2 2 n n 2 1n1 1 = 2 n 2 i1 n = 1 n =


n

i1 i , n n

f2n d i1 n
2

1 = 2

f d

Sei g (x) : x2 , gn :=
i=1

1] i1 , i ] E+ , 0 gn g, gn g, g2n g
n n

29

gn d

= = = =

1 n 1 n3 1 n3

1 22 (n 1)2 + + ... + n2 n2 n2 1 + 4 + 9 + ... + (n 1)2 1 1 (n 1)n(2n 1) 6 3 g d = 1 3 .

DEFINITION 8. Gegeben (, A, ), f Z (, A) ; f heit integrierbar (integrabel) : In diesem Fall heit f d := das Integral von f bez uglich . Andere Schreibweisen: f ( )d( ), f ( )(d ) . f + d f d f + d < und f d <

Bemerkung. f integrabel

f + und f sind integrabel |f |d <

|f | integrabel (denn |f | = f + + f ) . L1 () := {f Z (, A)| |f |d < } .

30

LEMMA 12.

L1 () ist ein Vektorverband, d.h. ein Vektorraum R mit der zus atzlichen Eigenschaft f, g L1 = f g, f g L1 . Die Abbildung L1 () R, f f d ist eine positive Linearform (d.h. f 0 = f d 0) und es gilt | f d| |f |d f L1 () .
(|f | + |g |)d

Beweis.

f, g L1 =

|f + g |d

= |f |d + |g |d < |f | = || |f | = |f |d = || |f |d < . |f g | |f | + |g |, |f g | |f | + |g | = f g, f g L1 . Sei f = mit 0, 0 (mebar, = f d =


!

d < ,

d < )

d , denn f + + = + f !

Nun ist f + g = f + + g + (f + g )

(f + g )d = =

f + d + f d +

g + d gd .

f d

g d

(f )d =

f d ist klar.

f d| = |

f+

f |

f+ +

f =

|f |d .

DEFINITION 9. Gegeben sei der Maraum (, A, ) . a.) N A heit Nullmenge : (N ) = 0

31

b.) Eine f ur Punkte erkl arte Eigenschaft E besteht fast u berall (f. u.) : Nullmenge N A soda E zutrit \ N .

Beispiele. . endlich 1.) f : R (nicht notwendig mebar); f ist f. u N A, (N ) = 0 und f ( ) R N c N A, (N ) = 0 und f ( ) = g ( ) 2.) f, g : (nicht notwendig mebar); f = g f. u. Falls z.B. = R und f, g mebar sind, dann ist f = g f. u. ({f = g }) = 0 . 3.) = RN , A eine Algebra auf , Ma auf A . fast alle Folgen = (x1 , x2 , ...) konvergieren in R (eigentlich) N A, (N ) = 0 und = (x1 , x2 , ...) N c existiert limi xi in R . Nc .

LEMMA 13.

(, A, ), f Z + . Dann gilt f d = 0 f = 0 f. u.
Beweis. N := {f = 0} = {f > 0} A : f 1N = lim n 1N , n 1N d = n (N ) = 0 n = : N =
n=1

f d = 0

f f

1 n

(monoton) =

1 n

(N ) f d = 0

1 n f 1{f 1 } d n n = (N ) = 0 .

n f d = n

32

LEMMA 14.

Es seien f, g Z, f = g f. u.. Dann gilt: a) f 0, g 0 = f d = g d f d = gd .

b) f integrierbar = g integrierbar und

Beweis. N := {f = g } A, (N ) = 0 , also ist f 1N = 0 = g 1N f. u. und f 1N c = g 1N c ( uberall!)

a.)

f d = f (1N + 1N c )d = f 1N d + g 1Nc d = g 1N d + g 1N c d = gd = f+ = g+, f =

f 1N c d =

f 1N c d =

b.) f + = g + f. u. und f = g f. u. g = Behauptung.

Folgerung. f, g Z, |f | g f. u., g integrabel = f integrabel. Beweis. g := |f | g = g f. u. = g ist auch integrabel |f | g = f integrabel. LEMMA 15.

f Z sei integrierbar = f ist f. u. endlich.


Beweis. N := {|f | = } A, n 1N |f | n N = n (N ) |f |d < n N = (N ) = 0 . SATZ 9.

Lemma von FATOU. (, A, ), {fn } Z + (, A) =


Beweis. gn := inf mn fm lim fn =: f =
Satz 8

lim fn d lim
gn d f d

fn d .

33

gn d lim
n n

fm d m n = fm d = lim

gn d inf fn d .

mn

fm d =

f d =

gn d lim inf

mn

Beispiel. F ur im Fatouschen Lemma: (, A, ) = (R, I B, ), fn := 1[n,n+1] , n N = lim fn = 0, also aber fn d = 1 n, also lim lim fn d = 0 fn d = 1 .

SATZ 10.

Satz von der

ankten beschr

dominierten Konvergenz. majorisierten


g d <

(, A, ), {fn } L1 (), {fn } konvergiere f. u.. Es gebe ein g Z + mit und |fn | g n . = f L1 () mit fn f f. u. und |fn f | d 0 , insbesondere gilt fn d f d .

Beweis. M A, (M ) = 0 mit existierendem lim fn ( ) ( c R) M N A, (N ) = 0 mit g ( ) < N c (Lemma 15) f ( ) := lim fn ( ) , M N 0 , M N

= f Z (, A) und |f | g = f L1 (), fn f f. u.. Sei gn := |fn f | . Zu zeigen ist gn |fn | + |f | 2g = sup


n

gn d 0 . gn d 2 g d < .

Aus dem Lemma von Fatou folgt

34

lim (2g gn ) d lim


=2g f. u.

(2g gn ) d

= 2gdlim

R g d
n

= lim = lim

gn d 0 gn d = 0 . |fn f |d 0 .

Schlielich ist | fn d f d| = | (fn f )d|

2. Vergleich von Riemann- und Lebesgueintegral


Vorbemerkung. (, A, ) sei gegeben, A sei die Vervollst andigung von A bez uglich ; die eindeutige Mafortsetzung von auf A werde (etwas inkonsequent) wieder mit bezeichnet. DEFINITION 10. (, A, ), ( , A ), f : heit dann mebar: f ist A /A mebar. Im Falle von I B, A = I B und = ist A = L , und ein A mebares f heit Lebesguemebar. (z.B. ist f : R R Lebesguemebar f 1 (I B ) L) LEMMA 16.

f Z (, A ) g Z (, A) mit f = g f. u.
Beweis. : {f = g } N A, (N ) = 0 = {f = g } A . F ur B I B ist f 1 (B ) = f 1 (B ) {f = g } + f 1 (B ) {f = g } = g 1 (B ) {f = g } + ... A . : (i) f = 1A+M , M N A, (N ) = 0; g := 1A = {f = g } = M (ii) f E+ (, A ) (iii) f Z + (, A ) = fn E+ (, A ) mit fn f gn E+ (, A) mit gn = fn f. u., also {gn = fn } Mn A mit (Mn ) = 0 . M := 1 Mn A, (M ) = 0 35

M c gilt gn ( ) = fn ( ) n N g ( ) := lim fn ( ), 0 Mc M =f f. u.

und g = lim(gn 1M c ) ist Amebar. (iv) f Z (, A ) = g1 , g2 Z + (, A) mit f + = g1 und f = g2 f. u. = ... . SATZ 11.

f : [a, b] mebar und

sei Riemannintegrierbar. Dann ist f Lebesgue


b

f d =
[a,b] a

f (x)dx .

Beweis. Zun achst ist f bekanntlich beschr ankt! z = (x0 , x1 , ..., xn ) sei eine Zerlegung von [a, b], x0 = a, xn = b
n n

UZ :=
i=1 n 1

i (xi xi1 ), Oz :=
i=1

i (xi xi1 )

mit i := inf f ([xi1 , xi ]), i := sup f ([xi1 , xi ]) . Sei Ai := [xi1 , xi ], uz := n i 1Ai , oz := uz , oz E ([a, b], [a, b] I B ), uz d = 1 i 1Ai = Uz , oz d = Oz , uz f oz . Nach Voraussetzung Zerlegungsnullfolge z1 , z2 , z3 , ... und R mit
b

lim UZn = lim Ozn =

=
a

f (x)dx

Ohne Einschr ankung sei zn+1 feiner als zn n = uzn , ozn , q := lim(ozn uzn ) existiert ist, 0 , und q ist Borelmebar. Aus dem Lemma von Fatou folgt 0 = q = 0 f. u. Da uzn f ozn n = f = lim ozn = lim uzn f. u. = f ist Lebesguemebar. 36 q d lim(Ozn Uzn ) = 0

(Lemma 16) Da |ozn | ||f || < , folgt aus dem Satz u ber die majorisierte Konvergenz, da f integrierbar ist und
b

f d = lim
[a,b] n

ozn d = lim o2n = =


n a

f (x)dx .

Folgerung. f : Intervall. Dann gilt:

R R+

sei Rintegrierbar auf jedem kompakten

f ist Rintegrierbar f ist (Lebesgue)integrierbar und in diesem Fall ist

f (x)dx =
n

f d . f 1[n,n] d

Beweis.
n

f (x)dx = f (x)dx

Analoges gilt f ur Ist f : auf

f :]a, b[ R+ , f :]a, b] R+ , f : [a, [ R+ ... .


f d (monotone Konvergenz).

so folgt sofort

R)

R R

so, da

|f (x)| dx < (also |f | Rintegrierbare

f (x) dx =

f + (x)dx

f (x)dx =

f + d

f d =

f d .

Aber es existiert z.B.


0

sin x dx = lim n x

n 0

sin x dx = x 2

wohingegen ist.
0

sin x sin x |d = , also nicht Lebesgueintegrierbar x x

37

3. Produktmae und der Satz von FUBINI


= sei eine Indexmenge, ( , A ) mebare R aume, T : irgendwelche Abbildungen, . Dann heit ({T | }) :=
1 T (A )

die von den Abbildungen T erzeugte Algebra. Es ist die kleinste Algebra auf , so da alle T mebar werden. Sei (0 , A0 ) ein weiterer mebarer Raum, S : 0 . Dann gilt: LEMMA 17.

S ist A0 / ({T | }) mebar T S ist A0 /A mebar


Beweis.
1 =: (T S )1 (A ) = S 1 (T (A )) A0 1 1 = S ( T (A )) A0

Erzeugendensystem f ur ({T }) =: folgt aus Lemma 7.

Uns interessiert vor allem der folgende Spezialfall: (1 , A1 ), ..., (n , An ) seien mebare R aume :=
i=1

i = 1 2 ...n

pi : i i Dann heit

sei die ite Projektion.

A1 A2 ... An =
i=1

Ai := ({p1 , ..., pn })

Produkt der Algebren A1 , A2 , ...., An , kurz Produkt Algebra.

38

LEMMA 18.

Sei Ai = (Ei ); es gebe {Ei,k |k N} Ei mit Ei,k Dann ist


n

, i = 1, ..., n. (k ) i

Ai = ({E1 ... En |Ei Ei


i=1

i}) =: A

Beweis.
1 1 : E1 ... En = p 1 (E1 ) ... pn (En ) ({p1 , ..., pn }) Ei Ei

: Zu zeigen: pi ist A/Ai mebar, i = 1, ..., n. Sei also Ei Ei .

Fk := E1,k ... Ei1,k Ei Ei+1,k ... En,k A k N =


k=1 1 Fk = 1 ... i1 Ei i+1 ... n = p i (Ei ) A .

Folgerung: A1 ... An = ({A1 ... An |Ai Ai Beispiel. 1 = 2 = ... = n = R, Ai = I B Ei := {]a, b]|a, b R}


n

i n}) .

= I B := I B ... I B=
i=1

]ai , bi ]|ai , bi R

Allgemeiner schreiben wir f ur beliebige Algebren A An := A ... A (nmal) . Gegeben seien (i , Ai , i ), i = 1, ..., n . Uns interessiert ein Ma auf (, A) := (
n n i=1

i ,

n i=1

Ai ) mit

(A1 ... An ) =
1

i (Ai ) Ai Ai .

Zun achst behandeln wir den Fall n = 2 .

39

LEMMA 19.

Die Abbildung x : 2 1 2 , y (x, y ) ist A2 /A1 A2 mebar; y : 1 1 2 , x (x, y ) ist A1 /A1 A2 mebar.
Beweis. Sei x 1 beliebig. Da die Mengen der Form A1 A2 einen 1 Erzeuger von A1 A2 bilden, gen ugt es zu zeigen, da x (A1 A2 ) A2 gilt. Es ist
1 x (A1 A2 ) = {y 2 : (x, y ) A1 A2 } =

A2

: x / A1 : x A1

A2 .

Ebenso zeigt man die Mebarkeit von y . Folgerung: Es sei ( , A ) ein weiterer Meraum und f : 1 2 eine A1 A2 /A mebare Abbildung. Dann gelten: fx := f x : 2 , y f (x, y ) ist A2 /A mebar und f y = f y : 1 , x f (x, y ) ist A1 /A mebar. Spezialfall: Es sei ( , A ) = (R, I B ) und f = 1Q f ur Q A1 A2 . Dann erhalten wir f ur x 1 : fx = (1Q )x : 2 R, y 1Q (x, y ) = 1Qx (y ) f ur Qx := {y 2 : (x, y ) Q}. Analog gilt: (1Q )y = 1Qy f ur Qy := {x 1 : (x, y ) Q}. Da (1Q )x = 1Qx und (1Q )y = 1Qy nach obiger Folgerung meare Abbildungen sind, gelten f ur alle Q A1 A2 :

Qx = {y 2 : (x, y ) Q} A2 f ur alle x 1 und Qy = {x 1 : (x, y ) Q} A1 f ur alle y 2 .

40

LEMMA 20.

1 und 2 seien -endlich. Dann ist Q A1 A2 die Funktion 1 R+ x 2 (Qx ) und A1 /I B+ mebar

R+ 2 y 1 (Qy )
Beweis. sQ (x) := 2 (Qx ) . 1.) 2 (2 ) < .

B + mebar. A 2 /I

D := {D A1 A2 : sD ist A1 mebar} ist ein Dynkinsystem: a.) s1 2 2 (2 ) b.) sDc = 2 (2 ) sD f ur D D c.) sP = 1 Dn


1

sDn f ur paarweise disjunkte {Dn } in D (stabil), denn 2 (A2 ) , x A1 0 , x A1 = 2 (A2 ) 1A1 (x)
A1 mebar

D {A1 A2 : Ai Ai }

sA1 A2 (x) = 2 ((A1 A2 )x ) = = D = A1 A2

2.) Bn A2 , Bn 2 , 2 (Bn ) < n x 2 (Bn Qx ) mebar n = x 2 (Qx ) = supn 2 (Bn Qx ) mebar.

41

SATZ 12.

(i , Ai , i ), i = 1, 2 seien 2 Mar aume mit endlichem 1 und 2 . Dann ! Ma auf A1 A2 mit () (A1 A2 ) = 1 (A1 )2 (A2 ) A1 A1 , A2 A2 .

Q A1 A2 gilt: (Q) = 2 (Qx ) d1 (x) = 1 (Qy ) d2 (y ) .

Beweis. F ur Q A1 A2 sei wieder sQ : 1 R+ x 2 (Qx ) (mebar nach obigem Lemma!)


1

(Q) := sQ d1 ist also deniert. Es folgt () = 0 und ( 1 (Qn ) (Satz von der monotonen Konvergenz) sowie (A1 A2 ) = Die Denition (Q) := 2 (A2 ) 1A1 d1 = 2 (A2 ) 1 (A1 ) .

Qn ) =

1 (Qy )d2 (y ) liefert ebenfalls ein Ma mit

(A1 A2 ) = 1 (A1 ) 2 (A2 ) Wir sind fertig, wenn wir zeigen, da es h ochstens ein Ma mit () geben kann! Nach Voraussetzung gibt es A1,n A1 , A1,n 1 , 1 (A1,n ) < sowie A2,n A2 , A2,n 2 , 2 (A2,n ) < n = A1,n A2,n 1 2 , (A1,n A2,n ) = (A1,n A2,n ) < , und damit gilt = aufgrund des Identit atssatzes (Satz 4). Das eindeutig bestimmte Ma aus Satz 16 heit Produkt der Mae 1 und 2 und wird als 1 2 bezeichnet.

42

SATZ 13 (FUBINI).

(i , Ai , i ) seien zwei endliche Mar aume, := 1 2 , A := A1 A2 . (i) Ist f : R+ 1 x und f d(1 2 ) = fx d2 d1 (x) = f y d1 d2 (y ) . Amebar, so ist A1 mebar, 2 y

R+
fx d2

R+
f y d1

A2 mebar

(ii) f : R sei 1 2 integrierbar = fx fy ist ist 2 integrierbar f ur 1 f.a. x 1 1 integrierbar f ur 2 f.a. y 2 fx d2 f y d1 ist ist 1 integrierbar 2 integrierbar

x y und

f d(1 2 ) =

fx d2 d1 (x) =

f y d1 d2 (y ) .

Beweis. (i) (1) f = 1Q : dann ist fx (y ) = f (x, y ) = 1Q (x, y ) = 1Qx (y ) , also fx = 1Qx ; analog: f y = 1Qy

43

fx d2 = 2 (Qx ), f d1 2 = 1 2 (Q) =

f y d1 = 1 (Qy ) fx d2 d1 (x) = f y d1 d2 (y )

2 (Qx )d1 (x) =

1 (Qy )d2 (y )

n (2) f E+ (, A), f = i=1 i 1Qi , i 0, Qi A oder auch n f = 1 fi = fx = f x = ( fi ) x = (fi x )... (3) 0 fn f, fn E+ (, A) : die Behauptung folgt dann aus dem Satz von der monotonen Konvergenz.

(ii) |fx | = |f x | = |f | x = |f |x , entsprechend (fx ) = (f )x . Es gilt > |f |d1 2 = |fx |d2 d1 (x) =
+ fx d2 + fx d2

|f y |d1 d2 (y )

= 1 f. u. >

|fx |d2 =

1 f. u. ist also x

fx d2 =

+ fx d2

fx d2 erkl art, mebar

(|.| und 1 integrierbar, da

|fx |d2

und

fx d2 d1 = = =

+ fx d2 d1

fx d2 d1 .

f + d1 2 f d1 2

f d1 2

Analog mit vertauschten Rollen von x und y .

F ur drei mebare R aume (i , Ai ), i = 1, 2, 3 , gilt (A1 A2 )


= ({A1 A2 :Ai Ai ,i=1,2}

A3 = ({A1 A2 A3 : Ai Ai , i = 1, 2, 3})
= (A3 )

= A1 (A2 A3 )
({A2 A3 })

44

Die Bildung des Produktes von Algebren ist also assoziativ. Sind n mebare R aume (i , Ai ), 1 i n gegeben und ist i ein endliches Ma auf (i , Ai ) , so existiert ein eindeutig bestimmtes Ma n n auf 1 Ai mit (A1 ... An ) = i=1 i (Ai ) Ai Ai , i n ; wir schreiben
n

1 ... n =
i=1

i :=

( ist wieder endlich) f Z + (1 ... n ,


n i=1

Ai ) gilt:

f d(1 ... n ) =

...

f (1 , ..., n )di1 (i1 )di2 (i2 )...din (in )

Permutation (i1 ...in ) von (1...n) . Man schreibt:


n n n n

(i , Ai , i ) :=
i=1 i=1

i ,
i=1

Ai ,
i=1

und nennt dieses Tripel das Produkt der Mar aume (i , Ai , i ) . Insbesondere existiert auf (Rn , B n ) das Ma n := ... das sogenannte ndimensionale Lebesguema, und ist dadurch charakterisiert, da
n

(A1 ... An ) =
1

(Ai ) f ur Ai I B , oder auch schon durch


n n

n
1

]ai , bi ]

=
1

(bi ai ) .

f ur ai < bi , 1 i n . 45

Beispiel. A := {(x, y, z ) R3 + |x + y + z 1}; Gesucht

f (x, y, z ) := z

f d3 =
A

f 1A d3 =
A

z dx dy dz =

z 1A (x, y, z ) dx dy dz

=
B =

z 1[0,1xy] (z )dz d2 (x, y ) , B := (x, y ) R2 + |x + y 1 ,

1xy 0

xy z dz = z2 |1 = 0

(1xy )2 2

da (f 1A )(x,y) (z ) = z 1[0,1xy] (z ) 1B (x, y ) (1 x y )2 2 d (x, y ) 2

=
B

und mit

Bx = [0, 1 x] (man beachte 1B (x, y ) = 1[0,1] (x) 1Bx (y ))

=
[0,1]

1Bx (y )(1 x y )2 /2 dy dx ,
R 1x (1xy )2 dy = 0 2 (1xy )3 1x (1x)3 = = 6 6 0

=
0

(1 x)3 1 dx = (1 x)4 6 24

1 0

1 24
1 3

3 (A) = 1 H ohe Grund ache = 3 u ber A ist also 1 3 (A)


3

1 1 = 2
1 24 1 6

1 6

; der Mittelwert von f

z d =
A

1 4

4. Bildmae
(, A), ( , A ) seien mebare R aume, T : sei A/A mebar. sei ein Ma auf A . Man deniert T : A R+ , = T () = 0 und T (A ) := (T 1 (A ))

46

T i=1

Ai

= (T 1 ( =

Ai )) = (

T 1 (Ai )) T (Ai ) Ai A paarweise disjunkt

(T 1 (Ai )) =

Also ist T wieder ein Ma; T heit Bild von under T . 1.) endlich = T endlich (da T ( ) = () < ) 2.) endlich = T endlich Beispiel. T : R R, T 0 = T = 0
T T

3.) , T sei A/A mebar, T sei A /A mebar und sei ein Ma auf A , dann gilt T denn: (T )T (A ) = T (T = [T 1 (T = T SATZ 14.
T 1 1 T

= (T )T

(A ))

(A ))] = ((T T )1 (A ))

(A ) A A .

Elementarer Transformationssatz. (, A), ( , A ) seien mebare


R aume, T : und ein Ma auf A, f Z ( , A ) . Dann gilt: (i) f 0 = f dT = f T d

(ii) f ist T integrierbar f T ist integrierbar. In diesem Fall ist wieder f dT = f T d .

Beweis. (i) 1.) f = 1A , A A = f T = 1T 1 (A ) Gleichheit der Integrale reduziert sich auf die Denition T . 2.) f E+ ( , A ) : ... 47

3.) E+ ( , A ) (ii) Wegen (i) ist

fn f : Satz von der monotonen Konvergenz. |f |dT = |f T |d .

Falls < , l at sich (i) auf f + und f anwenden und ergibt die Behauptung. Beispiel. (, A) = ({1, 2, ..., 6}2 , P ()), ( , A ) = ({2, 3, ..., 12}, P ( )) 1 1 auf A die sogenannte Gleichverteilung, d.h. ({ }) = | = 36 . | T : , T (1 , 2 ) := 1 + 2 . (Oensichtlich ist = , Gleichverteilung auf {1, ..., 6} .) 1 36

T ({2} = (T 1 ({2}) = ({(1, 1)}) =

T ({3}) = (T 1 ({3}) = ({(1, 2), (2, 1)}) =

2 36 3 T ({4}) = (T = 4) = ({(1, 3)(2, 2)(3, 1)}) = 36 4 T ({5}) = = 36 6 1 5 1 5 T ({6}) = , T ({7}) = = , T ({18}) = , ...., T ({12}) = 36 36 6 36 36 (1 + 2 + 3 + 4 + 5) 2 + 6 = 36) f (x) := x = = f dT =

x dT (x) = t d (t)d (s)

(s + t) d(s, t)

s d (s) d (t) +

= 3, 5 + 3, 5 = 7.

5. Transformationen des Lebesguemaes


T : Rk Rk sei mebar; ein Ma auf (Rk , I B k ) heit invariant unter T : T = (das macht nat urlich auf beliebigen mebaren R aumen Sinn ...) Ist T eine Translation, d.h. T = Ta , Ta (x) := x + a (a Rk ) so ist (k )Ta = k , d.h. k ist translationsinvariant (denn: {B I B k |k (a + B ) = 48

k (B )} ist ein DynkinSystem und enth alt alle k dimensionalen Intervalle.) Unter Standardintervallen seien im folgenden Intervalle der Form ]a, b] = {x Rk |ai < xi bi i}

verstanden. Insbesonders sei W := ](0, ..., 0), (1, ..., 1)] der k dimensionale Einheitsw urfel. SATZ 15.

Ist ein translationsinvariantes Ma auf (Rk , I B k ) mit := (W ) < , dann ist = k .


1 1 1 , , ..., n n n k 1 2 , , ..., 1 n n

Beweis. an := Gn := Dann ist W = = (Wn ) =


nk

Rk , Wn :=]0, an]

r Gn

]r an , r] , also (W ) = = |Gn | (Wn )

= k (Wn ) .
!

Seien nun a, b Qk , a < b . Zu zeigen (]a, b]) = k (]a, b]) . Ohne Einschr ankung sei a = 0, b = Es folgt ]0, b] =
r Hn k m1 k , ..., m n n

, n N, mi N .

]r an , r] , mit der Indexmenge Hn :=


i=1

mi 1 2 , , ..., n n n

= (]0, b]) = m1 m2 ... mk (Wn ) =


m1 m2 k ... m n n n

= k (]0, b]).

und k stimmen also auf dem stabilen Erzeugendensystem {]a, b]|a, b Qk } u berein. Mit n := (n, n, ..., n) gilt ] n , n ] Rk , wir erhalten somit aufgrund des Identit atssatzes (Satz 4) = k . T : Rk Rk heit Bewegung : |T (x) T (y )| = |x y | x, y Rk . T ist eine Bewegung a Rk : T = Ta S

orthogonale Abbildung

und

49

d.h. T (x) = a + S (x) (also ist a = T (0)) . SATZ 16.

k ist bewegungsinvariant.
Beweis. Sei S orthogonal, a Rk , b := S 1 (a) = Ta S = S Tb denn Ta (S (x)) = S (x) + a = S (x) + S (b) = S (x + b) = S (Tb (x)) , = [(k )S ]Ta = (k )Ta S = (k )S Tb = [(k )Tb ]S = (k )S Da := (k )S (W ) = k (S 1 (W )) < , denn S 1 (W ) ist beschr ankt, folgt aus Satz 15 (k )S = k . Bisher wurde nicht benutzt, da S orthogonal ist, nur da S bijektiv ist! Zu zeigen bleibt = 1 . Sei K := {x Rk ||x| 1} . Dann gilt S (K ) = K und S 1 (K ) = K , da S orthogonal,
!

= k (K ) = (k )S (K ) = k (S 1 (K )) = k (K ) .
1 1 Da zum Beispiel [0, ( , ..., )] K , ist k (K ) > 0 , also wirklich n n = 1 . Sei nun T irgendeine Bewegung, also T = Ta S, S orthogonal

= (k )T = [(k )S ]Ta = (k )Ta = k .

Da mit T auch T 1 eine Bewegung ist, l at sich sagen: k (T (A)) = k (A) A I Bk , Bewegungen T ; d. h. kongruente mebare Mengen haben das gleiche Ma! Im folgenden sei T : T GL(k ) = GL(k, R) .

Rk Rk

eine bijektive lineare Abbildung, also

Im Falle k = 1 und T (x) = x, = 0 , erhalten wir

50

T (B ) = (T 1 (B )) = Aquivalent dazu:

1 B

1 (B ) ||

(s.o.) .

(T (B )) = (B ) = || (B ),

BI B.

In weitreichender Verallgemeinerung davon gilt im SATZ 17.

Rk

der folgende

T GL(k ) ist (k )T = bzw.

1 | det T |

k (T (A)) = | det T | k (A),

AI Bk .

(in der letzten Form richtig linearen T : Rk Rk ).


Beweis. Wie im vorigen Beweis folgt die Translationsinvarianz von (k )T =: T ( := k im Folgenden, falls keine Verwechslung m oglich ist!) Wir setzen (T ) := T (W ) = (T 1 (W )) < Auerdem ist (T ) (T 1 (]0, 1[k )) > 0 .
oen , =

(da T bijektiv)

Satz 15

= (T ) .

Sei auch S GL(k ) = S T GL(k ) und (S T ) = S T (W ) = (T )S (W ) = T (S 1 (W )) = (T ) (S 1 (W )) = (T ) S (W ) = (T ) (S ) d. h. : GL(k ) (]0, [, ) ist ein Gruppenhomomorphismus = Homomorphismus : R\{0} R\{0} mit (T ) = (det T ) T (Koecher: Lineare Algebra, S. 119). F ur T SL(k ) := {T GL(k )| det T = 1} gilt also (T ) = (1) = 1 = 51 1 | det T |

wie behauptet. Sei T GL(k ), := det T, D := 0 1 1 .. . 1 1 0 , S := T D

= S SL(k ) = 1 = (S ) = (T ) (D) . Nun ist (k )D (B1 ... Bk ) = k (D1 (...)) = k (B1 ... Bk1 Bk ) = (B1 ) ... (Bk1 ) | | (Bk ) = | | k (B1 ... Bk ) Bi I B also (k )D = | | k , damit (D) = | | und (T ) =
1 | |

1 | det T |

Der Zusatz ist eine Konsequenz aus folgender Tatsache:

Jede Hyperebene im

Rk

ist eine k Nullmenge.

Beweis. Ohne Einschr ankung sei H := {x Rk |xk = 0} ( I Bk , da abgeschlossen) 1 1 = H n=1 (n, n, ...., n, 2n (2n )k1 ), (n, n, ..., n, 0) ( > 0 beliebig)

= (H )
n=1

(2n)k1

1 1 = >0 n 2 (2n)k1

= (H ) = 0 .

Damit ist f ur lineares T : Rk Rk (oder f ur an lineares T ) im Falle k det T = 0 das Bild T (A) f ur A I B immer Lebesguemebar und eine Nullmenge; es ist f ur k > 1 nicht immer Borelsch! Mengentheoretisches Intermezzo: = H P () heit Halbring : (1) H (2) A, B H = A B H (3) A, B H, A B = B \A = von Mengen C1 , C2 , ... H 52 Cj (endliche disjunkte Summe)

R P () heit Ring : (1) R (2) A, B R, A B = B \A R (3) A, B R = A B R Dann gilt auch (4) A, B R = A B R, A denn mit C := A B ist A BR

B = (C \A) (C \B ) R B) R

und

A B = C \(A

Folgerungen. 1.) Ein Ring R u ber ist eine Algebra R . 2.) Ist R ein Ring und A R , so ist A R eine Algebra u ber A . Beispiel f ur einen Ring, der keine Algebra ist, ist die Familie aller beschr ankten Borelmengen in R . Beispiel f ur einen Halbring: Sei {0} = R eine Untergruppe. H := {]a, b]|a b, a, b } denn ]a, b]]c, d] =]ac, bd] und ]a, b] ]c, d] =]c, d]\]a, b] =]c, a]]b, d]. Wichtige Untergruppen von R sind R, Q, Z, cZ(c > 0), und D := 1 Z , die Gruppe der dyadischen Zahlen. n 2 n=0 LEMMA 21.

Sei H ein Halbring u ber X, K ein Halbring u ber Y = L := {H K |H H, K K} ist ein Halbring u ber X Y .
Beweis. = L. (H1 K1 )(H2 K2 ) = (H1 H2 )(K1 K2 ) L. Sei = H K H K , = H H , K K sowie

53

(H K )\(H K ) = [(H \H ) K ] = =
i

+ [H (K \K )] + +
j

Hi K Hi K

Kj

H Kj .

Folgerung. Ist Hi ein Halbring u ber i , i = 1, ..., n so ist H := {H1 H2 ... Hn |Hi Hi i} ein Halbring u ber 1 2 ... n . Insbesondere ist f ur eine Untergruppe {0} = R

ein Halbring u ber

Rk . Ist

H := {]a, b]|a, b k , a b} . dicht in

R , so folgt

(H ) = I Bk Beweis. Wegen Lemma 18 reicht es, den Fall k = 1 zu zeigen, und das ist (fast) trivial. Sei = X Rk oen, {0} = R eine Untergruppe, und H (X ) := {]a, b] G |[a, b] X } Dann ist H(X ) ebenfalls ein Halbring, der i.a. echt in der Spur X H enthalten ist (diese Spur enth alt i.a. viele NichtIntervalle). Falls abz ahlbar und = R , gilt dennoch X I Bk = (H (X )) , denn f ur oenes G X ist G=
H G H H (X )

(abz ahlbare Vereinigung!).

F ur E P () sei (E ) der von E erzeugte Ring u ber . LEMMA 22.

F ur einen Halbring H ist (H) = Hi |Hi H =: R

gleich dem System der endlichen disjunkten Vereinigungen von Mengen aus H .
54

Beweis. : klar : Es gen ugt zu zeigen, da R ein Ring ist! (1) H R (2) Sei A = Hi , B = Kj , A B (jeweils endliche disjunkte Summen von Mengen aus H ). = B \A = (
j

Kj )\(
i

Hi ) =
j

[Kj (
i

Hi )c ]

=
j

(Kj
i

Hic ) =
j i

(Kj Hic )
ji ji Ck , Ck H , also

Nun ist Kj Hic = Kj \Hi = Kj \(Kj Hi ) = B \A =


j i k ji Ck = j k i

ji Ck R. H

(3) Sei wieder A = = A B =


i

Hi , B =
j

Kj R

Hi Kj R und damit wegen (2)

A\B = A\A B R und B \A = B \A B R = A B = (A\B ) + (A B ) + (B \A) R .

SATZ 3.

Erweiterter Vergleichssatz. H sei ein Halbring auf , es gebe H1 , H2 , ... H mit j =1 Hj = . , seien zwei Mae auf (H) mit < auf H . Dann folgt (auf (H)) .
n j =1

Beweis. Lemma 22 = < auf (H) =: R . F ur Rn := Hj R gilt Rn .

55

Also ist Rn R( R) eine Algebra u ber Rn . Satz 3 = (< ) auf Rn (Rn R) = Rn (R) = Rn (H) . F ur beliebiges A (H) gilt somit (A) = lim (Rn A) lim (Rn A) = (A) .

Unser Ziel im Folgenden ist, das Ergebnis von Satz 17 1 | det T |

T =

(bzw.

(T (A)) = | det T | (A))

( = k )

f ur T GL(k ) auf stetig dierenzierbare bijektive Abbildungen t : X Y (X, Y Rk oen) mit nullstellenfreier Funktionaldeterminante auszudehnen. Wir wissen aus der Analysis, da dann auch t1 : Y X stetig dierenzierbar ist, also t ein sog. Dieomorphismus ist. Insbesondere sind t und t1 Borelmebar, und somit gilt Y I Bk = {t(A)|A X I Bk } X I Bk = {t1 (B )|B Y I Bk } .

56

SATZ 18.

(Transformationssatz f ur das LebesgueIntegral) X, Y oen, t : X Y ein C 1 Dieomorphismus. Dann gilt. (a) (t(A)) =
A | det t

Rk

seien

(x)| d(x)
Y

AX I Bk
X

(b) f Z + (Y, Y I B k ) ist

f d =

f t | det t |d

(c) f Z (Y, Y I B k ) ist integrierbar f t | det t | ist u ber X integrierbar und in diesem Fall gilt wieder f d =
Y X

f t | det t | d .

Beweis. (c) folgt nat urlich unmittelbar aus (b) . H := {]a, b]|a k b, a, b D , [a, b] X } ist nach unseren vorangehenden Ausf uhrungen ein k Halbring, der B (X ) = X I B erzeugt. Da ferner X = H H H eine abz ahlbare Vereinigung ist, k onnen wir den erweiterten Vergleichssatz (Satz 3) anwenden. 1. Schritt: (t(H ))
! H

| det t (x)d(x) H H . Sei dazu > 0 .

Wegen H X r > 0 mit Kr (a) X a H . Nach Voraussetzung ist M := supxH ||(t (x)1 || < ; dann l at sich r zus atzlich so klein w ahlen, f da ||t (x) t (a)|| M u r x K ( a ) , a H (da x t ( x ) gleichm aig r k stetig auf kompakten Teilmengen von X ist). Oensichtlich l at sich H schreiben als disjunkte Vereinigung
n

H=
=1

mit H H von gleicher positiver Kantenl ange d ( { 21 m |m N}) . Wir r w ahlen d so, da d < k . F ur a H ist dann H Kr (a) X Abstand zwischen zwei Punkten in H ist ||(d, ..., d)|| = (maximaler 2 kd = d k ). Wir w ahlen ein a H mit | det t (a )| = minxH | det t (x)| und setzen

57

T := t (a ), = 1, ..., n . Ist nun a H und h : Kr (a) Mittelwertsatz x, y Kr (a)

Rk

dierenzierbar, so gilt nach dem

|h(x) h(y )| |x y | sup ||h (x + (y x))|| .


[0,1]

Angewendet auf h(x) := t(x) T x, h (x) = t (x) T ergibt sich x H d M M k also t(x) t(a ) T (H a ) + Kd/M (0) oder |t(x) t(a ) T (x a )| |x a | t(H ) t(a ) + T (H a ) + Kd/M (0) .
1 Es gilt K d (0) = T (T (K d (0))) T (Kd (0))
M M

= t(H ) t(a ) T (a ) + T (H + Kd (0)) . Oensichtlich ist [0, d] + Kd (0) [d, (1 + )d]k , denn 0 xi d i k , |y | < d = d < |yi | xi + yi d + d, i = 1, ..., k , d. h. H + Kd (0) ist f ur jedes = 1, ..., n in einem W urfel der Kantenl ange d(1 + 2) enthalten. Aus folgt (mit Satz 17) (t(H )) [T (H + Kd (0))] = | det T | (H + Kd (0)) | det T | [d(1 + 2)]k = | det T |(1 + 2)k (H )
n n !

d := (d, ..., d)

= (t(H )) =
=1

(t(H )) (1 + 2)
=1

| det T | (H )

(1 + 2)k
H

| det t (x)| d(x) .

Da das > 0 gilt, ist Schritt 1 bewiesen. 2. Schritt: (t(A))


A

| det t (x)|d(x) A X I Bk

58

denn: links und rechts stehen Mae, die auf H endlich sind und dort diese Ungleichung erf ullen; die Behauptung folgt also aus Satz 3. 3. Schritt: f Z + (Y, Y I Bk ) gilt
Y

f d
X

(f t) | det t | d

3.1: f = 1B , B Y I B k = B = t(A) mit A X I Bk =


Y

f d =
Y

1t(A) d = (t(A)),

1t(A) t = 1A

und somit

(f t) | det t | d =
X X

1A | det t | d =
A

| det t (x)| d(x)

d. h. die Ungleichung reduziert sich auf den 1. Schritt. 3.2: f E+ (Y, Y I B k ) und 3.3: E+ (Y ) fn f behandelt man wie u blich.

4. Schritt: In gilt tats achlich Gleichheit f Z + (Y ) ! Gezeigt ist bereits: f


Y X

(f t) | det t | f

oenen X, Y Rk C 1 Dieomorphismen t : X Y, Z + (Y ) , insbesondere gilt damit auch g


X Y

(g t1 ) | det(t1 ) |

g Z + (X ) .

Sei nun f Z + (Y ) und g := (f t) | det t | = g Z + (X ) und


=f

(f t) | det t )
X g Y

[(f t) t1 ] [| det t | t1 ] | det(t1 ) |


g t1 =1

denn (t1 ) (y ) = [t (t1 (y ))]1 =


Y

[Kettenregel auf t t1 = id angewendet] 59

Damit ist (b) vollst andig bewiesen, und f ur f = 1t(A) ergibt sich jetzt auch Gleichheit in (a) .

Anwendungen und Beispiele


1. Polarkoordinaten k = 2, X := ]0, [ ] , [, t : X also 2 (X ) = 0

R2

(r, ) (r cos , r sin )

ist injektiv

Y := t(X ) = R2 \{(, 0)| 0} und 2 ({(1 0)| 0}) = 0 cos r sin t (r, ) = sin det t (r, ) = r > 0 r cos (r, ) X

t : X Y erf ullt also die Voraussetzungen von Satz 18.

=
Y

f d =
X

r f (t(r, ))d(r, )
2 +y 2 )

f 0 mebar auf Y
2

1.1.

f (x, y ) = e(x e(x


2 +y 2 )

= f (t(r, )) = er . rer d2 (r, )


X 0
2

R2

d2 (x, y ) =
Y

... = d() =

=
]0,[

re

r 2

d(r)
], [

rer dr 2

(r2 = s,

2rdr = ds)

=
0

es ds =
R2 e
(x2 +y 2 )

Anderseits:

d2 (x, y ) =

Re

x2

d(x)

ex dx =

1 2 ex /2 dx = 1 R 2 60

x =: y 2

1.2.

B := {(x, y ) R2 |y 0, x2 + y 2 a2 }, a > 0 Gesucht: I := B yd2 (x, y ) f (x, y ) := y 1B (x, y ) f (t(r, )) = r sin 1{(r,)|r2 a2 ,0<} I = =
0 0

r f (t(r, ))drd
X a

r2 dr sin d a3 2 3 a3 sin d = ( cos )| 0 = a 3 3 3


2 3 a 3 1 2 a 2

=
0

1 2 (B )

yd2 (x, y ) = B

4 3

a = 0, 4244 a

= Schwerpunkt s(B ) = (0, 34 a) . 2. Kugelkoordinaten k=3: X := ]0, [ ] , 2


[ 2

] , [

t : X R3 sei deniert durch t(r, , ) := (r cos cos , r cos sin , r sin ) = r = x2 + y 2 + z 2 , = arctan
z , x2 +y 2 y = arctan x

(= die Erweiterung von t auf X = R+ [ , ] [, ] ist 2 2 surjektiv (!), aber nicht injektiv: t({0} ...) = {0}) . Auf X hingegen ist t injektiv, da dann die beiden ersten Komponenten (x, y ) von (x, y, z ) = t(r, , ) nicht gleichzeitig 0 sind, und somit (r, , ) aus (x, y, z ) berechenbar ist, s.o. Da t stets dierenzierbar ist, ist t : X Y := t(X ) ein C 1 Dieomorphismus von X auf Y . Ist (x, y, z ) = t(r, , ) R3 \Y = r = 0 oder { } oder 2 { } , also (x, y, z ) = 0 oder x = y = 0 oder y = 0 , d.h. Y c {y = 0} und damit 3 (Y c ) = 0 . Es gilt

61

cos cos r sin cos r cos sin

t (r, , ) = cos sin r sin sin sin r cos

r cos cos 0

det t = r2 cos (> 0 auf X , unabh angig von ). 2.1. 3 (KR (0)) = 3 (t(]0, R[ ] , [ ] , [)) 2 2

=
0 2

r2 cos d d dr = 2
0

r2
2 =sin

cos d dr

2 2

=2

= 4
0

4 r2 dr = R3 . 3

2.2. Ba := {(x, y, z ) Ka (0)|z 0} sei die obere Halbkugel mit Radius a ; gesucht ist

z d3 (x, y, z )
Ba
2

=
/2 0 0 4

r sin r2 cos dr d d 2 sin cos = (sin2 )

a sin cos d 4 0 4 2 /2 4 = a sin |0 = a 4 4 = 2

Als z Koordinate des Schwerpunkts s(Ba ) ergibt sich


4 a 4 3 (Ba )

4 a 4 2 a3 3

3 = a 8

= s(Ba ) = (0, 0, 3 a) . 8 2.3. Seien a1 , ..., ak Rk (als Spaltenvektoren). 62

Das sog. Parallelotop mit den Kantenvektoren a1 , ..., ak ist deniert als die Menge
k

P := {
j =1

j aj |j [0, 1] j }

Es gilt: k (P ) = | det(a1 , ..., ak )| Beweis. Sind {a1 , ..., ak } linear abh angig = P Hyperebene = Behauptung In jedem Fall gilt f ur die k k Matrix T := (a1 , ..., ak ) die 1 . Beziehung T . . = j aj , also k P = T ([0, 1]k ) und damit (P ) = | det T | ([0, 1]k ) = | det T | . 2.4. F ur {1 , ..., k } ]0, [ sei E := {x R |
k k

j =1

x2 j 1} 2 j

ein verallgemeinertes Ellipsoid. Dann gilt


k

(E ) = vk
j =1

j
2

(vk = k (K1 (0)))


y2 2 z2 2

x Speziell ist 2 ({(x, y ) R2 | 2 + x und 3 ({(x, y, z ) R3 | 2 +


2

1}) = 1}) = 4 . 3
k 1

y2 2

Beweis. T (x) := (1 x1 , 2 x2 , ..., k xk ) = det T =

j .

Es ist E = T (K1 (0)) , denn x E T 1 (x) K1 (0) , also (E ) = | det T | (K1 (0)) = vk
k 1

j .

63

2.5. Zylindervolumen Es sei = B Rk , a Rk+1 , dann heit ZB,a := {(x, 0) + a|x B, [0, 1]} Zylinder mit der Basis B und der H ohe a . Es gilt: B I B k = ZB,a I Bk+1 und k+1 (ZB,a ) = k (B ) |ak+1 | (= Grund ache H ohe) (im Falle ak+1 = 0 ist ZB,a eine Lebesguesche Nullmenge im Rk+1 , und die Formel gilt immer noch! ) Beweis. T : Rk+1 Rk+1 sei deniert durch x1 + a1 xk+1 x1 . . . . . . xk + ak xk+1 xk+1 ak+1 xk+1 T ist linear und hat die Matrix 1 0 0 ... 0 1 0 ... 0 0 1 ... ... ... ... ... ... ... ... ... 0 0 0 ... 0 0 0 ...
!

0 a1 0 a2 0 a3 ... ... ... ... 1 ak 0 ak+1

Somit ist det T = ak+1 = 0 und T G (k + 1) . Es gilt oensichtlich (wegen T


b

b 0

+ a)

ZB,a = T (B [0, 1]) = k+1 (ZB,a ) = |ak+1 | k+1 (B [0, 1]) = |ak+1 | k (B ) . 64

2.6. Kegelvolumen = B Rk , a Rk+1 KB,a := {(x, 0) + (a (x, 0)|x B, [0, 1]} heit (verallgemeinerter) Kegel mit der Basis B und der Spitze a . Es gilt: B I B k , ak+1 = 0 = KB,a I B k+1 und k+1 (KB,a ) = (f ur k = 2 also:
1 | k+1 1 3

|ak+1 | k (B )

(auch f ur ak+1 = 0)

Grund ache H ohe)

Beweis. t : Rk+1 Rk+1 ist stetig dierenzierbar und x1 + xk+1 (a1 x1 ) . . . x xk + xk+1 (ak xk ) xk+1 ak+1 1 xk+1 0 0 ... 0 a1 0 1 xk+1 0 ... 0 a2 ... ... ... ... ... ... t(B [0, 1]) = KB,a ; t (x) = 0 0 0 ... 1 xk+1 ak 0 0 0 ... 0 ak+1 = det t (x) = (1 xk+1 )k ak+1 Behauptung: t|Rk ] , 1[ ist injektiv! denn: t(x) = t(y ) = xk+1 = yk+1 =: u, xj uxj = yj uyj (j k ) = xj = yj . t ist also ein Dieomorphismus von Rk ] , 1[ auf das tBild dieser Menge und t(B [0, 1[) = KB,a \{a} = k+1 (KB,a ) = k+1 (t(B [0, 1[)) =
B [0,1[

| det t | dk+1

=
B [0,1[ 1

|ak+1 |(1 xk+1 )k dx1 dx2 ...dxk+1 = |ak+1 | k (B )

(1 s)k ds
0

65

|ak+1 | k (B ) . k+1

Es gilt m k = m+k f ur m, k N , speziell 3 = 2 = 2 . Sei nun = B I B k ; f, g : B R mebar, f g und A := {(x, y ) B R|f (x) y g (x)} = AI Bk+1 und k+1 (A) =
B

(g f ) dk

Denn: , : B R R seien deniert durch (x, y ) := g (x) y, (x, y ) := y f (x) = , sind mebar und A = 1 (R+ ) 1 (R+ ) I B k+1 . F ur x Rk ist Ax = [f (x), g (x)] = k+1 (A) =
B

(Ax ) dk (x) =

(g (x) f (x) dk (x) .

Das Volumen der Einheitskugel in

Es sei Bk := {x Rk | |x| 1} die abgeschlossene k dimensionale Einheitskugel; wir wollen vk := k (Bk ) berechnen. k=1: k=2: B1 = [1, 1], also v1 = 2 B2,x = [ 1 x2 , 1 x2 ] f ur |x| 1, B2,x = sonst 1 x2 d(x) = 2
/2 1 1

Rk

= v2 = 2 (B2 ) =
1

(B2,x ) d(x) =
[1,1] /2 0

1 x2 dx

=4
0

1 x2 dx = 4

cos2 t dt = 2(sin t cos t + t)|0

= 2 /2

= Behauptung. vk+2 = Beweis.


2 k+2

vk , k N (x1 , ..., xk , x, y )

Rk+2 = Rk R2 ; typisches Element

66

2 2 2 Bk+2,(x,y) = {(x1 , ..., xk ) Rk |x2 1 + ... + xk 1 x y }

Bk ( 1 x2 y 2 ), (x, y ) B2 sonst

(mit Bk (r) := {x Rk | |x| r}) = vk+2 =


B2

k (Bk ( 1 x2 y 2 )) d2 (x, y ) 1 x2 y 2 d2 (x, y )


B2 1 k

= vk = vk

(1 r2 )k/2 r dr d
0

1 1 k/2 = 2vk u du 2 0 k 1 = vk k u 2 +1 |1 0 +1 2 2 = vk . k+2 Folgerung. 2 4 v1 = = 4, 18888 3 3 2 2 v4 = v2 = = 4, 9348 4 2 4 2 8 v5 = = 2 = 5, 2638 3 5 15 2 3 v6 = = = 5, 1677 2 6 6 v3 =

Unser Ziel im Folgenden ist, das Ergebnis von Satz 17 1 | det T |

T =

(bzw.

(T (A)) = | det T | (A))

( = k )

f ur T GL(k ) auf stetig dierenzierbare bijektive Abbildungen t : X Y (X, Y Rk oen) mit nullstellenfreier Funktionaldeterminante 67

auszudehnen. Wir wissen aus der Analysis, da dann auch t1 : Y X stetig dierenzierbar ist, also t ein sog. Dieomorphismus ist. Insbesondere sind t und t1 Borelmebar, und somit gilt Y I Bk = {t(A)|A X I Bk } X I Bk = {t1 (B )|B Y I Bk } . SATZ 18.

(Transformationssatz f ur das LebesgueIntegral) X, Y oen, t : X Y ein C 1 Dieomorphismus. Dann gilt. (a) (t(A)) =
A | det t

Rk

seien

(x)| d(x)
Y

AX I Bk
X

(b) f Z + (Y, Y I B k ) ist

f d =

f t | det t |d

(c) f Z (Y, Y I B k ) ist integrierbar f t | det t | ist u ber X integrierbar und in diesem Fall gilt wieder f d =
Y X

f t | det t | d .

Beweis. (c) folgt nat urlich unmittelbar aus (b) . H := {]a, b]|a b, a, b Dk , [a, b] X } ist nach unseren vorangehenden Ausf uhrungen ein k Halbring, der B (X ) = X I B erzeugt. Da ferner X = H H H eine abz ahlbare Vereinigung ist, k onnen wir den erweiterten Vergleichssatz (Satz 3) anwenden. 1. Schritt: (t(H ))
! H

| det t (x)d(x) H H . Sei dazu > 0 .

Wegen H X r > 0 mit Kr (a) X a H . Nach Voraussetzung ist at sich r zus atzlich so klein w ahlen, M := supxH ||(t (x)1 || < ; dann l da ||t (x) t (a)|| M k f ur x Kr (a), a H (da x t (x) gleichm aig stetig auf kompakten Teilmengen von X ist). Oensichtlich l at sich H schreiben als disjunkte Vereinigung
n

H=
=1

mit H H von gleicher positiver Kantenl ange d ( { 21 m |m N}) . Wir 68

w ahlen d so, da d <

r k

. F ur a H ist dann H Kr (a) X

Abstand zwischen zwei Punkten in H ist ||(d, ..., d)|| = (maximaler kd2 = d k ). Wir w ahlen ein a H mit | det t (a )| = minxH | det t (x)| und setzen T := t (a ), = 1, ..., n . Ist nun a H und h : Kr (a) Mittelwertsatz x, y Kr (a)

Rk

dierenzierbar, so gilt nach dem

|h(x) h(y )| |x y | sup ||h (x + (y x))|| .


[0,1]

Angewendet auf h(x) := t(x) T x, h (x) = t (x) T ergibt sich x H d M M k also t(x) t(a ) T (H a ) + Kd/M (0) oder |t(x) t(a ) T (x a )| |x a | t(H ) t(a ) + T (H a ) + Kd/M (0) .
1 Es gilt K d (0) = T (T (K d (0))) T (Kd (0))
M M

= t(H ) t(a ) T (a ) + T (H + Kd (0)) . Oensichtlich ist [0, d] + Kd (0) [d, (1 + )d]k , denn 0 xi d i k , |y | < d = d < |yi | xi + yi d + d, i = 1, ..., k , d. h. H + Kd (0) ist f ur jedes = 1, ..., n in einem W urfel der Kantenl ange d(1 + 2) enthalten. Aus folgt (mit Satz 17) (t(H )) [T (H + Kd (0))] = | det T | (H + Kd (0)) | det T | [d(1 + 2)]k = | det T |(1 + 2)k (H )
n n !

d := (d, ..., d)

= (t(H )) =
=1

(t(H )) (1 + 2)
=1 k

| det T | (H )

(1 + 2)
H

| det t (x)| d(x) . 69

Da das > 0 gilt, ist Schritt 1 bewiesen. 2. Schritt: (t(A))


A

| det t (x)|d(x) A X I Bk

denn: links und rechts stehen Mae, die auf H endlich sind und dort diese Ungleichung erf ullen; die Behauptung folgt also aus Satz 3. 3. Schritt: f Z + (Y, Y I Bk ) gilt
Y

f d
X

(f t) | det t | d

3.1: f = 1B , B Y I B k = B = t(A) mit A X I Bk =


Y

f d =
Y

1t(A) d = (t(A)),

1t(A) t = 1A

und somit

(f t) | det t | d =
X X

1A | det t | d =
A

| det t (x)| d(x)

d. h. die Ungleichung reduziert sich auf den 1. Schritt. 3.2: f E+ (Y, Y I B k ) und 3.3: E+ (Y ) fn f behandelt man wie u blich.

4. Schritt: In gilt tats achlich Gleichheit f Z + (Y ) ! Gezeigt ist bereits: f


Y X

(f t) | det t | f

oenen X, Y Rk C 1 Dieomorphismen t : X Y, Z + (Y ) , insbesondere gilt damit auch g


X Y

(g t1 ) | det(t1 ) |

g Z + (X ) .

Sei nun f Z + (Y ) und g := (f t) | det t | = g Z + (X ) und

70

=f

(f t) | det t )
X g Y

[(f t) t1 ] [| det t | t1 ] | det(t1 ) |


g t1 =1

denn (t1 ) (y ) = [t (t1 (y ))]1 =


Y

[Kettenregel auf t t1 = id angewendet]

Damit ist (b) vollst andig bewiesen, und f ur f = 1t(A) ergibt sich jetzt auch Gleichheit in (a) .

Anwendungen und Beispiele


1. Polarkoordinaten k = 2, X := ]0, [ ] , [, t : X also 2 (X ) = 0

R2

(r, ) (r cos , r sin )

ist injektiv

Y := t(X ) = R2 \{(, 0)| 0} und 2 ({(1 0)| 0}) = 0 cos r sin t (r, ) = sin det t (r, ) = r > 0 r cos (r, ) X

t : X Y erf ullt also die Voraussetzungen von Satz 18.

=
Y

f d =
X

r f (t(r, ))d(r, )
2 +y 2 )

f 0 mebar auf Y
2

1.1.

f (x, y ) = e(x

= f (t(r, )) = er .

71

R2

e(x

2 +y 2 )

d2 (x, y ) =
Y

... =
X

rer d2 (r, )
0

=
]0,[

re

r 2

d(r)
], [

d() =

rer dr 2

(r2 = s,

2rdr = ds)

=
0

es ds =
R2 e
(x2 +y 2 )

Anderseits:

d2 (x, y ) =

Re

x2

d(x)

= 1.2.

ex dx =

1 2 ex /2 dx = 1 R 2

x =: y 2

B := {(x, y ) R2 |y 0, x2 + y 2 a2 }, a > 0 Gesucht: I := B yd2 (x, y ) f (x, y ) := y 1B (x, y ) f (t(r, )) = r sin 1{(r,)|r2 a2 ,0<} I = =
0 0

r f (t(r, ))drd
X a

r2 dr sin d a3 a3 2 3 sin d = ( cos )| 0 = a 3 3 3


2 3 a 3 1 a2 2

=
0

1 2 (B )

yd2 (x, y ) = B

4 3

a = 0, 4244 a

= Schwerpunkt s(B ) = (0, 34 a) . 2. Kugelkoordinaten k=3: X := ]0, [ ] , 2


[ 2

] , [

t : X R3 sei deniert durch t(r, , ) := (r cos cos , r cos sin , r sin ) 72

= r =

x2 + y 2 + z 2 , = arctan

z , x2 +y 2

y = arctan x

(= die Erweiterung von t auf X = R+ [ , ] [, ] ist 2 2 surjektiv (!), aber nicht injektiv: t({0} ...) = {0}) . Auf X hingegen ist t injektiv, da dann die beiden ersten Komponenten (x, y ) von (x, y, z ) = t(r, , ) nicht gleichzeitig 0 sind, und somit (r, , ) aus (x, y, z ) berechenbar ist, s.o. Da t stets dierenzierbar ist, ist t : X Y := t(X ) ein C 1 Dieomorphismus von X auf Y . Ist (x, y, z ) = t(r, , ) R3 \Y = r = 0 oder { } oder 2 { } , also (x, y, z ) = 0 oder x = y = 0 oder y = 0 , d.h. Y c {y = 0} und damit 3 (Y c ) = 0 . Es gilt cos cos r sin cos r cos sin

t (r, , ) = cos sin r sin sin sin r cos

r cos cos 0

det t = r2 cos (> 0 auf X , unabh angig von ). 2.1. 3 (KR (0)) = 3 (t(]0, R[ ] , [ ] , [)) 2 2

=
0 2

r2 cos d d dr = 2
0

r2
2 =sin

cos d dr

2 2

=2

= 4
0

4 r2 dr = R3 . 3

2.2. Ba := {(x, y, z ) Ka (0)|z 0} sei die obere Halbkugel mit Radius a ; gesucht ist

73

z d3 (x, y, z )
Ba
2

=
/2 0 0 4

r sin r2 cos dr d d 2 sin cos = (sin2 )

a sin cos d 4 0 4 2 /2 4 = a sin |0 = a 4 4 = 2

Als z Koordinate des Schwerpunkts s(Ba ) ergibt sich


4 a 4 3 (Ba )

4 a 4 2 a3 3

3 = a 8

= s(Ba ) = (0, 0, 3 a) . 8 2.3. Seien a1 , ..., ak Rk (als Spaltenvektoren). Das sog. Parallelotop mit den Kantenvektoren a1 , ..., ak ist deniert als die Menge
k

P := {
j =1

j aj |j [0, 1] j }

Es gilt: k (P ) = | det(a1 , ..., ak )| Beweis. Sind {a1 , ..., ak } linear abh angig = P Hyperebene = Behauptung In jedem Fall gilt f ur die k k Matrix T := (a1 , ..., ak ) die 1 . Beziehung T . . = j aj , also k P = T ([0, 1]k ) und damit (P ) = | det T | ([0, 1]k ) = | det T | .

74

2.4. F ur {1 , ..., k } ]0, [ sei E := {x R |


k k

j =1

x2 j 1} 2 j

ein verallgemeinertes Ellipsoid. Dann gilt


k

(E ) = vk
j =1

j
2

(vk = k (K1 (0)))


y2 2 z2 2

x Speziell ist 2 ({(x, y ) R2 | 2 + x und 3 ({(x, y, z ) R3 | 2 +


2

1}) = 1}) = 4 . 3
k 1

y2 2

Beweis. T (x) := (1 x1 , 2 x2 , ..., k xk ) = det T =

j .

Es ist E = T (K1 (0)) , denn x E T 1 (x) K1 (0) , also (E ) = | det T | (K1 (0)) = vk
k 1

j .

2.5. Zylindervolumen Es sei = B Rk , a Rk+1 , dann heit ZB,a := {(x, 0) + a|x B, [0, 1]} Zylinder mit der Basis B und der H ohe a . Es gilt: B I B k = ZB,a I Bk+1 und k+1 (ZB,a ) = k (B ) |ak+1 | (= Grund ache H ohe) (im Falle ak+1 = 0 ist ZB,a eine Lebesguesche Nullmenge im Rk+1 , und die Formel gilt immer noch! ) Beweis. T : Rk+1 Rk+1 sei deniert durch
!

75

x1 . . . xk+1

x1 + a1 xk+1 . . . xk + ak xk+1 ak+1 xk+1

T ist linear und hat die Matrix 1 0 0 ... ... 0 0 0 1 0 ... ... 0 0 0 0 1 ... ... 0 0 ... ... ... ... ... ... ... 0 a1 0 a2 0 a3 ... ... ... ... 1 ak 0 ak+1

Somit ist det T = ak+1 = 0 und T G (k + 1) . Es gilt oensichtlich (wegen T


b

b 0

+ a)

ZB,a = T (B [0, 1]) = k+1 (ZB,a ) = |ak+1 | k+1 (B [0, 1]) = |ak+1 | k (B ) . 2.6. Kegelvolumen = B Rk , a Rk+1 KB,a := {(x, 0) + (a (x, 0)|x B, [0, 1]} heit (verallgemeinerter) Kegel mit der Basis B und der Spitze a . Es gilt: B I B k , ak+1 = 0 = KB,a I B k+1 und
1 | k+1 1 3

k+1 (KB,a ) = (f ur k = 2 also:

|ak+1 | k (B )

(auch f ur ak+1 = 0)

Grund ache H ohe)

76

Beweis. t : Rk+1 Rk+1 ist stetig dierenzierbar und x1 + xk+1 (a1 x1 ) . . . x xk + xk+1 (ak xk ) xk+1 ak+1 1 xk+1 0 0 ... 0 a1 0 1 xk+1 0 ... 0 a2 ... ... ... ... ... ... t(B [0, 1]) = KB,a ; t (x) = 0 0 0 ... 1 xk+1 ak 0 0 0 ... 0 ak+1 = det t (x) = (1 xk+1 )k ak+1 Behauptung: t|Rk ] , 1[ ist injektiv! denn: t(x) = t(y ) = xk+1 = yk+1 =: u, xj uxj = yj uyj (j k ) = xj = yj . t ist also ein Dieomorphismus von Rk ] , 1[ auf das tBild dieser Menge und t(B [0, 1[) = KB,a \{a} = k+1 (KB,a ) = k+1 (t(B [0, 1[)) =
B [0,1[

| det t | dk+1

=
B [0,1[ 1

|ak+1 |(1 xk+1 )k dx1 dx2 ...dxk+1 = |ak+1 | k (B )

(1 s)k ds
0

|ak+1 | k (B ) . k+1

Es gilt m k = m+k f ur m, k N , speziell 3 = 2 = 2 . Sei nun = B I B k ; f, g : B R mebar, f g und A := {(x, y ) B R|f (x) y g (x)} = AI Bk+1 und k+1 (A) =
B

(g f ) dk

77

Denn: , : B R R seien deniert durch (x, y ) := g (x) y, (x, y ) := y f (x) = , sind mebar und A = 1 (R+ ) 1 (R+ ) I B k+1 . F ur x Rk ist Ax = [f (x), g (x)] = k+1 (A) =
B

(Ax ) dk (x) =

(g (x) f (x) dk (x) .

Das Volumen der Einheitskugel in

Es sei Bk := {x Rk | |x| 1} die abgeschlossene k dimensionale Einheitskugel; wir wollen vk := k (Bk ) berechnen. k=1: k=2: B1 = [1, 1], also v1 = 2 B2,x = [ 1 x2 , 1 x2 ] f ur |x| 1, B2,x = sonst 2 1 x2 d(x) = 2
[1,1] 1 /2 1 1

Rk

= v2 = (B2 ) = =4
0

(B2,x ) d(x) =
/2 0

1 x2 dx

1 x2 dx = 4

cos2 t dt = 2(sin t cos t + t)|0

= 2 /2

= Behauptung. vk+2 = Beweis.


2 k+2

vk , k N (x1 , ..., xk , x, y )

Rk+2 = Rk R2 ; typisches Element

2 2 2 Bk+2,(x,y) = {(x1 , ..., xk ) Rk |x2 1 + ... + xk 1 x y }

Bk ( 1 x2 y 2 ), (x, y ) B2 sonst

(mit Bk (r) := {x Rk | |x| r})

78

= vk+2 =
B2

k (Bk ( 1 x2 y 2 )) d2 (x, y ) 1 x2 y 2 d2 (x, y )


B2 1 k

= vk = vk

(1 r2 )k/2 r dr d
0

1 1 k/2 = 2vk u du 2 0 k 1 u 2 +1 |1 = vk k 0 +1 2 2 = vk . k+2 Folgerung. 2 4 v1 = = 4, 18888 3 3 2 2 v4 = v2 = = 4, 9348 4 2 2 8 4 v5 = = 2 = 5, 2638 3 5 15 3 2 v6 = = = 5, 1677 2 6 6 v3 =

79

UBUNGSAUFGABEN

Kapitel I

MASSTHEORIE

1. Mengensysteme 1. F ur jede nichtleere Menge bildet die Potenzmenge P () mit den Operationen als Addition und als Multiplikation einen kommutativen Ring mit Einselement (im Sinne der Algebra). Ein Teilsystem A P () ist genau dann eine Algebra (im Sinne der Matheorie), wenn A ein Unterring von (P (), , ) ist, der das Einselement enth alt.
Hinweis: Die Abbildung H : A {0, 1} : A H (A) := 1A wird ein Ringhomomorphismus, wenn man auf {0, 1} die vom K orper mit zwei Elementen herkommende Ringstruktur zugrundelegt.

2. Sei eine nichtleere Menge, und seien Ai , i = 1, ..., n . Dann gilt: A1 A2 An

= { | {i n | Ai } besitzt eine ungerade Anzahl von Elementen}. 3. F ur = und {, } E P () seien E1 := E {Ac | A E}, E2 := {A1 ... An | n N, Ai E1 f ur i n},
n

E3 := {
j =1

Bj | m N, Bj E2 f ur j m} .

Man zeige, da E3 = (E ) und folgere daraus, da mit E auch (E ) abz ahlbar ist. 4. Man bestimme das von E erzeugte Dynkin-System (E ) f ur den Fall eines aus zwei Teilmengen A und B von bestehenden Systems E . Man zeige, da (E ) und (E ) genau dann zusammenfallen, wenn eine der Mengen A B, A B c , Ac B oder Ac B c leer ist.

80

5. Sei = und A eine endliche Algebra auf . Man zeige, da es ein n N gibt mit |A| = 2n . 6. Sei = und E P () . Man zeige, da E die Punkte von trennt (d.h. x = y in E E mit x E, y E oder x E, y E ) genau dann, wenn (E ) diese Eigenschaft hat. 7. Welche der folgenden Mengensysteme erzeugen die Borelsche Algebra I B auf R ? (b) E2 := { ] , x] x R, x 0} { [x, [ x R, x 0} (d) E4 := { ]x, x + 1] x R} . 8. sei eine u berabz ahlbare Menge, z. B. = R . A := {A |A ist c abz ahlbar oder A ist abz ahlbar} . Man zeige, da A eine Algebra ist. 9. (a) Auf einer abz ahlbaren Menge wird jede Algebra durch eine Partition erzeugt. (b) Die Algebra ({{x}|x [0, 1]}) auf dem Intervall [0, 1] ist nicht abz ahlbar erzeugt. (c) Die Borelsche Algebra I B wird nicht durch eine Partition erzeugt. 2. Mengenfunktionen 1. (, A, ) sei ein Maraum mit () < , A1 , ..., An A . Man zeige:
n

(a) E1 := { ] , r[ r Q } (c) E3 := { [x, x] x R+ }

(
i=1

Ai ) =

(Ai )

i<j

(Ai Aj ) +
i<j<k

(Ai Aj Ak )

... + (1)n1 (A1 A2 ... An ) 2. P sei ein Wahrscheinlichkeitsma auf der Algebra A u ber ; M habe die Eigenschaft, da P (A) = 1 ist A A mit M A . Man deniere Q(M A) := P (A) f ur A A und zeige, da Q dann ein Wahrscheinlichkeitsma auf der (Spur-) Algebra M A ist.

81

3. Der Maerweiterungssatz 1. Auf Q sei A die von den rationalen Intervallen I Q erzeugte Algebra. Man zeige, da sich die durch (I Q) := (I ) denierte Mengenfunktion zu einem endlichen Inhalt, aber nicht zu einem Ma fortsetzen l at. Man begr unde, warum der Maerweiterungssatz nicht anwendbar ist. 2. (, A, ) sei ein Maraum. Man deniert A := {A + N |A A, N A mit N N und (N ) = 0} sowie : A [0, ] durch (A + N ) := (A) . Man zeige, da (, A , ) wieder ein Maraum ist und da (A ) = A . 4. Lebesguema und Borelmengen 1. In der Terminologie der Aufgabe 3.2 gilt auch I B 2. Die Abbildung f : R R2 , f (x) := (x, 0), ist I B 1 /I B2 mebar, aber 2 nicht I B1 /I B2 mebar. 5. Mebare Abbildungen 1. Es sei A := {A Z n N gilt: 2n A 2n + 1 A} , und f : Z Z sei durch f (k ) := k + 2 deniert. (a) Man zeige, da A eine Algebra ist, und gebe die Partition von Z an, die A erzeugt. (b) Man zeige, da f , aber nicht f 1 , A/Amebar ist. 2. Sei f : R R . (a) Ist f monoton, so ist f mebar. (b) Ist f dierenzierbar, so ist f mebar . 3. Es sei (fn ) eine Folge mebarer numerischer Funktionen auf einem Meraum. Dann sind { |(fn ( )) konvergiert in R}, { |(fn ( )) konvergiert in R} mebar. 4. F ur einen Meraum (, A), p > 1 und f : R gilt: f ist mebar |f |p1 f ist mebar. 82

$ P (R) .

Kapitel II

INTEGRATIONSTHEORIE

1. Denition des Integrals und Konvergenzs atze 1. f und g seien integrable Funktionen auf dem Maraum (, A, ) . Man zeige:

f =g

fast u berall

f d =
A

g d f ur alle A A .

2. (, A, ) sei ein Maraum. Man zeige: (a) F ur mebares f : R+ und a ]0, [ gilt ({f a}) 1 a f d . (b) ist endlich integrables f : ]0, [ . 3. (, A, ) sei ein Maraum; f, g Z + (, A) . Man deniert : A [0, ] durch (A) :=
A

f d .

Dann gilt: (a) ist ein Ma (b) gd = gf d (c) Ist f d < , so gilt: > 0 > 0 mit (A A, (A) < = (A) < ) . 4. (, A, ) sei ein Maraum, {f, f1 , f2 , ....} L1 ()+ . Es gelte fn f f. u. und fn d f d . Dann folgt |fn f |d 0 .
Hinweis: 0 (fn f ) f n .

5. Sei (, A, ) ein Maraum, f, f1 , f2 , ... Z (, A), alle n N .

|fn | d < f ur

(a) Ist endlich, so folgt aus der gleichm aigen Konvergenz von fn gegen f die Integrierbarkeit von f , und es gilt f d = limn fn d . (b) Ist -endlich, aber nicht endlich, so folgen die Aussagen von (a) i.a. nicht. (c) Sind alle fn 0 und konvergiert fn -fast u berall gegen f und ist f d = fn d f ur alle n N , so gilt limn |fn f | d = 0 . 83

3. Produktmae und der Satz von Fubini 1. (, A, ) sei ein endlicher Maraum, f : R sei mebar. Man zeige: (a) G := {(x, f (x))|x } A I B (b) f 0 = F := {(x, t)|x , 0 t f (x)} A I B (c) f 0 =
Hinweise: (a) {B1 , B2 , ...} sei ein abz ahlbares Erzeugendensystem von I B ; dann ist (zu zeigen!)

f d = ( )(F ) .

G=
n=1

c c ([f 1 (Bn ) Bn ] [f 1 (Bn ) Bn ])

(b) Man zeige {(x, t)|x , 0 t < f (x)} A I B mit Hilfe approximierender Elementarfunktionen.

2. (a) Es sei # das abz ahlende Ma auf [0, 1] . F ur D := {(x, x)|x [0, 1]} und f := 1D gilt dann fx d d#(x) = f y d# d(y ) .

(b) Es sei C := {(x, y ) [0, 1]2 |0 < y < x < 1} und g (x, y ) := 1 1C (x, y ) . Dann ist x2
1 0 0 1 1 1

g (x, y )dxdy =
0 0

g (x, y )dydx .

(c) Warum stehen weder (a) noch (b) im Widerspruch zum Satz von Fubini? 3. Es sei = [0, 1], A := ({{x}|x }) und D := {(x, x)|x } . Man zeige: D A A .
Hinweis: Durch (A) := 0 f ur abz ahlbares A bzw. (A) := 1 f ur abz ahlbares c A wird auf A ein W-Ma deniert. Ist D A A , so liefert der Satz von Fubini (D) = 0 . B := { n i=1 Ai Bi |Ai , Bi A, n N} ist eine A A erzeugende Algebra. Mit Hilfe des Maerweiterungssatzes kann man (D) = 1 zeigen.

84

4. Man bestimme limt

t sin x dx 0 x

Hinweis: Mit Hilfe des Satzes von Fubini berechne man


t 0 0

sin x eux dudx .

5. Man berechne
2 (b) 2 ({x R2 |5x2 1 + 4x1 x2 + x2 1}) .

(a) 2 ({x R2 | |x| 1})

Hinweis: Man verwende die Matrix T =

ax bx

21 10

e 6. Man bestimme 0 e dx f ur b > a > 0 , indem man den Intex granden selbst als Integral auasse.

4. Bildmae

1. (, A, ) und ( , A , ) seien Mar aume, f : sei A/A mebar, und es gelte N A , (N ) = 0 = (f 1 (N )) = 0 . Dann ist f auch A /A mebar (s. Aufgabe I. 3.2) und ( )f = f . 5. Transformationen des Lebesguemaes

1. Man bestimme das Volumen der Menge S = {(x, y, z ) R3 : x2 + y 2 + z 2 4, x2 + y 2 1} . 2. Ein sechskantiger Bleistift wird kegelf ormig angespitzt. Der Abstand zwischen zwei parallelen Seiten achen betr agt 2 und der Fr aswinkel /4 . Berechne das weggespitzte Volumen.
Hinweis: Zylinderkoordinaten

85