Messbare Abbildung/Bildmaß/Einführung/Textabschnitt

Aus Wikiversity
Zur Navigation springen Zur Suche springen


Definition  

Es sei ein Maßraum, ein Messraum und

eine messbare Abbildung. Dann nennt man das durch

definierte Maß auf das Bildmaß von unter . Es wird mit bezeichnet.

Das Bildmaß ist in der Tat ein Maß, siehe Aufgabe.

Die Verteilung der Anfangsziffern der Bevölkerungsgröße der Länder der Erde.


Beispiel  

Es sei

die Exponentialfunktion zur Basis und das Bildmaß zum eindimensionalen Borel-Lebesgue-Maß   (das wir zwar noch nicht eingeführt haben, von dem wir hier aber nur verwenden, dass es einem Intervall die Intervallänge zuordnet). Für ein Intervall ist

Insbesondere haben die Intervalle
unter alle das Maß . Das Maß ist also „unter Berücksichtigung der Größenordnung gleichverteilt“.

Wenn man zur Menge aller Städte (auf der Erde oder in Deutschland) die Einwohnerzahl nimmt und davon die erste Ziffer, so kann man beobachten, dass die Ziffer deutlich häufiger vorkommt als die Ziffern . Beispielsweise gibt es in Deutschland relativ viele Städte mit zwischen und Einwohnern, aber keine mit zwischen und Einwohnern. Diese Beobachtung kann man in sehr vielen verschiedenen Situationen machen, und zwar genügt die erste Ziffer dem sogenannnten Benfordschen Gesetz. Wenn man davon ausgeht, dass Städte zu unterschiedlichen Zeitpunkten gegründet werden, dass sie exponentiell wachsen (mit einer kleinen Basis), und dass die Verteilung der Stadtgründungen mit der Zeit gleichverteilt ist (in einem endlichen Zeitintervall), so kann man die Stadtgründungen durch modellieren und erhält für die Verteilung der Stadtgrößen das Maß (bis auf einen Streckungsfaktor mit der Zeit). Es ist dann beispielsweise

und

und entsprechend für die Intervalle , , etc., was das Benfordsche Gesetz erklärt.




Lemma

Es seien , und Messräume und

und

messbare Abbildungen. Es sei ein Maß auf .

Dann gilt für die Bildmaße

Beweis

Siehe Aufgabe.



Definition  

Es seien und Maßräume. Eine messbare Abbildung

heißt maßtreu, wenn für jede messbare Menge die Beziehung

gilt.

Eine messbare Abbildung ist genau dann maßtreu, wenn das Bildmaß von unter ist.