Mengen/Zahlen/Einführung/Textabschnitt


Mathematische Strukturen, wie die bereits erwähnten Zahlen, werden als Mengen beschrieben. Eine Menge ist eine Ansammlung von wohlunterschiedenen Objekten, die die Elemente der Menge heißen. Mit „wohlunterschieden“ meint man, dass es klar ist, welche Objekte als gleich und welche als verschieden angesehen werden. Die Zugehörigkeit eines Elementes zu einer Menge wird durch

Georg Cantor (1845-1918) ist der Schöpfer der Mengentheorie.


David Hilbert (1862-1943) nannte sie ein Paradies, aus dem die Mathematiker nie mehr vertrieben werden dürfen.

ausgedrückt, die Nichtzugehörigkeit durch

Für jedes Element(symbol) gilt stets genau eine dieser beiden Möglichkeiten. Beispielsweise ist und . Für Mengen gilt das Extensionalitätsprinzip, d.h. eine Menge ist durch die in ihr enthaltenen Elemente eindeutig bestimmt, darüber hinaus bietet sie keine Information. Insbesondere stimmen zwei Mengen überein, wenn beide die gleichen Elemente enthalten.

Die Menge, die kein Element besitzt, heißt leere Menge und wird mit

bezeichnet.

Eine Menge heißt Teilmenge einer Menge , wenn jedes Element aus auch zu gehört. Man schreibt dafür (manche schreiben dafür ). Man sagt dafür auch, dass eine Inklusion vorliegt. Für die erwähnten Zahlenmengen gelten die Inklusionen

Die Teilmengenbeziehung ist eine Allaussage. Im Nachweis, dass ist, muss man zeigen, dass für ein beliebiges Element ebenfalls die Beziehung gilt. Dabei darf man lediglich die Eigenschaft verwenden. Für uns werden Mengen hauptsächlich Zahlenmengen und daraus konstruierte Mengen sein. Eine Menge heißt endlich, wenn sie durch die natürlichen Zahlen für ein gewisses „sinnvoll abgezählt“ werden kann. In diesem Fall nennt man die Anzahl der Menge.