Mengenlehre
www.infos-aus-germanien.info
Einordnung: Mathematical Subject Classification 03Exx | Mengenlehre
- Was heißt Mengenlehre auf:
Englisch - Französisch - Italienisch - Niederländisch und Schwedisch sowie Spanisch
- Sie wissen mehr über das Thema Mengenlehre und möchten uns dazu etwas mitteilen?
Benutzen Sie dazu bitte unser Forum und eröffnen Sie einen neuen Thread zum Thema Mengenlehre.
Dieser Artikel enthält mathematische Symbole. Diese werden in der Tabelle mit mathematischen Symbolen erläutert.
--InfoG 17:19, 24. Mär 2005 (CET)
Die Mengenlehre ist ein Teilgebiet der Mathematik, welches 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. Darüber hinaus ist sie von zentraler Bedeutung für die Aussagenlogik.
| Inhaltsverzeichnis |
Geschichte
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 <math>\in<math> (gesprochen Element von), z.B. x <math>\in<math> 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.
Eine alternative Mengentheorie kann man aufbauend auf der Kategorientheorie mit Hilfe von Topoi definieren.
Neue Mathematik
In den 1970er Jahren wurde die Mengenlehre in die Grundschulen eingeführt, nach wenigen Jahren aber zugunsten des traditionellen Rechenunterrichts wieder abgeschafft. Siehe dazu den Artikel "Neue Mathematik".
Zum besseren Verständnis der Mengenlehre werden sog. Venn-Diagramme (bzw. Mengendiagramme) benutzt.
Definitionen
Seien <math>{A}, {B} <math> beliebige Teilmengen der Menge <math>\mathbb{X}<math>.
- Teilmenge (Inklusion, Obermenge): <math>{A} \subseteq {B}<math> (A ist Teilmenge von B, oder auch B ist Obermenge von A), wenn jedes Element von A auch Element von B ist, d.h. A ist enthalten in oder gleich B. In Prädikatenlogik: <math>{A}\subseteq {B} :\Longleftrightarrow\forall x \in {\mathbb{X}}: \left( \left( {x} \in A \right) \Rightarrow \left( {x \in B } \right) \right) <math>.
- Echte Teilmenge:<math> {A} \subset {B} <math> (A ist echte Teilmenge von B oder B ist echte Obermenge von A), wenn die Menge A enthalten in B, aber ungleich B ist: <math>{A} \subset {B} :\Longleftrightarrow \left({A}\subseteq {B}\right) \wedge \left({A}\neq {B}\right)<math>
- Schnittmenge: <math> {A}\cap{B} := \{ x \in \mathbb{X} \mid \left( x \in {A} \right) \and \left( x \in {B} \right) \}<math> (A geschnitten mit B) ist die Menge aller Elemente, die sowohl in A als auch in B enthalten sind.
- Vereinigungsmenge: <math> {A}\cup {B} := \{ x \in \mathbb{X} \mid \left( x \in {A} \right) \or \left( x \in {B} \right) \}<math> (A vereinigt mit B) ist die Menge der Elemente, die in A oder in B oder beiden Mengen liegen.
- Komplement: <math>\complement{A}:=\{ x \in \mathbb{X} \mid x \not\in A \}<math> bezeichnet das Komplement von <math>A<math> in <math>\mathbb{X}<math>, das ist die Menge aller Elemente von <math>\mathbb{X}<math>, die nicht in A liegen.
- Differenzmenge: <math>{A} \setminus {B} = \{ x \in \mathbb{X} \mid \left( x\in A \right) \and \left( x\not\in B \right) \} <math> (A ohne B) ist die Menge aller Elemente, die in A enthalten sind, aber nicht in B
- symmetrische Differenz: <math>{A} \, \triangle \, {B} := \left( A \setminus B \right) \cup \left( B \setminus A \right) <math> ist die Menge aller Elemente, die in einer aber nicht in beiden der gegebenen Mengen liegen
- Mächtigkeit: <math>\left| A \right|<math> bezeichnet die Mächtigkeit (auch Kardinalität) der Menge <math>A<math>, also die Anzahl der Elemente von <math>A<math>. Für eine endliche Menge ist die Mächtigkeit eine natürliche Zahl; bei unendlichen Mengen unterscheidet man nach verschiedenen Graden der Unendlichkeit.
- Leere Menge: Die leere Menge enthält kein Element und wird mit <math>\emptyset<math> oder auch <math>\{\}<math> bezeichnet.
- Potenzmenge: Die Potenzmenge <math>\mathcal{P} \left( {A} \right)<math> ist die Menge aller Teilmengen von <math>{A}<math>.
Anmerkungen
- Die Symbole für Teilmenge und echte Teilmenge wurden in Anlehnung an die Zeichen <math><<math> und <math>\leq<math> gewählt. Diese Bezeichnung ist aber nicht immer einheitlich: In manchen Texten ist bei dem Zeichen <math>\subset<math> auch die Gleichheit der beiden Mengen zugelassen. In diesem Fall ist für die Auszeichnung einer echten Teilmenge etwa das Symbol <math>{B} \subsetneq {A}<math> gebräuchlich.
- Für die Bezeichnung des Komplements einer Menge <math>A<math> gibt es einige Varianten: Es wird gelegentlich auch durch <math>\overline{A}<math>, <math>A^C<math> oder <math>A^'<math> symbolisiert.
- Die Potenzmenge einer Menge <math>A<math> wird mitunter auch mit <math>2^A<math> bezeichnet.
- <math>\in<math>, <math>\subset<math> und <math>\subseteq<math> sind Relationen. Die Negation dieser Relationen kann durch das durchgestrichene jeweilige Relationssymbol bezeichnet werden, also zum Beispiel durch <math>\notin<math>. Außerdem ist es möglich, die Reihenfolge der beiden Argumente zu vertauschen, wenn dabei auch das Relationssymbol umgedreht wird. So kann also anstelle von <math>x\in A<math> auch <math>A\ni x<math>, anstelle von <math>A\subseteq B<math> auch <math>B\supseteq A<math> und anstelle von <math>A\subset B<math> auch <math>B\supset A<math> geschrieben werden. Auch ein gleichzeitiges Durchstreichen und Umdrehen dieser Relationssymbole ist denkbar.
- Die leere Menge ist Teilmenge jeder beliebigen Menge. Deshalb tritt sie als Element jeder Potenzmenge auf; jede Potenzmenge umfasst mindestens dieses eine Element.
- Die leere Menge kann – wie jede andere Menge auch – Element einer Menge sein: Die beiden Mengen <math>\emptyset<math> und <math>\{\emptyset\}<math> sind verschieden.
Beispiele
Wir betrachten die Mengen <math>\mathbb{X} = \{1,2,3\}<math>, <math>A = \{1,2\}<math> und <math>B = \{1,3\}<math>. Es gelten:
- <math>2\in A<math>, <math>2\notin B<math>
- <math>A\subseteq\mathbb{X}<math>, <math>B\subseteq\mathbb{X}<math>, <math>\mathbb{X}\subseteq\mathbb{X}<math>
- <math>A\subset\mathbb{X}<math>, <math>B\subset\mathbb{X}<math>
- <math>A\cap B = \{1\}<math>
- <math>A\cup B = \mathbb{X}<math>
- <math>\complement{A} = \{3\}<math>, <math>\complement{B} = \{2\}<math>, <math>\complement{\mathbb{X}}=\emptyset<math>, <math>\complement{\emptyset}=\mathbb{X}<math>
- <math>A\setminus B = \{2\}<math>, <math>B\setminus A = \{3\}<math>, <math>\mathbb{X}\setminus A = \{3\}<math>, <math>A\setminus\mathbb{X} = \emptyset<math>
- <math>A\triangle B = \{2,3\}<math>, <math>A\triangle\mathbb{X} = \{3\}<math>, <math>B\triangle\mathbb{X} = \{2\}<math>
- <math>\left| \mathbb{X}\right|<math> = 3, <math>\left| A\right|<math> = 2, <math>\left|\emptyset\right|<math> = 0, <math>\left|\{\emptyset\}\right|<math> = 1
- <math>\mathcal{P} \left(A\right) = \{\emptyset,\{1\},\{2\},\{1,2\}\}<math>
- <math>\mathcal{P} \left(\mathbb{X}\right) = \{\emptyset, A\cap B, \complement B, B\setminus A, A, B, A\triangle B, A \cup B\}<math>
- <math>\emptyset\notin\emptyset<math>, <math>\emptyset\in\{\emptyset\}<math>
- <math>\mathcal{P} \left(\emptyset\right) = \{\emptyset\}<math>, <math>\mathcal{P} \left(\{\emptyset\}\right) = \{\emptyset,\{\emptyset\}\}<math>
- <math>\mathbb{N}^+\subset \mathbb{N} \subset \mathbb{Z} \subset \mathbb{Q} \subset \mathbb{R} \subset \mathbb{C}<math>
Gesetzmäßigkeiten
Die Menge <math>\mathcal{P}\left(\mathbb{X}\right)<math> ist bezüglich der Relation <math>\subseteq<math>partiell geordnet, denn für alle <math>A,B,C\subseteq\mathbb{X}<math> gilt:
- Reflexivität: <math>A\subseteq A<math>
- Antisymmetrie: Aus <math>A\subseteq B<math> und <math>B\subseteq A<math> folgt <math>A = B<math>
- Transitivität: Aus <math>A\subseteq B<math> und <math>B\subseteq C<math> folgt <math>A\subseteq C<math>
Die Mengen-Operationen Schnitt <math>\cap<math> und Vereinigung <math>\cup<math> sind zueinander kommutativ, assoziativ und distributiv:
- Kommutativgesetz: <math>A \cup B = B \cup A <math>, <math>A \cap B = B \cap A <math>
- Assoziativgesetz: <math>\left( A \cup B \right) \cup C = A \cup \left( B \cup C \right) <math>, <math>\left( A \cap B \right) \cap C = A \cap \left( B \cap C \right) <math>
- Distributivgesetz: <math>A \cup \left( B \cap C \right) = \left( A \cup B \right) \cap \left( A \cup C \right)<math>, <math>A \cap \left( B \cup C \right) = \left( A \cap B \right) \cup \left( A \cap C \right)<math>
- De Morgansche Gesetze: <math>\complement( A \cup B) = \complement{A} \cap \complement{B}<math>, <math>\complement{(A \cap B)} = \complement{A} \cup \complement{B}<math>
Für die Differenzmenge gelten folgende Gesetzmäßigkeiten:
- Distributivgesetze: <math>(A \cap B) \setminus C = (A \setminus C) \cap (B \setminus C) \quad (A \cup B) \setminus C = (A \setminus C) \cup (B \setminus C) \quad A \setminus (B \cap C) = (A \setminus B) \cup (A \setminus C) \quad A \setminus (B \cup C) = (A \setminus B) \cap (A \setminus C)<math>
- Assoziativgesetz: <math>(A \setminus B) \setminus C = A \setminus (B \cup C) \quad A \setminus (B \setminus C) = (A \setminus B) \cup (A \cap C)<math>
Für die symmetrische Differenz gelten folgende Gesetzmäßigkeiten:
- Kommutativgesetz: <math>A \triangle B = B \triangle A<math>
- Assoziativgesetz: <math>(A \triangle B) \triangle C = A \triangle (B \triangle C)<math>
- Distributivgesetz: <math>(A \triangle B) \cap C = (A \cap C) \triangle (B \cap C)<math>
- <math>A \triangle \varnothing = A \quad A \triangle A = \varnothing<math>
Die Algebra der Mengen ist eine so genannte Boolesche Algebra.
Siehe auch: Universum (Mathematik)
Weblinks
- weitere Weblinks
- Mathematical Atlas ArtikelPlanetMath ArtikelMathe Onlineplaz.upb.de/lehrerbildung/plan/plan.php?id=sw0306
- Suche nach Mengenlehre Infos mit: Yahoo