Mächtigkeit (Mathematik)
In der Mathematik verwendet man den aus der Mengenlehre von Georg Cantor stammenden Begriff der Mächtigkeit oder Kardinalität, um den für endliche Mengen verwendeten Begriff der „Anzahl der Elemente einer Menge“ auf unendliche Mengen zu verallgemeinern.
Für eine endliche Menge ist die Mächtigkeit gleich der Anzahl der in ihr enthaltenen Elemente. Es handelt sich also um eine natürliche Zahl <math>n \in \N_0</math>, die Zahl <math>0</math> eingeschlossen.
Für unendliche Mengen benötigt man indes einen theoretischen Apparat – nämlich den im Rahmen der Mengenlehre geschaffenen – um deren Mächtigkeiten definieren zu können. Die hierzu im Folgenden gebrachten Definitionen, Notationen und Folgerungen sind aber sowohl für endliche als auch für unendliche Mengen gültig. Insbesondere wird die Mächtigkeit einer Menge <math>A</math> in aller Regel als <math>|A|</math> notiert.<ref group="AuH">Eine andere übliche Notation ist <math>\# {A}</math> (mit vorangestelltem Rautezeichen). Mitunter findet man auch die Notationen <math>\text {card } {A}</math> bzw. <math>\bar {\bar{A}}</math> (mit doppeltem Überstrich).</ref>
Mächtigkeit bei endlichen Mengen
- Beispiele:
- <math>A = \{1, 3, 7, 21\}\Rightarrow |A| = 4</math>
- <math>B = \{\mbox{Tetraeder, Hexaeder, Oktaeder, Dodekaeder, Ikosaeder}\} \Rightarrow |B| = 5</math>
- <math>C = \{\mbox{rot, gelb, blau, orange, violett, schwarz}\} \Rightarrow |C| = 6</math>
- Die Potenzmenge <math>\mathcal P(X)</math> einer endlichen Menge <math>X</math> mit <math> |X| = n \in \N_0</math> hat genau <math>2^n</math> Elemente. Denn die Wahl einer Teilmenge entspricht den <math>n</math> unabhängigen Wahlen zwischen den beiden Möglichkeiten, ob ein bestimmtes Element von <math>X</math> in der Teilmenge liegen soll oder nicht.
- Die Funktion <math>|\cdot| </math> hat die Eigenschaften einer Inhaltsfunktion im Sinne der Maßtheorie (s. u.).
Gleichmächtigkeit, Mächtigkeit
Man definiert zunächst den Begriff der Gleichmächtigkeit zweier beliebiger Mengen <math>A</math> und <math>B</math>:
Eine Menge <math>A</math> heißt gleichmächtig<ref group="AuH">Georg Cantor sagte stattdessen äquivalent.</ref> zu einer Menge <math>B</math> genau dann, wenn es eine Bijektion <math>f \colon A \to B</math> gibt. Man schreibt dann <math>|A| = |B|</math> oder <math>A \sim B</math>.<ref>{{#invoke:Vorlage:Literatur|f}} Hier S. 75, Definition 16, Teil1 Definition 16, Teil2</ref><ref name="HKönig">{{#invoke:Vorlage:Literatur|f}} Hier: Seite 21</ref><ref>Тhοmas Stеιnfеld: <templatestyles src="Webarchiv/styles.css" />{{#if:20180211221059
| {{#ifeq: 20180211221059 | *
| {{#if: Gleichmächtigkeit | {{#invoke:WLink|getEscapedTitle|Gleichmächtigkeit}} | {{#invoke:Webarchiv|getdomain|http://www.mathepedia.de/Gleichmaechtigkeit.html}} }} (Archivversionen)
| {{#iferror: {{#time: j. F Y|20180211221059}}
| {{#if: || }}Der Wert des Parameters {{#if: wayback | wayback | Datum }} muss ein gültiger Zeitstempel der Form YYYYMMDDHHMMSS sein!
| {{#if: Gleichmächtigkeit | {{#invoke:WLink|getEscapedTitle|Gleichmächtigkeit}} | {{#invoke:Webarchiv|getdomain|http://www.mathepedia.de/Gleichmaechtigkeit.html}} }} {{#ifeq: | [] | [ | ( }}{{#if: {{#if: | {{{archiv-bot}}} | }} | des Vorlage:Referrer }} vom {{#time: j. F Y|20180211221059}} im Internet Archive{{#if: | ; }}{{#ifeq: | [] | ] | ) }}
}}
}}
| {{#if:
| {{#iferror: {{#time: j. F Y|{{{webciteID}}}}}
| {{#switch: {{#invoke:Str|len|{{{webciteID}}}}}
| 16= {{#if: Gleichmächtigkeit | {{#invoke:WLink|getEscapedTitle|Gleichmächtigkeit}} | {{#invoke:Webarchiv|getdomain|http://www.mathepedia.de/Gleichmaechtigkeit.html}} }} {{#ifeq: | [] | [ | ( }}{{#if: {{#if: | {{{archiv-bot}}} | }} | des Vorlage:Referrer }} vom {{#time: j. F Y| 19700101000000 + {{#expr: floor {{#expr: {{#invoke:Str|sub|{{{webciteID}}}|1|10}}/86400}} }} days}} auf WebCite{{#if: | ; }}{{#ifeq: | [] | ] | ) }}
| 9 = {{#if: Gleichmächtigkeit | {{#invoke:WLink|getEscapedTitle|Gleichmächtigkeit}} | {{#invoke:Webarchiv|getdomain|http://www.mathepedia.de/Gleichmaechtigkeit.html}} }} {{#ifeq: | [] | [ | ( }}{{#if: {{#if: | {{{archiv-bot}}} | }} | des Vorlage:Referrer}} vom {{#time: j. F Y| 19700101000000 + {{#expr: floor {{#expr: {{#invoke:Str|sub|{{#invoke:Expr|base62|{{{webciteID}}}}}|1|10}}/86400}} }} days}} auf WebCite{{#if: | ; }}{{#ifeq: | [] | ] | ) }}
| #default= Der Wert des Parameters {{#if: webciteID | webciteID | ID }} muss entweder ein Zeitstempel der Form YYYYMMDDHHMMSS oder ein Schüsselwert mit 9 Zeichen oder eine 16-stellige Zahl sein!{{#if: || }}
}}
| c|{{{webciteID}}}}} {{#if: Gleichmächtigkeit | {{#invoke:WLink|getEscapedTitle|Gleichmächtigkeit}} | {{#invoke:Webarchiv|getdomain|http://www.mathepedia.de/Gleichmaechtigkeit.html}} }} ({{#if: {{#if: | {{{archiv-bot}}} | }} | des Vorlage:Referrer}} vom {{#time: j. F Y|{{{webciteID}}}}} auf WebCite{{#if: | ; }}{{#ifeq: | [] | ] | ) }}
}}
| {{#if:
| Vorlage:Webarchiv/Today
| {{#if:
| Vorlage:Webarchiv/Generisch
| {{#if: Gleichmächtigkeit | {{#invoke:WLink|getEscapedTitle|Gleichmächtigkeit}} | {{#invoke:Webarchiv|getdomain|http://www.mathepedia.de/Gleichmaechtigkeit.html}} }}
}}}}}}}}{{#if:
| Vorlage:Webarchiv/archiv-bot
}}{{#invoke:TemplatePar|check
|all = url=
|opt = text= wayback= webciteID= archive-is= archive-today= archiv-url= archiv-datum= ()= archiv-bot= format= original=
|cat = Wikipedia:Vorlagenfehler/Vorlage:Webarchiv
|errNS = 0
|template = Vorlage:Webarchiv
|format = *
|preview = 1
}}{{#ifexpr: {{#if:20180211221059|1|0}}{{#if:|+1}}{{#if:|+1}}{{#if:|+1}}{{#if:|+1}} <> 1
| {{#if: || }}{{#invoke:TemplUtl|failure| Fehler bei Vorlage:Webarchiv: Genau einer der Parameter 'wayback', 'webciteID', 'archive-today', 'archive-is' oder 'archiv-url' muss angegeben werden.|1}}
}}{{#if:
| {{#switch: {{#invoke:Webarchiv|getdomain|{{{archiv-url}}}}}
| web.archive.org =
{{#if: || }}{{#invoke:TemplUtl|failure| Fehler bei Vorlage:Webarchiv: Im Parameter 'archiv-url' wurde URL von Internet Archive erkannt, bitte Parameter 'wayback' benutzen.|1}}
| webcitation.org =
{{#if: || }}{{#invoke:TemplUtl|failure| Fehler bei Vorlage:Webarchiv: Im Parameter 'archiv-url' wurde URL von WebCite erkannt, bitte Parameter 'webciteID' benutzen.|1}}
| archive.today |archive.is |archive.ph |archive.fo |archive.li |archive.md |archive.vn =
{{#if: || }}{{#invoke:TemplUtl|failure| Fehler bei Vorlage:Webarchiv: Im Parameter 'archiv-url' wurde URL von archive.today erkannt, bitte Parameter 'archive-today' benutzen.|1}}
}}{{#if:
| {{#iferror: {{#iferror:{{#invoke:Vorlage:FormatDate|Execute}}|}}
| {{#if: || }}{{#invoke:TemplUtl|failure| Fehler bei Vorlage:Webarchiv: Der Wert des Parameter 'archiv-datum' ist ungültig oder hat ein ungültiges Format.|1}}
| }}
| {{#if: || }}{{#invoke:TemplUtl|failure| Fehler bei Vorlage:Webarchiv: Der Pflichtparameter 'archiv-datum' wurde nicht angegeben.|1}}
}}
| {{#if:
| {{#if: || }}{{#invoke:TemplUtl|failure| Fehler bei Vorlage:Webarchiv: Der Parameter 'archiv-datum' ist nur in Verbindung mit 'archiv-url' angebbar.|1}}
}}
}}{{#if:{{#invoke:URLutil|isHostPathResource|http://www.mathepedia.de/Gleichmaechtigkeit.html}}
|| {{#if: || }}
}}{{#if: Gleichmächtigkeit
| {{#if: {{#invoke:WLink|isBracketedLink|Gleichmächtigkeit}}
| {{#if: || }}
}}
| {{#if: || }}
}}{{#switch:
|addlarchives|addlpages= {{#if: || }}{{#if: 1 |}}{{#invoke:TemplUtl|failure| Fehler bei Vorlage:Webarchiv: enWP-Wert im Parameter 'format'.|1}}
}}{{#ifeq: {{#invoke:Str|find|http://www.mathepedia.de/Gleichmaechtigkeit.html%7Carchiv}} |-1
|| {{#ifeq: {{#invoke:Str|find|{{#invoke:Str|cropleft|http://www.mathepedia.de/Gleichmaechtigkeit.html%7C4}}%7Chttp}} |-1
|| {{#switch: {{#invoke:Webarchiv|getdomain|http://www.mathepedia.de/Gleichmaechtigkeit.html }}
| abendblatt.de | daserste.ndr.de | inarchive.com | webcitation.org =
| #default = {{#if: || }}{{#if: 1 |}}{{#invoke:TemplUtl|failure| Fehler bei Vorlage:Webarchiv: Archiv-URL im Parameter 'url' anstatt URL der Originalquelle. Entferne den vor der Original-URL stehenden Mementobestandteil und setze den Archivierungszeitstempel in den Parameter 'wayback', 'webciteID', 'archive.today' oder 'archive-is' ein, sofern nicht bereits befüllt.|1}}
}}
}}
}} auf Mathpedia</ref>
Ist <math>A</math> gleichmächtig zu <math>B</math> und <math>f</math> eine Bijektion zwischen <math>A</math> und <math>B</math>, dann ist auch die Umkehrfunktion von <math>f</math> eine Bijektion, also ist auch <math>B</math> gleichmächtig zu <math>A</math>.<ref group="AuH">Daher werden die beiden Mengen dann auch kurz als gleichmächtige Mengen bezeichnet.</ref>
Insgesamt ist die Relation <math>\sim</math>, also die Gleichmächtigkeitsrelation, eine Äquivalenzrelation auf der Klasse aller Mengen, deren Äquivalenzklassen – von der Klasse <math>\{ \emptyset \} </math> der leeren Menge abgesehen – echte Klassen sind.<ref group="AuH">Näheres siehe unten (§Kardinalzahlen) und Kardinalzahlen §Definition!</ref>
Je zwei endliche Mengen sind genau dann gleichmächtig, wenn sie gleich viele Elemente haben. Unendliche Mengen hingegen zeichnen sich dadurch aus, dass jede solche gleichmächtig zu einer ihrer echten Teilmengen ist.
Man nennt eine Menge, die gleichmächtig zur unendlichen Menge <math>\mathbb N</math> der natürlichen Zahlen oder einer von deren Teilmengen ist, die also mit natürlichen Zahlen (einschließlich <math>0</math>) „abgezählt“ werden kann, eine abzählbare Menge.
Bisweilen versteht man auch abzählbar allein im Sinne von abzählbar unendlich (= gleichmächtig zu <math>\mathbb N</math>) und spricht dann jedoch statt von abzählbar (im Sinne der oben zuerst eingeführten Definition) von höchstens abzählbar, was unter gewissen Umständen die Formulierung vieler Beweise etwas einfacher macht.
Besondere Ergebnisse
- Gleichmächtig sind: <math>\mathbb N</math>, <math>\mathbb Z</math> und <math>\mathbb Q</math> (also die Mengen der natürlichen, der ganzen und der rationalen Zahlen).
- Gleichmächtig sind: <math>\mathbb R</math>, <math>\left(0,1\right)</math>, <math>C</math> und <math>\mathcal P(\mathbb N)</math>, wobei <math>C</math> die Cantor-Menge ist.
- Die Menge <math>\mathbb R</math> der reellen Zahlen ist mächtiger als <math>\mathbb N</math> (also überabzählbar).<ref group="AuH">
{{#invoke:Vorlage:Siehe auch|f}}</ref>
Kardinalzahlen
{{#if: Kardinalzahl (Mathematik)|{{#ifexist:Kardinalzahl (Mathematik)|
|{{#if: |{{#ifexist:{{{2}}}|
|{{#if: |{{#ifexist:{{{3}}}|
|}}|}}|}}|}}|}}|Einbindungsfehler: Die Vorlage Hauptartikel benötigt immer mindestens ein Argument.}}
Da die Gleichmächtigkeit von Mengen eine Äquivalenzrelation ist, ist die folgende Definition sinnvoll:
- Die Äquivalenzklasse einer Menge (bezüglich der Gleichmächtigkeitsrelation) nennt man ihre Kardinalzahl.
Es stellt sich nun die Frage, ob sich für diese Äquivalenzklassen ein kanonisches Repräsentantensystem finden lässt, und es zeigt sich, dass es auf diese Frage im Rahmen der Mengenlehre mit Annahme des Auswahlaxioms eine positive Antwort gibt.
Hier lässt sich nämlich der Wohlordnungssatz herleiten, demzufolge jede Menge gleichmächtig zu einer wohlgeordneten Menge ist, und auf diesem Wege zeigt man, dass die Kardinalzahl einer Menge stets als die kleinste mit dieser Menge gleichmächtige Ordinalzahl definiert werden kann.
In der Folge gewinnt man die Aleph-Funktion, mit deren Hilfe man die Kardinalzahlen aller unendlichen Mengen erfasst. D. h.: Jede Menge <math>A</math> liegt in der Äquivalenzklasse (= Kardinalzahl) eines eindeutig bestimmten <math>\aleph_i</math>.
Man sagt dann, dass die Menge <math>A</math> die Mächtigkeit <math>\aleph_i</math> hat und schreibt dies in der Form:
- <math>|A| = \aleph_i</math>.
Die Kardinalzahl einer endlichen Menge mit <math>n</math> Elementen wird mit der natürlichen Zahl <math>n</math> gleichgesetzt.
Man kann sich nun fragen, ob alle unendlichen Mengen einander gleichmächtig sind. Dass dies nicht der Fall sein kann, stellt sich jedoch unmittelbar heraus. Denn wie sich zeigen lässt, ist etwa die Menge der natürlichen Zahlen nicht gleichmächtig zur Menge der reellen Zahlen.<ref group="AuH"> Dies kann man zum Beispiel mit dem so genannten „Cantorschen Diagonalbeweis“ zeigen. Siehe dazu den Artikel überabzählbar.</ref>
Es existieren unendlich viele verschiedene Kardinalzahlen.<ref group="AuH">Dies ergibt sich im Weiteren. Cantor selbst zeigte mit der ersten Cantorschen Antinomie, dass die Kardinalzahlen eine echte Klasse bilden.</ref>
Vergleich der Mächtigkeit
Um die Mächtigkeiten nicht gleichmächtiger Mengen vergleichen zu können, legt man fest, wann eine Menge <math>B</math> mächtiger als eine Menge <math>A</math> sein soll:
- Wenn es eine Bijektion <math>f</math> von <math>A</math> auf eine Teilmenge von <math>B</math> gibt, dann heißt <math>A</math> höchstens gleichmächtig zu <math>B</math>. Man schreibt dann <math>|A| \leq |B|</math>.
- Wenn es eine Bijektion von <math>A</math> auf eine Teilmenge von <math>B</math> gibt, aber umgekehrt keine Bijektion von <math>B</math> auf eine Teilmenge von <math>A</math> existiert, dann heißt <math>A</math> weniger mächtig als <math>B</math> und <math>B</math> mächtiger als <math>A</math>. Oft sagt man auch der Deutlichkeit halber, dass <math>B</math> echt mächtiger als <math>A</math> ist und schreibt dann <math>|A| < |B|</math> bzw. <math>|B| > |A|</math> . Offenbar gilt <math>|A| < |B|</math> genau dann, wenn <math>|A| \leq |B|</math>, aber <math>|A| \neq |B|</math> ist.
Nun stellt sich aber die Frage nach der Vergleichbarkeit zweier beliebiger Mengen, ob also die bloße Eigenschaft, eine Menge zu sein, eine solche Vergleichsmöglichkeit impliziert.
Man kann sogar unter Annahme der Gültigkeit des Auswahlaxioms das folgende umfassende Theorem zeigen:
- Für je zwei Mengen <math>A</math> und <math>B</math> gilt stets <math>|A| \leq |B|</math> oder <math>|B| \leq |A|</math> (Vergleichbarkeitssatz).
Des Weiteren kann man zeigen, dass jede abzählbare Menge entweder endlich oder gleichmächtig zu <math>\mathbb N</math> ist. Außerdem kann man zeigen, dass jede unendliche Menge eine zu <math>\mathbb N</math> gleichmächtige Teilmenge enthält.
Damit ist die Mächtigkeit von <math>\mathbb N</math> die kleinste unendliche Kardinalzahl. Man bezeichnet sie mit <math>\aleph_0</math>:
- <math>\aleph_0 := |\mathbb N|</math>.
Die Kontinuumhypothese (CH) besagt, dass es keine Menge gibt, die mächtiger ist als <math>\mathbb N</math>, aber weniger mächtig als <math>\R</math> . Wie der Name jedoch schon vermuten lässt, ist dies kein Satz in dem Sinne, dass er sich beweisen lässt. Weder die Kontinuumhypothese noch ihre Verneinung lässt sich aus den üblichen Axiomensystemen herleiten, zum Beispiel der Zermelo-Fraenkel-Mengenlehre mit Auswahlaxiom. Die Kontinuumhypothese besagt also, dass <math>|\mathbb R| = |\mathcal P(\mathbb N)| = 2^{\aleph_0}</math> die zweitkleinste unendliche Kardinalzahl <math>\aleph_1</math> ist.
Totale Ordnung der Mächtigkeiten
Bei naiver Betrachtung der Schreibweise könnte man vermuten, dass für Mengen <math>A</math> und <math>B</math> mit <math>|A| \leq |B|</math> und <math>|B| \leq |A|</math> stets <math>|A| = |B|</math> gilt. Dass das tatsächlich so ist, wird vom folgenden Satz ausgesagt:
- Cantor-Bernstein-Schröder-Theorem: Ist <math>A</math> höchstens gleichmächtig zu <math>B</math> und <math>B</math> höchstens gleichmächtig zu <math>A</math>, dann sind <math>A</math> und <math>B</math> gleichmächtig.
Zusammenfassend lassen sich folgende Eigenschaften für Mächtigkeiten festhalten:
- Es gilt stets <math>|A| = |A|</math> (man nehme die Identität als Bijektion).
- Aus <math>|A| \leq |B|</math> und <math>|B| \leq |A|</math> folgt <math>|A| = |B|</math>.
- Aus <math>|A| \leq |B|</math> und <math>|B| \leq |C|</math> folgt <math>|A| \leq |C|</math> (folgt sofort aus der Definition).
- Für zwei Mengen <math>A</math> und <math>B</math> gilt stets <math>|A| \leq |B|</math> oder <math>|B| \leq |A|</math> (das ist äquivalent zum Auswahlaxiom).
Damit ist gezeigt, dass die Kardinalzahlen total geordnet sind.
Rechenregeln bei endlichen Kardinalitäten
Es seien <math>M , N</math> sowie <math>N_1, \ldots, N_k</math> endliche Mengen. Dann gelten folgende Regeln:
- Bijektions- oder Isomorphieregel
<math>M</math> ist bijektiv auf <math>N</math> abbildbar <math>\Leftrightarrow</math> <math>|M| = |N|</math>. - Summenregel
<math>M \cap N = \emptyset \Leftrightarrow |M \cup N| = |M| + |N|</math>
Allgemein gilt <math>|M \cup N| + |M \cap N| = |M| + |N|</math>.
Eine weitere Verallgemeinerung der Summenregel auf endlich viele endliche Menge ist das Prinzip von Inklusion und Exklusion. - Differenzenregel
<math>M \subseteq N \Leftrightarrow |N \setminus M| = |N| - |M|</math> - Produktregel
<math>|M \times N| = |M| \cdot |N|</math> - Quotientenregel
Ist <math>M = N_1\;\;\!\!\dot\cup\;\;\!\!\!\cdots\;\;\!\!\!\dot\cup\;\;\!\!N_k</math> und gilt <math>\forall i : |N_i| = n > 0</math>, so folgt <math>k = \tfrac{|M|}{n}</math> bzw. <math>|M| = k \cdot n</math> - Subadditivität von Mengen
<math>\Big|\bigcup_{i=1}^{k} N_i\Big| \leq \sum_{i=1}^{k}|N_i|</math>
Falls die <math>N_i</math> paarweise disjunkt sind, so gilt die Gleichheit: <math>\textstyle |\bigcup_{i=1}^k N_i| = \sum_{i=1}^k|N_i|</math>.
Das heißt also, dass bei disjunkten Mengen die Anzahl der Elemente in der Vereinigung der Mengen <math>N_i</math> gleich der Summe der einzelnen Anzahlen von Elementen in jeder dieser Mengen ist. - Prinzip von Inklusion und Exklusion
Die Mächtigkeit der Vereinigung <math> \bigcup_{i=1}^k N_i</math> der Mengen <math>N_1, N_2, \dotsc, N_k</math> lässt sich als alternierende Summe der Mächtigkeiten all ihrer verschiedenstufigen Durchschnitte darstellen; mit den Indexmengen <math>I \subseteq \{1, 2, \dotsc, k\}</math> gilt
- <math>|\bigcup_{i=1}^k N_i| = \sum_{\emptyset \not= I \subseteq \{1, \dotsc, k\}} \left(-1\right)^{|I|+1}|\bigcap_{i \in I} N_i|</math>,
- oder mit <math>\bigcap_{i \in \emptyset} N_i = \bigcup_{i=1}^k N_i</math> gleichwertig
- <math>\sum_{I \subseteq \{1, \dotsc, n\}} \left(-1\right)^{|I|}|\bigcap_{i \in I} N_i| = 0</math>.
- Potenzregel
Bezeichnet <math>N^M</math> die Menge aller Abbildungen <math>f \colon M \to N</math>, dann gilt <math>|N^M| = |N|^{|M|}</math>.
Beispiele
Es seien <math>M = \{1,2,3\}</math> und <math>N = \{1,3,5,7\}</math>.
Dann
- existiert keine bijektive Abbildung zwischen <math>M</math> und <math>N</math>,
- ist <math>|M \cup N| = |\{1,2,3,5,7\}| = 5</math>,
- lässt sich die Mächtigkeit der Differenz nicht mit obigem Satz bestimmen,
- beträgt die Mächtigkeit des kartesischen Produkts <math>|M| \cdot |N| = |\{(1,1); (1,3); \ldots\}| = 12</math>.
Setzt man indes andere Mengen <math>M = N = \{1,2,3,4\}</math> und <math>N_1 = \{1\}, N_2 = \{2\}, N_3 = \{3\}, N_4 = \{4\}</math> fest, so
- existiert eine Bijektion – nämlich die identische Abbildung! – zwischen den beiden Mengen <math>M</math> und <math>N</math>,
- ist <math>|M \cup N| = |M| = |N| = 4</math>, da die beiden Mengen identisch sind,
- ist <math>M</math> eine Teilmenge von <math>N</math> und somit gilt: <math>|N \setminus M| = |N| - |M| = 0</math>,
- hat das kartesische Produkt die Mächtigkeit <math>16</math> und
- es gilt, da <math>|N_1| = |N_2| = |N_3| = |N_4| = 1</math> und die <math>N_j \, (j= 1,2,3,4) </math> paarweise disjunkt sind, die Gleichung <math>|M| = | N_1 \cup N_2 \cup N_3 \cup N_4 | = 4 \cdot 1 = 4</math>
Mächtigkeit der Potenzmenge, größte Mächtigkeit
Stellt man die Frage, ob es eine „Menge größter Mächtigkeit“ gibt, so erhält man durch ein von Georg Cantor gegebenes Theorem eine verneinende Antwort. Dieser hat nämlich mit seinem Satz von Cantor folgendes gezeigt:
- Für jede Menge <math>A</math> ist die Potenzmenge <math>\mathcal{P}(A)</math> echt mächtiger als <math>A</math>.
Für die Mächtigkeit von <math>\mathcal{P}(A)</math> gibt es auch folgende Schreibweise:
- <math>|\mathcal{P}(A)| = 2^{|A|}</math>
Das bedeutet für eine endliche Menge <math>A</math> der Mächtigkeit <math>|A|= n</math>, dass die zugehörige Potenzmenge die Mächtigkeit <math>2^n</math> und dass damit <math>A</math> genau <math>2^n</math> Teilmengen besitzt.<ref group="AuH">Über weitere Resultate dieser Art gibt Artikel Kardinalzahlarithmetik Auskunft. Zu beachten ist jedenfalls, dass der entsprechende Ausdruck für unendliche Mengen <math>A</math> nicht fehlinterpretiert werden darf. Insbesondere kann im Falle <math>A = \N</math> die Kardinalzahl <math>2^{|A|}</math> nicht als eine Art „Grenzwert“ der Zahlenfolge <math> \left( 2^n \right)_{n =0,1,2,3 \ldots}</math> gedeutet werden.</ref>
Bestimmt man zu einer unendlichen Mengen <math>A</math> nun (durch Iteration der Potenzmengenbildung) die Mächtigkeit der Potenzmenge der Potenzmenge der Potenzmenge ... usw...., so sieht man, dass es unendlich viele unendliche Kardinalzahlen gibt und dass keine „Menge größter Mächtigkeit“ existiert.
Literatur
- Andreas Bartholomé, Josef Rung, Hans Kern: Zahlentheorie für Einsteiger: Eine Einführung für Schüler, Lehrer, Studierende und andere Interessierte. 7., aktualisierte Auflage. Vieweg+Teubner, Wiesbaden 2010, ISBN 978-3-8348-9650-6, doi:10.1007/978-3-8348-9650-6
- {{#invoke:Vorlage:Literatur|f}}
- Heinz-Dieter Ebbinghaus: Einführung in die Mengenlehre. Mit Aufgaben und Lösungshinweisen. 4. Auflage. Spektrum Akademischer Verlag, Heidelberg 2003, ISBN 3-8274-1411-3.
- {{#invoke:Vorlage:Literatur|f}}
- {{#invoke:Vorlage:Literatur|f}}
- {{#invoke:Vorlage:Literatur|f}}
- {{#invoke:Vorlage:Literatur|f}}
- {{#invoke:Vorlage:Literatur|f}}
Weblinks
|1|= – Lern- und Lehrmaterialien |0|-= |X|x={{#switch: 0
|0|4|10|12|14|100=}}
|#default= – {{{suffix}}}
}}{{#if: | ({{#invoke:Multilingual|format|{{{lang}}}|slang=!|shift=m}}) }}{{#invoke:TemplatePar|check
|opt= 1= 2= lang= suffix= |template=Vorlage:Wikibooks |cat=Wikipedia:Vorlagenfehler/Schwesterprojekt }}
Einzelnachweise
<references />
Anmerkungen und Hinweise
<references group="AuH" />