"Zahlen-Irrtum I": Es gibt nur halb so viele gerade Zahlen (2, 4, 6,.) wie Natürliche Zahlen (1, 2, 3, 4,.).

Ähnliche Dokumente
Verschiedene Stufen im Unendlichen das zweite Diagonalverfahren

2 ZAHLEN UND VARIABLE

Mengen und Relationen

Mathematik III. Vorlesung 61. Abzählbare Mengen

Mengen mit unendlich vielen Elementen - sind die immer gleich groß?

Folgen. Definition. Sei M eine beliebige Menge. Eine Abbildung a : N M oder a : N 0 M heißt eine Folge.

Vorlesung Diskrete Strukturen Die Sprache der modernen Mathematik

Kardinalzahlen. Bemerkung. Eine unendliche Kardinalzahl α muss eine Limesordinalzahl sein. (Beweis zur Übung)

7 Äquivalenzrelationen

Mengen. (Nicht-) Elemente einer Menge { 3, 4 } { 1, { 2 }, { 3, 4 }, { 5 } } 3 { 1, { 2 }, { 3, 4 }, { 5 } }

11 Dezimalbruchdarstellung reeller Zahlen; Mächtigkeitsvergleich von Mengen

Analysis I. Vorlesung 10. Mächtigkeiten

Logische Grundlagen der Mathematik, WS 2014/15

Mengenlehre und vollständige Induktion

Mengenlehre. Begriff der Mengenzugehörigkeit x M, x Ê M >x : x { a 1. e e x = a n. } 2 x = a 1. >x : x { y P(y) } 2 P(x) Begriff der leeren Menge

Mengen. Eigenschaften. Spezielle Mengen (1) Prominente Mengen. ! Mengenzugehörigkeit

Lösungsmenge L I = {x R 3x + 5 = 9} = L II = {x R 3x = 4} = L III = { }

Formale Sprachen und Automaten

Vorkurs Mathematik und Informatik Mengen, natürliche Zahlen, Induktion

Vorlesung 2. Tilman Bauer. 6. September 2007

Martin Goldstern Der logische Denker Kurt Gödel und sein Unvollständigkeitssatz. 6.

Mengenlehre. Aufgaben mit Lösungen

Clevere Algorithmen programmieren

Einleitung. R 2 = R R := { (x, y) ; x, y R }

2. Die Überabzählbarkeit von

Mengen (siehe Teschl/Teschl 1.2)

Die Struktur des Unendlichen

Mathematik 1, Teil B

Kapitel 1. Mengen und Abbildungen. 1.1 Mengen

Zusatzmaterial zur Mathematik I für E-Techniker Übung 1

Lösungsmenge L I = {x R 3x + 5 = 9} = L II = {x R 3x = 4} = L III = { }

1. Grundlagen. Gliederung 1.1 Was ist Analysis? 1.2 Aussagen und Mengen 1.3 Natürliche Zahlen 1.4 Ganze Zahlen, rationale Zahlen

1. Grundlagen. 1.1 Was ist Analysis? 1.2 Aussagen und Mengen

Zahlenmengen. Bemerkung. R Menge aller Dezimalbrüche: reelle Zahlen, C = {a + i b : a, b R} mit i 2 = 1 komplexe Zahlen.

Gliederung. Mengen und operationen. Relationen. Funktionen. Kardinalität von Mengen. Formale Grundlagen der Informatik Knorr/Fuchs SS 2000

Zahlen und elementares Rechnen

Grundbegriffe Mengenlehre und Logik

Wiederholung von Äquivalenzumformungen (Lösen linearer Gleichungen): Wiederholung von Äquivalenzumformungen (Lösen von Ungleichungen):

Materialien zu Mathematik X

Aufgabenblatt 1: Abgabe am vor der Vorlesung

Eine transfinite Zahl als Grenzwert

1 Aufbau des Zahlensystems

Zahlen und elementares Rechnen (Teil 1)

Mengenlehre 1-E1. M-1, Lubov Vassilevskaya

Mengen und Abbildungen

1 Mengen. 1.1 Elementare Definitionen. Einige mathematische Konzepte

Was ist eine Gleichung?

Panorama der Mathematik und Informatik

Aufgaben und Lösungen zum Vorkurs Mathematik: Beweismethoden Für Mittwoch den

Kapitel 3. Natürliche Zahlen und vollständige Induktion

Mathe Leuchtturm Übungsleuchtturm 5.Kl.

Teil 4. Mengen und Relationen

Über mich Organisatorisches Mathematik Wiederholung Mengenlehre Zahlen. Mathematik W1. Mag. Rainer Sickinger LMM, BRP

Mathematik 1 für Informatik Inhalt Grundbegrie

Die Individualität der Welt

Vorlesung Diskrete Strukturen Die natürlichen Zahlen

Rudolf Brinkmann Seite

(b) Man nennt die Menge M beschränkt, wenn sie nach oben und unten beschränkt ist.

Zahlen und metrische Räume

Eine Menge ist die Zusammenfassung von bestimmten unterschiedenen Objekten zu einem Ganzen.

Vorlesung 3: Logik und Mengenlehre

Mathematik: Mag. Schmid Wolfgang Arbeitsblatt 8 2. Semester ARBEITSBLATT 8 DIE REELLEN ZAHLEN

Diskrete Strukturen. Vorlesung 3: Naive Mengenlehre. 30. Oktober 2018

1.2 Mengenlehre-Einführung in die reellen Zahlen

1 Mengen und Aussagen

Vorlesung Diskrete Strukturen Die natürlichen Zahlen

Die natürlichen Zahlen

Zusammenfassung: Stichworte: Stellen Sie Ihre optimale Schriftgröße ein: Größere Schriftzeichen. 2x + 3 = 7. (1)

Grundlagen der Mengenlehre

1 Zahlenmengen und einige mathematische Symbole

Mathematischer Vorbereitungskurs für das MINT-Studium

Handout zu Gödel: Die Unvollständigkeitssätze

Buddha um v. Chr. Buddha nennt in einem Wettbewerb große Zahlen und kommt bis zu Folge:

Abbildungen. Kapitel Definition: (Abbildung) 5.2 Beispiel: 5.3 Wichtige Begriffe

Elementare Mengenlehre

1. Eine rechtstotale Funktion heißt surjektive Funktion oder Surjektion. 2. Eine linkseindeutige Funktion heißt injektive Funktion oder Injektion

Zahlen und metrische Räume

Mathematische Grundlagen der Computerlinguistik Mengen und Mengenoperationen

Vorkurs Mathematik 2016

Vorkurs Mathematik 2016

B Grundbegriffe zu Mengen und Abbildungen

Mengenlehre. Mengenlehre. Vorkurs Informatik WS 2013/ September Vorkurs Informatik - WS2013/14

N = f0; 1; 2; : : : g: [n] = f1; : : : ; ng: M = f x j x hat die Eigenschaft E g:

Formale Methoden 2. Gaetano Geck Lehrstuhl I Logik in der Informatik WS 2014/2015

Die natürlichen Zahlen

Axiome der Mengenlehre nach von Neumann, Bernays, Gödel (NBG)

Kettenbrüche. dar, und allgemein: a 1 + 1

Kapitel 1. Grundlagen Mengen

Vorlesung. Vollständige Induktion 1

1. Gruppen. 1. Gruppen 7

Aufgaben und Lösungen zum Vorkurs Mathematik: Beweismethoden Für Donnerstag den x > 1 3x > 3 3x + 3 > 6 6x + 3 > 3x + 6.

Intervalle. 1-E1 Vorkurs, Mathematik

Was bisher geschah: Formale Sprachen

1.9 Beweis durch Kontraposition

Für unseren Gebrauch ist eine Menge bestimmt durch die in ihr enthaltenen Elemente. Ist M eine Menge, so ist ein beliebiges Objekt m wieder so ein

b liegt zwischen a und c.

definieren eine Aussage A als einen Satz, der entweder wahr (w) oder falsch (f) (also insbesondere nicht beides zugleich) ist 1. Beispiel 1.1.

Donnerstag, 11. Dezember 03 Satz 2.2 Der Name Unterraum ist gerechtfertigt, denn jeder Unterraum U von V ist bzgl.

HM I Tutorium 1. Lucas Kunz. 27. Oktober 2016

Angewandte Mathematik am Rechner 1

Transkript:

"ZAHLEN "Zahlen-Irrtum I": Es gibt nur halb so viele gerade Zahlen (2, 4, 6,.) wie Natürliche Zahlen (1, 2, 3, 4,.). Beide Zahlenmengen enthalten genau gleich viele Zahlen. Denn jeder Natürlichen Zahl können Sie genau eine gerade Zahl und jeder geraden Zahl genau eine Natürliche Zahl zuordnen. Das leuchtet Ihnen noch nicht ein? Überzeugen Sie sich unter 1

Abzählbarkeit. "Zahlen-Irrtum II": Die Menge der Zahlen ist unendlich. Noch größere Mengen kann es nicht geben, denn noch unendlicher als unendlich geht ja wohl nicht. Das geht durchaus, sogar auf unendlich viele Arten. Wie Mathematiker darauf kommen, dass eine Menge unendlicher ist als eine andere, und wie solche noch unendlicheren Mengen aussehen, können Sie unter Kardinalzahlen nachlesen. 2

Kardinalzahlen, Zahlen zur Beschreibung der Mächtigkeit von Mengen. Das Symbol Alef, der erste Buchstabe des hebräischen Alphabets, wurde von Georg Cantor als Symbol für unendliche Kardinalzahlen eingeführt. Die unendlichen Kardinalzahlen hängen eng zusammen mit einem der größten Rätsel der Mathematik des 19. und 20. Jahrhunderts, nämlich der Kontinuumshypothese. Um zu verstehen, was es damit auf sich hat, folgt hier eine kurze Schritt-für- 3

Schritt-Einführung in die Mengenlehre. Nützlich ist es auch, den Artikel Abzählbarkeit gelesen zu haben. Eine Menge ist eine gedankliche Zusammenfassung bestimmter Elemente, wie etwa Zahlen. Man schreibt Mengen in geschweiften Klammern, die Menge der drei Zahlen 3, 4, 5 zum Beispiel schreibt man { 3, 4, 5 }. Stellen Sie sich die Mengenklammern einfach wie eine Gedankenblase vor, die die drei Elemente 3, 4, 5 zusammenhält. Eine Menge kann endlich, aber auch unendlich viele Elemente enthalten. In diesem Lexikon interessiert 4

natürlich vor allem letzteres. Die Menge der Natürlichen Zahlen zum Beispiel ist unendlich (s. Abzählbarkeit). Die unendliche Fortsetzung der Zahlen deuten wir mit drei Punkten. an: Als Kardinalzahl oder Mächtigkeit einer Menge bezeichnet man die Anzahl ihrer Elemente. Als Eselsbrücke kann man sich vorstellen, dass Kardinäle umso mächtiger sind, je größer die Menge ihrer Anhänger ist. Die Menge { 3, 4, 5 } etwa hat drei Elemente und somit die Kardinalzahl 3. Eine Teilmenge einer Menge ist eine Menge, die irgendeine Auswahl der 5

Elemente dieser Menge enthält - inklusive gar keinem oder allen. Bei der Menge { 3, 4, 5 } gibt es also die acht möglichen Teilmengen { }, { 3 }, { 4 }, { 5 }, { 3, 4 }, { 4, 5 }, { 3, 5 } und { 3, 4, 5 }. Die Menge ohne Element { } nennt man 'leere Menge'. Eine Menge mit der Kardinalzahl n hat genau 2n Teilmengen. Denn es gibt genau 2n Möglichkeiten, eine Auswahl aus n Elementen zu treffen. In unserem { 3, 4, 5 } Beispiel bekommen wir also 23 = 8 Teilmengen. Zu jeder Menge lässt sich immer eine größere Menge konstruieren, nämliche deren Potenzmenge. Die Potenzmenge einer Menge ist 6

einfach die Menge all ihrer möglichen Teilmengen. Im { 3, 4, 5 } Beispiel ist die Potenzmenge also die folgende Menge: { { }, { 3 }, { 4 }, { 5 }, { 3, 4 }, { 4, 5 }, { 3, 5 }, { 3, 4, 5 } }. Wenn eine Menge die Kardinalzahl n hat, dann hat ihre Potenzmenge gemäß unserer obigen Überlegung die Kardinalzahl 2n. Potenzmengen sind, wie man sieht, viel größer als ihre Ursprungsmengen und haben viel höhere Kardinalzahlen. Dies wird sich im Folgenden noch als bedeutsam herausstellen. Soviel zur allgemeinen Mengenlehre. 7

Jetzt kommen wir zu Cantors unendlichen Mengen und ihren Alef-Zahlen. Die Kardinalzahl der Menge der Natürlichen Zahlen bezeichnete א 0 Cantor mit dem Symbol (ausgesprochen: Alef-Null). Dies ist die wichtigste Kardinalzahl, denn alle abzählbaren Mengen haben automatisch ebenfalls die,א 0 Kardinalzahl da sie ja gleich viele Elemente wie die Menge der Natürlichen Zahlen enthalten. In manchen mathematischen Darstellungen wird die Anzahl der Natürlichen Zahlen auch als Naleph ("naives Aleph", für die einfachste Art der Unendlichkeit) bezeichnet. 8

Cantor vermutete, dass Mengen noch 'höherer' Unendlichkeit mit entsprechend größeren Kardinalzahlen existieren. Die nächsthöhere mögliche Kardinalzahl nannte er folgerichtig (Alef-Eins). א 1 Je nachdem, wie viele Stufen der Unendlichkeit existieren, 3 א, gibt es weitere Alef-Zahlen 4 usw., von denen jede größer ist als die vorhergehende und der nächsthöheren א 2 א, Stufe der Unendlichkeit entspricht. Zu welchen konkreten Mengen diese im Moment noch völlig theoretischen Kardinalzahlen gehören können, wollen wir uns gleich überlegen. 9

Die Alef-Zahlen folgen seltsamen Rechenregeln, die eine Folge ihrer Unendlichkeit sind. Zum Beispiel gilt für jede :א unendliche Kardinalzahl In Worten: Wenn man einer unendlichen Menge ein Element hinzufügt, ändert dies nichts an der Zahl der Elemente dieser Menge. Unendlich plus eins gibt wieder unendlich. Das gleiche gilt, wenn man zwei, drei, oder sogar unendlich viele Elemente hinzufügt: 10

Warum das so ist, können wir beim Zurückblättern unter Abzählbarkeit sehen: Wenn man beispielsweise zur Menge der geraden Zahlen die Menge der ungeraden Zahlen hinzufügt, also die Zahl ihrer Elemente und damit ihre Kardinalzahlen addiert, erhält man die Menge der Natürlichen Zahlen. Aber alle drei Mengen haben die gleiche Kardinalzahl, da sie ja abzählbar sind, d.h. gleich viele Elemente wie die Natürlichen Zahlen enthalten. Also ändert das Verdoppeln einer unendlichen Menge nichts an der Zahl ihrer Elemente, ebenso wenig wie das Verdreifachen und sogar das Vervielfachen mit 11

einer beliebigen endlichen Zahl a: Kühn geworden, wollen wir die Menge jetzt unendlich oft vervielfachen. Wir ersetzen dazu jedes einzelne ihrer Elemente durch die komplette Menge. Wie man sich überlegen kann, ist dies gleichbedeutend mit einer Multiplikation ihrer Kardinalzahl mit sich selbst. Doch wieder ändert dies nichts an der Zahl ihrer Elemente: Das Äquivalent zu dieser Formel ist nichts anderes als die Abzählbarkeit der Brüche. Denn zu jeder Natürlichen Zahl n gibt es genauso viele Brüche, 12

wie Natürliche Zahlen existieren: n/1, n/2, n/3,. usw. Folglich entspricht die Multiplikation der Kardinalzahl mit sich selbst dem Übergang von der Menge der Natürlichen Zahlen zur Menge der Brüche. Eine unendliche Menge enthält sogar beliebig oft mit sich selbst multipliziert immer wieder gleich viele Elemente: Jetzt stellt sich die nahe liegende Frage, ob denn etwa jede beliebige Rechenoperation mit א immer wieder א ergibt? Die Antwort: Nein, nicht jede. Denn Cantor zeigte: 13

!א ist noch größer als א 2 Wir erinnern uns: א 2 ist die Kardinalzahl der Potenzmenge.א einer Menge mit der Kardinalzahl Die Kardinalzahl einer Potenzmenge aber ist immer größer als die Kardinalzahl der ursprünglichen Menge - und wie Cantor bewies, gilt das sogar für unendliche Mengen. Die Potenzmenge jeder unendlichen Menge ist also noch 'unendlicher' als diese selbst. Damit hatte Cantor bewiesen, dass es wirklich eine Folge von Alef-Zahlen 2 א, 1 א,,א 0 usw. gibt. Denn da man zu jeder beliebigen 14

unendlichen Menge immer eine Potenzmenge bilden kann und zu dieser dann wiederum eine Potenzmenge, gibt es keine Obergrenze für die Alef- Zahlen. Die Folge der Alefs und damit die Anzahl der verschiedenen Unendlichkeiten ist selbst unendlich! Außer der Menge der Natürlichen א 0 Zahlen mit ihrer Kardinalzahl kennen wir noch die Menge der Reellen Zahlen. Das sind alle Zahlen mit einer beliebigen Zahl von Nachkommastellen. Wir wissen, dass diese Menge nicht 15

abzählbar und damit 'unendlicher' ist als die Menge der Natürlichen Zahlen. Preisfrage: Wie groß ist die Kardinalzahl der Menge der Reellen Zahlen? Cantor zeigte, dass diese Kardinalzahl gerade א 20 ist, also identisch mit der Kardinalzahl der Potenzmenge der Natürlichen Zahlen. Das kann man sich mit folgender Überlegung verdeutlichen: Die Potenzmenge der Natürlichen Zahlen enthält alle denkbaren Teilmengen mit jeweils höchstens abzählbar unendlich vielen Zahlen. Die Menge der Reellen Zahlen enthält alle denkbaren Zahlen 16

mit jeweils höchstens abzählbar unendlich vielen Nachkommastellen. Beide Mengen sind also vergleichbar in der Zahl ihrer Elemente. Wir haben also jetzt zwei unendliche Kardinalzahlen gefunden, die zu konkreten Mengen gehören, א 0 nämlich - die kleinste Alef-Zahl und zugleich die Kardinalzahl der Menge der Natürlichen Zahlen - und,א 20 die Kardinalzahl der Menge der Reellen Zahlen. Zum Abschluss dieses 17

Kardinalzahlen-Exkurses stellt sich die nahe liegende Frage, ob א 20 denn die zweitkleinste mögliche unendliche Kardinalzahl ist, ob also gilt: Oder gibt es noch irgendeine unendliche Menge, deren Kardinalzahl zwar größer ist?א 20 aber kleiner als,א 0 als Diese scheinbar einfache Frage hatte dramatische Konsequenzen für Georg Cantor selbst und für die Mathematik des 20. Jahrhunderts. Die Antwort ist überraschend. Sie finden sie unter Kontinuumshypothese. jcl 2007 18

Kontinuumshypothese, die Vermutung des Mathematikers Georg Cantor, dass die Unendlichkeit der Reellen Zahlen nach der Unendlichkeit der Natürlichen Zahlen die zweitkleinste Unendlichkeit ist. Als Gleichung ausgedrückt: Was es mit dieser Gleichung und den seltsamen Symbolen auf sich hat, finden Sie unter Kardinalzahlen näher erklärt. Wie man in Cantors Biographie 19

nachlesen kann, scheiterte er dramatisch am Beweis der Kontinuumshypothese und bezahlte dafür einen hohen Preis. Seine Kontinuumshypothese wurde Anfang des 20. Jahrhunderts zu einem der bekanntesten ungelösten Probleme der Mathematik. Viele Mathematiker bissen sich daran die Zähne aus. Zumindest bis 1930. In diesem Jahr bewies der Logiker Kurt Gödel seinen Unvollständigkeitssatz*. Jedes ausreichend komplexe widerspruchsfreie Aussagensystem, so der Satz, ist unvollständig. 20

Das heißt, in einem solchen System gibt es Aussagen, die sich mit den Mitteln des Systems weder beweisen noch widerlegen lassen. Dies ist analog zu dem unter Wahrheit angeführten Beweis, dass es keine universelle Wahrheitsmaschine geben kann. Der Unvollständigkeitssatz gilt insbesondere für die Mathematik und natürlich auch für das System der Mengenlehre. Alle Mathematik ist unvollständig. Gödel bewies diesen Satz auf abstrakte Weise, 21

also ohne ein konkretes Beispiel für eine solche prinzipiell unbeweisbare Aussage zu kennen. Es lag nun nahe, sich der ungelösten Probleme der Mathematik anzunehmen und zu untersuchen, ob vielleicht eines dieser Probleme eine solche Aussage enthält. Genau das tat Gödel. Sein erster Verdächtiger war die Kontinuumshypothese. 1937 gelang es ihm zu beweisen, dass sich die Kontinuumshypothese im Rahmen der Mengenlehre nicht widerlegen lässt. Sie ist also mit allen Sätzen der Mengenlehre vereinbar. Das heißt noch nicht, dass sie 22

bewiesen ist. Dazu müsste man zusätzlich nachweisen, dass ihr Gegenteil mit den Sätzen der Mengenlehre nicht vereinbar ist. Gödel kam mit der Kontinuumshypothese nicht weiter. Erst 1963 konnte Paul Cohen nachweisen, dass auch ihr Gegenteil widerspruchsfrei zur Mengenlehre ist. Die Kontinuumshypothese ist damit im System der klassischen Mengenlehre unentscheidbar - weder wahr noch falsch. Sie ist eines der ersten konkreten Beispiele für Gödels Unvollständigkeitssatz. Cantor hatte also mit all seinen 23

Beweisversuchen im 19. Jahrhundert nie eine Chance. Die dritte Stufe der Unendlichkeit: Inzwischen überlegen sich Mathematiker, durch eine sinnvolle Erweiterung der Mengenlehre die Kontinuumshypothese entscheidbar zu machen. Man ist jedoch davon abgekommen, sie in Cantors ursprünglicher Version aufzunehmen. Cohen ist sich mit vielen Mathematikern einig, dass die Menge der Reellen Zahlen dermaßen groß 24

ist, dass sie eigentlich nicht die zweitkleinste Unendlichkeit darstellen kann. Also sollte die Kardinalzahl des,א 1 Kontinuums größer sein als um eine vernünftig handhabbare Mengenlehre zu erhalten. I n der weiteren Entwicklung der Mengenlehre tendiert man daher mittlerweile zu der Aussage was natürlich sofort die Frage aufwirft, welcher Menge denn dann die zweite Stufe der Unendlichkeit, א 1 also die Kardinalzahl entspricht... * Die für Nichtmathematiker am 25

besten verständliche Version des etwas länglichen Beweises finden Sie in "Gödel, Escher, Bach" von Douglas Hofstadter (s. Literaturverzeichnis). jcl 2007 Unendlichkeit Bücher Links Forum Aus :http://unendliches.net/ 26