Analysis-Blog: Folge 5
Peter Becker
veröffentlicht: 06 Mar 2024, zuletzt geändert: 10 Apr 2024 11:34
Schlüsselwörter: Fakultät, Stirlingformel, Binomialkoeffizient, vollständige Induktion
Fakultät und Binomialkoeffizient sind Konzepte, die eigentlich aus der Kombinatorik stammen, die aber auch in der Analysis unverzichtbar ist. Beide sind wichtige Zählkoeffizienten, d. h. sie geben die Kardinalität bestimmter Mengen an. In dieser Blog-Folge lernen wir ihre Definition kennen.
Die Fakultät von $n$ ist nichts anderes als das Produkt der ersten $n$ natürlichen Zahlen.
Für $n \in \N_0$ heißt das Produkt \[ n! := \prod_{k=1}^n k = 1\cdot 2 \cdot \ldots \cdot n \] Fakultät von $n$. Wir setzen $0! = 1$.
In der Vorlesung werde ich an dieser Stelle oft gefragt, warum man $0! = 1$ setzt und nicht etwa $0! = 0$. Der Grund hierfür ist, dass für $n=0$ das Produkt \[ \prod_{k=1}^n k, \] ein sogenanntes leeres Produkt ist, also aus keinem einzigen Faktor besteht, und ein leeres Produkt in der Mathematik immer den Wert $1$ hat. Und warum hat nun ein leeres Produkt immer den Wert $1$? Weil $1$ das neutrale Element der Multiplikation ist! Ein leeres Produkt soll sich neutral verhalten, also anschaulich so, als wäre es gar nicht als Faktor präsent. Bei der Multiplikation gelingt uns dies mit der $1$ und nicht mit der $0$. Die $0$ ist dagegen das neutrale Element der Addition, und dementsprechend hat eine leere Summe auch immer den Wert $0$, aber bei der Fakultät wird multipliziert und nicht addiert. Also: $0! = 1$.
Die Fakultät gibt beispielsweise an, wie viele verschiedene Anordnungen es für $n$ Objekte gibt. Deshalb wird die Fakultät häufig in der Kombinatorik und der Wahrscheinlichkeitstheorie verwendet. Im Rahmen der Analysis werden wir der Fakultät insbesondere bei Potenz- und Taylorreihen wieder begegnen.
Das nächste Beispiel macht deutlich, dass die Fakultät eine extrem stark wachsende Funktion in $n$ ist.
Hier ein weiteres kleines Beispiel, um das starke Wachstum der Fakultätsfunktion zu veranschaulichen: Man schätzt, dass die Gesamtanzahl aller Atome des Universums zwischen $10^{80}$ und $10^{82}$ liegt. Diese Größenordnung erreichen wir schon mit $60!$. Es gilt: \[ 60! \approx 8.3209 \cdot 10^{81}. \]
Die bekannte Stirlingformel gibt das asymptotische Verhalten der Fakultät an. Es gilt \[ n! \sim \sqrt{2\pi n} \left( \frac{n}{\e} \right)^n. \] Mit Python können wir der Stirlingformel leicht auf den Zahn fühlen.
import math
n = 60
fak = math.factorial(n)
approx = math.sqrt(2 * math.pi * n) * (n/math.e) ** n
prozfehler = (fak - approx) / fak * 100
print(prozfehler)
Ausgabe:
0.13879119878704682
Die Stirlingformel liefert demnach für $60!$ eine Schätzung, die nur ein wenig mehr
als 0.1% vom korrekten Wert für die Fakultät abweicht.
Du kanst auch gerne das Python-Skript für andere Werte von n ausprobieren.
Dann wirst Du feststellen, dass die Stirlingformel auch schon für kleine n
eine recht gute Approximation der Fakultät liefert.
Wir betrachten zunächst einige Beispiele mit besonderen Werten für $n$ oder $k$.
Für $k=0$ entsteht im Zähler der Definition des Binomialkoeffizienten ein leeres Produkt, also $1$. Im Nenner steht $0!$ und damit wieder $1$. Also gilt \[ \binom{n}{0} = 1 \] für alle $n \in \N_0$. Beachte, dass dies auch für $n=0$ gilt, also \[ \binom{0}{0} = 1. \] Für $k=1$ steht im Zähler $n$ und im Nenner $1! = 1$. Demnach gilt \[ \binom{n}{1} = n \] für alle $n \in \N_0$.
Für $n=k$ steht sowohl im Nenner als auch im Zähler $n!$. Somit gilt \[ \binom{n}{n} = 1 \] für alle $n\in\N_0$.
Gilt $k > n$, dann entsteht im Zähler $0$ als einer der Faktoren. Daher gilt \[ \binom{n}{k} = 0 \] für alle $k,n \in \N_0$ mit $k > n$.
Für $k \leq n$ können wir den Binomialkoeffizienten auch in der Form \[ \binom{n}{k} = \frac{n!}{k! (n-k)!} \] schreiben, denn \begin{eqnarray*} \binom{n}{k} & = & \frac{n (n-1) \cdot \ldots \cdot (n-k+1)}{k!} \\ & = & \frac{n (n-1) \cdot \ldots \cdot (n-k+1)}{k!} \cdot \frac{(n-k)(n-k-1)\cdot\ldots\cdot 1}{(n-k)(n-k-1)\cdot\ldots\cdot 1} \\ & = & \frac{n!}{k!(n-k)!}. \end{eqnarray*} Wenn Du die Wahl zwischen den beiden Formeln hast, dann solltest Du immer diejenige wählen, die für Deine Berechung einfacher oder praktischer ist.
Als Zählkoeffizient liefert der Binomialkoeffizient beispielsweise die Anzahl der $k$-elementigen Teilmengen einer $n$-elementigen Menge.
Für das Rechnen mit Binomialkoeffizienten sind die folgenden Formeln äußerst hilfreich.
Für $n,k \in\N$ mit $k\leq n$ gilt:
Im Beispiel oben hatte ich schon erwähnt, dass $\binom{n}{k}$ die Anzahl der $k$-elementigen Teilmengen einer $n$-elementigen Menge ist. Mit der Additionsformel (ii) aus der letzten Proposition können wir dies leicht begründen. Dies demonstriere ich im Beweis des folgenden Satzes.
Zunächst machen wir uns darüber Gedanken, wie wir den Beweis genau führen. Es sei \[ C_{n,k} := \text{Anzahl der $k$-elementigen Teilmengen einer $n$-elementigen Menge}. \] Damit müssen wir nun \[ \forall n\in\N_0 \forall k\in\N_0 : C_{n,k} = \binom{n}{k} \] beweisen. Da wir eine allquantifizierte Aussage über die natürlichen Zahlen haben, bietet sich hier die vollständige Induktion als Beweismethode an. Aber über welche der beiden Parameter, $n$ oder $k$, führen wir die Induktion? Der Trick besteht darin, sich für einen zu entscheiden und damit eine allquantifizerte Aussage über den anderen Paramter zu beweisen. Für uns bedeutet dies, dass wir die Induktion über $n$ führen und für jedes $n$ zeigen, dass die innere Aussage \[ \forall k\in\N_0: C_{n,k} = \binom{n}{k} \] wahr ist.
$n=0$: Eine $0$-elementige Menge kann nur die leere Menge sein. Die leere Menge hat genau eine Teilmenge, nämlich die leere Menge selbst. Also gilt \[ C_{0,0} = 1 = \binom{0}{0} \] und für alle $k>0$ \[ C_{0,k} = 0 = \binom{0}{k}. \] Damit ist der Induktionsanfang bewiesen.
$n-1\rightarrow n$: Eine Teilmenge einer $n$-elementigen Menge kann auch höchsten $n$ Elemente umfassen. Somit gilt schon mal für alle $k > n$: \[ C_{n,k} = 0 = \binom{n}{k}. \] Somit müssen wir nur noch den Fall $k\leq n$ untersuchen.
O. B. d. A. sei die $n$-elementige Menge $\{1,2,\ldots,n\}$. Ansonsten könnten wir die Elemente der Menge mit den Zahlen $1$ bis $n$ indizieren und die gleiche folgende Argumentation mit den Indizes der Elemente durchführen.
Es sei nun $M$ eine beliebige $k$-elementige Teilmenge von $\{1,2,\ldots,n\}$. Wir machen eine Fallunterscheidung.
Binomialkoeffizienten treten auch im Binomischen Lehrsatz, den wir in der nächsten Blog-Folge behandeln, wieder auf. Der Binomische Lehrsatz verallgemeinert die aus der Schule bekannten Binomischen Formeln.