Kurs:Grundkurs Mathematik (Osnabrück 2018-2019)/Teil I/Vorlesung 9/latex
\setcounter{section}{9}
\epigraph { In theory, 'theory' and 'praxis' are the same, in praxis they aren't } { }
\zwischenueberschrift{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
\mathdisp {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\zusatzfussnote {Man beachte, dass hier die erste Zahl angibt, wie oft die zweite Zahl mit sich selbst zu addieren ist. Bei der Definition der Addition gibt gemäß unserer Definition die zweite Zahl an, wie oft von der ersten Zahl ausgehend der Nachfolger zu nehmen ist. Bei der Potenzierung gibt wiederum die zweite hochgestellte Zahl an, wie oft die erste untenstehende Zahl mit sich selbst zu multiplizieren ist. Es gibt hier also keine einheitliche Reihenfolge, welche Zahl die Anzahl der Prozesse festlegt. In der Multiplikation soll die erste Zahl die Prozesse zählen, weil man drei Kühe sagt und nicht Kühe drei} {.} {.}
\inputdefinition
{}
{
Das
\definitionswort {Produkt}{}
\mathl{a \cdot b}{} zweier
\definitionsverweis {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
\zusatzklammer {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
\mathdisp {0 +b +b + \cdots + b+b} { }
und $a$-fach den gleichen Prozess. Die beiden Zahlen
\mathkor {} {a} {und} {b} {}
heißen \stichwort {Faktoren} {,} das Ergebnis heißt das \stichwort {Produkt} {,} die Verknüpfung heißt \stichwort {Multiplikation} {.}
\bild{ \begin{center}
\includegraphics[width=5.5cm]{\bildeinlesung {Tpitagoras.gif} }
\end{center}
\bildtext {} }
\bildlizenz { Tpitagoras.gif } {webmaster del sitio} {Liraca} {Commons} {gemeinfrei} {}
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 \mathkor {} {0} {und} {10} {,} das sogenannte \stichwort {kleine Einmaleins} {} lässt sich so erstellen \zusatzklammer {auch in anderen Systemen} {} {.} Man kann dann grundsätzlich sämtliche Multiplikationen im Zehnersystem darauf zurückführen, was im schriftlichen Multiplizieren ausgenutzt wird, siehe die sechzehnte Vorlesung. 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.
\inputfaktbeweis
{Natürliche Zahlen/Multiplikation/Selbstaddition/Eigenschaften/Fakt}
{Lemma}
{}
{
\faktsituation {Für die Multiplikation der
\definitionsverweis {natürlichen Zahlen}{}{}
\zusatzklammer {mit der in der
Definition 9.1
festgelegten Multiplikation} {} {}}
\faktfolgerung {gelten folgende Aussagen.
\aufzaehlungsechs{Es gilt
\mavergleichskettedisp
{\vergleichskette
{ 0 \cdot n
}
{ =} { 0
}
{ =} { n \cdot 0
}
{ } {
}
{ } {
}
}
{}{}{}
für alle $n$.
}{Es gilt
\mavergleichskettedisp
{\vergleichskette
{ 1 \cdot n
}
{ =} { n
}
{ =} { n \cdot 1
}
{ } {
}
{ } {
}
}
{}{}{}
für alle $n$, d.h.
\mavergleichskette
{\vergleichskette
{1
}
{ = }{ 0^\prime
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
ist das
\definitionsverweis {neutrale Element}{}{}
für die Multiplikation.
}{Es ist
\mavergleichskettedisp
{\vergleichskette
{ k' \cdot n
}
{ =} { k \cdot n + n
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
und
\mavergleichskettedisp
{\vergleichskette
{ n \cdot k'
}
{ =} { n \cdot k +n
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
für alle
\mavergleichskette
{\vergleichskette
{ n,k
}
{ \in }{ \N
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{.}
}{Die Multiplikation ist
\definitionsverweis {kommutativ}{}{.}
}{Für beliebige
\mavergleichskette
{\vergleichskette
{ k,m,n
}
{ \in }{ \N
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
gilt
\mavergleichskettedisp
{\vergleichskette
{ k \cdot (m+n)
}
{ =} {k \cdot m + k \cdot n
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
\zusatzklammer {Distributivgesetz} {} {.}
}{Die Multiplikation ist
\definitionsverweis {assoziativ}{}{.}
}}
\faktzusatz {}
\faktzusatz {}
}
{
\aufzaehlungsechs{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
\zusatzklammer {die leere Summe} {} {,}
ist als $0$ zu interpretieren.
}{Die erste Gleichung ist klar, der Ausdruck
\mathl{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
\zusatzklammer {für
\mavergleichskettek
{\vergleichskettek
{ n
}
{ = }{ 0,1
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}} {} {}
klar ist. Es sei die Aussage also schon für $n$ bewiesen. Der Unterschied zwischen
\mathkor {} {n \cdot 1} {und} {n^\prime \cdot 1} {}
besteht darin, dass im zweiten Fall einmal mehr
\mathl{+1}{} dasteht. Somit ist
\mavergleichskettedisp
{\vergleichskette
{ 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
\mavergleichskettealign
{\vergleichskettealign
{ 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
}
}
{}
{}{.}
}{Die Kommutativität beweisen wir durch Induktion nach $k$, und zwar beweisen wir die Behauptung
\mavergleichskettedisp
{\vergleichskette
{ n \cdot k
}
{ =} { k \cdot n
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
für alle $n$. Der Fall
\mavergleichskette
{\vergleichskette
{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
\mavergleichskettedisp
{\vergleichskette
{ n \cdot k^\prime
}
{ =} { n \cdot k + n
}
{ =} { k \cdot n +n
}
{ =} { k^\prime \cdot n
}
{ } {
}
}
{}{}{.}
}{Das Distributivgesetz
\mavergleichskettedisp
{\vergleichskette
{ k \cdot (m+n)
}
{ =} { k \cdot m + k \cdot n
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
beweisen wir durch Induktion nach $k$ für beliebige $m,n$. Der Fall
\mavergleichskette
{\vergleichskette
{k
}
{ = }{ 0
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
ist klar, da beidseitig $0$ rauskommt. Unter Verwendung der Induktionsvoraussetzung und Teil (3) ergibt sich
\mavergleichskettealign
{\vergleichskettealign
{ 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
}
}
{}
{}{.}
}{Das Assoziativitätsgesetz beweisen wir durch Induktion nach dem ersten Faktor
\zusatzklammer {wobei der Induktionsanfang wieder klar ist} {} {}
unter Verwendung des Distributivgesetzes und Teil (3).
\mavergleichskettealign
{\vergleichskettealign
{ 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
}
}
{}
{}{.}
}
Es gilt insbesondere
\mavergleichskette
{\vergleichskette
{ 0 \cdot n
}
{ = }{ 0
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
und die rekursive Beziehung
\mavergleichskettedisp
{\vergleichskette
{ n^\prime \cdot k
}
{ =} {n \cdot k + k
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{.}
Diese Eigenschaft nennen wir die \stichwort {Anreihungsregel} {,} sie ist ein Spezialfall des Distributivgesetzes. Ihre inhaltliche Bedeutung ist, dass sich die Anzahl der Elemente in einer Produktmenge
\zusatzklammer {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.
\inputfaktbeweis
{Natürliche Zahlen/Eindeutigkeit der Multiplikation/Rekursive Bedingung/Fakt}
{Satz}
{}
{
\faktsituation {Auf den natürlichen Zahlen}
\faktfolgerung {gibt es eine eindeutig bestimmte
\definitionsverweis {Verknüpfung}{}{}
\maabbeledisp {} {\N \times \N} { \N
} {(x,y)} {x \cdot y
} {,}
die
\mathdisp {0 \cdot y =0 \text { für alle } y \in \N \text{ und } x' \cdot y = x \cdot y + y \text { für alle } x,y \in \N} { }
erfüllt.}
\faktzusatz {}
\faktzusatz {}
}
{
Es seien
\mathkor {} {\cdot} {und} {\star} {}
zwei Verknüpfungen auf $\N$, die beide diese Eigenschaften erfüllen. Wir müssen
\mavergleichskettedisp
{\vergleichskette
{x \cdot y
}
{ =} {x \star y
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
für alle
\mavergleichskette
{\vergleichskette
{ x,y
}
{ \in }{ \N
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
zeigen. Wir führen Induktion nach $x$. Der Induktionsanfang ist klar, da wegen der ersten charakteristischen Eigenschaft
\mavergleichskettedisp
{\vergleichskette
{ 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
\mavergleichskettedisp
{\vergleichskette
{ x^\prime \cdot y
}
{ =} { x \cdot y + y
}
{ =} { x \star y + y
}
{ =} { x^\prime \star y
}
{ } {
}
}
{}{}{.}
Die folgende Eigenschaft heißt \stichwort {Integritätseigenschaft} {.}
\inputfaktbeweis
{Natürliche Zahlen/Multiplikation/Selbstaddition/Integrität/Fakt}
{Lemma}
{}
{
\faktsituation {}
\faktfolgerung {Das Produkt zweier natürlicher Zahlen ist nur dann gleich $0$, wenn einer der Faktoren $0$ ist.}
\faktzusatz {}
\faktzusatz {}
}
{
Wir zeigen, dass mit
\mavergleichskette
{\vergleichskette
{a,b
}
{ \neq }{0
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
auch das Produkt $ab$ von $0$ verschieden ist. Das Produkt ist
\mathdisp {\underbrace{b+b + \cdots + b}_{a-\text{fach} }} { }
und hier steht mindestens ein Summand. Aus
Lemma 8.13
und
\mavergleichskette
{\vergleichskette
{b
}
{ \neq }{0
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
folgt, dass diese Summe nicht $0$ ist.
Die folgende Eigenschaft heißt \stichwort {Kürzungsregel} {.}
\inputfaktbeweis
{Natürliche Zahlen/Multiplikation/Selbstaddition/Kürzungsregel/Fakt}
{Lemma}
{}
{
\faktsituation {Aus einer Gleichung
\mavergleichskette
{\vergleichskette
{ n \cdot k
}
{ = }{m \cdot k
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
mit
\mavergleichskette
{\vergleichskette
{ k,m,n
}
{ \in }{ \N
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
und mit
\mavergleichskette
{\vergleichskette
{k
}
{ \neq }{0
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
folgt}
\faktfolgerung {
\mavergleichskette
{\vergleichskette
{n
}
{ = }{m
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{.}}
\faktzusatz {}
\faktzusatz {}
}
{
Wir führen Induktion nach $n$. Bei
\mavergleichskette
{\vergleichskette
{n
}
{ = }{ 0
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
ist
\mavergleichskette
{\vergleichskette
{ 0 \cdot k
}
{ = }{ 0
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
nach
Lemma 9.2 (1).
Also ist
\mavergleichskettedisp
{\vergleichskette
{0
}
{ =} { m \cdot k
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
und wegen
\mavergleichskette
{\vergleichskette
{k
}
{ \neq }{0
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
folgt mit
Lemma 9.4
daraus
\mavergleichskette
{\vergleichskette
{m
}
{ = }{ 0
}
{ = }{ n
}
{ }{
}
{ }{
}
}
{}{}{.}
Es sei die Aussage für ein $n$
\zusatzklammer {und beliebige
\mavergleichskettek
{\vergleichskettek
{ k
}
{ \neq }{ 0
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
und $m$} {} {}
bewiesen. Die Aussage ist für den Nachfolger $n'$ zu zeigen. Die Bedingung
\mavergleichskettedisp
{\vergleichskette
{ n' \cdot k
}
{ =} { m \cdot k
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
kann bei
\mavergleichskette
{\vergleichskette
{m
}
{ = }{ 0
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
wegen
Lemma 9.4
nicht gelten. Also ist $m$ ein Nachfolger, sagen wir
\mavergleichskette
{\vergleichskette
{m
}
{ = }{ \ell'
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{.}
Somit ist
\mavergleichskettedisp
{\vergleichskette
{ n \cdot k +k
}
{ =} { n' \cdot k
}
{ =} { m \cdot k
}
{ =} { \ell' \cdot k
}
{ =} { \ell \cdot k +k
}
}
{}{}{.}
Aus
der Abziehregel
folgt
\mavergleichskettedisp
{\vergleichskette
{ n \cdot k
}
{ =} { \ell \cdot k
}
{ } {}
{ } {}
{ } {}
}
{}{}{}
und aus der Induktionsvoraussetzung folgt
\mavergleichskettedisp
{\vergleichskette
{ n
}
{ =} { \ell
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{,}
also
\mavergleichskettedisp
{\vergleichskette
{n'
}
{ =} { \ell'
}
{ =} { m
}
{ } {
}
{ } {
}
}
{}{}{.}
\zwischenueberschrift{Die Anzahl der Produktmenge}
\bild{ \begin{center}
\includegraphics[width=5.5cm]{\bildeinlesung {Aples.svg} }
\end{center}
\bildtext {} }
\bildlizenz { Aples.svg } {} {Zaur Ahmetov} {Commons} {CC-by-sa 4.0} {}
\inputfaktbeweis
{Natürliche Zahlen/Multiplikation/Selbstaddition/Produktmenge/Fakt}
{Satz}
{}
{
\faktsituation {Es seien
\mathkor {} {M} {und} {N} {}
\definitionsverweis {endliche Mengen}{}{}
mit
\mathkor {} {m} {bzw.} {n} {}
Elementen.}
\faktfolgerung {Dann besitzt die Produktmenge
\mathl{M\times N}{} genau
\mathl{m \cdot n}{} Elemente.}
\faktzusatz {}
\faktzusatz {}
}
{
Wir führen Induktion über $m$, also die Anzahl von $M$. Wenn
\mavergleichskette
{\vergleichskette
{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
\mavergleichskette
{\vergleichskette
{m
}
{ = }{1
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
ist, so besteht $M$ aus genau einem Element, sagen wir $x$, und alle Elemente der Produktmenge haben die Form
\mathl{(x,y)}{} mit diesem einen $x$ und einem beliebigen
\mavergleichskette
{\vergleichskette
{y
}
{ \in }{N
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{.}
Somit ist
\maabbeledisp {} {N} { M \times N
} {y} {(x,y)
} {,}
eine
\definitionsverweis {bijektive Abbildung}{}{}
und
\mathl{M \times N}{} hat genau so viele Elemente wie $N$, nämlich $n$. Dies stimmt nach
Lemma 9.2 (2)
mit dem Produkt
\mathl{1 \cdot n}{} überein. Es sei nun die Aussage für alle Mengen $M$ mit $m$ Elementen
\zusatzklammer {und beliebige endliche Mengen $N$} {} {}
bewiesen und es liege eine
\mathl{(m+1)}{-}elementige Menge $M$ vor. Es sei
\mavergleichskette
{\vergleichskette
{ x
}
{ \in }{ M
}
{ }{}
{ }{}
{ }{}
}
{}{}{}
ein fixiertes Element und wir betrachten die disjunkte Zerlegung
\mavergleichskettedisp
{\vergleichskette
{M
}
{ =} { ( M \setminus \{x\} ) \cup \{x\}
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{.}
Die Menge
\mathl{M \setminus \{x\}}{} besitzt dann $m$ Elemente, sodass wir auf diese Menge die Induktionsvoraussetzung anwenden können. Ferner ist
\mavergleichskettedisp
{\vergleichskette
{M \times N
}
{ =} { { \left( ( M \setminus \{x\} ) \times N \right) } \cup { \left( \{x\} \times N \right) }
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
und diese Vereinigung ist disjunkt
\zusatzklammer {die erste Komponente eines Paares ist entweder $x$ oder nicht $x$} {} {.}
Daher ist nach
Satz 8.14
die Anzahl von
\mathl{M \times N}{} gleich der Summe der Anzahlen der beiden Bestandteile, also nach der Induktionsvoraussetzung, dem einelementigen Spezialfall und
Lemma 9.2 (3)
gleich
\mavergleichskettedisp
{\vergleichskette
{m \cdot n +n
}
{ =} { (m+1) \cdot n
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{.}
\bild{ \begin{center}
\includegraphics[width=5.5cm]{\bildeinlesung {Three-by-Four-Distributivitivity.jpg} }
\end{center}
\bildtext {Das Distributivgesetz illustriert anhand der Interpretation der Multiplikation als Anzahl einer Produktmenge.} }
\bildlizenz { Three-by-Four-Distributivitivity.jpg } {} {Jean-Luc W} {Commons} {CC-by-sa 3.0} {}
Wir geben noch einen zweiten Beweis für die vorstehende Aussage.
Wir behaupten, dass die Abbildung\zusatzfussnote {Der Ausdruck
\mathl{i-1}{} bezeichnet hier den Vorgänger von $i$, die Subtraktion haben wir noch nicht eingeführt} {.} {}
\maabbeledisp {\psi} { \{ 1 , \ldots , m \} \times { \{ 1 , \ldots , n \} } } { \{1,2 , \ldots , mn \}
} { (i,j)} { (i-1)n +j
} {,}
bijektiv ist. Zum Beweis der Surjektivität sei
\mavergleichskette
{\vergleichskette
{ z
}
{ \in }{ \{1,2 , \ldots , mn\}
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
vorgegeben. Dieses
\zusatzklammer {ganzzahlige} {} {}
Intervall kann man in die
\definitionsverweis {disjunkten}{}{}
Intervalle
\mathdisp {\{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
\mavergleichskettedisp
{\vergleichskette
{ z
}
{ \in} { \{ (i-1)n+1 , \ldots , i n\}
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
mit $i$ zwischen
\mathkor {} {1} {und} {m} {.}
Dann ist
\mavergleichskettedisp
{\vergleichskette
{z
}
{ =} { (i-1) n +j
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
mit einem $j$ zwischen
\mathkor {} {1} {und} {n} {}
und gehört somit zum Bild. Zum Beweis der Injektivität seien
\mavergleichskettedisp
{\vergleichskette
{ (i,j), (k,\ell )
}
{ \in} { \{ 1 , \ldots , m \} \times { \{ 1 , \ldots , n \} }
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
gegeben, die auf das gleiche Element abbilden. Es gilt also
\mavergleichskettedisp
{\vergleichskette
{ (i-1)n + j
}
{ =} { (k-1)n + \ell
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{.}
Da
\mathkor {} {j} {und} {\ell} {}
beide zu
\mathl{{ \{ 1 , \ldots , n \} }}{} gehören, sind die Summen jeweils maximal gleich
\mathkor {} {in} {bzw.} {kn} {.}
Daher können die Zahlen nur dann gleich sein, wenn
\mavergleichskettedisp
{\vergleichskette
{i
}
{ =} {k
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
und dann
nach der Abziehregel
auch
\mavergleichskettedisp
{\vergleichskette
{j
}
{ =} { \ell
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
ist.
\zwischenueberschrift{Potenzen}
\inputdefinition
{}
{
Zu einer natürlichen Zahl $a$ und einer natürlichen Zahl $n$ nennt man die $n$-fache Multiplikation von $a$ mit sich selbst
\mathdisp {a \cdot a \cdots a \cdot a} { }
\zusatzklammer {$n$ Faktoren} {} {}
die $n$-te
\definitionswort {Potenz}{}
von $a$. Sie wird mit
\mathl{a^n}{} bezeichnet.
}
Die Zahl $a$ heißt in diesem Zusammenhang die \stichwort {Basis} {} der Potenz und $n$ der \stichwort {Exponent} {.} Bei
\mavergleichskette
{\vergleichskette
{n
}
{ = }{ 0
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
ist dies als
\mavergleichskettedisp
{\vergleichskette
{a^0
}
{ =} {1
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
zu verstehen. Dies gilt auch für $0$, also
\mavergleichskette
{\vergleichskette
{0^0
}
{ = }{1
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{,}
wobei man hier häufig auf eine Festlegung verzichtet. Für positive Exponenten $n$ ist jedenfalls
\mavergleichskettedisp
{\vergleichskette
{0^n
}
{ =} { 0
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{.}
Wie gesagt, der Exponent bestimmt die Anzahl der Faktoren
\mathdisp {\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
\mathdisp {1 \cdot a \cdot a \cdots a \cdot a} { }
auffassen.
Bei fixiertem Exponenten $n$ bilden die Potenzen
\mathdisp {0^n,1^n,2^n,3^n,4^n, \ldots} { }
die Menge aller $n$-ten Potenzen. Bei
\mavergleichskette
{\vergleichskette
{n
}
{ = }{2
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
ist das die Menge der Quadratzahlen, bei
\mavergleichskette
{\vergleichskette
{n
}
{ = }{3
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
die Menge der Kubikzahlen. Bei fixierter Basis $a$ bilden die Potenzen
\mathdisp {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.
{Natürliche Zahlen/Potenzen/Zählen/Fakt}
{Lemma}
{}
{
\faktsituation {Für das Potenzieren gelten die folgenden Eigenschaften, wobei
\mavergleichskette
{\vergleichskette
{ a,b
}
{ \in }{\N_+
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
und
\mavergleichskette
{\vergleichskette
{ m,n
}
{ \in }{\N
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
seien.}
\faktfolgerung {\aufzaehlungdrei{
\mavergleichskettedisp
{\vergleichskette
{ a^{m+n}
}
{ =} { a^m \cdot a^n
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{.}
}{
\mavergleichskettedisp
{\vergleichskette
{ (a^{m})^n
}
{ =} { a^{m n }
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{.}
}{
\mavergleichskettedisp
{\vergleichskette
{(a\cdot b)^n
}
{ =} { a^n \cdot b^n
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{.}
}}
\faktzusatz {}
\faktzusatz {}
{ Siehe Aufgabe 9.19. }
\inputdefinition
{}
{
Eine Zahl der Form
\mathl{n^2}{} mit
\mavergleichskette
{\vergleichskette
{ n
}
{ \in }{ \N
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
heißt
\definitionswort {Quadratzahl}{.}
}