Andere Schreibweisen

Andere Schreibweisen für Mengen können als Abkürzungen für die intensionale Notation angesehen werden:

• Die aufzählende Schreibweise ${\displaystyle M=\{{\text{blau}},\,{\text{gelb}},\,{\text{rot}}\}}$ kann als eine Abkürzung für die umständliche Schreibweise ${\displaystyle M=\{x\,|\,x={\text{blau oder}}\;x={\text{gelb oder}}\;x={\text{rot}}\}}$ verstanden werden.
• Bei der Schreibweise mit Auslassungspunkten werden nur einige Elemente als Beispiele aufgeführt, etwa: ${\displaystyle M=\{3,6,9,12\dots 96,99\}}$. Sie ist nur verwendbar, wenn das Bildungsgesetz aus diesen Beispielen oder aus dem Zusammenhang klar ist. Hier ist offenbar die Menge gemeint, die sich intensional als ${\displaystyle M=\{x\,|\,x\;{\text{ist eine durch 3 teilbare Zahl zwischen 1 und 100}}\}}$ schreiben lässt. Diese Schreibweise wird häufig für unendliche Mengen angewendet. So beschreibt ${\displaystyle G=\{4,6,8,10\dots \}}$ die Menge der geraden natürlichen Zahlen, die größer sind als 2.
• Neue Mengen kann man auch durch Mengenoperationen bilden, wie aus ${\displaystyle A}$ und ${\displaystyle B}$ die Schnittmenge ${\displaystyle M=A\cap B}$. Diese kann intensional geschrieben werden als ${\displaystyle M=\{x\,|\,x\;{\text{ist in }}A{\text{ und }}x{\text{ ist in }}B\}}$.
• Ferner gibt es noch die induktive Definition von Mengen, bei welcher mindestens ein Grundelement explizit angegeben wird und dann mindestens eine Regel, wie aus einem Element ein weiteres Element abgeleitet werden kann. So kann die obige Menge ${\displaystyle G}$ ebenfalls beschrieben werden durch

i) ${\displaystyle 4}$ ist in ${\displaystyle G}$ und

ii) für jedes ${\displaystyle x}$ in ${\displaystyle G}$ ist auch ${\displaystyle (x+2)}$ in ${\displaystyle G}$ und

iii) nur Elemente, die durch i) und (keine, einmalige oder wiederholte) Anwendung von ii) erhalten werden, sind in ${\displaystyle G}$.

Mächtigkeit

Für endliche Mengen ist die Mächtigkeit (oder Kardinalität) gleich der Anzahl der Elemente der Menge; das ist eine natürliche Zahl einschließlich der Null. Der Begriff lässt sich auch auf unendliche Mengen verallgemeinern; es stellt sich heraus, dass zwei unendliche Mengen nicht gleichmächtig sein müssen. Die Mächtigkeit einer Menge ${\displaystyle M}$ wird im Allgemeinen mit ${\displaystyle |M|}$, gelegentlich auch mit ${\displaystyle \#M}$ notiert.

Gleichheit von Mengen und Extensionalität

Leere Menge

Die Menge, die kein Element enthält, heißt leere Menge. Sie wird mit ${\displaystyle \emptyset }$ oder auch ${\displaystyle \{\}}$ bezeichnet und hat die Mächtigkeit ${\displaystyle |\emptyset |=0}$. Aus der Extensionalität folgt unmittelbar, dass es nur eine leere Menge gibt: Jede „andere“ leere Menge, die die gleichen (also keine) Elemente enthält, wäre dieser gleich. Folglich sind ${\displaystyle \emptyset }$ und ${\displaystyle \{\emptyset \}}$ verschieden, da letztere Menge eine andere Menge als Element enthält.

Nichtleere Menge

Eine nichtleere Menge ist eine Menge, die nicht die leere Menge ist. Eine nichtleere Menge enthält daher mindestens ein Element. Die Mächtigkeit einer nichtleeren Menge ist größer als 0.

Bewohnte Menge

Eine bewohnte Menge ist eine Menge, die ein Element enthält. Das ist im Kontext klassischer Logik gleichbedeutend dazu, nichtleer zu sein. Die naheliegende Formalisierung von „${\displaystyle A}$ ist nichtleer“ ist dieselbe wie die von „${\displaystyle A}$ ist nicht unbewohnt“. In Kontexten, in denen die logische Negation nicht zwingend eine Involution ist (wie z. B. konstruktive Mathematik auf der Basis intuitionistischer Logik), sind bewohnte Mengen zwar stets nichtleer, es lässt sich allerdings nicht beweisen, dass nichtleere Mengen stets bewohnt sind. Die Begriffe müssen also unterschieden werden.

Teilmenge

Eine Menge ${\displaystyle A}$ heißt Teilmenge einer Menge ${\displaystyle B}$, wenn jedes Element von ${\displaystyle A}$ auch Element von ${\displaystyle B}$ ist.

${\displaystyle B}$ wird dann Obermenge (selten: Übermenge) von ${\displaystyle A}$ genannt. Formal:

${\displaystyle {A}\subseteq {B}:\Longleftrightarrow \forall x\left({x}\in A\rightarrow x\in B\right)}$.

Insbesondere ist also auch jede Menge A Teilmenge von sich selbst: ${\displaystyle {A}\subseteq {A}}$. Die leere Menge ist Teilmenge einer jeden Menge.

${\displaystyle A}$ ist echte Teilmenge von ${\displaystyle B}$ (oder ${\displaystyle B}$ ist echte Obermenge von ${\displaystyle A}$), wenn ${\displaystyle A}$ Teilmenge von ${\displaystyle B}$ ist, aber von ${\displaystyle B}$ verschieden, also jedes Element aus ${\displaystyle A}$ auch Element von ${\displaystyle B}$ ist, aber (mindestens) ein Element in ${\displaystyle B}$ existiert, das nicht in ${\displaystyle A}$ enthalten ist.

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

Es sind zwei Notationen für Teilmengen gebräuchlich:

• ${\displaystyle {A}\subseteq {B}}$ für „Teilmenge“ und ${\displaystyle {A}\subset {B}}$ für „echte Teilmenge“ oder
• ${\displaystyle {A}\subset {B}}$ für „Teilmenge“ und ${\displaystyle A\subsetneq B}$ für „echte Teilmenge“.

Das erstgenannte System entspricht dem vom Bertrand Russell (vgl. Principia Mathematica) eingeführten und verdeutlicht die Analogie zu den Zeichen ${\displaystyle \leq }$ und ${\displaystyle <}$. Es wird in diesem Artikel verwendet, es sind jedoch beide Systeme weit verbreitet.

Die Negation der Relationen ${\displaystyle \in }$, ${\displaystyle \subset }$ und ${\displaystyle \subseteq }$ kann durch das durchgestrichene jeweilige Relationssymbol bezeichnet werden, also zum Beispiel durch ${\displaystyle \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 ${\displaystyle x\in A}$ auch ${\displaystyle A\ni x}$, anstelle von ${\displaystyle A\subseteq B}$ auch ${\displaystyle B\supseteq A}$ und anstelle von ${\displaystyle A\subset B}$ auch ${\displaystyle B\supset A}$ geschrieben werden. Auch ein gleichzeitiges Durchstreichen und Umdrehen dieser Relationssymbole ist denkbar.

Schnittmenge (Schnitt, auch „Durchschnitt“)

Gegeben ist eine nichtleere Menge ${\displaystyle U}$ von Mengen. Die Schnittmenge (auch Durchschnittsmenge) von ${\displaystyle U}$ ist die Menge der Elemente, die in jeder Elementmenge von ${\displaystyle U}$ enthalten sind. Formal:

${\displaystyle \bigcap U:=\bigcap _{a\in U}a=\{x\mid \forall a\in U:x\in a\}}$.

Die Schnittmenge von ${\displaystyle U}$ ist auch dadurch charakterisiert, dass für jede Menge ${\displaystyle X}$ gilt:

${\displaystyle X\subseteq \bigcap U\iff \forall a\in U:X\subseteq a}$.

Elementmengen ohne gemeinsame Elemente heißen elementfremd oder disjunkt. Ihre Schnittmenge ist die leere Menge.

Ist ${\displaystyle U}$ eine Paarmenge, also ${\displaystyle U\,=\{A,B\}}$, so schreibt man für ${\displaystyle \bigcap U}$

${\displaystyle \bigcap \,\{A,B\}=\{x\mid \left(x\in {A}\right)\land \left(x\in {B}\right)\}=:{A}\cap {B}}$

und liest dies: ${\displaystyle A}$ geschnitten mit ${\displaystyle B}$ (oder: Der Durchschnitt von ${\displaystyle A}$ und ${\displaystyle B}$) ist die Menge aller Elemente, die sowohl in ${\displaystyle A}$ als auch in ${\displaystyle B}$ enthalten sind.

Diese Schreibweise lässt sich leicht auf den Durchschnitt aus endlich vielen Mengen ${\displaystyle {A_{1},A_{2},\dotsc ,A_{n}}}$ verallgemeinern.

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

Die Elemente der Menge ${\displaystyle U}$, die ja selbst wieder Mengen sind, werden mit ${\displaystyle A_{\lambda }}$ bezeichnet. Es wird eine „Indexmenge“ ${\displaystyle \Lambda }$ (Lambda) eingeführt, sodass ${\displaystyle U=\{A_{\lambda }\mid \lambda \in \Lambda \}}$ ist. Die Schnittmenge ${\displaystyle \bigcap U}$ wird dann geschrieben als:

${\displaystyle \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 ${\displaystyle A_{\lambda }}$ enthalten sind.

Eine ältere Bezeichnung für den Durchschnitt ist inneres Produkt oder Produkt erster Art. Dieses wird dann auch als

${\displaystyle A_{1}\cdot A_{2}\cdot \dotsc \cdot A_{n}}$ oder ${\displaystyle \prod _{i=1}^{n}A_{i}}$

geschrieben. Insbesondere die letzte Schreibweise ist von vielen Autoren für das kartesische Produkt (siehe unten) reserviert und sollte daher nicht für die Schnittmenge verwendet werden, um Missverständnisse zu vermeiden.

Vereinigung (Vereinigungsmenge)

Dies ist der zur Schnittmenge duale Begriff: Die Vereinigungsmenge von ${\displaystyle U}$ ist die Menge der Elemente, die in mindestens einer Elementmenge von ${\displaystyle U}$ enthalten sind. Formal:

${\displaystyle \bigcup U:=\bigcup _{a\in U}a=\{x\mid \exists a\in U:x\in a\}}$.

Die Vereinigungsmenge von ${\displaystyle U}$ ist auch dadurch charakterisiert, dass für jede Menge ${\displaystyle X}$ gilt:

${\displaystyle \bigcup U\subseteq X\iff \forall a\in U:a\subseteq X}$.

Im Gegensatz zu ${\displaystyle \bigcap U}$ ist ${\displaystyle \bigcup U}$ auch dann erklärt, wenn ${\displaystyle U}$ leer ist, und zwar ergibt sich ${\displaystyle \bigcup \emptyset =\emptyset }$.

Für ${\displaystyle U\,=\{A,B\}}$ schreibt man (analog zum Durchschnitt):

${\displaystyle \bigcup \,\{A,B\}=\{x\mid \left(x\in {A}\right)\lor \left(x\in {B}\right)\}=:{A}\cup {B}}$

und liest dies: ${\displaystyle A}$ vereinigt mit ${\displaystyle B}$ (oder: Die Vereinigung von ${\displaystyle A}$ und ${\displaystyle B}$) ist die Menge aller Elemente, die in ${\displaystyle A}$ oder in ${\displaystyle B}$ enthalten sind. Das „oder“ ist hier nicht-ausschließend zu verstehen: Die Vereinigung umfasst auch die Elemente, die in beiden Mengen enthalten sind.

Wenn Mengen keine gemeinsamen Elemente enthalten, sie also disjunkt sind, verwendet man auch das Zeichen ${\displaystyle {\dot {\cup }}}$ für die Vereinigung dieser disjunkten Mengen. Während jedoch das Zeichen für die Vereinigung ${\displaystyle A\cup B}$ intuitiv mit dem des Junktors ${\displaystyle \lor }$ (oder) identifiziert werden kann, muss zwischen dem Zeichen für die disjunkte Vereinigung ${\displaystyle A{\mathbin {\dot {\cup }}}B}$ und dem Junktor ${\displaystyle {\dot {\vee }}}$ (ausschließendes oder) unterschieden werden.

Unter Verwendung einer geeigneten Indexmenge ${\displaystyle \Lambda }$ schreibt man:

${\displaystyle \bigcup _{\lambda \in \Lambda }A_{\lambda }:=\{x\mid \exists \lambda \in \Lambda :x\in A_{\lambda }\}}$.

Diese Schreibweise ist auch für die Vereinigung endlich vieler Mengen ${\displaystyle {A_{1},A_{2},\dotsc ,A_{n}}}$ geeignet.

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

${\displaystyle A_{1}+A_{2}+\dotsb +A_{n}}$ oder ${\displaystyle \sum _{i=1}^{n}A_{i}}$.

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

Differenz und Komplement

Die Differenz wird gewöhnlich nur für zwei Mengen definiert: Die Differenzmenge (auch Restmenge) von ${\displaystyle A}$ und ${\displaystyle B}$ (in dieser Reihenfolge) ist die Menge der Elemente, die in ${\displaystyle A}$, aber nicht in ${\displaystyle B}$ enthalten sind. Formal:

${\displaystyle A\setminus B:=\{x\mid \left(x\in A\right)\land \left(x\not \in B\right)\}.}$

Die Differenzmenge ${\displaystyle A\setminus B}$ ist auch dadurch charakterisiert, dass für jede Menge ${\displaystyle X}$ gilt:

${\displaystyle A\setminus B\subseteq X\iff A\subseteq B\cup X}$.

Die Differenz ist im Gegensatz zu Schnitt und Vereinigung weder kommutativ noch assoziativ.

Ist ${\displaystyle B\subseteq A}$, so heißt die Differenz ${\displaystyle \!\ A\setminus B}$ auch Komplement von ${\displaystyle B}$ in ${\displaystyle A}$. Dieser Begriff wird vor allem dann verwendet, wenn ${\displaystyle 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

${\displaystyle B^{\mathsf {C}}:=\{x\mid x\not \in B\}}$

heißt einfach das Komplement von ${\displaystyle B}$. Andere Schreibweisen für ${\displaystyle B^{\mathsf {C}}}$ sind ${\displaystyle {\overline {B}}}$, ${\displaystyle \complement B}$ oder ${\displaystyle \displaystyle B'}$.

Symmetrische Differenz

Die Menge

${\displaystyle A\bigtriangleup B:=\left(A\setminus B\right)\cup \left(B\setminus A\right)=(A\cup B)\setminus (A\cap B)}$

wird als symmetrische Differenz von ${\displaystyle A}$ und ${\displaystyle B}$ bezeichnet. Es handelt sich um die Menge aller Elemente, die jeweils in einer, aber nicht in beiden Mengen liegen. Bei Verwendung des ausschließenden Oder („entweder-oder“: ${\displaystyle \veebar }$ bzw. ${\displaystyle \nleftrightarrow }$) kann man dafür auch

${\displaystyle A\bigtriangleup B:=\{x\mid \left(x\in A\right)\veebar \left(x\in B\right)\}}$

schreiben.

Kartesisches Produkt

Die Produktmenge oder das kartesische Produkt ist eine weitere Art der Verknüpfung von Mengen. Die Elemente des kartesischen Produkts zweier Mengen sind allerdings keine Elemente der Ausgangsmengen, sondern komplexere Objekte. Formal ist die Produktmenge von ${\displaystyle A}$ und ${\displaystyle B}$ definiert als

${\displaystyle A\times B:=\{\left(a,b\right)\mid a\in A,b\in B\}}$

und damit die Menge aller geordneten Paare, deren erstes Element aus ${\displaystyle A}$ und deren zweites Element aus ${\displaystyle B}$ ist. Unter der Verwendung von n-Tupeln lässt sich das kartesische Produkt auch für die Verknüpfung endlich vieler Mengen ${\displaystyle A_{1},\ldots ,A_{n}}$ verallgemeinern:

${\displaystyle A_{1}\times \dotsb \times A_{n}:=\{\left(a_{1},\dotsc ,a_{n}\right)\mid a_{i}\in A_{i}~{\text{für}}~i=1,\ldots ,n\}}$,

Sind die Mengen ${\displaystyle A_{1},\ldots ,A_{n}}$ alle gleich einer Menge ${\displaystyle A}$, so schreibt man für die Produktmenge auch kurz ${\displaystyle A^{n}}$. Für die Produktmenge einer Familie von Mengen ${\displaystyle (A_{\lambda })_{\lambda \in \Lambda }}$ mit einer beliebigen Indexmenge ${\displaystyle \Lambda }$ wird ein allgemeiner Funktionsbegriff benötigt. Sie ist die Menge aller Funktionen, die jedem Indexelement ${\displaystyle \lambda }$ ein Element der Menge ${\displaystyle A_{\lambda }}$ zuordnet, also

${\displaystyle \prod _{\lambda \in \Lambda }A_{\lambda }:=\{f\colon \Lambda \to \bigcup _{\lambda \in \Lambda }A_{\lambda }\mid \forall \lambda \in \Lambda :f\left(\lambda \right)\in A_{\lambda }\}}$

Ob ein solches kartesisches Produkt nicht leer ist, das heißt, ob es überhaupt stets solche Funktionen wie auf der rechten Seite dieser Definitionsgleichung angegeben gibt, hängt eng mit dem Auswahlaxiom zusammen.

Wenn die Mengen ${\displaystyle A_{\lambda }}$ alle gleich einer Menge ${\displaystyle A}$ sind, schreibt man die Produktmenge auch kurz als ${\displaystyle A^{\Lambda }}$.

Potenzmenge

Die Potenzmenge ${\displaystyle {\mathcal {P}}(A)}$ von ${\displaystyle A}$ ist die Menge aller Teilmengen von ${\displaystyle A}$.

Die Potenzmenge von ${\displaystyle A}$ enthält immer die leere Menge und die Menge ${\displaystyle A}$. Somit ist ${\displaystyle {\mathcal {P}}(\emptyset )=\{\emptyset \}}$, also eine einelementige Menge. Die Potenzmenge einer einelementigen Menge ${\displaystyle \{a\}}$ ist ${\displaystyle {\mathcal {P}}(\{a\})=\{\emptyset ,\{a\}\}}$, enthält also zwei Elemente. Allgemein gilt: Besitzt ${\displaystyle A}$ genau ${\displaystyle n}$ Elemente, so hat ${\displaystyle {\mathcal {P}}(A)}$ die Elementanzahl ${\displaystyle 2^{n}}$, das heißt ${\displaystyle |{\mathcal {P}}(A)|=2^{|A|}}$. Dies motiviert auch die Schreibweise ${\displaystyle 2^{A}}$ anstelle ${\displaystyle {\mathcal {P}}(A)}$.

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.

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.