Mängileer

D Mängileer isch hützudags das grundlegende Däilgebiet vo dr Mathematik, wil mä hüte die ganzi Mathematik üübligerwiis in dr Sprooch vo dr Mängileer formuliert und sä uf de Axiom vo dr Mängileer ufbaut. Die mäiste mathematische Objekt, wo in Däilberiich wie under anderem Algebra, Analysis, Geometrii, Stochastik oder Topologii behandlet wärde, löön sich as Mängene definiere. Für dass d Mängileer e son e wichdigi Wüsseschaft isch, isch si no rächt jung. Erst wo d Grundlaagekriise vo dr Mathematik am Aafang vom 20. Joorhundert überwunde worde isch, het d Mängileer dr zentral und grundlegendi Blatz in dr Mathematik afo iinee, wo si hüte het.

Für ändligi Mängene isch d Mächdigkäit gliich wie d Zaal vo de Elimänt vo dr Mängi, das isch äntwääder e natürligi Zaal oder Null.

Bi unändlige Mängene definiert mä Ekwiwalänzklasse, wo die verschiidene Mängene drzueghööre und git dene Kardinalzaale ${\displaystyle \aleph _{i}}$ . Äi Klass isch d Klass vo de abzellbare (mä säit au abzellbar unändlige) Mängene, wo alli gliich mächdig si wie d Mängi vo de natürlige Zaale ${\displaystyle \mathbb {N} }$ . Doodrzue ghööre under anderem die ganze und die razionale Zaale.

Für Mängene brucht mä im Allgemäine Groossbuechstaabe (${\displaystyle A,B,C...}$ ) und für Elimänt vo Mängene Chliibuechstaabe (${\displaystyle a,b,c...}$ ).

Definizionszäiche

Sümbol	Verwändig	Interpretazion
${\displaystyle :}$	${\displaystyle A:B}$	${\displaystyle A}$ wird dur ${\displaystyle B}$ definiert
	${\displaystyle A:=B}$	${\displaystyle A}$ wird per Definizion gliich ${\displaystyle B}$ gsetzt
	${\displaystyle A:\Leftrightarrow B}$	${\displaystyle A}$ wird per Definizion gliichwärtig zu ${\displaystyle B}$ gsetzt

Mängikonstrukzion

Sümbol	Verwändig	Interpretazion
${\displaystyle \varnothing }$		leeri Mängi
${\displaystyle \{~\}}$	${\displaystyle \{a,b,\ldots \}}$	D Mängi, wo us de Elimänt ${\displaystyle a}$ , ${\displaystyle b}$ und so witer bestoot
${\displaystyle \mid }$	${\displaystyle \{a\mid T(a)\}}$	D Mängi vo de Elimänt ${\displaystyle a}$ , wo d Bedingig ${\displaystyle T(a)}$ erfülle
${\displaystyle \colon }$	${\displaystyle \{a\,\colon T(a)\}}$

Mängioperazione

Sümbol	Verwändig	Interpretazion
${\displaystyle \cup }$	${\displaystyle A\cup B}$	Veräinigung vo de Mänge ${\displaystyle A}$ und ${\displaystyle B}$
${\displaystyle \cap }$	${\displaystyle A\cap B}$	Durchschnitt vo de Mänge ${\displaystyle A}$ und ${\displaystyle B}$
${\displaystyle \setminus }$	${\displaystyle A\setminus B}$	Differänz vo de Mänge ${\displaystyle A}$ und ${\displaystyle B}$
${\displaystyle \triangle }$	${\displaystyle A\,\triangle \,B}$	symmetrischi Differänz vo de Mänge ${\displaystyle A}$ und ${\displaystyle B}$
${\displaystyle \times }$	${\displaystyle A\times B}$	kartesischs Brodukt vo de Mänge ${\displaystyle A}$ und ${\displaystyle B}$
${\displaystyle {\dot {\cup }}}$	${\displaystyle A\,{\dot {\cup }}\,B}$	Veräinigung vo de disjunkte Mänge ${\displaystyle A}$ und ${\displaystyle B}$
${\displaystyle \sqcup }$	${\displaystyle A\sqcup B}$	Disjunkti Veräinigung vo de Mänge ${\displaystyle A}$ und ${\displaystyle B}$
${\displaystyle {}^{\mathrm {C} }}$	${\displaystyle A^{\mathrm {C} }}$	Komplemänt vo dr Mängi ${\displaystyle A}$
${\displaystyle {\overline {~~}}}$	${\displaystyle {\overline {A}}}$
${\displaystyle {\mathcal {P}}}$	${\displaystyle {\mathcal {P}}(A)}$	Potänzmängi vo dr Mängi ${\displaystyle A}$
${\displaystyle {\mathfrak {P}}}$	${\displaystyle {\mathfrak {P}}(A)}$

Mängerelazione

Sümbol	Verwändig	Interprezation
${\displaystyle \subset }$	${\displaystyle A\subset B}$	${\displaystyle A}$ isch en ächti Däilmängi vo ${\displaystyle B}$
${\displaystyle \subsetneq }$	${\displaystyle A\subsetneq B}$
${\displaystyle \subseteq }$	${\displaystyle A\subseteq B}$	${\displaystyle A}$ isch e Däilmängi vo ${\displaystyle B}$
${\displaystyle \supset }$	${\displaystyle A\supset B}$	${\displaystyle A}$ isch en ächti Obermängi vo ${\displaystyle B}$
${\displaystyle \supsetneq }$	${\displaystyle A\supsetneq B}$
${\displaystyle \supseteq }$	${\displaystyle A\supseteq B}$	${\displaystyle A}$ isch en Obermängi vo ${\displaystyle B}$
${\displaystyle \in }$	${\displaystyle a\in A}$	s Elimänt ${\displaystyle a}$ isch in dr Mängi ${\displaystyle A}$ enthalte
${\displaystyle \ni }$	${\displaystyle A\ni a}$
${\displaystyle \notin }$	${\displaystyle a\notin A}$	s Elimänt ${\displaystyle a}$ isch nit in dr Mängi ${\displaystyle A}$ enthalte
${\displaystyle \not \ni }$	${\displaystyle A\not \ni a}$

Hinwiis: d Sümbol ${\displaystyle \subset }$ und ${\displaystyle \supset }$ wärde nit äihäitlig verwändet und schliesse hüfig d Gliichhäit vo de bäide Mängene nit us.

Zaalemängene

Sümbol	Verwändig	Interpretazion
${\displaystyle \mathbb {N} }$		natürligi Zaale
${\displaystyle \mathbb {Z} }$		ganzi Zaale
${\displaystyle \mathbb {Q} }$		razionali Zaale
${\displaystyle \mathbb {A} }$		algebraischi Zaale
${\displaystyle \mathbb {R} }$		reelli Zaale
${\displaystyle \mathbb {C} }$		komplexi Zaale
${\displaystyle \mathbb {H} }$		Quaternione

Mächtigkäite

Sümbol	Verwändig	Interpretazion
${\displaystyle |~~|}$	${\displaystyle |A|}$	Mächtigkäit (Kardinalität) von ere Mängi ${\displaystyle A}$
${\displaystyle \#}$	${\displaystyle \#A}$
${\displaystyle {\mathfrak {c}}}$		Mächtigkäit vom Kontinuum
${\displaystyle \aleph }$	${\displaystyle \aleph _{0}}$ , ${\displaystyle \aleph _{1}}$ , ...	Kardinalzaale
${\displaystyle \beth }$	${\displaystyle \beth _{0}}$ , ${\displaystyle \beth _{1}}$ , ...	Beth-Zaale

• 
  ${\displaystyle A}$ isch en (ächti) Däiilmängi vo ${\displaystyle B}$
• 
  In root: D Schnittmängi vo ${\displaystyle A}$ und ${\displaystyle B}$
• 
  In root: D Veräinigungsmängi vo ${\displaystyle A}$  und ${\displaystyle B}$
• 
  In root: D Differänzmängi ${\displaystyle A}$ ooni ${\displaystyle B}$
• 
  In root: Die sümmetrischi Differänz vo ${\displaystyle A}$ und ${\displaystyle B}$
• 
  In blau: S relative Komplemänt vo ${\displaystyle A}$ in ${\displaystyle B}$
• 
  In grau: s absolute Komplemänt vo ${\displaystyle A}$ im Uniwersum ${\displaystyle U}$
• 
  S kartesische Brodukt ${\displaystyle \scriptstyle A\times B}$ vo de bäide Mänge ${\displaystyle \scriptstyle A=\{x,y,z\}}$ und ${\displaystyle \scriptstyle B=\{1,2,3\}}$

• Felix Hausdorff: Grundzüge der Mengenlehre. Chelsea Publ. Co., New York 1914/1949/1965, ISBN 978-3-540-42224-2.
• Adolf Fraenkel: Einleitung in die Mengenlehre. Springer Verlag, Berlin/Heidelberg/New York 1928. Neudruck: Martin Sändig oHG, Walluf 1972, ISBN 3-500-24960-4.
• Paul R. Halmos: Naive Mengenlehre. Vandenhoeck & Ruprecht, Göttingen 1968, ISBN 3-525-40527-8.
• Erich Kamke: Mengenlehre. 6. Auflage. Walter de Gruyter & Co., Berlin 1969.
• Kenneth Kunen: Set Theory: An Introduction to Independence Proofs. North-Holland, 1980, ISBN 0-444-85401-0.
• Arnold Oberschelp: Allgemeine Mengenlehre. Mannheim/Leipzig/Wien/Zürich 1994.
• André Joyal, Ieke Moerdijk: Algebraic Set Theory. Cambridge University Press, 1995, ISBN 0-521-55830-1.
• Heinz-Dieter Ebbinghaus: Einführung in die Mengenlehre. Spektrum Akademischer Verlag, Heidelberg/Berlin 2003, ISBN 3-8274-1411-3.

 Wikibooks: Mathe für Nicht-Freaks: Mengenlehre — Lern- und Lehrmaterialie
 Wikibooks: Beweisarchiv: Mengenlehre — Lern- und Lehrmaterialie