Das Fotonexus-Wiki befindet sich im Testbetrieb.

Mengenlehre

Aus Fotonexus.

Wechseln zu: Navigation, Suche
Bild:Disambig-dark.svg Dieser Artikel befasst sich mit der mathematischen Theorie der Mengen. Eine erste Einführung in die Begriffe der Mengenlehre findet sich unter Menge (Mathematik).

Die Mengenlehre ist ein grundlegendes Teilgebiet der Mathematik. Zahlreiche Disziplinen wie Algebra, Analysis, Maßtheorie, Stochastik oder Topologie werden auf der Mengenlehre aufgebaut. Darüber hinaus gibt es wichtige Verbindungen zur Prädikatenlogik.

Inhaltsverzeichnis

Geschichte

Naive Mengenlehre

Die Mengenlehre geht zurück auf Georg Cantor (1845–1918). Nach seiner Definition von 1877 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 Mengenlehre auf der Grundlage dieser Definition wurde später als naive Mengenlehre bezeichnet. Sie führt zu Widersprüchen, insbesondere dann, wenn Mengen eingeführt werden, die sich selbst als Element enthalten. Am bekanntesten ist die Russellsche Antinomie.

Typentheorie

Zur Vermeidung dieser Widersprüche hat Russell selbst einen stufenweisen Aufbau der Mengenlehre vorgeschlagen und hierfür 1903, zusammen mit Whitehead, die Typentheorie entwickelt. Danach hat eine Menge stets einen höheren Typ als ihre Elemente. Aussagen wie „diese Menge enthält sich selbst als Element“ lassen sich in dieser Theorie gar nicht formulieren.

Die Typentheorie wurde später zu einer axiomatischen Theorie ausgebaut. Sie lässt sich als widerspruchsfrei nachweisen. Ihre sprachlichen Mittel sind jedoch nicht stark genug, um die gesamte Mathematik darauf aufzubauen.

Typenfreie axiomatische Mengenlehre

Andere Versuche, die Mengenlehre axiomatisch aufzubauen, verzichten auf die Definition von verschiedenen Mengentypen. Grundbegriffe sind hier nur noch

  • eine einzige Art von Objekten (nämlich Mengen) und
  • die Elementbeziehung zwischen diesen.

Das bekannteste System dieser Art ist die Zermelo-Fraenkel-Mengenlehre, deren Grundlagen 1908 von E. Zermelo gelegt wurden. Die endgültige Fassung erfolgte 1922 aufgrund einer Arbeit von A. Fraenkel. Dieses System wird oft als „ZF“ zitiert. Noch von Zermelo wurde das – von diesem System logisch unabhängige – Auswahlaxiom hinzugefügt. In dieser Form wird es als „ZFC“ (C für choice – englisch: Auswahl) bezeichnet. Die Mehrheit der Mathematiker betrachtet heute ZFC als eine geeignete Grundlage für die moderne Mathematik.

Die einzige Grundrelation in ZF oder ZFC ist Parser-Fehler (Das temporäre Verzeichnis für mathematische Formeln kann nicht angelegt oder beschrieben werden.): \in 

(gesprochen: Element von), z. B. Parser-Fehler (Das temporäre Verzeichnis für mathematische Formeln kann nicht angelegt oder beschrieben werden.): x\in M

, wenn Parser-Fehler (Das temporäre Verzeichnis für mathematische Formeln kann nicht angelegt oder beschrieben werden.): x 

als Element in Parser-Fehler (Das temporäre Verzeichnis für mathematische Formeln kann nicht angelegt oder beschrieben werden.): M
enthalten ist. Die Existenz von „Urelementen“, die keine Mengen sind, wird in dieser Theorie nicht postuliert.

Die Axiome sind so formuliert, dass die bekannten Widersprüche der Cantorschen Mengenlehre vermieden werden. Wichtig sind hier vor allem das Fundierungsaxiom und das Aussonderungsaxiom, die es unmöglich machen, die Russellsche Antinomie zu formulieren. Einen Beweis für die Widerspruchsfreiheit der Zermelo-Fraenkel-Mengenlehre gibt es jedoch nicht. Im Rahmen einer Mathematik, die auf der Zermelo-Fraenkel-Mengenlehre basiert, lässt sich ein solcher Beweis auch grundsätzlich nicht führen (Gödelscher Unvollständigkeitssatz).

Präzisierung der Cantorschen Mengenlehre

Die erste Präzisierung nimmt Gottlob Frege in seiner Begriffsschrift 1879 vor, indem er eine Menge als die Extension eines Begriffs, als den Begriffsumfang definiert. So gibt es beispielsweise eine „Menge aller Parser-Fehler (Das temporäre Verzeichnis für mathematische Formeln kann nicht angelegt oder beschrieben werden.): x 

mit der Eigenschaft Parser-Fehler (Das temporäre Verzeichnis für mathematische Formeln kann nicht angelegt oder beschrieben werden.): 2x + 3 = 0

“. Auf diese Definition bezog sich ursprünglich die Russellsche Antinomie.

Auch Mathematiker, die später nicht auf eine Axiomatisierung der Mengenlehre aufbauen wollten, mussten dafür sorgen, dass die bekannten Widersprüche ausgeschlossen werden.

Als Beispiel sollen hier die Definitionen von Erich Kamke dargestellt werden, dessen „Mengenlehre“ seit 1928 in zahlreichen Auflagen erschienen ist und als eine Standard-Einführung angesehen werden kann:

Kamke zitiert die Cantorsche Definition und erläutert dann:

(a) „Es sei Parser-Fehler (Das temporäre Verzeichnis für mathematische Formeln kann nicht angelegt oder beschrieben werden.): \mathfrak{E} 
eine wohldefinierte Eigenschaft(…), die mindestens einem 'Ding' zukommt oder eine Aussage, die für mindestens ein Ding wahr ist…“;
An späterer Stelle führt Kamke dazu aus: „Damit ist der Mengenbegriff auf einen Begriff ähnlicher Allgemeinheit zurückgeführt [gemeint ist der Begriff „Eigenschaft“], dessen genaue Festlegung keineswegs einfacher ist(…) Jedenfalls gibt es Eigenschaften, die nach übereinstimmender Meinung eine Menge einwandfrei festlegen, z. B. die Menge der natürlichen Zahlen(…). Wir wollen immer annehmen, dass von solchen einwandfreien Mengen ausgegangen wird.“ – Das Kamke-Zitat geht dann weiter:
„(…)ferner sei die Gesamtheit der 'Dinge' Parser-Fehler (Das temporäre Verzeichnis für mathematische Formeln kann nicht angelegt oder beschrieben werden.): m 
mit der Eigenschaft Parser-Fehler (Das temporäre Verzeichnis für mathematische Formeln kann nicht angelegt oder beschrieben werden.): \mathfrak{E}
eine wohlbestimmte Gesamtheit(…).“
Dazu gibt er die Anmerkung: „Ob das zutrifft, ist mit der auch sonst in der Mathematik üblichen Sorgfalt zu untersuchen“, und fährt dann fort:
(b) „Durch den Akt der Definition wird die Gesamtheit der 'Dinge' Parser-Fehler (Das temporäre Verzeichnis für mathematische Formeln kann nicht angelegt oder beschrieben werden.): m 
mit der Eigenschaft Parser-Fehler (Das temporäre Verzeichnis für mathematische Formeln kann nicht angelegt oder beschrieben werden.): \mathfrak{E}
als ein neues 'Ding' eingeführt und 'Menge' Parser-Fehler (Das temporäre Verzeichnis für mathematische Formeln kann nicht angelegt oder beschrieben werden.): M
oder Parser-Fehler (Das temporäre Verzeichnis für mathematische Formeln kann nicht angelegt oder beschrieben werden.): M(m)
genannt;(…)“

Als Konsequenz hieraus ergibt sich laut Kamke:

„Da durch die Bildung einer Menge ein neues Ding, ein neuer Begriff geschaffen werden soll(…), ist die Menge als verschieden vom jedem ihrer Elemente anzusehen(…) Hiernach sind folgende 'Mengen' sinnlos, da in sich selbst widerspruchsvoll:
(α) jede Menge, die sich selbst als Element enthält;
(β) die Menge aller Mengen, da sie sich selbst als Element enthalten müsste;
(γ) Die Menge aller Mengen, die sich nicht als Element enthalten (Russell), da sie nach dem Vorangehenden nichts als die in (β) genannte Menge ist.“

Hier wird also ansatzweise ein hierarchischer Mengenbegriff verwendet (ähnlich wie in der Typentheorie). Die Rechtfertigung seiner Vorgehensweise sieht Kamke darin, dass für „ernste unlösbare Widersprüche (…) irgendwelche Anzeichen“ nicht vorliegen.

Allerdings hat eine solche Einschränkung des Mengenbegriffs zur Folge, dass es nun durchaus „bestimmte wohlunterschiedene Objekte (…) unseres Denkens“ gibt, die sich auch begrifflich „zu einem Ganzen“ zusammenfassen lassen, ohne dass wir dieses Ganze als „Menge“ bezeichnen dürften. (Die Gesamtheit aller Mengen ist ein Beispiel, die Gesamtheit der Kardinalzahlen ein anderes). Das ist ganz gegen Cantors Intention.

Wenn solche „Un-Mengen“ mit einbezogen werden sollen, wird zuweilen der Begriff Klasse verwendet.

Rückwirkungen auf die Mathematik als Wissenschaft

Cantors Konzept wurde von den Mathematikern des späten 19. Jahrhunderts keineswegs als revolutionär angesehen. Der Ruf der Logik als mathematische Disziplin war schlecht. Verallgemeinerungen auf diesem Niveau galten als überflüssig und, als dabei gar noch Antinomien auftraten, als lästig. Poincaré spottete: „Die Logik ist gar nicht mehr steril – sie zeugt jetzt Widersprüche.“

Im Verlauf des ersten Drittels des 20. Jahrhunderts setzte sich dann, zunächst hauptsächlich bei jungen Mathematikern, die Ansicht durch, dass Mengenlehre eine entscheidend wichtige Grundlage für die Strukturierung der Mathematik sei. Paradoxerweise erfolgte diese Aufwertung parallel zu der Erkenntnis, dass die aufgetretenen Probleme grundsätzlicher Natur und prinzipiell unlösbar sind (Gödelscher Unvollständigkeitssatz). Was von den Spezialisten als Grundlagenkrise der Mathematik begriffen wurde, wurde von der Mehrheit der Mathematik Schaffenden kaum beachtet.

Kennzeichnend für diese Auffassung ist das Unternehmen einer Gruppe von Mathematikern, die unter dem Pseudonym Bourbaki die gesamte Mathematik auf der Grundlage der Mengenlehre einheitlich neu darstellen wollte.

Die Entscheidung zwischen den möglichen Grundlegungen fiel pragmatisch aus: Zermelos typenfreies Axiomensystem schien damals leichter zu handhaben als Russells Typentheorie. Jenes wird heute ganz überwiegend als Grundlage der Mathematik betrachtet.

Rückwirkungen auf die Schulmathematik

Gegen Ende der 1960er Jahre wurden Grundbegriffe der Mengenlehre in den Schulunterricht eingeführt. Unter dem Stichwort „Neue Mathematik“ fand, insbesondere in den Eingangsklassen der Grundschulen, eine grundlegende Veränderung des Rechenunterrichts statt, der von nun an als Mathematikunterricht aufgefasst wurde. Die zum Teil sicher überzogene Betonung des Mengenbegriffs wurde bald wieder zurückgenommen.

Kategorientheorie

Eine alternative Mengentheorie kann man aufbauend auf der Kategorientheorie mit Hilfe von Topoi definieren.

Mengenlehre und Informatik

Als Grundlage der Informatik reicht die typenfreie Mengenlehre nach Zermelo und Fraenkel allein nicht aus, da sie hochgradig unkonstruktiv ist, also den Begriff des Algorithmus kaum erfasst. Aus diesem Grunde wurden seit den 1970er Jahren konstruktive Kalküle entwickelt, die Klassifizierungskonzepte wie Datentypen usw. beinhalten. Es wird behauptet, dass diese Theorien im Hinblick auf Universalität und Anwendungsbereich der klassischen Mengentheorie gleichkommen.

Definitionen

Gleichheit

Zwei Mengen heißen gleich, wenn sie dieselben Elemente enthalten.

Diese Definition bezeichnet die Extensionalität und damit die grundlegende Eigenschaft von Mengen. Formal:

Parser-Fehler (Das temporäre Verzeichnis für mathematische Formeln kann nicht angelegt oder beschrieben werden.): A=B :\Longleftrightarrow \forall x \left(x \in A \,\leftrightarrow x \in B \right)


Tatsächlich muss eine Menge Parser-Fehler (Das temporäre Verzeichnis für mathematische Formeln kann nicht angelegt oder beschrieben werden.): A 

aber meist intensional beschrieben werden. Das heißt: Es wird eine Aussageform Parser-Fehler (Das temporäre Verzeichnis für mathematische Formeln kann nicht angelegt oder beschrieben werden.): P(x)
angegeben (mit einer Objektvariablen Parser-Fehler (Das temporäre Verzeichnis für mathematische Formeln kann nicht angelegt oder beschrieben werden.): x

, die eine wohlbestimmte Definitionsmenge Parser-Fehler (Das temporäre Verzeichnis für mathematische Formeln kann nicht angelegt oder beschrieben werden.): D 

haben sollte), sodass Parser-Fehler (Das temporäre Verzeichnis für mathematische Formeln kann nicht angelegt oder beschrieben werden.): x \in A
genau dann gilt, wenn Parser-Fehler (Das temporäre Verzeichnis für mathematische Formeln kann nicht angelegt oder beschrieben werden.): P(x)
zutrifft. Dafür schreibt man dann:
Parser-Fehler (Das temporäre Verzeichnis für mathematische Formeln kann nicht angelegt oder beschrieben werden.): A = \{x \in D | \mathit{P}(x) \}


Zu jeder Menge Parser-Fehler (Das temporäre Verzeichnis für mathematische Formeln kann nicht angelegt oder beschrieben werden.): A 

gibt es viele verschiedene Aussageformen Parser-Fehler (Das temporäre Verzeichnis für mathematische Formeln kann nicht angelegt oder beschrieben werden.): P(x)

, die diese beschreiben. Die Frage, ob zwei gegebene Aussageformen Parser-Fehler (Das temporäre Verzeichnis für mathematische Formeln kann nicht angelegt oder beschrieben werden.): P(x) 

und Parser-Fehler (Das temporäre Verzeichnis für mathematische Formeln kann nicht angelegt oder beschrieben werden.): Q(x)
dieselbe Menge beschreiben, ist keineswegs trivial. Im Gegenteil: Viele Fragestellungen der Mathematik lassen sich in dieser Form formulieren: „Sind Parser-Fehler (Das temporäre Verzeichnis für mathematische Formeln kann nicht angelegt oder beschrieben werden.): \{x \in D | \mathit{P}(x) \}
und Parser-Fehler (Das temporäre Verzeichnis für mathematische Formeln kann nicht angelegt oder beschrieben werden.): \{x \in D | \mathit{Q}(x) \}
die gleiche Menge?“.

Leere Menge

Die Menge, die kein Element enthält, heißt leere Menge. Sie wird mit Parser-Fehler (Das temporäre Verzeichnis für mathematische Formeln kann nicht angelegt oder beschrieben werden.): \varnothing 

oder auch Parser-Fehler (Das temporäre Verzeichnis für mathematische Formeln kann nicht angelegt oder beschrieben werden.): \{\}
bezeichnet. Aus der Extensionalität der Mengen folgt, dass es nur eine leere Menge gibt: Jede „andere“ leere Menge enthält dieselben Elemente (nämlich keine), ist also gleich.

Teilmenge

Eine Menge Parser-Fehler (Das temporäre Verzeichnis für mathematische Formeln kann nicht angelegt oder beschrieben werden.): A 

heißt Teilmenge einer Menge Parser-Fehler (Das temporäre Verzeichnis für mathematische Formeln kann nicht angelegt oder beschrieben werden.): B

, wenn jedes Element von Parser-Fehler (Das temporäre Verzeichnis für mathematische Formeln kann nicht angelegt oder beschrieben werden.): A 

auch Element von Parser-Fehler (Das temporäre Verzeichnis für mathematische Formeln kann nicht angelegt oder beschrieben werden.): B
ist.

Parser-Fehler (Das temporäre Verzeichnis für mathematische Formeln kann nicht angelegt oder beschrieben werden.): B 

wird dann Obermenge (selten: Übermenge) von Parser-Fehler (Das temporäre Verzeichnis für mathematische Formeln kann nicht angelegt oder beschrieben werden.): A
genannt. Formal:
Parser-Fehler (Das temporäre Verzeichnis für mathematische Formeln kann nicht angelegt oder beschrieben werden.): {A}\subseteq {B} :\Longleftrightarrow \forall x \left( {x} \in A \rightarrow x \in B \right)

.

  • Echte Teilmenge: Parser-Fehler (Das temporäre Verzeichnis für mathematische Formeln kann nicht angelegt oder beschrieben werden.): A 
ist echte Teilmenge von Parser-Fehler (Das temporäre Verzeichnis für mathematische Formeln kann nicht angelegt oder beschrieben werden.): B
(oder Parser-Fehler (Das temporäre Verzeichnis für mathematische Formeln kann nicht angelegt oder beschrieben werden.): B
ist echte Obermenge von Parser-Fehler (Das temporäre Verzeichnis für mathematische Formeln kann nicht angelegt oder beschrieben werden.): A

), wenn Parser-Fehler (Das temporäre Verzeichnis für mathematische Formeln kann nicht angelegt oder beschrieben werden.): A 

Teilmenge von Parser-Fehler (Das temporäre Verzeichnis für mathematische Formeln kann nicht angelegt oder beschrieben werden.): B
ist, aber von Parser-Fehler (Das temporäre Verzeichnis für mathematische Formeln kann nicht angelegt oder beschrieben werden.): B
verschieden,

also jedes Element aus Parser-Fehler (Das temporäre Verzeichnis für mathematische Formeln kann nicht angelegt oder beschrieben werden.): A 

auch Element von Parser-Fehler (Das temporäre Verzeichnis für mathematische Formeln kann nicht angelegt oder beschrieben werden.): B
ist, aber (mindestens) ein Element in Parser-Fehler (Das temporäre Verzeichnis für mathematische Formeln kann nicht angelegt oder beschrieben werden.): B
existiert, das nicht in Parser-Fehler (Das temporäre Verzeichnis für mathematische Formeln kann nicht angelegt oder beschrieben werden.): A
enthalten ist.

Die Relation „ist Teilmenge von“ bildet eine Halbordnung. Die Relation „echte Teilmenge“ ist eine strenge Halbordnung.

Es gibt zwei Notationen:

  • Parser-Fehler (Das temporäre Verzeichnis für mathematische Formeln kann nicht angelegt oder beschrieben werden.): {A}\subseteq {B} 
für „Teilmenge“ und Parser-Fehler (Das temporäre Verzeichnis für mathematische Formeln kann nicht angelegt oder beschrieben werden.): {A}\subset {B}
für „echte Teilmenge“ oder
  • Parser-Fehler (Das temporäre Verzeichnis für mathematische Formeln kann nicht angelegt oder beschrieben werden.): {A}\subset {B} 
für „Teilmenge“ und Parser-Fehler (Das temporäre Verzeichnis für mathematische Formeln kann nicht angelegt oder beschrieben werden.): A \subsetneq B
für „echte Teilmenge“.

In diesem Artikel wird das erstgenannte System verwendet, es sind jedoch beide weit verbreitet.

Schnittmenge

Bild:AnB.png
Schnittmenge von Parser-Fehler (Das temporäre Verzeichnis für mathematische Formeln kann nicht angelegt oder beschrieben werden.): A 
und Parser-Fehler (Das temporäre Verzeichnis für mathematische Formeln kann nicht angelegt oder beschrieben werden.): B

Gegeben ist eine nichtleere Menge Parser-Fehler (Das temporäre Verzeichnis für mathematische Formeln kann nicht angelegt oder beschrieben werden.): U 

von Mengen. Die Schnittmenge (auch Durchschnittsmenge) von Parser-Fehler (Das temporäre Verzeichnis für mathematische Formeln kann nicht angelegt oder beschrieben werden.): U
ist die Menge der Elemente, die in jedem Element von Parser-Fehler (Das temporäre Verzeichnis für mathematische Formeln kann nicht angelegt oder beschrieben werden.): U
enthalten sind. Formal:
Parser-Fehler (Das temporäre Verzeichnis für mathematische Formeln kann nicht angelegt oder beschrieben werden.): \bigcap U := \{x \mid \forall a\in U : x\in a\}

.

Ist Parser-Fehler (Das temporäre Verzeichnis für mathematische Formeln kann nicht angelegt oder beschrieben werden.): U 

eine Paarmenge, also Parser-Fehler (Das temporäre Verzeichnis für mathematische Formeln kann nicht angelegt oder beschrieben werden.): U\,=\{A,B\}

, so schreibt man für Parser-Fehler (Das temporäre Verzeichnis für mathematische Formeln kann nicht angelegt oder beschrieben werden.): \bigcap U 

gewöhnlich
Parser-Fehler (Das temporäre Verzeichnis für mathematische Formeln kann nicht angelegt oder beschrieben werden.): {A}\cap{B} := \{ x \mid \left( x \in {A} \right) \and \left( x \in {B} \right) \}


und liest dies: Parser-Fehler (Das temporäre Verzeichnis für mathematische Formeln kann nicht angelegt oder beschrieben werden.): A 

geschnitten mit Parser-Fehler (Das temporäre Verzeichnis für mathematische Formeln kann nicht angelegt oder beschrieben werden.): B

(oder: Der Durchschnitt von Parser-Fehler (Das temporäre Verzeichnis für mathematische Formeln kann nicht angelegt oder beschrieben werden.): A 

und Parser-Fehler (Das temporäre Verzeichnis für mathematische Formeln kann nicht angelegt oder beschrieben werden.): B

) ist die Menge aller Elemente, die sowohl in Parser-Fehler (Das temporäre Verzeichnis für mathematische Formeln kann nicht angelegt oder beschrieben werden.): A 

als auch in Parser-Fehler (Das temporäre Verzeichnis für mathematische Formeln kann nicht angelegt oder beschrieben werden.): B
enthalten sind.

Diese Schreibweise lässt sich leicht auf den Durchschnitt aus endlich vielen Mengen Parser-Fehler (Das temporäre Verzeichnis für mathematische Formeln kann nicht angelegt oder beschrieben werden.): {A_1, A_2,\ldots, A_n} 

verallgemeinern.

Eine ältere Bezeichnung hierfür ist inneres Produkt oder Produkt erster Art. Dieses wird dann auch geschrieben

Parser-Fehler (Das temporäre Verzeichnis für mathematische Formeln kann nicht angelegt oder beschrieben werden.): A_1 \cdot A_2 \cdot \ldots \cdot A_n 
oder Parser-Fehler (Das temporäre Verzeichnis für mathematische Formeln kann nicht angelegt oder beschrieben werden.): \prod_{i=1}^n A_i


Abweichende Schreibweise für den Durchschnitt aus beliebig vielen Mengen:

Die Elemente der Menge Parser-Fehler (Das temporäre Verzeichnis für mathematische Formeln kann nicht angelegt oder beschrieben werden.): U , die ja selbst wieder Mengen sind, werden mit Parser-Fehler (Das temporäre Verzeichnis für mathematische Formeln kann nicht angelegt oder beschrieben werden.): A_\lambda 

bezeichnet. Es wird eine „Indexmenge“ Parser-Fehler (Das temporäre Verzeichnis für mathematische Formeln kann nicht angelegt oder beschrieben werden.): \Lambda

(Lambda) eingeführt, sodass Parser-Fehler (Das temporäre Verzeichnis für mathematische Formeln kann nicht angelegt oder beschrieben werden.): U = \{A_\lambda \mid \lambda \in \Lambda \} 

ist. Die Schnittmenge Parser-Fehler (Das temporäre Verzeichnis für mathematische Formeln kann nicht angelegt oder beschrieben werden.): \bigcap U
wird dann geschrieben als:
Parser-Fehler (Das temporäre Verzeichnis für mathematische Formeln kann nicht angelegt oder beschrieben werden.): \bigcap_{\lambda\in\Lambda} A_\lambda := \{x \mid \forall\lambda\in\Lambda: x\in A_\lambda\}

,

also die Menge aller Elemente, die in sämtlichen Mengen Parser-Fehler (Das temporäre Verzeichnis für mathematische Formeln kann nicht angelegt oder beschrieben werden.): A_\lambda 

enthalten sind.

Vereinigungsmenge

Bild:AorB.png
Vereinigungsmenge von Parser-Fehler (Das temporäre Verzeichnis für mathematische Formeln kann nicht angelegt oder beschrieben werden.): A

 und Parser-Fehler (Das temporäre Verzeichnis für mathematische Formeln kann nicht angelegt oder beschrieben werden.): B

Dies ist der zu Schnittmenge duale Begriff: Die Vereinigungsmenge von Parser-Fehler (Das temporäre Verzeichnis für mathematische Formeln kann nicht angelegt oder beschrieben werden.): U 

ist die Menge der Elemente, die in mindestens einem Element von Parser-Fehler (Das temporäre Verzeichnis für mathematische Formeln kann nicht angelegt oder beschrieben werden.): U
enthalten sind. Formal:
Parser-Fehler (Das temporäre Verzeichnis für mathematische Formeln kann nicht angelegt oder beschrieben werden.): \bigcup U := \{x \mid \exists a\in U : x\in a\}

.

Für Parser-Fehler (Das temporäre Verzeichnis für mathematische Formeln kann nicht angelegt oder beschrieben werden.): U\,=\{A,B\} 

schreibt man wieder
Parser-Fehler (Das temporäre Verzeichnis für mathematische Formeln kann nicht angelegt oder beschrieben werden.): {A}\cup{B} := \{ x \mid \left( x \in {A} \right) \lor \left( x \in {B} \right) \}


und liest dies: Parser-Fehler (Das temporäre Verzeichnis für mathematische Formeln kann nicht angelegt oder beschrieben werden.): A 

vereinigt mit Parser-Fehler (Das temporäre Verzeichnis für mathematische Formeln kann nicht angelegt oder beschrieben werden.): B

(oder: Die Vereinigung von Parser-Fehler (Das temporäre Verzeichnis für mathematische Formeln kann nicht angelegt oder beschrieben werden.): A 

und Parser-Fehler (Das temporäre Verzeichnis für mathematische Formeln kann nicht angelegt oder beschrieben werden.): B

) ist die Menge aller Elemente, die in Parser-Fehler (Das temporäre Verzeichnis für mathematische Formeln kann nicht angelegt oder beschrieben werden.): A 

oder in Parser-Fehler (Das temporäre Verzeichnis für mathematische Formeln kann nicht angelegt oder beschrieben werden.): B
enthalten sind. Das „oder“ ist hier nicht-ausschließend zu verstehen. Die Vereinigung umfasst auch die Elemente, die in beiden Mengen enthalten sind.

Auch diese Schreibweise ist für die Vereinigung endlich vieler Mengen geeignet.

Als ältere Bezeichnung hierfür wird zuweilen noch Summe verwendet und dann geschrieben

Parser-Fehler (Das temporäre Verzeichnis für mathematische Formeln kann nicht angelegt oder beschrieben werden.): A_1 + A_2 + \ldots + A_n 
oder Parser-Fehler (Das temporäre Verzeichnis für mathematische Formeln kann nicht angelegt oder beschrieben werden.): \sum_{i=1}^n A_i

.

Vorsicht: Der Begriff Summe wird heute auch für die disjunkte Vereinigung von Mengen benutzt.

Unter Verwendung der Indexmenge Parser-Fehler (Das temporäre Verzeichnis für mathematische Formeln kann nicht angelegt oder beschrieben werden.): \Lambda 

schreibt man:
Parser-Fehler (Das temporäre Verzeichnis für mathematische Formeln kann nicht angelegt oder beschrieben werden.): \bigcup_{\lambda\in\Lambda} A_\lambda := \{x \mid \exists\lambda\in\Lambda: x\in A_\lambda\}

.

Differenz und Komplement

Bild:AohneB.png
Parser-Fehler (Das temporäre Verzeichnis für mathematische Formeln kann nicht angelegt oder beschrieben werden.): A 
ohne Parser-Fehler (Das temporäre Verzeichnis für mathematische Formeln kann nicht angelegt oder beschrieben werden.): B

Die Differenz wird gewöhnlich nur für zwei Mengen definiert: Die Differenzmenge (auch Restmenge) von Parser-Fehler (Das temporäre Verzeichnis für mathematische Formeln kann nicht angelegt oder beschrieben werden.): A 

und Parser-Fehler (Das temporäre Verzeichnis für mathematische Formeln kann nicht angelegt oder beschrieben werden.): B
ist die Menge der Elemente, die in Parser-Fehler (Das temporäre Verzeichnis für mathematische Formeln kann nicht angelegt oder beschrieben werden.): A

, aber nicht in Parser-Fehler (Das temporäre Verzeichnis für mathematische Formeln kann nicht angelegt oder beschrieben werden.): B 

enthalten sind. Formal:
Parser-Fehler (Das temporäre Verzeichnis für mathematische Formeln kann nicht angelegt oder beschrieben werden.): {A} \setminus {B} = \{ x \mid \left( x\in A \right) \and \left( x\not\in B \right) \}


Ist Parser-Fehler (Das temporäre Verzeichnis für mathematische Formeln kann nicht angelegt oder beschrieben werden.): B \subseteq A , so heißt die Differenz Parser-Fehler (Das temporäre Verzeichnis für mathematische Formeln kann nicht angelegt oder beschrieben werden.): A \setminus B 

auch Komplement von Parser-Fehler (Das temporäre Verzeichnis für mathematische Formeln kann nicht angelegt oder beschrieben werden.): B
in Parser-Fehler (Das temporäre Verzeichnis für mathematische Formeln kann nicht angelegt oder beschrieben werden.): A

. Dieser Begriff wird vor allem dann verwendet, wenn Parser-Fehler (Das temporäre Verzeichnis für mathematische Formeln kann nicht angelegt oder beschrieben werden.): A 

eine Grundmenge ist, die alle in einer bestimmten Untersuchung in Frage stehenden Mengen umfasst. Diese Menge muss dann im Folgenden nicht mehr erwähnt werden, und
Parser-Fehler (Das temporäre Verzeichnis für mathematische Formeln kann nicht angelegt oder beschrieben werden.): \complement{B}:=\{ x \mid x \not\in B \}


heißt einfach das Komplement von Parser-Fehler (Das temporäre Verzeichnis für mathematische Formeln kann nicht angelegt oder beschrieben werden.): B .

Eine andere häufige Schreibweise für Parser-Fehler (Das temporäre Verzeichnis für mathematische Formeln kann nicht angelegt oder beschrieben werden.): \complement{B} 

ist Parser-Fehler (Das temporäre Verzeichnis für mathematische Formeln kann nicht angelegt oder beschrieben werden.): \overline B

. Manchmal findet man auch Parser-Fehler (Das temporäre Verzeichnis für mathematische Formeln kann nicht angelegt oder beschrieben werden.): B^C 

oder Parser-Fehler (Das temporäre Verzeichnis für mathematische Formeln kann nicht angelegt oder beschrieben werden.): B'

.

Bild:AxorB.png
Symmetrische Differenz

Die Menge

Parser-Fehler (Das temporäre Verzeichnis für mathematische Formeln kann nicht angelegt oder beschrieben werden.): {A} \, \triangle \, {B} := \left( A \setminus B \right) \cup \left( B \setminus A \right) = ( A \cup B) \setminus (A \cap B)


wird gelegentlich als symmetrische Differenz von Parser-Fehler (Das temporäre Verzeichnis für mathematische Formeln kann nicht angelegt oder beschrieben werden.): A 

und Parser-Fehler (Das temporäre Verzeichnis für mathematische Formeln kann nicht angelegt oder beschrieben werden.): B
bezeichnet. Es handelt sich um die Menge aller Elemente, die jeweils in einer, aber nicht in beiden der beiden Mengen liegen. Bei Verwendung des ausschließenden Oders (XOR oder Parser-Fehler (Das temporäre Verzeichnis für mathematische Formeln kann nicht angelegt oder beschrieben werden.): \oplus

) kann man dafür auch schreiben:

Parser-Fehler (Das temporäre Verzeichnis für mathematische Formeln kann nicht angelegt oder beschrieben werden.): {A} \, \triangle \, {B} := \{ x \mid \left( x\in A \right) \oplus \left( x\in B \right) \}


Kartesisches Produkt

Die Produktmenge oder das kartesische Produkt, in älterer Terminologie auch Verbindungsmenge oder Produkt zweiter Art, soll hier ebenfalls zunächst als Verknüpfung von zwei Mengen definiert werden:

Die Produktmenge von Parser-Fehler (Das temporäre Verzeichnis für mathematische Formeln kann nicht angelegt oder beschrieben werden.): A 

und Parser-Fehler (Das temporäre Verzeichnis für mathematische Formeln kann nicht angelegt oder beschrieben werden.): B
ist die Menge aller geordneten Paare, deren erstes Element aus Parser-Fehler (Das temporäre Verzeichnis für mathematische Formeln kann nicht angelegt oder beschrieben werden.): A
und deren zweites Element aus Parser-Fehler (Das temporäre Verzeichnis für mathematische Formeln kann nicht angelegt oder beschrieben werden.): B
ist.

Die Elemente des kartesischen Produkts sind also keine Elemente der Ausgangsmengen, sondern komplexere Objekte, nämlich geordnete Paare. Formal:

Parser-Fehler (Das temporäre Verzeichnis für mathematische Formeln kann nicht angelegt oder beschrieben werden.): A\times B := \{\left(a,b\right) \mid a\in A \and b\in B\}


Unter der Verwendung von n-Tupeln lässt sich der Begriff leicht für die Verknüpfung endlich vieler Mengen verallgemeinern:

Parser-Fehler (Das temporäre Verzeichnis für mathematische Formeln kann nicht angelegt oder beschrieben werden.): A_1\times A_2 \times \ldots \times A_n := \{\left(a_1,a_2,\ldots,a_n\right) \mid a_1\in A_1 \and a_2\in A_2 \and \ldots \and a_n\in A_n\}


Für die Produktmenge beliebig vieler Mengen, die durch die Indexmenge Parser-Fehler (Das temporäre Verzeichnis für mathematische Formeln kann nicht angelegt oder beschrieben werden.): \Lambda 

benannt werden, schreibt man Parser-Fehler (Das temporäre Verzeichnis für mathematische Formeln kann nicht angelegt oder beschrieben werden.): \prod_{\lambda\in \Lambda} A_\lambda
oder, wenn diese Notation schon für „Produkte erster Art“ verwendet wird, Parser-Fehler (Das temporäre Verzeichnis für mathematische Formeln kann nicht angelegt oder beschrieben werden.): {}^\times\prod_{\lambda \in \Lambda}A_\lambda

. Für die Definition einer solchen Produktmenge wird ein allgemeiner Funktionsbegriff benötigt. Sie ist die Menge aller Funktionen, die jedem Indexelement Parser-Fehler (Das temporäre Verzeichnis für mathematische Formeln kann nicht angelegt oder beschrieben werden.): \lambda 

ein Element der Menge Parser-Fehler (Das temporäre Verzeichnis für mathematische Formeln kann nicht angelegt oder beschrieben werden.): A_\lambda
zuordnen. Formal:
Parser-Fehler (Das temporäre Verzeichnis für mathematische Formeln kann nicht angelegt oder beschrieben werden.): {}^{(\times)}\prod_{\lambda\in \Lambda} A_\lambda := \{f:\Lambda\to \bigcup_{\lambda\in \Lambda} A_\lambda \mid \forall \lambda\in\Lambda : f\left(\lambda\right)\in A_\lambda\}


Siehe hierzu den Artikel kartesisches Produkt.

Potenzmenge

Die Potenzmenge Parser-Fehler (Das temporäre Verzeichnis für mathematische Formeln kann nicht angelegt oder beschrieben werden.): \mathcal{P} \left( {A} \right) 

von Parser-Fehler (Das temporäre Verzeichnis für mathematische Formeln kann nicht angelegt oder beschrieben werden.): A
ist die Menge aller Teilmengen von Parser-Fehler (Das temporäre Verzeichnis für mathematische Formeln kann nicht angelegt oder beschrieben werden.): {A}

.

Die Potenzmenge von Parser-Fehler (Das temporäre Verzeichnis für mathematische Formeln kann nicht angelegt oder beschrieben werden.): {A} 

enthält immer die leere Menge und die Menge Parser-Fehler (Das temporäre Verzeichnis für mathematische Formeln kann nicht angelegt oder beschrieben werden.): {A}

. Somit ist Parser-Fehler (Das temporäre Verzeichnis für mathematische Formeln kann nicht angelegt oder beschrieben werden.): \mathcal{P} \left( {\varnothing} \right)=\{ {\varnothing} \} , also eine einelementige Menge. Die Potenzmenge einer einelementigen Menge Parser-Fehler (Das temporäre Verzeichnis für mathematische Formeln kann nicht angelegt oder beschrieben werden.): \{ {a}\} 

ist Parser-Fehler (Das temporäre Verzeichnis für mathematische Formeln kann nicht angelegt oder beschrieben werden.): \mathcal{P} \left( \{{a}\} \right)=\{ {\varnothing}, \{{a} \} \}

, enthält also zwei Elemente. Allgemein gilt: Hat Parser-Fehler (Das temporäre Verzeichnis für mathematische Formeln kann nicht angelegt oder beschrieben werden.): {A} 

Parser-Fehler (Das temporäre Verzeichnis für mathematische Formeln kann nicht angelegt oder beschrieben werden.): n
Elemente, so hat Parser-Fehler (Das temporäre Verzeichnis für mathematische Formeln kann nicht angelegt oder beschrieben werden.): \mathcal{P} \left( {A} \right)
die Elementanzahl Parser-Fehler (Das temporäre Verzeichnis für mathematische Formeln kann nicht angelegt oder beschrieben werden.): 2^n

.

Bei unendlichen Mengen ist der Begriff nicht unproblematisch: Es gibt nachweislich kein Verfahren, das alle Teilmengen auflisten könnte. (Siehe dazu: Cantors zweites Diagonalargument.) Bei einem axiomatischen Aufbau der Mengenlehre (etwa ZFC) muss die Existenz der Potenzmenge durch ein eigenes Potenzmengenaxiom gefordert werden. Diese Fragen hängen eng zusammen mit der Problematik des Auswahlaxioms.

Konstruktive Mathematiker betrachten deshalb die Potenzmenge einer unendlichen Menge als einen grundsätzlich unabgeschlossenen Bereich, zu dem – je nach Fortgang der mathematischen Forschung – immer noch neue Mengen hinzugefügt werden können.

Mächtigkeit und Kardinalzahl

Die Mächtigkeit (Kardinalität) einer Menge Parser-Fehler (Das temporäre Verzeichnis für mathematische Formeln kann nicht angelegt oder beschrieben werden.): A 

wird mit Parser-Fehler (Das temporäre Verzeichnis für mathematische Formeln kann nicht angelegt oder beschrieben werden.): |A|
(zuweilen auch #Parser-Fehler (Das temporäre Verzeichnis für mathematische Formeln kann nicht angelegt oder beschrieben werden.): A

) bezeichnet. Bei endlichen Mengen bedeutet Parser-Fehler (Das temporäre Verzeichnis für mathematische Formeln kann nicht angelegt oder beschrieben werden.): |A| 

die Anzahl der Elemente von Parser-Fehler (Das temporäre Verzeichnis für mathematische Formeln kann nicht angelegt oder beschrieben werden.): A

, also eine natürliche Zahl.

Der Menge Parser-Fehler (Das temporäre Verzeichnis für mathematische Formeln kann nicht angelegt oder beschrieben werden.): \mathbb{N} 

der natürlichen Zahlen lässt sich eine solche Zahl nicht zuordnen. Sie hat offenbar mehr Elemente als jede endliche Zahlenmenge; ihre Kardinalität wird gewöhnlich mit Parser-Fehler (Das temporäre Verzeichnis für mathematische Formeln kann nicht angelegt oder beschrieben werden.): \aleph_0
bezeichnet.

Betrachtet man die Menge Parser-Fehler (Das temporäre Verzeichnis für mathematische Formeln kann nicht angelegt oder beschrieben werden.): \mathbb{N} 

und ihre Potenzmenge als aktual unendliche Mengen, so ergeben sich verschiedene Grade der Unendlichkeit, die als Kardinalzahlen bezeichnet werden. Die Gesamtheit der Kardinalzahlen erweist sich dann als zu groß, um noch als Menge begriffen zu werden.

Gleichwohl ist der Begriff Kardinalzahl eine Verallgemeinerung der Elementanzahl einer (endlichen) Menge. Die Mächtigkeit der Potenzmenge von Parser-Fehler (Das temporäre Verzeichnis für mathematische Formeln kann nicht angelegt oder beschrieben werden.): A 

wird, auch bei unendlichen Mengen, mit Parser-Fehler (Das temporäre Verzeichnis für mathematische Formeln kann nicht angelegt oder beschrieben werden.): 2^{|A|}
bezeichnet.

Die Kardinalzahl der Potenzmenge von Parser-Fehler (Das temporäre Verzeichnis für mathematische Formeln kann nicht angelegt oder beschrieben werden.): \mathbb{N} , Parser-Fehler (Das temporäre Verzeichnis für mathematische Formeln kann nicht angelegt oder beschrieben werden.): 2^{\aleph_0} , also die Kardinalzahl der reellen Zahlen, wird mit Parser-Fehler (Das temporäre Verzeichnis für mathematische Formeln kann nicht angelegt oder beschrieben werden.): c 

oder mit Parser-Fehler (Das temporäre Verzeichnis für mathematische Formeln kann nicht angelegt oder beschrieben werden.): \aleph
bezeichnet. Die Frage, ob diese Zahl Parser-Fehler (Das temporäre Verzeichnis für mathematische Formeln kann nicht angelegt oder beschrieben werden.): \aleph_1
(die nächstgrößere Kardinalzahl nach Parser-Fehler (Das temporäre Verzeichnis für mathematische Formeln kann nicht angelegt oder beschrieben werden.): \aleph_0

) ist, ist Gegenstand der Kontinuumshypothese

Anmerkungen

  • Die Potenzmenge einer Menge Parser-Fehler (Das temporäre Verzeichnis für mathematische Formeln kann nicht angelegt oder beschrieben werden.): A 
wird mitunter auch mit Parser-Fehler (Das temporäre Verzeichnis für mathematische Formeln kann nicht angelegt oder beschrieben werden.): 2^A
bezeichnet. Diese Notation ist durch die Eigenschaft Parser-Fehler (Das temporäre Verzeichnis für mathematische Formeln kann nicht angelegt oder beschrieben werden.): |\mathcal{P}(A)| = 2^{|A|}
einer endlichen Menge Parser-Fehler (Das temporäre Verzeichnis für mathematische Formeln kann nicht angelegt oder beschrieben werden.): A
motiviert, welche unter Einbeziehung der Arithmetik der Kardinalzahlen dann auch für beliebige unendliche Mengen gilt.
  • Parser-Fehler (Das temporäre Verzeichnis für mathematische Formeln kann nicht angelegt oder beschrieben werden.): \in

, Parser-Fehler (Das temporäre Verzeichnis für mathematische Formeln kann nicht angelegt oder beschrieben werden.): \subset 

und Parser-Fehler (Das temporäre Verzeichnis für mathematische Formeln kann nicht angelegt oder beschrieben werden.): \subseteq
sind Relationen. Die Negation dieser Relationen kann durch das durchgestrichene jeweilige Relationssymbol bezeichnet werden, also zum Beispiel durch Parser-Fehler (Das temporäre Verzeichnis für mathematische Formeln kann nicht angelegt oder beschrieben werden.): \notin

. 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 Parser-Fehler (Das temporäre Verzeichnis für mathematische Formeln kann nicht angelegt oder beschrieben werden.): x\in A 

auch Parser-Fehler (Das temporäre Verzeichnis für mathematische Formeln kann nicht angelegt oder beschrieben werden.): A\ni x

, anstelle von Parser-Fehler (Das temporäre Verzeichnis für mathematische Formeln kann nicht angelegt oder beschrieben werden.): A\subseteq B 

auch Parser-Fehler (Das temporäre Verzeichnis für mathematische Formeln kann nicht angelegt oder beschrieben werden.): B\supseteq A
und anstelle von Parser-Fehler (Das temporäre Verzeichnis für mathematische Formeln kann nicht angelegt oder beschrieben werden.): A\subset B
auch Parser-Fehler (Das temporäre Verzeichnis für mathematische Formeln kann nicht angelegt oder beschrieben werden.): B\supset A
geschrieben werden. Auch ein gleichzeitiges Durchstreichen und Umdrehen dieser Relationssymbole ist denkbar.
  • Die leere Menge kann ­– wie jede andere Menge auch – Element einer Menge sein: Die beiden Mengen Parser-Fehler (Das temporäre Verzeichnis für mathematische Formeln kann nicht angelegt oder beschrieben werden.): \varnothing 
und Parser-Fehler (Das temporäre Verzeichnis für mathematische Formeln kann nicht angelegt oder beschrieben werden.): \{\varnothing\}
sind verschieden.
  • Die leere Menge ist Teilmenge jeder beliebigen Menge. Deshalb tritt sie als Element jeder Potenzmenge auf; jede Potenzmenge umfasst mindestens dieses eine Element.
  • Für eine endliche, nicht leere Indexmenge Parser-Fehler (Das temporäre Verzeichnis für mathematische Formeln kann nicht angelegt oder beschrieben werden.): \Lambda = \{\lambda_1, \lambda_2, \cdots, \lambda_n\} 
gilt Parser-Fehler (Das temporäre Verzeichnis für mathematische Formeln kann nicht angelegt oder beschrieben werden.): \bigcap_{\lambda\in\Lambda} A_\lambda = A_{\lambda_1} \cap A_{\lambda_2} \cap \cdots \cap A_{\lambda_n}
und Parser-Fehler (Das temporäre Verzeichnis für mathematische Formeln kann nicht angelegt oder beschrieben werden.): \bigcup_{\lambda\in\Lambda} A_\lambda = A_{\lambda_1} \cup A_{\lambda_2} \cup \cdots \cup A_{\lambda_n}

. Die Definitionen für den zweistelligen Fall und den Fall beliebig vieler Mengen sind also zueinander konsistent.

  • Es gilt Parser-Fehler (Das temporäre Verzeichnis für mathematische Formeln kann nicht angelegt oder beschrieben werden.): \bigcap_{\lambda\in\Lambda} A_\lambda = \bigcap\{A_\lambda \mid \lambda\in\Lambda\} 
und Parser-Fehler (Das temporäre Verzeichnis für mathematische Formeln kann nicht angelegt oder beschrieben werden.): \bigcup_{\lambda\in\Lambda} A_\lambda = \bigcup\{A_\lambda \mid \lambda\in\Lambda\}

.

  • Für den leeren Schnitt liefert die Definition Parser-Fehler (Das temporäre Verzeichnis für mathematische Formeln kann nicht angelegt oder beschrieben werden.): \bigcap_{\lambda\in\varnothing} A_\lambda = \bigcap\varnothing = \mathbb{X}

, für die leere Vereinigung Parser-Fehler (Das temporäre Verzeichnis für mathematische Formeln kann nicht angelegt oder beschrieben werden.): \bigcup_{\lambda\in\varnothing} A_\lambda = \bigcup\varnothing = \varnothing 

und für die leere Produktmenge Parser-Fehler (Das temporäre Verzeichnis für mathematische Formeln kann nicht angelegt oder beschrieben werden.): \prod_{\lambda\in\Lambda} A_\lambda = \varnothing
  • Die Mengen Parser-Fehler (Das temporäre Verzeichnis für mathematische Formeln kann nicht angelegt oder beschrieben werden.): \left(A_{\lambda_1}\times A_{\lambda_2}\right) \times A_{\lambda_3} 
und Parser-Fehler (Das temporäre Verzeichnis für mathematische Formeln kann nicht angelegt oder beschrieben werden.): A_{\lambda_1}\times \left( A_{\lambda_2} \times A_{\lambda_3} \right)
sind nicht gleich, aber durch die Bijektion Parser-Fehler (Das temporäre Verzeichnis für mathematische Formeln kann nicht angelegt oder beschrieben werden.): ((a,b),c)\mapsto(a,(b,c))
zueinander isomorph. In der Regel wird deshalb nicht zwischen diesen beiden Mengen unterschieden. Diese Assoziativität bis auf Isomorphie erlaubt es, beliebige Produktengen aus einer endlichen Anzahl Parser-Fehler (Das temporäre Verzeichnis für mathematische Formeln kann nicht angelegt oder beschrieben werden.): n
von Mengen Parser-Fehler (Das temporäre Verzeichnis für mathematische Formeln kann nicht angelegt oder beschrieben werden.): A_{\lambda_i}: i\in\mathbb{N},1\leq i\leq n
mit der Menge der Parser-Fehler (Das temporäre Verzeichnis für mathematische Formeln kann nicht angelegt oder beschrieben werden.): n

-Tupel zu identifizieren und ohne Rücksicht auf die konkrete Klammerung mit Parser-Fehler (Das temporäre Verzeichnis für mathematische Formeln kann nicht angelegt oder beschrieben werden.): A_{\lambda_1}\times A_{\lambda_2}\times \cdots \times A_{\lambda_n} 

zu bezeichnen.
  • Für das Mengenprodukt aus identischen Faktoren gibt es abkürzende Schreibweisen:
    • Anstelle des Parser-Fehler (Das temporäre Verzeichnis für mathematische Formeln kann nicht angelegt oder beschrieben werden.): n

-fachen endlichen Mengenprodukts Parser-Fehler (Das temporäre Verzeichnis für mathematische Formeln kann nicht angelegt oder beschrieben werden.): A\times A\times\cdots\times A 

schreibt man auch Parser-Fehler (Das temporäre Verzeichnis für mathematische Formeln kann nicht angelegt oder beschrieben werden.): A^n

.

    • Das unendliche Mengenprodukt Parser-Fehler (Das temporäre Verzeichnis für mathematische Formeln kann nicht angelegt oder beschrieben werden.): \prod_{\lambda\in\Lambda} A 
ist kanonisch isomorph zur Menge aller Abbildungen Parser-Fehler (Das temporäre Verzeichnis für mathematische Formeln kann nicht angelegt oder beschrieben werden.): \Lambda\rightarrow A

. In Analogie zum endlichen Fall wird dafür die Schreibweise Parser-Fehler (Das temporäre Verzeichnis für mathematische Formeln kann nicht angelegt oder beschrieben werden.): A^\Lambda 

benutzt.
  • Die Mengen Parser-Fehler (Das temporäre Verzeichnis für mathematische Formeln kann nicht angelegt oder beschrieben werden.): A_{\lambda_1}\times A_{\lambda_2} 
und Parser-Fehler (Das temporäre Verzeichnis für mathematische Formeln kann nicht angelegt oder beschrieben werden.): \prod_{\lambda\in\{\lambda_1,\lambda_2\}}A_\lambda
sind nicht notwendig gleich, aber durch die Bijektion Parser-Fehler (Das temporäre Verzeichnis für mathematische Formeln kann nicht angelegt oder beschrieben werden.): (a,b)\mapsto f_{a,b}
mit Parser-Fehler (Das temporäre Verzeichnis für mathematische Formeln kann nicht angelegt oder beschrieben werden.): f_{a,b}:\{\lambda_1, \lambda_2\}\to \mathbb{X}

, Parser-Fehler (Das temporäre Verzeichnis für mathematische Formeln kann nicht angelegt oder beschrieben werden.): \lambda_1\mapsto a , Parser-Fehler (Das temporäre Verzeichnis für mathematische Formeln kann nicht angelegt oder beschrieben werden.): \lambda_2\mapsto b 

zueinander isomorph. Die Definition der zweistelligen Produktmenge ist also mit der Definition der Produktmenge beliebig vieler Mengen konsistent, weshalb für eine endliche nichtleere Produktmenge Parser-Fehler (Das temporäre Verzeichnis für mathematische Formeln kann nicht angelegt oder beschrieben werden.): \Lambda = \{\lambda_1, \lambda_2, \cdots, \lambda_n\}
in der Regel auch nicht zwischen Parser-Fehler (Das temporäre Verzeichnis für mathematische Formeln kann nicht angelegt oder beschrieben werden.): \prod_{\lambda\in \Lambda} A_\lambda
und Parser-Fehler (Das temporäre Verzeichnis für mathematische Formeln kann nicht angelegt oder beschrieben werden.): A_{\lambda_1}\times A_{\lambda_2}\times \cdots \times A_{\lambda_n}
unterschieden wird.

Beispiele

Wir betrachten die Mengen Parser-Fehler (Das temporäre Verzeichnis für mathematische Formeln kann nicht angelegt oder beschrieben werden.): \mathbb{X} = \{1,2,3\} , Parser-Fehler (Das temporäre Verzeichnis für mathematische Formeln kann nicht angelegt oder beschrieben werden.): A = \{1,2\} 

und Parser-Fehler (Das temporäre Verzeichnis für mathematische Formeln kann nicht angelegt oder beschrieben werden.): B = \{1,3\}

. Es gelten:

  • Parser-Fehler (Das temporäre Verzeichnis für mathematische Formeln kann nicht angelegt oder beschrieben werden.): 2\in A

, Parser-Fehler (Das temporäre Verzeichnis für mathematische Formeln kann nicht angelegt oder beschrieben werden.): 2\notin B

  • Parser-Fehler (Das temporäre Verzeichnis für mathematische Formeln kann nicht angelegt oder beschrieben werden.): A\subseteq\mathbb{X}

, Parser-Fehler (Das temporäre Verzeichnis für mathematische Formeln kann nicht angelegt oder beschrieben werden.): B\subseteq\mathbb{X} , Parser-Fehler (Das temporäre Verzeichnis für mathematische Formeln kann nicht angelegt oder beschrieben werden.): \mathbb{X}\subseteq\mathbb{X}

  • Parser-Fehler (Das temporäre Verzeichnis für mathematische Formeln kann nicht angelegt oder beschrieben werden.): A\subset\mathbb{X}

, Parser-Fehler (Das temporäre Verzeichnis für mathematische Formeln kann nicht angelegt oder beschrieben werden.): B\subset\mathbb{X}

  • Parser-Fehler (Das temporäre Verzeichnis für mathematische Formeln kann nicht angelegt oder beschrieben werden.): A\cap B = \{1\}
  • Parser-Fehler (Das temporäre Verzeichnis für mathematische Formeln kann nicht angelegt oder beschrieben werden.): A\cup B = \mathbb{X}
  • Parser-Fehler (Das temporäre Verzeichnis für mathematische Formeln kann nicht angelegt oder beschrieben werden.): \complement{A} = \{3\}

, Parser-Fehler (Das temporäre Verzeichnis für mathematische Formeln kann nicht angelegt oder beschrieben werden.): \complement{B} = \{2\} , Parser-Fehler (Das temporäre Verzeichnis für mathematische Formeln kann nicht angelegt oder beschrieben werden.): \complement{\mathbb{X}}=\varnothing , Parser-Fehler (Das temporäre Verzeichnis für mathematische Formeln kann nicht angelegt oder beschrieben werden.): \complement{\varnothing}=\mathbb{X}

  • Parser-Fehler (Das temporäre Verzeichnis für mathematische Formeln kann nicht angelegt oder beschrieben werden.): A\setminus B = \{2\}

, Parser-Fehler (Das temporäre Verzeichnis für mathematische Formeln kann nicht angelegt oder beschrieben werden.): B\setminus A = \{3\} , Parser-Fehler (Das temporäre Verzeichnis für mathematische Formeln kann nicht angelegt oder beschrieben werden.): \mathbb{X}\setminus A = \{3\} , Parser-Fehler (Das temporäre Verzeichnis für mathematische Formeln kann nicht angelegt oder beschrieben werden.): A\setminus\mathbb{X} = \varnothing

  • Parser-Fehler (Das temporäre Verzeichnis für mathematische Formeln kann nicht angelegt oder beschrieben werden.): A\triangle B = \{2,3\}

, Parser-Fehler (Das temporäre Verzeichnis für mathematische Formeln kann nicht angelegt oder beschrieben werden.): A\triangle\mathbb{X} = \{3\} , Parser-Fehler (Das temporäre Verzeichnis für mathematische Formeln kann nicht angelegt oder beschrieben werden.): B\triangle\mathbb{X} = \{2\}

  • Parser-Fehler (Das temporäre Verzeichnis für mathematische Formeln kann nicht angelegt oder beschrieben werden.): \left| \mathbb{X}\right| 
= 3, Parser-Fehler (Das temporäre Verzeichnis für mathematische Formeln kann nicht angelegt oder beschrieben werden.): \left| A\right|
= Parser-Fehler (Das temporäre Verzeichnis für mathematische Formeln kann nicht angelegt oder beschrieben werden.): \left| B\right|
= 2, Parser-Fehler (Das temporäre Verzeichnis für mathematische Formeln kann nicht angelegt oder beschrieben werden.): \left|\varnothing\right|
= 0, Parser-Fehler (Das temporäre Verzeichnis für mathematische Formeln kann nicht angelegt oder beschrieben werden.): \left|\{\varnothing\}\right|
= 1
  • Parser-Fehler (Das temporäre Verzeichnis für mathematische Formeln kann nicht angelegt oder beschrieben werden.): \mathcal{P} \left(A\right) = \{\varnothing,\{1\},\{2\},\{1,2\}\}
  • Parser-Fehler (Das temporäre Verzeichnis für mathematische Formeln kann nicht angelegt oder beschrieben werden.): \mathcal{P} \left(\mathbb{X}\right) = \{\varnothing, A\cap B, \complement B, B\setminus A, A, B, A\triangle B, A \cup B\}
  • Parser-Fehler (Das temporäre Verzeichnis für mathematische Formeln kann nicht angelegt oder beschrieben werden.): A\times B = \{(1,1),(1,3),(2,1),(2,3)\}

, Parser-Fehler (Das temporäre Verzeichnis für mathematische Formeln kann nicht angelegt oder beschrieben werden.): A\times\{3\} = \{(1,3),(2,3)\} , Parser-Fehler (Das temporäre Verzeichnis für mathematische Formeln kann nicht angelegt oder beschrieben werden.): A^2 = \{(1,1),(1,2),(2,1),(2,2)\} , Parser-Fehler (Das temporäre Verzeichnis für mathematische Formeln kann nicht angelegt oder beschrieben werden.): \{3\}^3 = \{(3,3,3)\}

  • Parser-Fehler (Das temporäre Verzeichnis für mathematische Formeln kann nicht angelegt oder beschrieben werden.): \varnothing\notin\varnothing

, Parser-Fehler (Das temporäre Verzeichnis für mathematische Formeln kann nicht angelegt oder beschrieben werden.): \varnothing\in\{\varnothing\}

  • Parser-Fehler (Das temporäre Verzeichnis für mathematische Formeln kann nicht angelegt oder beschrieben werden.): \mathcal{P} \left(\varnothing\right) = \{\varnothing\}

, Parser-Fehler (Das temporäre Verzeichnis für mathematische Formeln kann nicht angelegt oder beschrieben werden.): \mathcal{P} \left(\{\varnothing\}\right) = \{\varnothing,\{\varnothing\}\}

  • Parser-Fehler (Das temporäre Verzeichnis für mathematische Formeln kann nicht angelegt oder beschrieben werden.): A\times\varnothing = \varnothing\times A = \varnothing
  • Parser-Fehler (Das temporäre Verzeichnis für mathematische Formeln kann nicht angelegt oder beschrieben werden.): \mathbb{N}^+\subset \mathbb{N} \subset \mathbb{Z} \subset \mathbb{Q} \subset \mathbb{R} \subset \mathbb{C}


Gesetzmäßigkeiten

Die Menge Parser-Fehler (Das temporäre Verzeichnis für mathematische Formeln kann nicht angelegt oder beschrieben werden.): \mathcal{P}\left(\mathbb{X}\right) 

ist bezüglich der Relation Parser-Fehler (Das temporäre Verzeichnis für mathematische Formeln kann nicht angelegt oder beschrieben werden.): \subseteq
partiell geordnet, denn für alle Parser-Fehler (Das temporäre Verzeichnis für mathematische Formeln kann nicht angelegt oder beschrieben werden.): A,B,C\subseteq\mathbb{X}
gilt:
  • Reflexivität: Parser-Fehler (Das temporäre Verzeichnis für mathematische Formeln kann nicht angelegt oder beschrieben werden.): A\subseteq A
  • Antisymmetrie: Aus Parser-Fehler (Das temporäre Verzeichnis für mathematische Formeln kann nicht angelegt oder beschrieben werden.): A\subseteq B 
und Parser-Fehler (Das temporäre Verzeichnis für mathematische Formeln kann nicht angelegt oder beschrieben werden.): B\subseteq A
folgt Parser-Fehler (Das temporäre Verzeichnis für mathematische Formeln kann nicht angelegt oder beschrieben werden.): A = B
  • Transitivität: Aus Parser-Fehler (Das temporäre Verzeichnis für mathematische Formeln kann nicht angelegt oder beschrieben werden.): A\subseteq B 
und Parser-Fehler (Das temporäre Verzeichnis für mathematische Formeln kann nicht angelegt oder beschrieben werden.): B\subseteq C
folgt Parser-Fehler (Das temporäre Verzeichnis für mathematische Formeln kann nicht angelegt oder beschrieben werden.): A\subseteq C

Die Mengen-Operationen Schnitt Parser-Fehler (Das temporäre Verzeichnis für mathematische Formeln kann nicht angelegt oder beschrieben werden.): \cap 

und Vereinigung Parser-Fehler (Das temporäre Verzeichnis für mathematische Formeln kann nicht angelegt oder beschrieben werden.): \cup
sind zueinander kommutativ, assoziativ und distributiv:
  • Kommutativgesetz: Parser-Fehler (Das temporäre Verzeichnis für mathematische Formeln kann nicht angelegt oder beschrieben werden.): A \cup B = B \cup A

, Parser-Fehler (Das temporäre Verzeichnis für mathematische Formeln kann nicht angelegt oder beschrieben werden.): A \cap B = B \cap A

  • Assoziativgesetz: Parser-Fehler (Das temporäre Verzeichnis für mathematische Formeln kann nicht angelegt oder beschrieben werden.): \left( A \cup B \right) \cup C = A \cup \left( B \cup C \right)

, Parser-Fehler (Das temporäre Verzeichnis für mathematische Formeln kann nicht angelegt oder beschrieben werden.): \left( A \cap B \right) \cap C = A \cap \left( B \cap C \right)

  • Distributivgesetz: Parser-Fehler (Das temporäre Verzeichnis für mathematische Formeln kann nicht angelegt oder beschrieben werden.): A \cup \left( B \cap C \right) = \left( A \cup B \right) \cap \left( A \cup C \right)

, Parser-Fehler (Das temporäre Verzeichnis für mathematische Formeln kann nicht angelegt oder beschrieben werden.): A \cap \left( B \cup C \right) = \left( A \cap B \right) \cup \left( A \cap C \right)

  • De Morgansche Gesetze: Parser-Fehler (Das temporäre Verzeichnis für mathematische Formeln kann nicht angelegt oder beschrieben werden.): \complement( A \cup B) = \complement{A} \cap \complement{B}

, Parser-Fehler (Das temporäre Verzeichnis für mathematische Formeln kann nicht angelegt oder beschrieben werden.): \complement{(A \cap B)} = \complement{A} \cup \complement{B}


Für die Differenzmenge gelten folgende Gesetzmäßigkeiten:

  • Distributivgesetze: Parser-Fehler (Das temporäre Verzeichnis für mathematische Formeln kann nicht angelegt oder beschrieben werden.): (A \cap B) \setminus C = (A \setminus C) \cap (B \setminus C)

, Parser-Fehler (Das temporäre Verzeichnis für mathematische Formeln kann nicht angelegt oder beschrieben werden.): (A \cup B) \setminus C = (A \setminus C) \cup (B \setminus C) , Parser-Fehler (Das temporäre Verzeichnis für mathematische Formeln kann nicht angelegt oder beschrieben werden.): A \setminus (B \cap C) = (A \setminus B) \cup (A \setminus C) 

und Parser-Fehler (Das temporäre Verzeichnis für mathematische Formeln kann nicht angelegt oder beschrieben werden.): A \setminus (B \cup C) = (A \setminus B) \cap (A \setminus C)
  • Assoziativgesetze: Parser-Fehler (Das temporäre Verzeichnis für mathematische Formeln kann nicht angelegt oder beschrieben werden.): (A \setminus B) \setminus C = A \setminus (B \cup C) 
und Parser-Fehler (Das temporäre Verzeichnis für mathematische Formeln kann nicht angelegt oder beschrieben werden.): A \setminus (B \setminus C) = (A \setminus B) \cup (A \cap C)


Für die symmetrische Differenz gelten folgende Gesetzmäßigkeiten:

  • Kommutativgesetz: Parser-Fehler (Das temporäre Verzeichnis für mathematische Formeln kann nicht angelegt oder beschrieben werden.): A \triangle B = B \triangle A
  • Assoziativgesetz: Parser-Fehler (Das temporäre Verzeichnis für mathematische Formeln kann nicht angelegt oder beschrieben werden.): (A \triangle B) \triangle C = A \triangle (B \triangle C)
  • Distributivgesetz: Parser-Fehler (Das temporäre Verzeichnis für mathematische Formeln kann nicht angelegt oder beschrieben werden.): (A \triangle B) \cap C = (A \cap C) \triangle (B \cap C)


Parser-Fehler (Das temporäre Verzeichnis für mathematische Formeln kann nicht angelegt oder beschrieben werden.): A \triangle \varnothing = A \quad A \triangle A = \varnothing


Die Algebra der Mengen ist eine sogenannte Boolesche Algebra.

Siehe auch

<imagemap>-Fehler: Bild ist ungültig oder nicht vorhanden Wikibooks: Beweisarchiv: Mengenlehre – Lern- und Lehrmaterialien
[[Hilfe:Cache|Fehler beim Thumbnail-Erstellen]]: convert: unable to open image `/var/www/fotonexus/w/images/c/ca/Wikipedia_lexikon3e.jpg': No such file or directory.
 Dieses Dokument entstammt in seiner ersten oder einer späteren Version der deutschsprachigen Wikipedia. Es ist dort zu finden unter dem Stichwort Mengenlehre, die Liste der bisherigen Autoren befindet sich in der Versionsliste; die Originalfassung kann dort auch bearbeitet werden. Alle Texte der Wikipedia und ihre Derivate stehen unter der GNU-Lizenz für freie Dokumentation.


Weblinks

wikt:
Wiktionary
 Wiktionary: Schnittmenge – Bedeutungserklärungen, Wortherkunft, Synonyme und Übersetzungen
[[Hilfe:Cache|Fehler beim Thumbnail-Erstellen]]: convert: unable to open image `/var/www/fotonexus/w/images/c/ca/Wikipedia_lexikon3e.jpg': No such file or directory.
 Dieses Dokument entstammt in seiner ersten oder einer späteren Version der deutschsprachigen Wikipedia. Es ist dort zu finden unter dem Stichwort Mengenlehre, die Liste der bisherigen Autoren befindet sich in der Versionsliste; die Originalfassung kann dort auch bearbeitet werden. Alle Texte der Wikipedia und ihre Derivate stehen unter der GNU-Lizenz für freie Dokumentation.
[[Hilfe:Cache|Fehler beim Thumbnail-Erstellen]]: convert: unable to open image `/var/www/fotonexus/w/images/c/ca/Wikipedia_lexikon3e.jpg': No such file or directory.
 Dieses Dokument entstammt in seiner ersten oder einer späteren Version der deutschsprachigen Wikipedia. Es ist dort zu finden unter dem Stichwort Mengenlehre, die Liste der bisherigen Autoren befindet sich in der Versionsliste; die Originalfassung kann dort auch bearbeitet werden. Alle Texte der Wikipedia und ihre Derivate stehen unter der GNU-Lizenz für freie Dokumentation.
[[Hilfe:Cache|Fehler beim Thumbnail-Erstellen]]: convert: unable to open image `/var/www/fotonexus/w/images/c/ca/Wikipedia_lexikon3e.jpg': No such file or directory.
 Dieses Dokument entstammt in seiner ersten oder einer späteren Version der deutschsprachigen Wikipedia. Es ist dort zu finden unter dem Stichwort Mengenlehre, die Liste der bisherigen Autoren befindet sich in der Versionsliste; die Originalfassung kann dort auch bearbeitet werden. Alle Texte der Wikipedia und ihre Derivate stehen unter der GNU-Lizenz für freie Dokumentation.

Von „http://www.fotonexus.org/wiki/Mengenlehre“
Persönliche Werkzeuge