KIT-Bibliothek

Irrfahrten auf den ganzen Zahlen: Hauptlemma

Autor

Norbert Henze

Beteiligtes Institut

Fakultät für Mathematik (MATH)
Institut für Stochastik (STOCH)

Genre

Lehrmaterialien

Beschreibung

Eine ideale Münze (Zahl/Wappen) wird wiederholt in unabhängiger Folge geworfen. Man startet im Nullpunkt des Zahlenstrahls und geht bei Auftreten von Zahl einen Schritt nach rechts, bei Wappen einen Schritt nach links. Auf diese Weise entsteht eine symmetrische Irrfahrt auf den ganzen Zahlen. Trägt man in einem rechtwinkligen Koordinatensystem auf der horizontalen Achse die Anzahl der Schritte einer solchen Irrfahrt und auf der vertikalen Achse die jeweilige Position der Irrfahrt auf den ganzen Zahlen auf, so kann man sich den Verlauf einer Irrfahrt als einen "Weg" genannten Polygonzug veranschaulichen. Die Länge eines solchen Weges sei die Anzahl der Schritte, die die Irrfahrt vollzogen hat. Das Hauptlemma besagt, dass für jede natürliche Zahl n die Anzahl aller Wege der Länge 2n, die während des gesamten Verlaufs nie zu 0 zurückkehren (sog. nullstellenfreien Wege) , gleich der Anzahl der Wege gleicher Länge ist, die nie die horizontale Achse unterschreiten (sog. nicht negativen Wege). Letztere Anzahl ist ferner die Anzahl aller Wege der Länge 2n, die am Ende auf der horizontalen Achse ankommen, also zum Nullpunkt zurückgekehrt sind (sog. Brückenwege), und diese Anzahl ist gleich dem Binomialkoeffizienten 2n über n. Der Beweis des Hauptlemmas erfolgt mithilfe geeigneter Abbildungen von Wegen.

Schlagwörter

Stochastik, symmetrische Irrfahrt auf den ganzen Zahlen, Hauptlemma

Laufzeit (hh:mm:ss)

00:19:52

Publiziert am

23.04.2020

Fachgebiet

Mathematik

Lizenz

Creative Commons Namensnennung – Nicht kommerziell 4.0 International

Auflösung 1280 x 720 Pixel
Seitenverhältnis 16:9
Audiobitrate 128000 bps
Audio Kanäle 2
Audio Codec aac
Audio Abtastrate 48000 Hz
Gesamtbitrate 229571 bps
Farbraum yuv420p
Container mov,mp4,m4a,3gp,3g2,mj2
Medientyp video/mp4
Dauer 1192 s
Dateiname DIVA-2020-234_hd.mp4
Dateigröße 34.193.945 byte
Bildwiederholfrequenz 25
Videobitrate 95466 bps
Video Codec h264

Mediathek-URL

Embed-Code