Inhalt

- Grundlagen der Mathematik

   - Bezeichnungen

   - Elementarmathematik

   - Logik

   - Mengenlehre

       Teilmengen

      - Mengenoperationen

       Potenzmenge

      - Tupel und Produktmenge

      - Abbildungen und Funktionen

      - Gleichmächtigkeit

          Endlichkeit

          Abzählbar unendlich

          Überabzählbar unendlich

      - Permutationen

      - Relationen

      - Zermelo-Fraenkel-

       Mengenlehre

       Multimengen

   - Zahlenbereiche

- Diskrete Mathematik

- Algebra

- Lineare Algebra

- Geometrie

- Analysis

- Differentialgleichungen

- Funktionalanalysis

- Differentialgeometrie

- Topologie

- Numerik

- Stochastik

- Unsortiertes

- Anbieterkennzeichnung

Abzählbar unendlich

Da es nach Satz 5305A mehrere Arten der Unendlichkeit geben muss, wollen wir diese einteilen. Die einfachste Art der Unendlichkeit ist sicher die der natürlichen Zahlen. Wir definieren deshalb:

Eine Menge M heißt abzählbar unendlich, wenn sie zur Menge der natürlichen Zahlen gleichmächtig ist. Alle anderen unendlichen Mengen sollen überabzählbar unendlich heißen.

Die abzählbare Unendlichkeit einer Menge M bedeutet also nichts anderes, als dass M mit den natürlichen Zahlen durchnummeriert werden kann, quasi abgezählt werden kann.

Für die Mächtigkeit der Menge der natürlichen Zahlen wird die Kardinalzahl eingeführt (Sprich: Aleph).

Die natürlichen Zahlen sind nicht die einzige abzählbare Menge, auch Mengen die rein anschaulich betrachtet viel größer sind, sind abzählbar.

Satz 15XC (Abzählbarkeit der ganzen und rationalen Zahlen)

Die Menge der ganzen Zahlen und die Menge der rationalen Zahlen ist abzählbar unendlich. Also:

.

Beweis

Zuerst zu den ganzen Zahlen. Wir definieren folgende Abbildung :

f bildet die nichtnegativen ganzen Zahlen auf die geraden natürlichen Zahlen und die negativen ganzen Zahlen auf die ungeraden Zahlen ab. Man überzeugt sich leicht, dass die Abbildung injektiv ist. Die Surjektivität kann man ebenso einfach verifizieren oder noch einfacher: man greift auf Lemma 5305D zurück. Damit gibt es eine Bijektion zwischen den ganzen und den natürlichen Zahlen, was den ersten Teil der Behauptung erledigt.

Für den zweiten Teil brauchen wir feinsinnigere Überlegungen. Diese gehen auf Georg Cantor zurück und werden als 1. Cantorsches Diagonalverfahren bezeichnet. Wir beschränken uns dabei auf die gebrochenen Zahlen. Durch analoge Überlegungen wie im 1. Teil des Beweises kann das Verfahren aber auf alle rationalen Zahlen ausgedehnt werden.

Wir betrachten folgendes Zahlenschema:

1 1	2 2	3 4	4 6	5 10	6 12	7 18
3	-	7	-	13	-	...
5	8	-	14	19	...
9	-	15	-	...
11	16	20	...
17	-	...

In diesem Schema stehen in der n-ten Zeile alle Brüche mit dem Nenner n. In der ersten Zeile stehen also alle natürlichen Zahlen, in der zweiten alle mit Nenner 2, usw.

Jetzt nummerieren wir alle Brüche durch. Dabei beginnen wir mit der linken oberen Ecke und gehen dann von der ersten in der ersten Zeile nicht nummerierten Zahl diagonal nach links unten an den Rand. Die roten Zahlen in der Tabelle verdeutlichen dieses Vorgehen. Dabei lassen wir alle unechten Brüche aus.

Damit erhalten wir eine Abbildung der natürlichen Zahlen in die gebrochenen Zahlen. Diese Abbildung ist injektiv, da zwei verschiedenen natürlichen Zahlen niemals die gleiche gebrochene Zahl zugeordnet werden kann. (Schlauerweise haben wir ja nur die echten Brüche durchnumeriert.

Die Abbildung ist auch surjektiv, denn in unserem Schema tauchen alle gebrochenen Zahlen irgendwo auf.

Damit müssen aber die gebrochenen Zahlen gleichmächtig zu den natürlichen Zahlen sein.

Durch die gleichen Überlegungen wie im ersten Teil des Beweises können wir zeigen, dass die rationalen Zahlen gleichmächtig zu den gebrochenen Zahlen sind und damit die rationalen Zahlen ebenfalls abzählbar sind.

Satz 16HS (Abzählbarkeit einer abzählbaren Vereinigung abzählbarer Mengen)

Sei I eine abzählbare Indexmenge und die A_i seien abzählbar für . Dann ist

abzählbar.

Beweis

Der Beweis benutzt das Cantorsche Diagonalverfahren.

Wegen der Abzählbarkeit der A_i kann man die Elemente in der Form a_i1 , a_i2 , , a_i3 ..., schreiben. Da I abzählbar ist, kann man die Folgen wie in obigen Beweis untereinander schreiben und diagonal abzählen.

Die ganzen Zahlen hat der liebe Gott geschaffen, alles andere ist Menschenwerk.

Leopold Kronecker

Druckansicht     

Amazon.de empfiehlt:

Einführung in die Mengenlehre: Die Mengenlehre Georg Cantors...

Oliver Deiser

Einführung in die Mengenlehre

Heinz-Dieter Ebbinghaus

Einführung in die Mengenlehre (Springer-Lehrbuch)

Oliver Deiser

Mathematik: Grundrechenarten, Mengenlehre, Prozentrechnung, ...

Heinrich Hemme

Lehrbuch der Mengenlehre

Pawel S. Alexandroff

Naive Mengenlehre

Paul R. Halmos

Bücher zum Thema Mengenlehre auf
• bol.de
• buch.de
• buecher.de
• libri.de