Forum:  Mengenlehre
Thema: Vereinigung aller Elemente der Potenzmenge
Themen-Übersicht
katzenfreak
Junior
Dabei seit: 01.03.2021
Mitteilungen: 5
Themenstart: 2021-03-01 15:19

fed-Code einblenden

Meine Fragen hierzu:
(1) Ist der Beweis inhaltlich schlüssig?
(2) [Sofern der Beweis überhaupt sinnvoll ist: ] Wie kann man den relativ textlastigen Beweis formalisieren, sprich, mittels Quantoren und Aussagenlogik mathematisch sauberer formulieren?

Ich bin dankbar für jeden Hinweis! 🙃


Diophant
Senior
Dabei seit: 18.01.2019
Mitteilungen: 6792
Wohnort: Rosenfeld, BW
Beitrag No.1, eingetragen 2021-03-01 15:44
\(\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 und willkommen hier im Forum!

du meinst sicherlich die Identität

\[\bigcup_{A\in\mathcal{P}(X)}A=X\]
Was die verbale Version angeht, reicht für meinen Geschmack eigntlich schon dein letzter Satz als Beweis aus. Insofern sehe ich da jetzt auch keine Notwendigkeit für eine abkürzende Schreibweise.

Du könntest noch eine Implikation geeignet einbauen zwischen die Aussagen "A ist Element von P" und "A ist Teilmenge von X".


Gruß, Diophant
\(\endgroup\)

AnnaKath
Senior
Dabei seit: 18.12.2006
Mitteilungen: 3507
Wohnort: hier und dort (s. Beruf)
Beitrag No.2, eingetragen 2021-03-01 15:49

Huhu Katzenfreak und herzlich willkommen auf dem Matheplaneten!

Zunächst eine kleine technische Bemerkung: Du meist sicherlich das Symbol $\bigcup$ um eine Vereinigung darzustellen.

Ansonsten ist der Beweis durchaus nachvollziehbar und sicher richtig; vermutlich zweifelt niemand daran, dass Du die richtigen Gedanken hast.
Um etwas "sauberer" zu sein, benötigt es m.E. keineswegs mehr Quantoren oder anderer Formelzeichen; allerdings ist es sinnvoll, wenn man die Gleichheit zweier Mengen $U$ und $V$ zeigen will, dies zu tun, in dem Du sowohl $U\subset V$ und $V \subset U$ zeigst, hier also $X \subset \bigcup A$ (sehr einfach) und $\bigcup A \subset X$. Wenn Du dies notierst wirst Du (hoffentlich) feststellen, dass die gewisse Vagheit in Deinem Beweis verschwindet.

lg, AK

[Die Antwort wurde vor Beitrag No.1 begonnen.]


Kuestenkind
Senior
Dabei seit: 12.04.2016
Mitteilungen: 2000
Beitrag No.3, eingetragen 2021-03-01 16:11

Huhu katzenfreak,

auch von mir ein herzliches Willkommen!
Ich schließe mich meiner Freundin Annakath an. Ein mathematisch sauberer Beweis muss nicht zwangsläufig nur aus Quantoren und Formeln bestehen. Gerade am Anfang ist es auch wichtig, dass du gute Prosa schreiben kannst! Siehe auch dort den kurzen Text von Kezer:

LinkInjektive Funktionen, Hintereinanderausführung

Gruß,

Küstenkind

PS: Ich vermute mal, dass dieses auch in deinem Buch steht, aber falls nicht hast du gleich die nächste Übungsaufgabe: Was ist denn \(\bigcap\limits_{A\in \wp(X)} A\) ? Beweise das natürlich.


katzenfreak
Junior
Dabei seit: 01.03.2021
Mitteilungen: 5
Beitrag No.4, vom Themenstarter, eingetragen 2021-03-01 22:41

Vielen Dank für die hilfreichen Antworten und den herzlichen Empfang im Forum! 🙂

2021-03-01 15:49 - AnnaKath in Beitrag No. 2 schreibt:

Zunächst eine kleine technische Bemerkung: Du meist sicherlich das Symbol $\bigcup$ um eine Vereinigung darzustellen.

[Die Antwort wurde vor Beitrag No.1 begonnen.]

Entschuldigung! Da war ich wohl etwas zu übereilt beim Formulieren der Frage... gemeint war natürlich die Identität fed-Code einblenden
fed-Code einblenden
Vielen Dank @Diophant und @AnnaKath für den Hinweis.

2021-03-01 16:11 - Kuestenkind in Beitrag No. 3 schreibt:

PS: Ich vermute mal, dass dieses auch in deinem Buch steht, aber falls nicht hast du gleich die nächste Übungsaufgabe: Was ist denn \(\bigcap\limits_{A\in \wp(X)} A\) ? Beweise das natürlich.

Genau, diese Aufgabe schließt sich im Buch unmittelbar an. Gegeben ist die Identität fed-Code einblenden
Sollte ich richtig liegen, dann genügt es hier zu zeigen, daß: fed-Code einblenden
fed-Code einblenden
fed-Code einblenden
Soweit mein Vorschlag dazu...

LG,

katzenfreak



Phoensie
Aktiv
Dabei seit: 11.04.2020
Mitteilungen: 429
Wohnort: Muri AG, Schweiz
Beitrag No.5, eingetragen 2021-03-02 08:55
\(\begingroup\)\(\newcommand{\N}{\mathbb{N}}             % Natürliche Zahlen \newcommand{\Z}{\mathbb{Z}}             % Ganze Zahlen \newcommand{\Q}{\mathbb{Q}}             % Rationale Zahlen \newcommand{\R}{\mathbb{R}}             % Reelle Zahlen \newcommand{\C}{\mathbb{C}}             % Komplexe Zahlen \newcommand{\ord}{\mathrm{ord}}         % Gruppenordnung \newcommand{\indep}{\perp \!\!\! \perp} % Stochastische Unabhängigkeit (Symbol) \renewcommand{\Re}{\operatorname{Re}}   % Realteil \renewcommand{\Im}{\operatorname{Im}}   % Imaginärteil \renewcommand{\d}{\operatorname{d}}     % Differential-d \)
Lieber katzenfreak

Für $\bigcap_{A \in \mathcal{P}(X)} A = \emptyset$ stellen wir fest, dass JEDE Teilmenge von $X$ in der Potenzmenge enthalten ist. Da wir aus einer Menge auch gar kein Element wählen können, ist folglich die leere Menge in der Potenzmenge enthalten, $\emptyset \in \mathcal{P}(X)$. Wie du richtig gefolgert hast, gilt $\forall A \subseteq X : A \cap \emptyset = \emptyset$. Folglich muss auch der Durchschnitt aller Teilmengen leer sein (übrigens auch im Fall wenn $\mathcal{P}(X)$ überabzählbar ist).

Gruss Phoensie
\(\endgroup\)



Dieses Forumbeitrag kommt von Matroids Matheplanet
https://https://matheplanet.de

Die URL für dieses Forum-Thema ist:
https://https://matheplanet.de/default3.html?topic=252625=1718
Druckdatum: 2021-05-11 19:13