Das Lebesgue-Maß im R p

Größe: px

Ab Seite anzeigen:

Download "Das Lebesgue-Maß im R p"

Babette Böhmer
vor 6 Jahren
Abrufe

1 Das Lebesgue-Maß im R p Wir werden nun im R p ein metrisches äußeres Maß definieren, welches schließlich zum Lebesgue-Maß führen wird. Als erstes definieren wir das Volumen von Intervallen des R p. Seien a = (a 1,..., a p ), b = (b 1,..., b p ) R p mit a i b i ı. Dann heißt die Menge [a, b] = [a 1, b 1 ]... [a p, b p ] = {x R p : a i x i b i, 1 i p} ein abgeschlossenes Intervall im definiert.) R p. (Analog werden offene Intervalle [a, b] ist im R 1 ein übliches Intervall, im R ein Rechteck und im R 3 ein Quader. Das Volumen von [a, b] ist vol([a, b]) = (b 1 a 1 )... (b p a p ) Wir betrachten nun spezielle Intervalle, nämlich die dyadischen Elementarzellen. Definition. Eine dyadische Elementarzelle der Ordnung n N 0 im R p ist eine Menge der Form {x R p : k i x n i k i+1, k n i Z} Wir bezeichnen mit D n die Menge der dyadischen Elementarzellen der Ordnung n und mit D die Menge aller dyadischen Elementarzellen. Die Menge der Eckpunkte der dyadischen Elementarzellen, also {( k 1 n,..., k p n ) : k i Z, n N 0 } heißt das dyadische Gitter. Bemerkungen. 1

(a) Die Menge der dyadischen Elementarzellen D ist abzählbar, ebenso besteht das dyadische Gitter nur aus abzählbar vielen Punkten. (b) vol([ k 1 n, k 1+1 n ].

2 (a) Die Menge der dyadischen Elementarzellen D ist abzählbar, ebenso besteht das dyadische Gitter nur aus abzählbar vielen Punkten. (b) vol([ k 1 n, k 1+1 n ]... [ k p n, k p+1 n ]) = 1 np (c) Sei x R p und ε > 0. Dann existiert ein n N (groß genug) und es existieren k i Z mit x i ( k i n, k i+1 n ) i und p n < ε. Die dyadische Elementarzelle [ k 1 n, k 1+1 n ]... [ k p n, k p+1 n ] enthält dann x und liegt ganz in K(x, ε), weil für x i y i 1 n und folglich d(x, y) p n < ε. y i [ k i n, k i+1 n ] gilt, dass (d) Aus (c) folgt, dass das dyadische Gitter eine dichte Teilmenge des R p ist. Aus (a) und (c) folgt, dass jede nichtleere offene Menge des R p darstellbar ist als (abzählbare) Vereinigung von dyadischen Elementarzellen. Definition. Das äußere (p-dimensionale) Lebesgue-Maß λ p ist λ p(a) = inf{ vol(u j ) : A U j, U j D}

3 Bemerkung. Man überlege sich zur Übung: Ist A Rp kompakt und ε > 0 dann existieren ein n N und U j D n, sodass A und vol(u j ) λ p(a) + ε U j Überdeckungen der Ordnung n ap- (D.h. λ p(a) kann durch dyadische proximiert werden.) Bemerkung. Ist klar, um welchen Raum R p λ (A) statt λ p(a). es geht, schreibt man auch Bemerkung. A B λ (A) λ (B) Beweis. Sei B U j, U j D. Dann ist A U j und λ (A) vol(u j ). λ (A) ist also eine untere Schranke und folglich λ (A) λ (B). Beispiel. Wir betrachten den Fall p = 1 und ein Intervall [a, b] R, und wollen zeigen, dass λ ([a, b]) = vol([a, b]) = b a. Dazu beobachten wir: sind Gitterpunkte m+1 dann ist vol([ k 1+j 1, k 1+j n ]) = m+1 n. n k 1 n, k 1+1 n,..., k 1+m+1 n gegeben, Sei nun ε > 0. Wir wählen Gitterpunkte k 1 < a, b < k 1+m+1 1 n und n < ϵ. n Dann ist [a, b] m+1 λ ([a, b]) m+1 [ k 1+j 1 n, k 1+j n ] und vol([ k 1+j 1 n, k 1+j n ]) = m+1 n (b a) + ε, woraus λ ([a, b]) b a folgt. k 1, k 1+1 n,..., k 1+m+1 n mit n Sei nun (U l ) irgendeine dyadische Überdeckung der Ordnung n von [a, b] 3

4 . Dann ist vol(u l ) m l=1 j= vol([ k 1+j 1 n, k 1+j n ]) (b a) ε und folglich λ ([a, b]) (b a) ε bzw. λ ([a, b]) b a. Insgesamt erhalten wir damit λ ([a, b]) = b a. Bemerkung. Auf analoge Weise kann man damit auch für ein Intervall [a, b] des R p zeigen, dass λ p([a, b]) = vol([a, b]). Bemerkung. Man überlege sich weiters : Ist M eine Vereinigung von Elementarzellen U j, die jeweils keine inneren Punkte gemeinsam haben, dann ist λ (M) = vol(u j ). Beispiel. Sei A R p eine abzählbare Menge (z.b. Q R). Dann ist λ p(a) = 0. Beweis. Betrachte eine Abzählung A = {a k : k N} von A und überdecke {a k } mit einer dyadischen Elementarzelle, die ein Volumen 1 hat. n+k Dann ist λ p(a) 1 = 1 n+k. n k=1 Folglich gilt mit n, dass λ p(a) = 0. Satz. λ ist ein metrisches äußeres Maß. Beweis. λ ( ) = 0 ist offensichtlich. A B λ (A) λ (B) wurde bereits gezeigt. Zu zeigen ist nun, dass λ ( A j ) λ (A j ). Wähle ε > 0. Dann gibt es eine Überdeckung von A j Elementarzellen U j,k sodass mit dyadischen 4

5 vol(u j,k ) λ (A j ) + ε. j k=1 Dann ist λ ( A j ) Daraus folgt A j j,k=1 λ ( U j,k k=1 und weiters vol(u j,k ) (λ (A j ) + ε ) = λ (A j j ) + ε. A j ) λ (A j ). Seien A und B zwei Mengen mit d(a, B) > 0. Dann existiert ein n N mit d(a, B) > p n. Werden nun x A und y B von zwei Elementarzellen E 1, E der Ordnung n mit x E 1 und y E überdeckt, dann gilt für alle Punkte x E 1, y E d(x, y ) d(x, y) d(x, x ) d(y, y ) d(a, B) p n p n > p n 1 > 0. Die dyadischen Elementarzellen, die A überdecken, sind also disjunkt von denen die B überdecken. Daraus folgert man, dass λ (A B) = λ (A) + λ (B). Über den Fortsetzungssatz gewinnen wir damit eine σ-algebra, welche B(R p ) enthält und folglich ein Borel-Maß ist. Dieses Maß kann im nächsten Schritt vervollständigt werden und wir erhalten daraus das p- dimensionale Lebesgue-Maß. Das Lebesgue-Maß ist so beschaffen, dass es auf den Intervallen mit dem Volumen übereinstimmt. Es stellt sich allerdings die Frage, ob ein Maß durch die Vorgabe der Werte auf den dyadischen Elementarzellen eindeutig bestimmt ist. Die Antwort liefert der folgende Satz. Satz. (Eindeutigkeitssatz) (ohne Beweis) Seien µ 1 und µ Maße auf dem Meßraum (X, Ω) und sei E eine bezüglich endlicher Durchschnittsbildung abgeschlossene, erzeugende Teilmenge von 5

6 Ω mit den Eigenschaften 1. E E : µ 1 (E) = µ (E). eine Folge (E n ) E mit µ 1 (E n ) = µ (E n ) < und X = E n Dann ist µ 1 = µ auf Ω. Folgerung. Gibt man ein Maß auf einer Menge von Intervallen des R p, welche die Voraussetzungen des Eindeutigkeitssatzes erfüllt, vor, dann ist dadurch das Maß auf allen Borel-Mengen eindeutig bestimmt. Definition. Gibt es in einem Maßraum (X, Ω, µ) eine (abzählbare) Folge von Mengen E n Ω, sodass X = E n und µ(e n ) < n, dann heißt dieser Maßraum bzw. das Maß σ-endlich. Bemerkung. Der R p erfüllt diese Eigenschaft, weil er als Vereinigung von Intervallen der Form [ n, n]... [ n, n] dargestellt werden kann. Definition. Eine Teilmenge M X eines metrischen Raumes (X, d) heißt σ-kompakt, wenn kompakte Teilmengen K n X existieren mit M = K n. Bemerkung. In X = R p ist jede offene Menge als abzählbare Vereinigung von dyadischen Elementarzellen darstellbar, welche ihrer Definition nach kompakt sind. Daraus folgt B(X) = [O(X)] [K(X)] [A(X)] = [O(X)] Die Borel-Mengen im R p werden also von den offenen, den abgeschlossenen und den kompakten Teilmengen erzeugt. Wir erwähnen noch zwei wichtige Aussagen über Nullmengen. 6

7 Satz. Die abzählbare Vereinigung von Nullmengen ist wieder einer Nullmenge. Insbesondere ist jede abzählbare Menge eine Nullmenge. Beweis. Gelte λ p (E n ) = 0 n N, und sei E = σ-subadditivität folgt dann λ p (E) λ p (E n ) = 0. E n. Wegen der Es ist klar, dass eine einpunktige Menge {x} von einer dyadischen Elementarzelle mit Volumen ε überdeckt werden kann. Damit ist λ p ({x}) ε und folglich λ p ({x}) = 0. Also ist auch jede abzählbare Menge eine Nullmenge. Satz. Jede Hyperebene im R p ist eine Nullmenge. Beweis. Wir veranschaulichen den allgemeinen Beweis im Fall p =. Eine Hyperebene H im R ist dann eine Gerade. Wir überdecken den R mit abzählbar vielen Quadraten, i.e. R = [m, m + 1] [n, n + 1]. m,n Z Wir wollen zeigen, dass für ein festes Quadrat Q die Menge H Q eine Nullmenge ist. Wir wählen ε > 0 und überdecken H Q durch achsenparallele Quadrate mit Seitenlänge ε. Dazu werden höchstens [ 1 ε ] + 1 Quadrate benötigt. Folglich ist λ p (H Q) ([ 1 ε ] + 1)ε ε + ε. Daraus folgt λ p (H Q) = 0. Weil H damit die abzählbare Vereinigung von Nullmengen ist, gilt λ p (H) = 0. 7

Ähnliche Dokumente

Mengensysteme, Wahrscheinlichkeitsmaße

Kapitel 1 Mengensysteme, Wahrscheinlichkeitsmaße Der Großteil der folgenden fundamentalen Begriffe sind schon aus der Vorlesung Stochastische Modellbildung bekannt: Definition 1.1 Eine Familie A von Teilmengen