Autor |
Potenzmenge (kurz) |
|
JamesNguyen
Aktiv  Dabei seit: 08.11.2020 Mitteilungen: 115
 |
Für JamesNguyen bei den Matheplanet-Awards stimmen
Notiz Profil
Quote
Link |
Diophant
Senior  Dabei seit: 18.01.2019 Mitteilungen: 5710
Herkunft: Rosenfeld, BW
 |     Beitrag No.1, eingetragen 2020-11-25
|
\(\begingroup\)\(\newcommand{\ba}{\begin{aligned}}
\newcommand{\ea}{\end{aligned}}
\newcommand{\bpm}{\begin{pmatrix}}
\newcommand{\epm}{\end{pmatrix}}
\newcommand{\bc}{\begin{cases}}
\newcommand{\ec}{\end{cases}}
\newcommand{\on}{\operatorname}
\newcommand{\ds}{\displaystyle}\)
Hallo,
kurze Antwort:
Ja.
Die Schreibweise der Potenzmenge als Zweierpotenz sieht man ja in letzter Zeit häufiger. Die korrekte Schreibweise muss meiner Kenntnis nach aber \(2^{|A|}\) lauten.
Gruß, Diophant
[Verschoben aus Forum 'Logik, Mengen & Beweistechnik' in Forum 'Mengenlehre' von Diophant]\(\endgroup\)
|
Für Diophant bei den Matheplanet-Awards stimmen
Notiz Profil
Quote
Link |
ochen
Senior  Dabei seit: 09.03.2015 Mitteilungen: 3039
Herkunft: der Nähe von Schwerin
 |     Beitrag No.2, eingetragen 2020-11-25
|
Hi,
kurze Antwort: ja, richtig ist $A\in 2^A$ :)
[Die Antwort wurde vor Beitrag No.1 begonnen.]
|
Für ochen bei den Matheplanet-Awards stimmen
Notiz Profil
Quote
Link |
Kezer
Senior  Dabei seit: 04.10.2013 Mitteilungen: 1121
 |     Beitrag No.3, eingetragen 2020-11-25
|
\(\begingroup\)\(\newcommand{\Q}{\mathbb{Q}}
\newcommand{\R}{\mathbb{R}}
\newcommand{\Z}{\mathbb{Z}}\)
(Allerdings gibt es natürlich Beispiele, wo $A \subseteq 2^A$ gilt.)
----------------- The difference between the novice and the master is that the master has failed more times than the novice has tried. ~ Koro-Sensei\(\endgroup\)
|
Für Kezer bei den Matheplanet-Awards stimmen
Notiz Profil
Quote
Link |
Red_
Aktiv  Dabei seit: 28.09.2016 Mitteilungen: 838
Herkunft: Erde
 |     Beitrag No.4, eingetragen 2020-11-25
|
2020-11-25 16:05 - Kezer in Beitrag No. 3 schreibt:
(Allerdings gibt es natürlich Beispiele, wo $A \subseteq 2^A$ gilt.)
Hey, ich glaube das gilt nur für $A=\emptyset$, wenn ich mich nicht irre?
Ja, das müsste stimmen, nutze das Fundierungsaxiom von ZF.
|
Für Red_ bei den Matheplanet-Awards stimmen
Notiz Profil
Quote
Link |
Red_
Aktiv  Dabei seit: 28.09.2016 Mitteilungen: 838
Herkunft: Erde
 |     Beitrag No.5, eingetragen 2020-11-25
|
\(\begingroup\)\(\newcommand{\ba}{\begin{aligned}}
\newcommand{\ea}{\end{aligned}}
\newcommand{\bpm}{\begin{pmatrix}}
\newcommand{\epm}{\end{pmatrix}}
\newcommand{\bc}{\begin{cases}}
\newcommand{\ec}{\end{cases}}
\newcommand{\on}{\operatorname}
\newcommand{\ds}{\displaystyle}\)
Die Schreibweise der Potenzmenge als Zweierpotenz sieht man ja in letzter Zeit häufiger. Die korrekte Schreibweise muss meiner Kenntnis nach aber \(2^{|A|}\) lauten.
Theoretisch sind beide Bezeichnungen nicht korrekt. Die Potenzmenge von $A$ ist $P(A)$. Die Menge $2^A$ ist per Definition die Menge aller Abbildungen von $A$ nach $\lbrace 0,1\rbrace$. Sind zwar bijektiv, aber es geht um die Bezeichnung der Elemente.\(\endgroup\)
|
Für Red_ bei den Matheplanet-Awards stimmen
Notiz Profil
Quote
Link |
Diophant
Senior  Dabei seit: 18.01.2019 Mitteilungen: 5710
Herkunft: Rosenfeld, BW
 |     Beitrag No.6, eingetragen 2020-11-25
|
@Red_:
Ok, danke für den Hinweis. Ich kannte halt bisher nur die Schreibweise per Mächtigkeit und habe mir über die Korrektheit nie wirklich Gedanken gemacht. Letztendlich ist eine Schreibweise ja eh Definitionssache.
Gruß, Diophant
|
Für Diophant bei den Matheplanet-Awards stimmen
Notiz Profil
Quote
Link |
Red_
Aktiv  Dabei seit: 28.09.2016 Mitteilungen: 838
Herkunft: Erde
 |     Beitrag No.7, eingetragen 2020-11-25
|
Ja, ich glaube Schreibweisen muss man lernen und mir wurde beigebracht $X^Y$ ist die Menge aller Abbildungen von $Y$ nach $X$ für zwei Mengen $X$ und $Y$.
|
Für Red_ bei den Matheplanet-Awards stimmen
Notiz Profil
Quote
Link |
Kezer
Senior  Dabei seit: 04.10.2013 Mitteilungen: 1121
 |     Beitrag No.8, eingetragen 2020-11-25
|
\(\begingroup\)\(\newcommand{\Q}{\mathbb{Q}}
\newcommand{\R}{\mathbb{R}}
\newcommand{\Z}{\mathbb{Z}}\)
2020-11-25 16:09 - Red_ in Beitrag No. 4 schreibt:
Hey, ich glaube das gilt nur für $A=\emptyset$, wenn ich mich nicht irre?
Hatte ich zunächst auch gedacht, aber betrachte z.B. $A = \{\emptyset \}$. Schau auch mal hier.
----------------- The difference between the novice and the master is that the master has failed more times than the novice has tried. ~ Koro-Sensei\(\endgroup\)
|
Für Kezer bei den Matheplanet-Awards stimmen
Notiz Profil
Quote
Link |
Red_
Aktiv  Dabei seit: 28.09.2016 Mitteilungen: 838
Herkunft: Erde
 |     Beitrag No.9, eingetragen 2020-11-25
|
Ahh stimmt, danke Kezer. Ich hatte einen Denkfehler beim hantieren von Mengen von Mengen...
|
Für Red_ bei den Matheplanet-Awards stimmen
Notiz Profil
Quote
Link |
Triceratops
Aktiv  Dabei seit: 28.04.2016 Mitteilungen: 5252
Herkunft: Berlin
 |     Beitrag No.10, eingetragen 2020-11-25
|
$A \subseteq P(A)$ gilt genau für transitive Mengen. Ordinalzahlen sind wichtige Beispiele von transitiven Mengen.
|
Notiz Profil
Quote
Link |
StrgAltEntf
Senior  Dabei seit: 19.01.2013 Mitteilungen: 6541
Herkunft: Milchstraße
 |     Beitrag No.11, eingetragen 2020-11-25
|
\(\begingroup\)\(\newcommand{\ba}{\begin{aligned}}
\newcommand{\ea}{\end{aligned}}
\newcommand{\bpm}{\begin{pmatrix}}
\newcommand{\epm}{\end{pmatrix}}
\newcommand{\bc}{\begin{cases}}
\newcommand{\ec}{\end{cases}}
\newcommand{\on}{\operatorname}
\newcommand{\ds}{\displaystyle}
\newcommand{\ba}{\begin{aligned}}
\newcommand{\ea}{\end{aligned}}
\newcommand{\bpm}{\begin{pmatrix}}
\newcommand{\epm}{\end{pmatrix}}
\newcommand{\bc}{\begin{cases}}
\newcommand{\ec}{\end{cases}}
\newcommand{\on}{\operatorname}
\newcommand{\ds}{\displaystyle}\)
2020-11-25 16:02 - Diophant in Beitrag No. 1 schreibt:
Die Schreibweise der Potenzmenge als Zweierpotenz sieht man ja in letzter Zeit häufiger. Die korrekte Schreibweise muss meiner Kenntnis nach aber \(2^{|A|}\) lauten.
Diese Notation ist meines Wissens völlig unüblich, denn mit |A| wird ja normalerweise die Mächtigkeit (Kardinalität) von A bezeichnet, und es gilt etwa \(|\IN|=|\IQ|\) aber \({\cal P}(\IN)\neq{\cal P}(\IQ)\).\(\endgroup\)
|
Für StrgAltEntf bei den Matheplanet-Awards stimmen
Notiz Profil
Quote
Link |
Diophant
Senior  Dabei seit: 18.01.2019 Mitteilungen: 5710
Herkunft: Rosenfeld, BW
 |     Beitrag No.12, eingetragen 2020-11-25
|
\(\begingroup\)\(\newcommand{\ba}{\begin{aligned}}
\newcommand{\ea}{\end{aligned}}
\newcommand{\bpm}{\begin{pmatrix}}
\newcommand{\epm}{\end{pmatrix}}
\newcommand{\bc}{\begin{cases}}
\newcommand{\ec}{\end{cases}}
\newcommand{\on}{\operatorname}
\newcommand{\ds}{\displaystyle}\)
@StrgAltEntf:
Du hast recht, da hat mir die Erinnerung einen Streich gespielt. \(2^{|A|}\) ist ja einfach nur die Mächtigkeit der Potenzmenge \(\mathcal{P}(A)\).
Gruß, Diophant\(\endgroup\)
|
Für Diophant bei den Matheplanet-Awards stimmen
Notiz Profil
Quote
Link |