Sie sind auf Seite 1von 6

4.

Lebesguesches Prma

17

Insbesondere gibt es fr jede Menge ein Ma auf der Potenzmenge 9 ( ) derart,


da (A) = 0 genau fr die abzhlbaren Teilmengen A von gilt.
7. Sei

ein endlicher Inhalt auf einem Ring dt. Man zeige, da

eine Pseudometrik auf ^ definiert, d.h. da d alle Eigenschaften einer Metrik auf
^ mit einer eventuellen Ausnahme besitzt: aus (A, B) = 0 folgt nicht notwendig
A = B. (Vgl. auch 15, Aufgabe 3.)

4. Lebesguesches Prma
Jetzt sei speziell der d-dimensionale Zahlenraum IRd (d = l, 2,...). Fr je
zwei Punkte a = (a l 5 ..., ad) und b = (j l 5 ..., d) des (Rd mit Koordinaten
a;, ft schreiben wir a < b bzw. a<i b, wenn oCj < ft bzw. <Xj < ft fr alle
i = l,..., d gilt. Nach rechts halboffenes Intervall im IRd heie jede Menge
der Gestalt
(4.1)

[a,b[:={xelRd:a<x<ab},

wenn hierbei a und b Punkte des fR d mit a < b sind. Geometrisch handelt es
sich um achsenparallele, nach rechts hin offene" Parallelotope. Offenbar
ist [a, b[ genau dann nicht leer, wenn ao b gilt; in diesem Falle bestimmt
[a, b [ die Punkte a und b eindeutig.
Fr jedes solche Intervall [a, b [ nennen wir die reelle Zahl
seinen d-dimensionalen Elementarinhalt. Er ist genau dann gleich Null,
wenn [a, b[ = 0, wenn also nicht a<: b (wohl aber a < b) gilt.
Mit JA soll fortan die Menge aller nach rechts halboffenen Intervalle im
(Rd, mit 3FA das System aller Vereinigungsmengen von je endlich vielen
Mengen aus ,/d bezeichnet werden. Die Elemente von 3FA sollen a-dimensionale Figuren genannt werden. Es ist ,/d c ^"d.
4.1 Lemma. Fr je zwei Intervalle I, J e ,/d gilt
I n J e JA

und J\ I e ^ d .

Jede Figur ist die Vereinigung endlich vieler, paarweise fremder Intervalle aus

Bereitgestellt von | Universitaetsbibliothek Bielefeld


Angemeldet
Heruntergeladen am | 16.11.15 10:56

18

Matheorie

Beweis. Sei I = [a, b[ und J = [a', b'[ mit a < b und a' < b'; die entsprechenden Koordinaten dieser Punkte seien oq, {, aj, {. Bezeichnen wir dann
mit e bzw. f denjenigen Punkt aus (Rd, dessen Koordinaten gleich
max (oCj, aj) bzw. min (-t, j) sind (i = l, . . . , d), so gilt I n J = [e, f [ im Fall
e < f und I n J = 0 andernfalls. Stets liegt somit I n J in Ja. Wegen J\ I
= J\ (I n J) und I n J e ,/d kann also fr den zweiten Teil der Behauptung
I c J sowie
0 angenommen werden. Dann bestimmen I und J die Punkte a, b, a', b' eindeutig, und es ist a' < a<i b < b'.
Man ersetze nun in [a, b [ mit a = (a l5 . . . , ad) und b = (lt ...,d) auf
alle mglichen Arten oCj durch aj und zugleich { durch ^ oder aber ^ durch
{ und zugleich { durch {, d.h. genauer: Man nehme fr die Elemente i
einer jeden nicht leeren Teilmenge von (l, . . ., d} diese Ersetzungen vor.
Auf diese Weise erhlt man 3d l paarweise fremde Intervalle aus ,/d mit
J\ I als Vereinigung. Also ist J\ I eine Figur, welche sich als Vereinigung
endlich vieler paarweise fremder Mengen aus </d darstellen lt. Da dies
fr jede Figur F = Ij u . . . u In e ^d mit I l5 . . . , In e ^d zutrifft, folgt nun
so: Es ist
F=I1u(I2\I1)u(I3\I1uI2)u...u(In\IiU...uIn_1)
Vereinigung von n paarweise fremden Mengen, von denen jede die Gestalt
I\ Jj u . . . u Jm besitzt, wobei I, J l 9 . . . , Jm Intervalle aus JA sind. Also gengt es zu zeigen, da jede solche Menge die Vereinigung endlich vieler
paarweise fremder Intervalle aus </d ist. Dies aber folgt aus
I \ J 1 u . . . u J m = 0(1X1;),
i=l

indem man jedes I\ J; als Vereinigung endlich vieler paarweise fremder


Intervalle aus ./d schreibt und das distributive Gesetz sowie den ersten Teil
der Behauptung anwendet. D
4.2 Satz. &* ist ein Ring in IRd.

Beweis. Nicht evident ist nur die Eigenschaft (1.10) eines Ringes, wonach
mit je zwei Mengen F, G, ^"d auch F\ G in J2rd liegt. Definitionsgem
existieren Intervalle 15 . . . , ^, /, . . . , I e yd mit
F = ( J l i und

G=

i=l

Dann aber ist

Bereitgestellt von | Universitaetsbibliothek Bielefeld


Angemeldet
Heruntergeladen am | 16.11.15 10:56

4. Lebesguesches Prma

19

und somit nur zu zeigen, da jede der Mengen p) (I|\ Ij') eine Figur ist.
j=i
Nach 4.1 ist Ij\ Ij' stets eine Figur. Somit gengt es zu zeigen, da der
Durchschnitt zweier und damit je endlich vieler Figuren wieder eine
Figur ist. Sind aber F und G zwei Figuren mit obiger Darstellung, so ist
F n G nach dem Distributivgesetz die Vereinigung der Mengen IJnl'
(i = l, . . . , m; j = l, . . . , n), also erneut nach 4.1 eine Figur. D
Definitionsgem ist jede Figur die Vereinigung endlich vieler Intervalle
aus JA. Fr jeden Ring ^ in IRd mit JAa@ gilt daher & c @. Der Satz 4.2
besagt somit, da 3? der von Ja in IRd erzeugte Ring ist.
Unsere geometrische Anschauung legt nun die Gltigkeit des folgenden
Satzes nahe:
4.3 Satz. Es existiert genau ein Inhalt auf 3? derart, da ( ) fr jedes
I e ./d gleich dem -dimensionalen Elementarinhalt von I ist. Dieser Inhalt ist
reellwertig.
Beweis. Nach 4.1 besitzt jede Figur Fe^ d eine Darstellung F
= I t u . . . u In als Vereinigung endlich vieler paarweise fremder Intervalle
I15 . . . , I e J?"d. Fr jeden Inhalt auf &a ist dann
d. h. ist bereits eindeutig durch seine Werte auf J* festgelegt und reellwertig. Zu zeigen ist also nur die Existenz von . Hierzu definieren wir zunchst nur auf /d: Fr jedes I e </d sei A(I) der d-dimensionale Elementarinhalt von I. Dann gilt:
(a) Sei I = [a, b [ e ^d, a = (alt . . . , ocd) und b = (it . . . , j mit a < b
und eine reelle Zahl mit oq < < { fr ein i = l, . . . , d. Die Hyperebene
mit der Gleichung = zerlegt I in zwei fremde Intervalle Ij = [a', b[, I2
= [a, b' [ e yd, wobei a' bzw. b' aus a bzw. b dadurch hervorgeht, da man
die i-te Koordinate in y abwandelt. Aus (4.2) folgt dann ( ) = (1 )
+ A(I 2 ). - Durch vollstndige Induktion ergibt sich:
(b) Zerlegt man ein I = [a, b [ ./d mittels endlich vieler Hyperebenen
der in (a) beschriebenen Art in paarweise fremde Intervalle I l5 . . . , I n e JA,
so ist A(I) = A(I!) + . . . + A(I n ). - Allgemeiner gilt:
(c) Fr je endlich viele, paarweise fremde I l 5 ...,I n e,/ d mit
I0 := l! u . . . u In e Jfa ist A(I 0 ) = A(Ij) + . . . + A(I). Offenbar kann jedes L

Bereitgestellt von | Universitaetsbibliothek Bielefeld


Angemeldet
Heruntergeladen am | 16.11.15 10:56

20

Ma theorie

als nicht leer angenommen werden. Dann existieren Punkte aj


= (a jl5 . . . , ajd) und bj = (0jl5 . . . , jd) aus (Rd mit EJ<I bj und Ij = [aj5 bj [,
j = 0, l , . . . , n. Durch Schneiden von I0 mit allen durch eine Gleichung der
Art f j = oCjj bzw. f j = /Jji (i = l, . . . , d; j = l, . . . , n) definierten Hyperebenen zerf llt I0 in paarweise fremde Intervalle l'lt...,l'meSd. Jedes
I l5 . . . , I zerfallt in gewisse dieser Fl5 . . . , 1^. Zieht man also (b) (n + l)-mal
heran, so folgt die behauptete Gleichheit.
(d) Sind nun
zwei Darstellungen einer Figur F e <Fd als Vereinigung paarweise fremder
Intervalle, so ist

Es ist n mlich Ij = Ij n F = \J (L n Jj) eine Darstellung von L als Vereinii=l

gung der paarweise fremden Intervalle I j n J l 9 ..., IjnJ m . Folglich gilt


nach (c):
t j) = . (Ij n Jj)

(j = l,..., n).

Vertauscht man die Rollen von i und j, so erh lt man analog

Beide Gleichungen zusammen liefern


(e) Somit ist f r jedes F tFd die Zahl (Ij) unabh ngig von der speziellen Darstellung
F-^...,,
von F als Vereinigung endlich vieler, paarweise fremder I l5 . . . , I n e ,/d.
Durch die Festsetzung
wird also zu einer auf ^d definierten, reellen Funktion fortgesetzt, die
wiederum mit bezeichnet werden soll. Diese Funktion ist > 0 und wegen
(d) endlich-additiv. Da au erdem 0 e ,/d und A(0) = 0 ist, liegt ein Inhalt
mit den gew nschten Eigenschaften vor.

Bereitgestellt von | Universitaetsbibliothek Bielefeld


Angemeldet
Heruntergeladen am | 16.11.15 10:56

4. Lebesguesches Pr ma

21

4.4 Satz. Der Inhalt auf & ist ein Pr ma .


Beweis. Wegen der Endlichkeit von gen gt es nach 3.2, die 0-Stetigkeit
von nachzuweisen. Sei also (Fn) eine antitone Folge von Figuren aus ^d.
Wir zeigen, da aus der Annahme
folgt

0.= lim A(F n )= inf A ( F n ) > 0

neN
"

n Fn*0.

n=l

Da Fn die Vereinigung endlich vieler paarweise fremder Intervalle


I j , . . . , I m e/ d ist, kann durch naheliegendes Verkleinern der Koordinaten der rechten Bestimmungspunkte dieser Intervalle eine Figur Gn ^d
gewonnen werden mit Gn ( = abgeschlossene H lle von Gn) c Fn und

Setzen wir Hn .= G^ n . . . n G n , so ist (Hn) eine Folge von Mengen aus &d
mit Hn r> H n + ! und H n <= G n c Fn. Wegen der Beschr nktheit von Fn ist
dann also (H) eine Folge kompakter Teilmengen des IRd mit
Fn => H n => H n + ^Folglich (vgl. Franz [1973], Satz 23.2; Heuser [1981],
Satz 1 57.6) ist f) Hn 0 und damit, wiebehauptet, f) F 0, falls jedes Hn
nicht leer ist. Dies aber kann wie folgt eingesehen werden: F r jedes n e
gilt

wie durch vollst ndige Induktion gezeigt werden soll. (*) ist f r n = l richtig, da H! = G! und ^(F^ - () < 2"1 gilt. Aus der Richtigkeit von
(*) f r irgendein n folgt die Richtigkeit f r n + l . Hierzu beachtet man, da
wegen H n+1 = G n+1 n Hn und somit nach (3.5)
A(H n+1 ) = A(G B+1 ) + A(H n ) - A(G n+1 u H J
gilt. Nach Induktionsannahme gilt .() > A(F) -<5(1 -2~ n ); nach
Wahl von G n+1 gilt A(G n+1 ) > A(F n+1 ) -2~~1 sowie G n + 1 u H n c
F n+1 u Fn = Fn und somit A(G n + 1 u Hn) < A(F n ). Zusammengefa t ergibt dies gerade
A(H B+1 ) >
Beachtet man noch, da () > nach Definition von gilt, so liefert (*)

Bereitgestellt von | Universitaetsbibliothek Bielefeld


Angemeldet
Heruntergeladen am | 16.11.15 10:56

22

Matheorie

die Abschtzung A(H n ) > 2~"<5 > 0 und damit die noch fehlende Aussage
Hn 0. D
4.5 Definition. Das auf dem Ring J*d der d-dimensionalen Figuren im [Rd
definierte Prma heit Lebesguesches Prma im (Rd oder d-dimensionales Lebesguesches Prma. Es soll fortan mit
bezeichnet werden.
Wir begegnen hier erstmals dem Namen des franzsischen Mathematikers H. LEBESGUE (1875-1941), dem Erfinder des heute nach ihm benannten Ma- und Integralbegriffs. Die Entwicklung der Ma- und Integrationstheorie wurde vor allem durch seine Untersuchungen und die seines
Landsmannes E. BOREL (1871-1956) ausgelst. Zur Geschichte des Lebesgueschen Integralbegriffs sei auf Dieudonne [1978] und Hawkins [1970]
hingewiesen.

Aufgaben
1. Man zeige, da auf ^'1 genau ein Inhalt existiert, welcher den nach rechts
halboffenen Intervallen [a, /?[, a, e (R, folgende Werte zuordnet:
f l , falls a < 0 < / ?P ;
(0, in allen anderen Fallen.

<!

Ist
-additiv?
2. Gegeben seien zwei Intervalle I0 und 3 e JA mit I0 <= J. Man beweise die Existenz
von k < 2d Intervallen I l 5 ..., Ik e ./d mit den folgenden zwei Eigenschaften: (i) fr
jedes = 0, l ..., k ist I0 u... u IK e J&\ (ii) J = I0 u... I k . [Anleitung: Vollstndige
Induktion nach der Dimension d.]

5. Fortsetzung eines Prmaes zu einem Ma


Das Lebesguesche Prma ist kein Ma, da sein Definitionsbereich, der
Ring ^A der d-dimensionalen Figuren, keine -Algebra ist. Beispielsweise
liegt der Gesamtraum IRd nicht in ^d, da jede d-dimensionale Figur eine
beschrnkte Teilmenge von fRd ist.
Die zu Beginn von Kapitel I skizzierten elementargeometrischen ber-

Bereitgestellt von | Universitaetsbibliothek Bielefeld


Angemeldet
Heruntergeladen am | 16.11.15 10:56