| Autor |
 Potenzmenge (kurz) |
|
JamesNguyen
Aktiv 
Dabei seit: 08.11.2020
Mitteilungen: 134
 |
 Notiz  Profil
 Quote
 Link |
Diophant
Senior 
Dabei seit: 18.01.2019
Mitteilungen: 6067
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\)
|
Notiz Profil
Quote
Link |
ochen
Senior
Dabei seit: 09.03.2015
Mitteilungen: 3086
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.]
|
Notiz Profil
Quote
Link |
Kezer
Senior
Dabei seit: 04.10.2013
Mitteilungen: 1174
 | Beitrag No.3, eingetragen 2020-11-25
|
\(\begingroup\)\(\newcommand{\Q}{\mathbb{Q}}
\newcommand{\R}{\mathbb{R}}
\newcommand{\Z}{\mathbb{Z}}
\newcommand{\OO}{\mathcal{O}}
\newcommand{\Spec}{\operatorname{Spec}}\)
(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\)
|
Notiz Profil
Quote
Link |
Red_
Aktiv
Dabei seit: 28.09.2016
Mitteilungen: 848
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.
|
Notiz Profil
Quote
Link |
Red_
Aktiv
Dabei seit: 28.09.2016
Mitteilungen: 848
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\)
|
Notiz Profil
Quote
Link |
Diophant
Senior
Dabei seit: 18.01.2019
Mitteilungen: 6067
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
|
Notiz Profil
Quote
Link |
Red_
Aktiv
Dabei seit: 28.09.2016
Mitteilungen: 848
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$.
|
Notiz Profil
Quote
Link |
Kezer
Senior
Dabei seit: 04.10.2013
Mitteilungen: 1174
| Beitrag No.8, eingetragen 2020-11-25
|
\(\begingroup\)\(\newcommand{\Q}{\mathbb{Q}}
\newcommand{\R}{\mathbb{R}}
\newcommand{\Z}{\mathbb{Z}}
\newcommand{\OO}{\mathcal{O}}
\newcommand{\Spec}{\operatorname{Spec}}\)
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\)
|
Notiz Profil
Quote
Link |
Red_
Aktiv
Dabei seit: 28.09.2016
Mitteilungen: 848
Herkunft: Erde
| Beitrag No.9, eingetragen 2020-11-25
|
Ahh stimmt, danke Kezer. Ich hatte einen Denkfehler beim hantieren von Mengen von Mengen...
|
Notiz Profil
Quote
Link |
Triceratops
Aktiv
Dabei seit: 28.04.2016
Mitteilungen: 5453
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: 6660
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\)
|
Notiz Profil
Quote
Link |
Diophant
Senior
Dabei seit: 18.01.2019
Mitteilungen: 6067
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\)
|
Notiz Profil
Quote
Link |
Home / Seite ohne Frame
Wie unterstütze ich den Matheplaneten mit Geld?
