Analysis III

Florian Bckmann
Gruppe 5

Blatt 4
Aufgabe 14
() Jede monotone Funktion : ist messbar.

Beweis:
Sei monoton steigend. Nach Lemma 2.3 (e) ist genau dann messbar, wenn
1 ((, ]) 0 ()
fr alle . Da monoton steigend ist, ist
1 ((, ]) = (, ]
mit {}. 0 () wird von Intervallen der Forn (, ] erzeugt, damit folgt
die Behauptung. Falls monoton fallend ist, betrachte (was dann monoton
steigend ist) und verwende Satz 2.5 ( messbar messbar).

() Sei : . Dann ist die Ableitung : messbar.

Beweis:
Sei differenzierbar. Dann ist insbesondere stetig und nach Lemma 2.3 (c) messbar. Auch die Funktionen , 1 und + 1 , , sind messbar und damit nach
Lemma 2.3 (b) auch die Verkettung ( + 1/). Nach Satz 2.5 ist dann auch
)
(
+ 1 ()
: , () =
1

messbar fr alle . Mit Satz 2.7 folgt, dass

( + ) ()
= ()
0

lim () = lim

messbar ist.

Aufgabe 17
Sei : eine Lipschitz-stetige Funktion, das heit es existiert ein > 0, so dass
() ()
fr alle , gilt. Dann ist fr eine Lebesgue-Nullmenge das Bild ( )
wieder eine Lebesgue-Nullmenge.

Beweis:
Sei Lebegues-Nullmenge. Dann gibt es fr > 0 Wrfel , , mit

und

=1

( ) < .

=1

Weiter gibt es wegen der Lipschitz-Stetigkeit von Wrfel mit

( ) ( ) und ( )

=1

fr alle . Es folgt
( ( ))

=1

( )

( ) < ,

=1

also ist ( ) wieder eine Lebesgue-Nullmenge.