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

Die Ordnung auf den natürlichen Zahlen

Definition

Man sagt, dass eine natürliche Zahl $n$ größergleich einer natürlichen Zahl $k$ ist, geschrieben

$n\ge k,$

wenn man von $k$ aus durch endlichfaches Nachfolgernehmen zu $n$ gelangt.

Auf dem nach rechts verlaufenden Zahlenstrahl bedeutet $n\ge k$, dass sich $n$ weiter rechts als $k$ befindet. Diese Interpretation gilt für alle reellen Zahlen.

Statt  $n\ge k$  schreibt man auch  $k\le n$  (gesprochen kleinergleich). Die Schreibweise  $n>k$  bedeutet  $n\ge k$  und  $n\ne k$. 

Lemma

Für natürliche Zahlen $n,k$ gilt

$n\ge k$

genau dann, wenn es ein  $m\in \mathbb{N}$  mit

$n=k+m$

gibt.

Beweis

Die Zahl $m$ gibt an, wie oft man von $k$ aus den Nachfolger nehmen muss, um zu $n$ zu gelangen.

$◻$

Lemma

Für die Größergleich-Relation in den natürlichen Zahlen gelten die folgenden Aussagen.

1. Es ist

   $a\ge 0$

   für alle  $a\in \mathbb{N}$. 

2. Es ist

   $a=0$

   oder

   $a\ge 1.$

3. Bei

   $a\ge b$

   gilt

   $a=b$

   oder

   $a\ge b+1.$

Beweis

Wir verwenden die Charakterisierung aus Lemma 10.2.

1. Ist klar wegen  $a=0+a$. 
2. Wir zeigen die Aussage  $a=0$  oder  $a\ge 1$  für alle  $a\in \mathbb{N}$  durch Induktion über $a$. Für  $a=0$  ist die Aussage klar. Es sei also angenommen, dass die Aussage für ein bestimmtes $a$ gelte. Dann ist  $a=0$  oder  $a\ge 1$.  Im ersten Fall ist dann  $1+a=1+0=1$  und insbesondere  $1+a\ge 1$.  Im zweiten Fall ist  $a=b+1$  mit einem  $b\in \mathbb{N}$  und damit  $a+1=(b+1)+1=1+(b+1)$. 
3. Wird ähnlich wie (2) bewiesen, siehe Aufgabe 10.4.

$◻$

Satz

Auf den natürlichen Zahlen

ist durch die Größergleich-Relation $\ge$ eine totale Ordnung definiert.

Beweis

Wir verwenden die Charakterisierung mit der Addition. Wegen  $n=n+0$  ist  $n\ge n$.  Wenn  $k\ge \ell$  und  $\ell \ge m$  ist, so bedeutet dies, dass es natürliche Zahlen $a,b$ mit  $k=\ell +a$  und  $\ell =m+b$  gibt. Dann gilt insgesamt

$k=\ell +a=(m+b)+a=m+(b+a)$

und somit ist auch  $k\ge m$.  Aus  $k\ge \ell$  und  $\ell \ge k$  ergibt sich  $k=\ell +a$  und  $\ell =k+b$  und somit  $k=k+(a+b)$.  Dies ist nach der Abziehregel nur bei  $a+b=0$  möglich, und dies ist wiederum, da $0$ kein Nachfolger ist, nur bei  $a=b=0$  möglich. Die Aussage  $a\ge b$  oder  $b\ge a$  beweisen wir durch Induktion über $a$ (für jedes feste $b$), wobei der Induktionsanfang wegen  $b\ge 0$  klar ist. Die Aussage gelte also für ein bestimmtes $a$. Wenn die erste Möglichkeit gilt, also  $a\ge b$,  so gilt wegen

$a+1>a\ge b$

erst recht  $a+1\ge b$.  Wenn die zweite Möglichkeit gilt, also  $a\le b$,  so gibt es zwei Möglichkeiten. Bei  $a=b$  ist  $a+1\ge b$  und die Gesamtaussage gilt für $a+1$. Andernfalls ist  $a<b$  und somit ist nach Lemma 10.3  (3)  $a+1\le b$  und die Gesamtaussage gilt erneut.

$◻$

Wir begründen nun, dass die Ordnungsrelation mit der Addition und der Multiplikation verträglich ist.

Satz

Es seien $a,b,c$ natürliche Zahlen. Dann gelten folgende Aussagen.

1. Es ist

   $a\ge b$

   genau dann, wenn

   $a+c\ge b+c$

   ist.

2. Aus

   $a\ge b$

   und

   $c\ge d$

   folgt

   $a+c\ge b+d.$

3. Aus

   $a\ge b$

   folgt

   $ca\ge cb.$

4. Aus

   $a\ge b$

   und

   $c\ge d$

   folgt

   $ac\ge bd.$

5. Aus

   $c\ge 1$

   und

   $ca\ge cb.$

   folgt

   $a\ge b.$

Beweis

1. Wir beweisen die Aussagen mit Lemma 10.2. Nach Voraussetzung gibt es ein  $m\in \mathbb{N}$  mit  $a=b+m$.  Dann ist auch  $a=b+m$.   $a+c=b+m+c=b+c+m$,  was  $a+c\ge b+c$  bedeutet.
2. Zweifache Anwendung von Teil (1) liefert

   $a+c\ge b+c\ge b+d,$

   sodass die Transitivität den Schluss ergibt.

3. Die Voraussetzung bedeutet wieder  $a=b+m$  mit einem  $m\in \mathbb{N}$.  Dann ist mit dem Distributivgesetz

   $ca=c(b+m)=cb+cm,$

   also  $ca\ge cm$. 

4. Aus den Voraussetzungen und Teil (3) ergibt sich

   $ac\ge bc\ge bd.$

5. Sei  $c\ge 1$.  Wir beweisen die Kontraposition, dass aus der Größerbeziehung  $b>a$  die Größerbeziehung  $bc>ac$  folgt. Es sei also  $b>a$.  Dann ist  $b\ge a+1$  und somit ist nach Teil (3) und Teil (2)

   $bc\ge (a+1)c=ac+c\ge ac+1,$

   also  $bc>ac$. 

$◻$

Die folgende Eigenschaft heißt Integritätseigenschaft.

Lemma

Das Produkt zweier natürlicher Zahlen ist nur dann gleich $0$, wenn einer der Faktoren $0$ ist.

Beweis

Wenn die beiden Faktoren $a,b$ nicht $0$ sind, so ist

$a,b\ge 1$

nach Lemma 10.3  (2) und somit ist

$a\cdot b\ge 1$

nach Satz 10.5  (4).

$◻$

Die folgende Eigenschaft heißt Kürzungsregel.

Lemma

Aus einer Gleichung  $n\cdot k=m\cdot k$  mit  $k,m,n\in \mathbb{N}$  und mit  $k\ne 0$  folgt

 $n=m$. 

Beweis

Dies folgt unmittelbar aus Satz 10.5  (5) und daraus, dass eine totale Ordnung vorliegt.

$◻$

Maxima und Minima

Definition

Zu einer endlichen nichtleeren Teilmenge  $T\subseteq \mathbb{N}$  heißt $a$ das Maximum von $T$, wenn  $a\in T$  ist und wenn  $a\ge x$  für alle  $x\in T$  gilt.

Definition

Zu einer nichtleeren Teilmenge  $T\subseteq \mathbb{N}$  heißt $b$ das Minimum von $T$, wenn  $b\in T$  ist und wenn  $b\le x$  für alle  $x\in T$  gilt.

Die leere Menge besitzt weder ein Maximum noch ein Minimum. Die Gesamtmenge $\mathbb{N}$ besitzt das Minimum $0$ und kein Maximum.

Die Differenz von natürlichen Zahlen

Aus einer Menge mit $a$ Elementen wird eine Teilmenge mit $b$ Elementen ($b\le a$) herausgenommen. Zurück bleibt eine Menge mit $a-b$ Elementen.

Definition

Für natürliche Zahlen

$a\ge b$

ist $a-b$ diejenige natürliche Zahl $c$ für die

$a=b+c$

gilt. Sie heißt die Differenz zwischen $a$ und $b$.

Man mache sich hier die Logik dieser Definition klar: Die Voraussetzung

$a\ge b$

bedeutet nach Lemma 10.2 die Existenz einer natürlichen Zahl $c$ mit

$a=b+c.$

Dieses $c$ ist aufgrund der Abziehregel durch diese Eigenschaft eindeutig bestimmt. Die Differenz gibt an, wie oft man von $b$ aus den Nachfolger nehmen muss, um zu $a$ zu gelangen. Die charakteristische Eigenschaft ist die Gleichheit

$b+(a-b)=a.$

Dabei ist $a-b$ die einzige Lösung für die Gleichung

$b+x=a.$

Ferner ist  $a-a=0$.  Wenn eine Gleichung  $a+b=c$  gegeben ist, so sagt man beim Übergang zu

$a=c-b$

auch, dass $b$ (beidseitig) abgezogen wird.

Für  $a<b$  ist der Ausdruck $a-b$ innerhalb der natürlichen Zahlen nicht definiert. Da zu  $a,b\in \mathbb{N}$  stets

$a\ge b$

oder

$b\ge a$

gilt, ist einer der beiden Ausdrücke $a-b$ oder $b-a$ eine wohldefinierte natürliche Zahl. Oft nennt man auch diese Zahl, die sich ergibt, wenn man die beiden Zahlen richtig geordnet hat, die Differenz der beiden Zahlen.

Für die Differenz können wir einfach eine mengentheoretische Interpretation angeben.

Satz

Es sei $M$ eine endliche Menge mit $m$ Elementen und es sei

$T\subseteq M$

eine Teilmenge, die $k$ Elemente besitze.

Dann besitzt

$M\setminus T$

genau $m-k$ Elemente.

Beweis

Es ist

$M=T\uplus (M\setminus T)$

eine disjunkte Zerlegung. Daher gilt nach Satz 8.13

$m=\mathrm{\#}\left(M\right)=\mathrm{\#}\left(T\right)+\mathrm{\#}(M\setminus T)=k+\mathrm{\#}(M\setminus T).$

Somit erfüllt $\mathrm{\#}(M\setminus T)$ die charakteristische Eigenschaft der Differenz und ist daher gleich $m-k$.

$◻$

Lemma

1. Für natürliche Zahlen $a,b,c$ mit

   $a\ge b$

   ist

   $b+c+(a-b)=c+a.$

   Insbesondere ist  $(a+c)-(b+c)=a-b$  und  $(a+c)-(a-b)=b+c$. 

2. Für natürliche Zahlen $a,b,c,d$ mit

   $a\ge b$

   und

   $c\ge d$

   ist

   $(a+c)-(b+d)=(a-b)+(c-d).$

   Insbesondere ist bei  $a\ge b$  stets  $(a+c)-b=(a-b)+c$. 

3. Bei

   $b+c\ge a\ge b$

   ist  $c\ge a-b$  und es ist

   $c-(a-b)=(c+b)-a.$

Beweis

1. Aus

   $b+(a-b)=a$

   ergibt sich direkt

   $b+c+(a-b)=c+a.$

   Die Zusätze ergeben sich aus der Eindeutigkeit der Differenz.

2. Wegen Satz 10.5  (2) ist

   $a+c\ge b+d,$

   sodass der Ausdruck links einen Sinn ergibt. Die Rechnung

   $(b+d)+(a-b)+(c-d)=d+a+(c-d)=a+c$

   unter Verwendung der ersten Teils zeigt, dass $(a-b)+(c-d)$ die charakteristische Eigenschaft von $(a+c)-(b+d)$ erfüllt, also wegen der Eindeutigkeit damit übereinstimmt.

3. Nach Teil (2) folgt aus  $a\ge b$  und  $b+c\ge a$  die Beziehung

   $(a-b)+((b+c)-a)=a+b+c-(a+b)=c$

   und insbesondere  $c\ge a-b$.  Beidseitiges Abziehen von $a-b$ ergibt

   $(b+c)-a=c-(a-b).$

$◻$

Die folgende Aussage ist das Distributivgesetz für die Differenz.

Lemma

Es seien $a,b,c$ natürliche Zahlen mit  $a\ge b$. 

Dann ist

$c(a-b)=ca-cb.$

Beweis

Nach Satz 10.5 ist mit  $a\ge b$  auch  $ca\ge cb$,  sodass $ca-cb$ wohldefiniert ist. Es ist

$a=(a-b)+b$

und daher ist nach dem Distributivgesetz für die Addition und die Multiplikation

$ca=c((a-b)+b)=c(a-b)+cb.$

Also ist

$c(a-b)=ca-cb.$

$◻$

Fußnoten

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