Mengen/Elementare Einführung/Textabschnitt

Aus Wikiversity
Zur Navigation springen Zur Suche springen
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.

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 ausgedrückt, die Nichtzugehörigkeit durch . Für jedes Element(symbol) gilt stets genau eine dieser zwei Möglichkeiten. Die wichtigste mathematische Menge ist im Moment für uns die Menge der natürlichen Zahlen

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.


Definition  

Unter der leeren Menge versteht man diejenige Menge, die kein Element besitzt. Sie 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 ). Beispielsweise ist die Menge aller durch teilbaren natürlichen Zahlen eine Teilmenge der Menge aller geraden Zahlen. Bei einer Teilmengenbeziehung sagt man auch, dass eine Inklusion vorliegt. Im Nachweis, dass ist, muss man zeigen, dass für ein beliebiges Element ebenfalls die Beziehung gilt.[1] Dabei darf man lediglich die Eigenschaft verwenden. Im Beispiel würde man so argumentieren: ist eine durch teilbare Zahl. Daher kann man

mit einer gewissen natürlichen Zahl schreiben. Dies kann man als

schreiben, was eben bedeutet, dass gerade ist.

Aufgrund des Extensionalitätsprinzips hat man das folgende wichtige Gleichheitsprinzip für Mengen, dass

gilt. In der mathematischen Praxis bedeutet dies, dass man die Gleichheit von zwei Mengen dadurch nachweist, dass man (in zwei voneinander unabhängigen Teilargumentationen) die beiden Inklusionen zeigt. Dies hat auch den kognitiven Vorteil, dass das Denken eine Zielrichtung bekommt, dass klar die Voraussetzung, die man verwenden darf, von der gewünschten Schlussfolgerung, die man aufzeigen muss, getrennt wird. Hier wiederholt sich das Prinzip, dass die Äquivalenz von zwei Aussagen die wechselseitige Implikation bedeutet, und durch den Beweis der beiden einzelnen Implikationen bewiesen wird.



Beschreibungsmöglichkeiten für Mengen

Es gibt mehrere Möglichkeiten, eine Menge anzugeben. Die einfachste ist wohl, die zu der Menge gehörenden Elemente aufzulisten, wobei es auf die Reihenfolge der Elemente nicht ankommt. In der Abgabegruppe sind die Personen . Dies sind genau die Personen, die Sonntags im Schwimmbad morgens um Uhr am Tisch unter der Ulme sitzen. Es handelt sich dann um zwei verschiedene Beschreibungen für die gleiche Menge.

Die wichtigste Beschreibung einer Menge ist die durch eine Eigenschaft. Es sei eine Grundmenge gegeben (wie die Menge der natürlichen Zahlen, die Leute im Kurs) und ferner eine gewisse Eigenschaft (Prädikat), die man auf alle Elemente der Grundmenge sinnvoll anwenden kann und die auf manche Elemente zutrifft, auf manche nicht (wie gerade zu sein oder sich auf die Weihnachtsferien zu freuen). Zu der Eigenschaft gehört innerhalb von die Teilmenge bestehend aus allen Elementen aus , die diese Eigenschaft, diese Bedingung, erfüllen. Man beschreibt eine durch eine Eigenschaft definierte Teilmenge meist als

Dies geht natürlich nur mit solchen Eigenschaften, für die die Aussage eine wohldefinierte Bedeutung hat. Wenn man eine solche Teilmenge einführt, so gibt man ihr häufig sofort einen Namen (in dem auf die Eigenschaft Bezug genommen werden kann, aber nicht muss). Z.B. kann man einführen

Für die Mengen in der Mathematik sind meist eine Vielzahl an mathematischen Eigenschaften relevant und daher gibt es meist auch eine Vielzahl an relevanten Teilmengen. Aber auch bei alltäglichen Mengen, wie etwa die Menge der Studierenden in einem Kurs, gibt es viele wichtige Eigenschaften, die gewisse Teilmengen festlegen, wie etwa

Die Menge ist dabei selbst durch eine Eigenschaft festgelegt, es ist ja



Mengenoperationen

So, wie man Aussagen zu neuen Aussagen verknüpfen kann, gibt es Operationen, mit denen aus Mengen neue Mengen entstehen.


Definition  

Zu Mengen und heißt

der Durchschnitt (oder die Schnittmenge) der beiden Mengen.


Definition  

Zu zwei Mengen und heißt

die Vereinigung der beiden Mengen.


Definition  

Zu Mengen nennt man

die Differenzmenge ohne “.

Diese Operationen ergeben nur dann einen Sinn, wenn die beteiligten Mengen als Teilmengen in einer gemeinsamen Grundmenge gegeben sind. Dies sichert, dass man über die gleichen Elemente spricht. Häufig wird diese Grundmenge nicht explizit angegeben, dann muss man sie aus dem Kontext erschließen. Ein Spezialfall der Differenzmenge bei einer gegebenen Grundmenge ist das Komplement einer Teilmenge .


Definition  

Zu einer Teilmenge in einer Menge heißt

das Komplement von (in ).

Dafür schreibt man auch . Es gilt

und

Beispielsweise ist das Komplement der Menge der geraden Zahlen die Menge der ungeraden Zahlen. Die Eigenschaft, dass der Durchschnitt von zwei Mengen leer ist, bekommt einen eigenen Namen.


Definition  

Zwei Mengen und heißen disjunkt, wenn ihr Durchschnitt ist.

Wenn Teilmengen durch geeignete Prädikate definiert sind, so stehen die Mengenoperationen unmittelbar in Zusammenhang mit den logischen Operationen für die Prädikate. Wenn (in einer gewissen Grundmenge)

und

vorliegt, so ist



Mengendiagramme

Eine Möglichkeit, Mengen oder vielmehr die zwischen verschiedenen Mengen möglichen oder existierenden Verhältnisse zueinander abzubilden, liefern Mengendiagramme (oder Venn-Diagramme). In ihnen werden Mengen durch gewisse Flächenstücke in der Ebene repräsentiert. Die Flächenstücke sollten eine möglichst einfache Form besitzen. Sie sind zumeist „zusammenhängend“ (d.h. je zwei Punkte des Stückes sind durch einen „stetigen Weg“ miteinander verbindbar). Die Flächenstücke können sich überlappen, und der Überlappungsbereich repräsentiert die Schnittmenge. Idealerweise sind die auftretenden Überlappungsbereiche selbst wieder zusammenhängend. Die verschiedenen Flächenstücke werden häufig in unterschiedlichen Farben oder Schraffuren gezeichnet, wobei dann die Überlappungsbereiche durch die zugehörigen Farbmischungen bzw. Mischschraffuren wiedergegeben werden.

Einige Beispiele für abstrakte Mengendiagramme

Absolute complement.svg
Set intersection.png
Diagrama1.gif
4sets.png
Venn Diagram ABCD.svg
Edwards-Venn-five.svg
Edwards-Venn-six.svg
Venn6.svg


Diese Diagramme sind vollständig in dem Sinne, dass sie alle möglichen Schnitteigenschaften der beteiligten Mengen repräsentieren. In den folgenden Diagrammen wird nicht jede mögliche Schnitteigenschaft repräsentiert.

Disyunción de clases2.JPG
Subset.svg
Venn diagram of three sets.svg
CirclesN4xa.GIF
CirclesN4a.GIF
Standardsemantik klein.png


Einige Beispiele für konkrete Mengen-Diagramme

In diesem Fall repräsentieren die beteiligten Mengen einen bestimmten Begriff, das Schnittverhalten hängt dann von inhaltlichen Überlegungen ab. Solche Diagramme spielen in der Mathematik keine große Rolle. Wenn man allerdings z. B. verschiedene algebraische Begriffe wie Gruppe, Ring, kommutativer Ring, Divisionsbereich, Körper in ihrer Hierarchie veranschaulichen möchte, so ist ein solches Diagramm durchaus sinnvoll.

Amino Acids Venn Diagram (de).svg
British Isles Venn Diagram-en.svg
Geistiges Eigentum und Wettbewerbsrecht.png



Fußnoten
  1. In der Sprache der Quantorenlogik kann man eine Inklusion verstehen als die Aussage .