Freitag 28.10.2016

Mathematik für Physiker I, WS 2016/2017
Freitag 28.10
$Id: reell.tex,v 1.38 2016/10/28 16:14:23 hk Exp $
§1
Die reellen Zahlen
1.2
Aussagen und Mengen
In der letzten Sitzung haben wir die neun arithmetischen Axiome der reellen Zahlen
eingeführt und aus diesen einige einfache Folgerungen gezogen. Bevor wir unsere Diskussion der reellen Zahlen mit der nächsten Axiomengruppe fortsetzen, ist es jetzt erst
einmal an der Zeit einige grundsätzliche Fragen zu klären. Nachdem wir im vorigen
Abschnitt schon einige Beispiele von Beweisen gesehen haben, wollen wir den formalen Umgang mit mathematischen Aussagen besprechen, dieser ist der Gegenstand der
sogenannten Aussagenlogik.
Unter einer Aussage verstehen wir einen sprachlichen Ausdruck der einen eindeutigen Wahrheitsgehalt hat, also entweder wahr oder falsch ist. Streng genommen sind
wir hier eigentlich nur an mathematischen Aussagen interessiert, dies meint Aussagen
die nur von mathematischen Objekten handeln. In der Logik betrachtet man auch allgemeinere Aussagen, dies führt aber schnell zu zusätzlichen Komplikationen, die für
uns keine Rolle spielen. Beispiele derartiger (mathematischer) Aussagen sind:
• 3 + 4 = 7.
• 7 · 8 = 44 (Dies ist zwar falsch, aber trotzdem eine Aussage).
• Die 5-te Nachkommastelle von π ist 9.
Alle diese Ausdrücke sind definitiv, und ohne jeden Verhandlungsspielraum jeweils
wahr oder falsch. In einer Hinsicht sind wir dagegen recht großzügig, es ist nicht nötig
zu wissen ob eine mathematische Aussage nun wahr oder falsch ist, es kommt nur
darauf an, daß sie eines von beiden ist. Beispiele solcher zweifelsfrei mathematischen
Aussagen, deren Wahrheitsgehalt wir zur Zeit nicht kennen sind:
• Die 1032538 -te Nachkommastelle von π ist eine 7.
• Es gibt beliebig große natürliche Zahlen n so, dass unter den ersten n Nachkommastellen von π die 7 genauso oft wie die 3 vorkommt.
Diese beiden Aussagen sind sicherlich entweder wahr oder falsch. Bei der ersten Aussage ist es eher unwahrscheinlich das irgendjemand diese Dezimalstelle von π einmal
ausgerechnet hat. Im Prinzip kann man durchaus entscheiden ob die Aussage wahr
oder falsch ist, es gibt sogar einen Algorithmus der beliebige Dezimalstellen von π berechnen kann ohne dabei die vorhergehenden Stellen berechnen zu müssen. Auch die
2-1
Mathematik für Physiker I, WS 2016/2017
Freitag 28.10
zweite Aussage ist entweder wahr oder falsch, wir wissen nur nicht was zutrifft, wir
können uns sogar ziemlich sicher sein, das man das nie wissen wird. Trotzdem handelt
es sich um eine mathematische Aussage in unserem Sinn, denn entweder wahr oder
falsch ist sie allemal, auch wenn wir nicht wissen welche dieser beiden Möglichkeiten
nun zutrifft.
Es gibt verschiedene Konstruktionen aus bereits gegebenen Aussagen A, B neue
Aussagen zusammenzusetzen. Diese werden gelegentlich als aussagenlogische Junktoren
bezeichnet. Der einfachste dieser Junktoren ist die Verneinung. Ist A eine Aussage, so
ist die Verneinung von A die Aussage ¬A, die genau dann wahr ist wenn A falsch ist.
Ebenfalls ohne Überraschungen ist die Konjuktion, oder simpler die und“, Aussage.
”
Bei dieser sind zwei Aussagen A, B gegeben, und man bildet die neue Aussage A ∧ B,
gesprochen als A und B, die genau dann wahr ist wenn beide Aussagen A und B wahr
sind.
Diese Festlegungen sollten nicht besonders überraschend sein. Der nächste unserer
Junktoren wird nun die Disjunktion, beziehungsweise oder“ Aussage, sein. Hier gibt es
”
ein kleines Detail zu beachten, die Bedeutung der Disjunktion weicht gelegentlich etwas
von der sonst üblichen Verwendung dieses Wortes ab. Sind A, B wieder zwei Aussagen,
so ist die Disjunktion A ∨ B, gesprochen als A oder B, genau dann wahr wenn eine der
beiden Aussagen A, B wahr ist. Hierbei ist immer der Fall erlaubt, dass sogar beide
Aussagen A, B wahr sind. Wir hatten bereits in der letzten Sitzung bemerkt, dass diese
Verwendung des Wortes oder“ etwas von der Umgangssprache abweicht. Beachte hier
”
auch das eine der beiden Aussagen A, B wahr ist“ erlaubt das sogar beide Aussagen
”
wahr sind, bei der Angabe von Anzahlen ist implizit immer mindestens“ gemeint,
”
beispielsweise ist die Aussage In dieser Vorlesung sind sieben Studenten“ wahr. Ist
”
dies nicht gemeint so setzt man explizit ein genau“ davor und hat die falsche Aussage
”
In dieser Vorlesung sind genau sieben Studenten“. Der Deutlichkeit halber können wir
”
Konjunktion und Disjunktion in Form sogenanter Wahrheitstabellen beschreiben. Die
Tabellen für Konjunktion und Disjunktion haben dabei die folgende Form:
@A
A ∨ B: B
@ 0 1
0 0 1
1 1 1
A
A ∧ B: @
B @ 0 1
0 0 0
1 0 1
In diesen Tabellen schreiben wir 0 für falsch“ und 1 für wahr“. Dies soll nicht etwa
”
”
bedeuten, dass die Zahlen 0 und 1 irgendetwas mit wahr“ und falsch“ zu tun haben,
”
”
es handelt sich nur um Symbole für diese Begriffe. Alternativ könnten wir auch f und
w anstelle von 0 und 1 schreiben.
Mit den logischen Junktoren kann man rechnen. Wir wollen hier eine der Rechenregeln für logische Junktoren hervorheben, die sogenannten de Morganschen Regeln
für Aussagen. Diese behandeln die Verneinung von und“ beziehungsweise von oder“
”
”
Aussagen. Da es sich hier um logische Tatsachen und nicht um mathematischen Aussagen handelt, wollen wir diese Formeln nicht als mathematische Sätze bezeichnen. Die
2-2
Mathematik für Physiker I, WS 2016/2017
Freitag 28.10
de Morganschen Regeln besagen
¬(A ∧ B) = (¬A) ∨ (¬B) und
¬(A ∨ B) = (¬A) ∧ (¬B)
für alle Aussagen A und B. Dabei steht das Gleichheitszeichen hier für ist gleich”
bedeutend mit“ oder äquivalent“, gelegentlich wird hierfür ein eigenes Zeichen, etwa
”
≡“, verwendet, für unsere Zwecke ist das aber nicht nötig. Wir wollen uns die de
”
Morgansche Regel für die Disjunktion einmal klarmachen, die andere Regel kann man
sich dann analog überlegen. Die einzige Möglichkeit das die Disjunktion A ∨ B falsch
ist, ist wenn A und B gleichzeitig beide falsch sind, wenn also (¬A) ∧ (¬B) wahr ist.
Dies bedeutet ¬(A ∨ B) = (¬A) ∧ (¬B). Als eine alternative Begründung kann man
sich auch die Wahrheitstafeln anschauen
¬(A ∨ B) :
0 1
0 1 0
1 0 0
(¬A) ∧ (¬B) :
0 1
0 1 0
1 0 0
Wir kommen jetzt zu einem weiteren logischen Junktor, der auch schon komplizierter
ist, der sogenannten Implikation. Sind A, B zwei Aussagen, so ist die Aussage A ⇒ B,
gesprochen als aus A folgt B“ oder A impliziert B“, wahr wenn mit A auch B stets
”
”
wahr ist. In Form einer Wahrheitstafel soll diese Festlegung gerade
A
A ⇒ B: @
B @ 0 1
0 1 0
1 1 1
bedeuten. Ist die Implikation A =⇒ B wahr, so nennt man A auch eine hinreichende
Bedingung für B und entsprechend B eine notwendige Bedingung für A. Beachte das
die Implikation A ⇒ B insbesondere immer dann wahr ist wenn die Voraussetzung A
der Implikation falsch ist. Anders gesagt soll aus einer falschen Aussage jede beliebige
andere Aussage folgen. Dies erscheint zunächst als eine etwas merkwürdige Festlegung, aber dieser Eindruck sollte bei näherer Betrachtung verfliegen. Umgangssprachlich würde man eine Aussage der Form Wenn morgen das Hörsaalgebäude einstürzt,
”
so fällt die Vorlesung aus“, als wahr betrachten unabhängig davon ob das Gebäude
morgen noch steht, selbst dann wenn die Vorlesung trotz eines in bestem Zustand befindlichen Hörsaals ausfällt. Ein weiterer Grund für die angegebene Interpretation der
Implikation, der für die Mathematik auch erheblich schwerwiegender ist, sind Aussagen
in denen Variablen vorkommen. Steht x beispielsweise für eine reelle Zahl, so sollte die
Aussage
x2 = 4 =⇒ −2 ≤ x ≤ 2
immer wahr sein, unabhängig davon welchen konkreten Wert x jetzt hat, also auch
wenn etwa x = 3 oder x = 0 ist.
2-3
Mathematik für Physiker I, WS 2016/2017
Freitag 28.10
Um eine Implikation A ⇒ B zu beweisen, kann man immer annehmen das die
Aussage A wahr ist, denn andernfalls gilt die Implikation sowieso. Ein Beispiel hatten
wir bei unserem Beweis von (F2) gesehen, als Implikation schreibt sich (F2) für reelle
Zahlen x, y, z als
x + z = y + z =⇒ x = y,
und im Beweis in seiner verkürzten Form sind wir dann gleich von x + z = y + z
ausgegangen.
Was ist jetzt die Verneinung der Implikation A ⇒ B? Diese ist genau dann wahr
wenn A ⇒ B falsch ist, und hierfür gibt es nur eine einzige Möglichkeit, A muss wahr
sein und B muss falsch sein. Als Formel bedeutet dies
¬(A ⇒ B) = A ∧ (¬B).
Verwenden wir jetzt noch die offensichtliche Tatsache, dass für jede Aussage X stets
¬¬X = X ist, so erhalten wir mit den de Morganschen Regeln
A ⇒ B = ¬¬(A ⇒ B) = ¬(A ∧ (¬B)) = (¬A) ∨ (¬¬B) = (¬A) ∨ B.
Insbesondere scheint die Implikation damit auf derselben inhaltlichen Stufe wie und“
”
und oder“ zu stehen, was Sie zumindest irritieren sollte. Dieser Eindruck täuscht auch
”
in gewisser Weise, denn der hier verwendete Implikationsbegriff ist rein formaler Natur.
Es kommt für die Wahrheit von A ⇒ B nur auf den Wahrheitswert der Aussagen A
und B an, nicht aber auf die inhaltliche Bedeutung dieser Aussagen. Diesen Implikationsbegriff sollte man nicht mit dem inhaltlichen Folgerungsbegriff verwechseln, dass
also eine Aussage B durch logisches Schließen aus einer Aussage A folgt. Bei letzterem
kommt es tatsächlich auf die Bedeutung von A und B an. Um eine Implikation zu
beweisen, verwendet man dagegen in aller Regel eine inhaltliche Argumentation, wie
bereits bemerkt wird A als wahr angenommen und dann auf B geschlossen.
Der letzte der üblichen logischen Junktoren ist die Äquivalenz, sind A, B zwei Aussagen, so ist die Aussage A ⇐⇒ B, gesprochen als A ist äquivalent zu B“ oder A
”
”
genau dann wenn B“, wahr wenn A die Aussage B impliziert und umgekehrt aus B
auch die Aussage A folgt, also als Wahrheitstabelle
A
A ⇔ B: @
B @ 0 1
0 1 0
1 0 1
oder als Formel
A ⇐⇒ B = A =⇒ B ∧ B =⇒ A.
Wir wollen nun eine der wichtigsten aussagenlogischen Tatsachen besprechen, das sogenannte Kontrapositionsprinzip. Tatsächlich haben wir dieses bereits in der letzten
Sitzung im Einsatz gesehen, wenn auch in einer sehr schlichten Situation. Als Aussage
(F8) hatten wir bewiesen das für jede reelle Zahl x stets 0 · x = 0 gilt, und dies hatten
2-4
Mathematik für Physiker I, WS 2016/2017
Freitag 28.10
wir dann beim Beweis von (F9) verwendet. Dort hatten wir wieder eine reelle Zahl x
diesmal mit x 6= 0 und hatten aus x−1 · x = 1 6= 0 auf x−1 6= 0 geschlossen, wir haben
also aus der Aussage
y = 0 =⇒ y · x = 0 auf y · x 6= 0 =⇒ y 6= 0
geschlossen. Dies ist eine einfache Anwendung des Kontrapositionsprinzips. Allgemein
besagt dieses das für je zwei Aussagen A, B stets
A =⇒ B = ¬B =⇒ ¬A (Kontrapositionsprinzip)
ist. In unserem Beispiel sind A und B gerade die folgenden Aussagen
y = 0 =⇒ y · x = 0 beziehungsweise y · x 6= 0 =⇒ y 6= 0 .
| {z }
| {z }
| {z }
| {z }
A
¬B
B
¬A
Inhaltlich sollte das Kontrapositionsprinzip unmittelbar klar sein, man kann es, wenn
man will, auch rechnerisch“ begründen
”
¬B =⇒ ¬A = (¬¬B) ∨ ¬A = ¬A ∨ B = A =⇒ B.
Will man eine Implikation A =⇒ B beweisen, so kann man nach dem Kontrapositionsprinzip anstelle dessen auch die Kontraposition ¬B =⇒ ¬A zeigen, man spricht dann
auch von einem Beweis per Kontraposition.
Die meisten der Aussagen des vorigen Abschnitts waren sogenannte Allaussagen,
also beispielsweise Aussagen wie (F1), dass für jede reelle Zahl x stets −(−x) = x gilt.
Bei derartigen Allaussagen wird gesagt das eine Aussage A(x) mit einer freien Variable
x für jedes x aus einer gegebenen Objektklasse zutrifft und man sagt dann auch das die
Allaussage über dieser Objektklasse quantifiziert ist. Die Ausssage (F1) ist dann über
reelle Zahlen quantifiziert. Allgemein lassen wir als Objektklassen beliebige Mengen zu
und gehen daher erst einmal auf den Mengenbegriff ein.
Die klassische, 1878 von Cantor gegebene, Definition des Mengenbegriffs ist
Unter einer Menge verstehen wir jede Zusammenfassung M von bestimmten, wohlunterschiedenen Objekten unserer Anschauung oder unseres Denkens, welche die Elemente von M genannt werden, zu einem Ganzen.
Eine Menge fasst also einige bereits vorhandene Objekte zu einem neuen Ganzen zusammen. Wir werden nur Mengen betrachten, deren Elemente allesamt mathematische
”
Objekte“ sind, also beispielsweise Zahlen. Sind M eine Menge und x irgendein mathematisches Objekt, so schreiben wir x ∈ M für x ist ein Element von M“ und x ∈
/M
”
für x ist kein Element von M“. Wir listen jetzt einige Beispiele von Mengen auf:
”
1. Die Menge M die die drei Elemente 1, 2, 3 hat kann man als
M = {1, 2, 3}
schreiben. Man setzt also die vorgesehenen Elemente der Menge in ein Paar geschweifter Klammern.
2-5
Mathematik für Physiker I, WS 2016/2017
Freitag 28.10
2. Es ist auch erlaubt in den geschweiften Klammern dasselbe Objekt mehrfach
aufzulisten
M = {1, 1, 2, 3} = {1, 2, 3}.
Ein Objekt ist entweder Element einer Menge oder nicht, so etwas wie eine
mehrfache Mitgliedschaft in einer Menge gibt es nicht. Im diesem Beispiel ist es
natürlich nicht besonders sinnvoll die Eins zweimal hinzuschreiben, man ist sogar
versucht so etwas ganz zu verbieten. Das wäre allerdings hochgradig unpraktisch.
Nehmen wir einmal an, wir hätten drei reelle Zahlen a, b, c gegeben, von denen
wir sonst nichts wissen. Es könnten also insbesondere Gleichheiten zwischen diesen Zahlen auftreten, etwa a = b 6= c. Wollen wir dann die Menge M mit den
Elementen a, b, c hinschreiben und bestünden bei {. . .} auf verschiedenen Objekten in den Klammern, so bräuchten wir eine Definition wie ist a = b = c, so sei
”
M = {a}, ist a = b 6= c, so sei M = {a, c}, . . .“, und so weiter bis alle Möglichkeiten für Gleichheiten zwischen a, b, c aufgelistet sind. Erlauben wir dagegen
Wiederholungen bei {. . .}, wie wir es tun, so kann man einfach M = {a, b, c}
schreiben.
3. Mengen können auch unendlich viele Elemente haben. Als ein Beispiel einer solchen Menge haben wir etwa die Menge aller natürlichen Zahlen. Für diese Menge
gibt es ein nur für sie reserviertes Symbol
N = {0, 1, 2, 3, . . .}.
Man muss leider etwas aufpassen, da es auch eine alternative Definition gibt bei
der die Null nicht zu den natürlichen Zahlen zählt, also N = {1, 2, 3, . . .}. Braucht
man dann doch einmal die Null dabei, so verwendet man N0 für die natürlichen
Zahlen mit Null. Welche der beiden Konventionen man verwendet, also mit oder
ohne Null, ist eine Geschmacksfrage, in der Literatur und in Lehrbüchern ist
beides anzutreffen. Wir wollen in dieser Vorlesung durchgängig die Variante mit
eingeschlossener Null verwenden.
4. Auch einige andere Zahlbereiche haben wie die natürlichen Zahlen eine Standardbezeichnung, diese sind:
Z
Q
R
C
−
−
−
−
die
die
die
die
ganzen Zahlen . . . , −2, −1, 0, 1, 2, . . .,
rationalen Zahlen, also Brüche ganzer Zahlen,
reellen Zahlen und
komplexen Zahlen, die in §3 eingeführt werden.
5. Als nächstes Beispiel wollen wir die Menge M aller geraden natürlichen Zahlen
hinschreiben. Eine naheliegende Schreibweise hierfür ist
M = {0, 2, 4, 6, 8, . . .}.
2-6
Mathematik für Physiker I, WS 2016/2017
Freitag 28.10
Eine derartige Pünktchen-Schreibweise“ muss man aber sehr sparsam verwen”
den, es muss wirklich unmissverständlich und ohne jeden Spielraum klar sein
wofür die Auslassungspunkte stehen. Beispielsweise kann man bei der Menge
N = {1, 7, 289, . . .} bestenfalls raten was damit gemeint sein soll, und so etwas
geht auch nicht als sinnvolle Mengenbeschreibung durch. Eine pünktchenfreie“
”
alternative Beschreibung der Menge M der geraden Zahlen kann man durch Parametrisierung der Elemente erhalten. Eine gerade natürliche Zahl ist ja definitionsgemäß eine Zahl die man als 2 · n für eine andere natürliche Zahl n schreiben
kann, und durchläuft n die natürlichen Zahlen, so durchläuft 2 · n die geraden
Zahlen. Dies führt auf die Schreibweise
M = {2n|n ∈ N}.
Dies ist dann ein Beispiel einer Mengendefinition durch allgemeine Aufzählung
der Elemente, rechts vom Strich stehen eine formale Variable und ein Wertebereich für diese und links vom Strich steht eine Formel mit der freien Variablen n.
Anstelle des senkrechten Strichs werden hier auch andere Trennsymbole verwendet, etwa Komma, Semikolon, Doppelpunkte und so weiter.
6. Die Schreibweise des vorigen Beispiels kann man jetzt auch auf kompliziertere Situationen ausdehnen in denen gleich mehrere laufende Variablen vorkommen. Als
ein Beispiel wollen wir einmal die Menge M aller natürlichen Zahlen hinschreiben, die sich als eine Summe von zwei Quadraten schreiben lassen. Diese Zahlen
haben die Form a + b wobei a, b zwei Quadratzahlen sind. Die Quadratzahlen
kann man ihrerseits wieder als a2 mit a ∈ N erhalten, und es ergibt sich
M = {a2 + b2 |a, b ∈ N}
als eine einfache Art die Menge M anzugeben. Entsprechend kann man auch die
Menge aller natürlichen Zahlen hinschreiben die sich als eine Summe von vier
Quadraten schreiben lassen, und es stellt sich heraus das
{a2 + b2 + c2 + d2 |a, b, c, d ∈ N} = N
ist. Wir wollen hier glauben das diese Gleichung wahr ist, der Beweis ist leider
viel zu kompliziert um ihn hier im ersten Semester vorzuführen. Dieses Beispiel
zeigt uns aber eine wichtige Tatsache, zwei Mengen sind dann gleich wenn sie
genau dieselben Elemente besitzen und nicht etwa wenn sie dieselben Beschreibungen haben. Die Beschreibungen der beiden Mengen links und rechts des obigen Gleichheitszeichens sind grundverschieden und lassen sich auch nicht durch
einfache Umformungen ineinander überführen, trotzdem sind die von ihnen beschriebenen Mengen gleich.
7. Neben der Mengenbildung durch Aufzählung wie in den vorigen beiden Beispielen
kann man Mengen auch noch durch Auswahl konstruieren. Haben wir eine Menge
M und eine Aussage A(x) über Elemente x ∈ M , so können wir die Menge
N := {x ∈ M |A(x)}
2-7
Mathematik für Physiker I, WS 2016/2017
Freitag 28.10
aller Elemente von M bilden für die A(x) zutrifft. Beispielsweise ist
{x ∈ R|x2 = 1} = {−1, 1}.
Der formale Aufbau dieser Art der Mengendefinition sieht genauso aus wie bei der
Mengenbildung durch Aufzählung, beide haben die Form {. . . | . . .}, es handelt
sich aber um zwei verschiedene Konstruktionen. Dass für verschiedene Dinge
nahezu gleiche Schreibweisen verwendet werden mag etwas unglücklich sein, stellt
sich aber im praktischen Gebrauch als unproblematisch heraus.
8. Bisher haben wir in all unseren Beispielen immer Zahlen als Elemente einer Menge
verwendet. Allgemeine Mengen dürfen aber auch kompliziertere Elemente haben,
etwa Punkte, Geraden, Kreise oder auch andere Mengen. Ein Beispiel hierfür ist
M = {{1, 2}, {3, 4}, 5}.
Dies ist eine Menge mit drei Elementen, und nicht etwa mit fünf, und diese drei
Elemente sind
M = {{1, 2}, {3, 4}, 5 },
| {z } | {z } |{z}
1
2
3
also die Menge {1, 2} mit den beiden Elementen 1 und 2, dann die Menge {3, 4}
und schließlich die Zahl 5. Insbesondere ist etwa 2 ∈
/ M , denn die Zahl 2 ist nur
ein Element eines Elements von M , aber eben kein Element von M selbst.
9. Ein letztes Beispiel ist die Menge
M = {{1}}.
Dies ist eine Menge mit einem einzelnen Element, aber dieses Element ist nicht
die Zahl Eins, sondern die Menge {1}, deren einziges Element 1 ist. Beachte
{1} =
6 1, denn Eins ist eine Zahl und keine Menge, und damit auch {{1}} =
6 {1}
denn diese beiden Mengen haben verschiedene Elemente.
2-8