Kurs:Grundkurs Mathematik (Osnabrück 2016-2017)/Teil I/Vorlesung 9

„In theory, 'theory' and 'praxis' are the same, in praxis they aren't“

Die Multiplikation auf den natürlichen Zahlen

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 9.1 festgelegten Multiplikation)

gelten folgende Aussagen.

1. Es gilt

   ${}0\cdot n=0=n\cdot 0\,$

   für alle ${}n$.

2. Es gilt

   ${}1\cdot n=n=n\cdot 1\,$

   für alle ${}n$, d.h. ${}1=0^{\prime }$ ist das neutrale Element für die Multiplikation.

3. Es ist

   ${}k'\cdot n=k\cdot n+n\,$

   und

   ${}n\cdot k'=n\cdot k+n\,$

   für alle ${}n,k\in \mathbb {N}$.

4. Die Multiplikation ist kommutativ.
5. Für beliebige ${}k,m,n\in \mathbb {N}$ gilt

   ${}k\cdot (m+n)=k\cdot m+k\cdot n\,$

   (Distributivgesetz).

6. Die Multiplikation ist assoziativ.

Beweis

1. 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.
2. 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 }\,.$

3. 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}}$

4. Die Kommutativität beweisen wir durch Induktion nach ${}k$, und zwar beweisen wir die Behauptung

   ${}n\cdot k=k\cdot n\,$

   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^{\prime }=n\cdot k+n=k\cdot n+n=k^{\prime }\cdot n\,.$

5. Das Distributivgesetz

   ${}k\cdot (m+n)=k\cdot m+k\cdot n\,$

   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

   ${}{\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}}$

6. 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

$\mathbb {N} \times \mathbb {N} \longrightarrow \mathbb {N} ,\,(x,y)\longmapsto x\cdot y,$

die

$0\cdot y=0{\text{ für alle }}y\in \mathbb {N} {\text{ und }}x'\cdot y=x\cdot y+y{\text{ für alle }}x,y\in \mathbb {N}$

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$

Die Anzahl der Produktmenge

Satz

Es seien ${}M$ und ${}N$ endliche Mengen mit ${}m$ bzw. ${}n$ Elementen.

Dann besitzt die Produktmenge ${}M\times N$ genau ${}m\cdot n$ Elemente.

Beweis

Wir führen Induktion über ${}m$, also die Anzahl von ${}M$. Wenn ${}m=0$ ist, so ist ${}M$ leer und damit ist auch die Produktmenge leer, hat also ebenfalls ${}0$ Elemente, was nach Lemma 9.2  (1) mit dem Produkt übereinstimmt. Dies sichert den Induktionsanfang. Wenn ${}m=1$ ist, so besteht ${}M$ aus genau einem Element, sagen wir ${}x$, und alle Elemente der Produktmenge haben die Form ${}(x,y)$ mit diesem einen ${}x$ und einem beliebigen ${}y\in N$. Somit ist

$N\longrightarrow M\times N,\,y\longmapsto (x,y),$

eine bijektive Abbildung und ${}M\times N$ hat genau so viele Elemente wie ${}N$, nämlich ${}n$. Dies stimmt nach Lemma 9.2  (2) mit dem Produkt ${}1\cdot n$ überein. Es sei nun die Aussage für alle Mengen ${}M$ mit ${}m$ Elementen (und beliebige endliche Mengen ${}N$) bewiesen und es liege eine ${}(m+1)$-elementige Menge ${}M$ vor. Es sei ${}x\in M$ ein fixiertes Element und wir betrachten die disjunkte Zerlegung

${}M=(M\setminus \{x\})\cup \{x\}\,.$

Die Menge ${}M\setminus \{x\}$ besitzt dann ${}m$ Elemente, sodass wir auf diese Menge die Induktionsvoraussetzung anwenden können. Ferner ist

${}M\times N={\left((M\setminus \{x\})\times N\right)}\cup {\left(\{x\}\times N\right)}\,$

und diese Vereinigung ist disjunkt (die erste Komponente eines Paares ist entweder ${}x$ oder nicht ${}x$). Daher ist nach Satz 8.13 die Anzahl von ${}M\times N$ gleich der Summe der Anzahlen der beiden Bestandteile, also nach der Induktionsvoraussetzung, dem einelementigen Spezialfall und Lemma 9.2  (3) gleich

${}m\cdot n+n=(m+1)\cdot n\,.$

$\Box$

Das Distributivgesetz illustriert anhand der Interpretation der Multiplikation als Anzahl einer Produktmenge.

Wir geben noch einen zweiten Beweis für die vorstehende Aussage.

Wir behaupten, dass die Abbildung

$\psi \colon \{1,\ldots ,m\}\times {\{1,\ldots ,n\}}\longrightarrow \{1,2,\ldots ,mn\},\,(i,j)\longmapsto (i-1)n+j,$

bijektiv ist. Zum Beweis der Surjektivität sei ${}z\in \{1,2,\ldots ,mn\}$ vorgegeben. Dieses (ganzzahlige) Intervall kann man in die disjunkten Intervalle

$\{1,\ldots ,n\}\cup \{n+1,\ldots ,2n\}\cup \{2n+1,\ldots ,3n\}\cup \ldots \cup \{(m-1)n+1,\ldots ,mn\}$

unterteilen. Das Element ${}z$ gehört somit zu einem dieser Intervalle, d.h. es gibt ein ${}i$ mit

${}z\in \{(i-1)n+1,\ldots ,in\}\,$

mit ${}i$ zwischen ${}1$ und ${}m$. Dann ist

${}z=(i-1)n+j\,$

mit einem ${}j$ zwischen ${}1$ und ${}n$ und gehört somit zum Bild. Zum Beweis der Injektivität seien

${}(i,j),(k,\ell )\in \{1,\ldots ,m\}\times {\{1,\ldots ,n\}}\,$

gegeben, die auf das gleiche Element abbilden. Es gilt also

${}(i-1)n+j=(k-1)n+\ell \,.$

Da ${}j$ und ${}\ell$ beide zu ${}{\{1,\ldots ,n\}}$ gehören, sind die Summen jeweils maximal gleich ${}in$ bzw. ${}kn$. Daher können die Zahlen nur dann gleich sein, wenn

${}i=k\,$

und dann nach der Abziehregel auch

${}j=\ell \,$

ist.

Potenzen

Definition

Zu einer natürlichen Zahl ${}a$ und einer natürlichen Zahl ${}n$ nennt man die ${}n$-fache Multiplikation von ${}a$ mit sich selbst

$a\cdot a\cdots a\cdot a$

(${}n$ Faktoren) die ${}n$-te Potenz von ${}a$. Sie wird mit ${}a^{n}$ bezeichnet.

Die Zahl ${}a$ heißt in diesem Zusammenhang die Basis der Potenz und ${}n$ der Exponent. Bei ${}n=0$ ist dies als

${}a^{0}=1\,$

zu verstehen. Dies gilt auch für ${}0$, also ${}0^{0}=1$, wobei man hier häufig auf eine Festlegung verzichtet. Für positive Exponenten ${}n$ ist jedenfalls

${}0^{n}=0\,.$

Wie gesagt, der Exponent bestimmt die Anzahl der Faktoren

$\underbrace {a\cdot a{\cdots }a} _{n{\text{-mal}}},$

die Anzahl der auszuführenden Multiplikationen ist um eins kleiner. Man kann aber auch von ${}1$ ausgehen und die Potenz als

$1\cdot a\cdot a\cdots a\cdot a$

auffassen.

Bei fixiertem Exponenten ${}n$ bilden die Potenzen

$0^{n},1^{n},2^{n},3^{n},4^{n},\ldots$

die Menge aller ${}n$-ten Potenzen. Bei ${}n=2$ ist das die Menge der Quadratzahlen, bei ${}n=3$ die Menge der Kubikzahlen. Bei fixierter Basis ${}a$ bilden die Potenzen

$a^{0},a^{1},a^{2},a^{3},a^{4},\ldots$

die Menge aller ${}a$-er Potenzen, also alle Zweierpotenzen, alle Dreierpotenzen, u.s.w.

Als Rechenregeln für das Potenzieren halten wir die folgenden Eigenschaften fest.

Lemma

Für das Potenzieren gelten die folgenden Eigenschaften, wobei ${}a,b\in \mathbb {N} _{+}$ und ${}m,n\in \mathbb {N}$ seien.

1. ${}a^{m+n}=a^{m}\cdot a^{n}\,.$

2. ${}(a^{m})^{n}=a^{mn}\,.$

3. ${}(a\cdot b)^{n}=a^{n}\cdot b^{n}\,.$

Beweis

Siehe Aufgabe 9.14.

$\Box$

Definition

Eine Zahl der Form ${}n^{2}$ mit ${}n\in \mathbb {N}$ heißt Quadratzahl.

Die Ordnungsrelation

Wir wollen auf den natürlichen Zahlen die Größer- bzw. genauer die Größergleich-Ordnung einführen.

Definition

Eine Relation ${}R$ auf einer Menge ${}M$ ist eine Teilmenge der Produktmenge ${}M\times M$, also ${}R\subseteq M\times M$.

Definition

Eine Relation ${}\preccurlyeq$ auf einer Menge ${}I$ heißt Ordnungsrelation oder Ordnung, wenn folgende drei Bedingungen erfüllt sind.

1. Es ist ${}i\preccurlyeq i$ für alle ${}i\in I$.
2. Aus ${}i\preccurlyeq j$ und ${}j\preccurlyeq k$ folgt stets ${}i\preccurlyeq k$.
3. Aus ${}i\preccurlyeq j$ und ${}j\preccurlyeq i$ folgt ${}i=j$.

Definition

Eine Ordnungsrelation ${}\preccurlyeq$ auf einer Menge ${}I$ heißt lineare Ordnung (oder totale Ordnung), wenn zu je zwei Elementen ${}x,y\in I$ die Beziehung ${}x\preccurlyeq y$ oder ${}y\preccurlyeq x$ gilt.

Fußnoten

<< | Kurs:Grundkurs Mathematik (Osnabrück 2016-2017)/Teil I | >> PDF-Version dieser Vorlesung Arbeitsblatt zur Vorlesung (PDF)