Äquivalenz von Mengen < Mengenlehre < Logik+Mengenlehre < Hochschule < Mathe < Vorhilfe
|
| Status: |
(Frage) beantwortet  | | Datum: | 02:22 Mi 03.11.2021 | | Autor: | asg |
| Aufgabe | Seien A, B Mengen. Zeige
A = B [mm] \gdw [/mm] A [mm] \cup [/mm] B = A [mm] \cap [/mm] B |
Hallo zusammen,
bei der Lösung dieser Aufgabe bin ich mir nicht sicher, ob ich es richtig gemacht habe.
Ich muss die beiden Implikationen gezeigt werden:
1. A = B [mm] \Rightarrow [/mm] A [mm] \cup [/mm] B = A [mm] \cap [/mm] B
2. A = B [mm] \Leftarrow [/mm] A [mm] \cup [/mm] B = A [mm] \cap [/mm] B
Zu 1.
A = B [mm] \Rightarrow [/mm] A [mm] \cup [/mm] B = A [mm] \cap [/mm] B
Äquivalenzumformung der linken Seite:
Idempotenz Gesetz (In unserem Skript wird aber Idemp. Ges. nicht erwähnt!)
A = B [mm] \gdw [/mm] A [mm] \cup [/mm] A = B [mm] \cup [/mm] B
Nach Voraussetzung
[mm] \gdw [/mm] A [mm] \cup [/mm] B = A [mm] \cap [/mm] B
Somit ist die Implikation gezeigt.
Zu 2.
A = B [mm] \Leftarrow [/mm] A [mm] \cup [/mm] B = A [mm] \cap [/mm] B
[mm] \gdw
[/mm]
A [mm] \cup [/mm] B = A [mm] \cap [/mm] B [mm] \Rightarrow [/mm] A = B
nach Voraussetzung
[mm] \gdw [/mm] A [mm] \cup [/mm] B = A [mm] \cup [/mm] B [mm] \Rightarrow [/mm] A = B
daraus folgt sofort A = B.
Somit sind beide Implikationen gezeigt.
Ist es eigentlich richtig, oder habe ich etwas übersehen?
Danke für jede Hilfe :)
Viele Grüße
Asg
|
|
| |
|
Hiho,
ich fang mal unten an.
> Ist es eigentlich richtig, oder habe ich etwas übersehen?
Naja, du hast übersehen, dass hier etwas zu beweisen ist.
Getan hast du bisher noch nix.
Du weißt offensichtlich auch nicht, wann du [mm] \gdw [/mm] oder [mm] \Rightarrow [/mm] zu verwenden hast…
Fangen wir mal mit der trivialen Richtung [mm] $\Rightarrow$ [/mm] an.
Gegeben ist: $A=B$.
z.Z. [mm] $A\cup [/mm] B = [mm] A\cap [/mm] B$
Wir fangen links an und enden rechts, so dass am Ende eine Gleichungskette rauskommt der Form: $A [mm] \cup [/mm] B = [mm] \ldots [/mm] = A [mm] \cap [/mm] B$.
Verwenden dürfen wir dabei, dass $A=B$ gilt.
Ich fang mal an, du begründest die Gleichheitszeichen und du machst zu Ende:
$A [mm] \cup [/mm] B [mm] \stackrel{1}{=} [/mm] A [mm] \cup [/mm] A [mm] \stackrel{2}{=} [/mm] A [mm] \stackrel{3}{=} [/mm] A [mm] \cap [/mm] A = [mm] \ldots$
[/mm]
Die Rückrichtung ist noch einfacher und kommt ohne Gleichungskette aus.
Es gilt für beliebige A und B die Relation $A [mm] \cap [/mm] B [mm] \subseteq [/mm] A [mm] \subseteq A\cup [/mm] B$
Aus der Voraussetzung folgt nun was?
Analog für B.
Gruß,
Gono
|
|
|
|
