# Natürliche Zahlen/Multiplikation/Selbstaddition/Rechengesetze/Einführung/Textabschnitt

Zur Definition der Multiplikation verwenden wir wieder das Prinzip, dass man mit natürlichen Zahlen zählen kann. Die Addition haben wir bereits zur Verfügung und insbesondere können wir eine natürliche Zahl mit sich selbst addieren. Wir können auch Summen der Form
    $b+b+b+\cdots +b+b$
benutzen und können dabei, wegen der Assoziativität der Addition, auf Klammern verzichten. Die Anzahl der Summanden ist dabei eine wohldefinierte natürliche Zahl. Dies nehmen wir zur Grundlage für die Multiplikation.

## Definition

Das Produkt $a\cdot b$ zweier natürlicher Zahlen ist definiert als die $a$-fache Summe der Zahl $b$ mit sich selbst.
Wichtig ist hier, dass $a$ die Anzahl der Summanden angibt, also wie oft $b$ zu nehmen ist, und nicht die Anzahl der Additionen (die Anzahl des Pluszeichens), die dabei auszuführen sind. Diese Anzahl ist um eins kleiner. Es spricht aber auch einiges dafür, dass man von $0$ ausgeht und dazu dann $a$-fach die Operation $+b$ durchführt. Dann hat man
    $0+b+b+\cdots +b+b$
und $a$-fach den gleichen Prozess. Die beiden Zahlen $a$ und $b$ heißen Faktoren, das Ergebnis heißt das Produkt, die Verknüpfung heißt Multiplikation.
Wenn man die Addition beherrscht, so ist es einfach, die Multiplikation auszuführen und eine Tabelle für kleine Zahlen aufzustellen. Die Multiplikationstabelle für zwei Zahlen zwischen $0$ und $10$, das sogenannte kleine Einmaleins lässt sich so erstellen (auch in anderen Systemen). Man kann dann grundsätzlich sämtliche Multiplikationen im Zehnersystem darauf zurückführen, was im schriftlichen Multiplizieren ausgenutzt wird. Um große Zahlen effektiv miteinander multiplizieren zu können, muss man das kleine Einmaleins auswendig kennen. Eigentlich sollte man die $10$ aus dem kleinen Einmaleins herausnehmen, da die Zehnerreihe sich im Dezimalsystem auf kleinere Rechungen zurückführen lässt.
Für die soeben eingeführte Multiplikation möchte man die vertrauten Eigenschaften wie beispielsweise die Kommutativität etablieren. Dies geschieht in folgendem Lemma.

## Lemma

Für die Multiplikation der natürlichen Zahlen (mit der in der Definition festgelegten Multiplikation)
gelten folgende Aussagen.

### Beweis

* Die zweite Gleichung ist klar, da unabhängig davon, wie oft die $0$ mit sich selbst addiert wird, stets $0$ herauskommt. Die erste Gleichung kann man als eine Konvention oder auch als Teil der Definition ansehen: Eine Summe, in der überhaupt keine Zahl vorkommt (die leere Summe), ist als $0$ zu interpretieren.
* Die erste Gleichung ist klar, der Ausdruck $1\cdot n$ besagt einfach, dass die Zahl $n$ einmal dasteht. Die zweite Gleichung bedeutet, dass die $n$-fache Addition der $1$ mit sich selbst gleich $n$ ist. Dies zeigen wir durch Induktion nach $n$, wobei der Induktionsanfang (für $n=0,1$) klar ist. Es sei die Aussage also schon für $n$ bewiesen. Der Unterschied zwischen $n\cdot 1$ und $n^{\prime }\cdot 1$ besteht darin, dass im zweiten Fall einmal mehr $+1$ dasteht. Somit ist
    $n^{\prime }\cdot 1=n\cdot 1+1=n+1=n^{\prime }\,.$
* Die linke Gleichung ergibt sich unmittelbar aus der Definition. Die rechte Gleichung ergibt sich aus
    ${\begin{aligned}n\cdot k^{\prime }&=\underbrace {k^{\prime }+\cdots +k^{\prime }} _{n{\text{-mal}}}\\&=\underbrace {(k+1)+\cdots +(k+1)} _{n{\text{-mal}}}\\&=\underbrace {k+\cdots +k} _{n{\text{-mal}}}+\underbrace {1+\cdots +1} _{n{\text{-mal}}}\\&=n\cdot k+n.\end{aligned}}$
* Die Kommutativität beweisen wir durch Induktion nach $k$, und zwar beweisen wir die Behauptung für alle $n$. Der Fall $k=0$ ist klar, da dann beidseitig $0$ steht. Es sei die Gesamtaussage also für ein bestimmtes $k$ und beliebiges $n$ bereits bewiesen. Dann ist unter Verwendung von (3) und der Induktionsvoraussetzung
    $n\cdot k=k\cdot n\,$
    $n\cdot k^{\prime }=n\cdot k+n=k\cdot n+n=k^{\prime }\cdot n\,.$
* Das Distributivgesetz beweisen wir durch Induktion nach $k$ für beliebige $m,n$. Der Fall $k=0$ ist klar, da beidseitig $0$ rauskommt. Unter Verwendung der Induktionsvoraussetzung und Teil (3) ergibt sich
    $k\cdot (m+n)=k\cdot m+k\cdot n\,$
    ${\begin{aligned}k^{\prime }\cdot (m+n)&=k\cdot (m+n)+m+n\\&=k\cdot m+k\cdot n+m+n\\&=k\cdot m+m+k\cdot n+n\\&=k^{\prime }\cdot m+k^{\prime }\cdot n.\end{aligned}}$
* Das Assoziativitätsgesetz beweisen wir durch Induktion nach dem ersten Faktor (wobei der Induktionsanfang wieder klar ist) unter Verwendung des Distributivgesetzes und Teil (3).
    ${\begin{aligned}k^{\prime }\cdot (m\cdot n)&=k\cdot (m\cdot n)+m\cdot n\\&=(k\cdot m)\cdot n+m\cdot n\\&=(k\cdot m+m)\cdot n\\&=(k^{\prime }\cdot m)\cdot n.\end{aligned}}$
$\Box$
Es gilt insbesondere $0\cdot n=0$ und die rekursive Beziehung
    $n^{\prime }\cdot k=n\cdot k+k\,.$
Diese Eigenschaft nennen wir die Anreihungsregel, sie ist ein Spezialfall des Distributivgesetzes. Ihre inhaltliche Bedeutung ist, dass sich die Anzahl der Elemente in einer Produktmenge (Tabelle) mit $n$ Reihen und $k$ Spalten um $k$ erhöht, wenn man eine zusätzliche Reihe anlegt. Diese beiden Eigenschaften legen bereits die Multiplikationsverknüpfung eindeutig fest.

## Satz

Auf den natürlichen Zahlen
gibt es eine eindeutig bestimmte Verknüpfung
erfüllt.

### Beweis

Es seien $\cdot$ und $\star$ zwei Verknüpfungen auf $\mathbb {N}$, die beide diese Eigenschaften erfüllen. Wir müssen
    $x\cdot y=x\star y\,$
für alle $x,y\in \mathbb {N}$ zeigen. Wir führen Induktion nach $x$. Der Induktionsanfang ist klar, da wegen der ersten charakteristischen Eigenschaft
    $0\cdot y=0=0\star y\,$
ist. Es sei die Aussage für ein gewisses $x$ schon bewiesen. Dann ist unter Verwendung der Induktionsvoraussetzung und der zweiten charakteristischen Eigenschaft
    $x^{\prime }\cdot y=x\cdot y+y=x\star y+y=x^{\prime }\star y\,.$
$\Box$