Mengenlehre
Die Mengenlehre ist die mathematische Theorie, die sich mit den Eigenschaften von Mengen beschäftigt. Sie ist die Grundlage der modernen Mathematik und bietet ein einheitliches Grundgerüst für zahlreiche Disziplinen wie Algebra, Analysis, Stochastik oder Topologie.
| Table of contents |
|
2 Neue Mathematik 3 Definitionen und Gesetzmäßigkeiten 4 Weblink |
Die Mengenlehre geht zurück auf Georg Cantor. Nach seiner Definition ist eine Menge "eine Zusammenfassung von bestimmten wohl unterschiedenen Objekten der Anschauung oder des Denkens, welche die Elemente der Menge genannt werden, zu einem Ganzen". Die von Cantor eingeführte naive Mengenlehre führte jedoch schon bald zu unlösbaren Widersprüchen (Russellsche Antinomie).
Die axiomatische Mengenlehre (Zermelo-Fraenkel-Mengenlehre) verzichtet deshalb auf eine Definition der Menge und benutzt ihn als Grundbegriff. Eine Menge wird durch die Angabe aller Elemente bzw. ihrer Grundeigenschaften festgelegt. Die einzige Grundrelation ist
Eine alternative Mengentheorie kann man aufbauend auf der Kategorientheorie mit Hilfe von Topoi definieren.
In den 70er Jahren wurde die Mengenlehre unter dem Namen Neue Mathematik im Unterricht der Grundschulen eingeführt. Ziel war es, neben der Vermittlung von Rechenfertigkeiten auch Denkfähigkeit und Abstraktionsvermögen der Kinder zu fördern. Die wissenschaftlich formalisierte Mengenlehre entsprach jedoch nicht dem pädagogischen Anspruch, kindgerecht zu sein. So beschränkte sich die Mengenlehre an den Schulen damit, Mengendiagramme zu zeichnen bzw. bunte Plastikplättchen zu legen. Die neue Mathematik scheiterte letztendlich daran, dass sie keine Verbindung zur traditionellen Mathematik herstellen konnte. Zudem waren sowohl Lehrer als auch Eltern damit vollkommen überfordert.
Seien
Geschichte
(gesprochen Element von), z.B. x M, wenn x als Element in M enthalten ist. In vielen Artikeln dieser Enzyklopädie verwenden wir die Schreibweise "x in M" oder "x aus M", manchmal auch das HTML-Zeichen ∈, welches jedoch von manchen Browsern nicht korrekt dargestellt wird.Neue Mathematik
Definitionen und Gesetzmäßigkeiten
beliebige Teilmengen von 
Die Mengen-Operationen Schnitt 
(B ist Teilmenge von A), wenn jedes Element von B auch Element von A ist, d.h. B ist enthalten in oder gleich A. Üblich ist auch die Schreibweise 
(B ist echte Teilmenge von A), wenn jedes Element von B auch Element von A ist und die Menge B enthalten in und ungleich A ist. Bsp.:
(A geschnitten mit B) ist die Menge aller Elemente, die sowohl in A als auch in B enthalten sind.
(A vereinigt mit B) ist die Menge der Elemente, die in A oder in B oder beiden Mengen liegen.
in : 
(A ohne B) ist die Menge aller Elemente, die in A enthalten sind, aber nicht in B.
oder auch 
bezeichnet.
ist die Menge aller Teilmengen von 
. 
und Vereinigung 
sind zueinander kommutativ, assoziativ als auch distributiv. Die Algebra der Mengen ist eine so genannte Boolesche Algebra.
