TU Wien:Algebra und Diskrete Mathematik VU (diverse)/Übungen 2023W/Beispiel 101

Beweisen oder widerlegen Sie die folgenden Identitäten für Mengen:

$(A\times B)\cap (B\times A)=(A\cap B)\times (A\cap B)$

Dieses Beispiel hat einen unbekannten Lösungsstatus. Bitte editiere diese Seite und schreibe den dir bekannten Status ins Beispiel. Die möglichen Werte sind hier: Vorlage:Beispiel dokumentiert. Führe folgende Änderung durch:

{{Beispiel|1=
Angabetext
}}

oder

{{Beispiel|
Angabetext
}}

zu (im Falle einer korrekten, unverifizierten Lösung "solved". Auch möglich "unsolved", "wrong", "verified_by_tutor". Alle möglichen Werte sind hier: Vorlage:Beispiel dokumentiert.)

{{Beispiel|status=solved|1=
Angabetext
}}

Lösung

$(A\times B)\cap (B\times A)=(A\cap B)\times (A\cap B)$

LS:
$((x,y)\in A\times B)\wedge ((x,y)\in B\times A)$
$(x\in A\wedge y\in B)\wedge (x\in B\wedge y\in A)$

RS:
$(x,y)\in (A\cap B)\times (A\cap B)$
$x\in (A\wedge B)\wedge y\in (A\wedge B)$
$(x\in A\wedge y\in B)\wedge (x\in B\wedge y\in A)$

---

Vorschlag: RS ab Zeile 2:

$x\in (A\cap B)\wedge y\in (A\cap B)$
$(x\in A\wedge x\in B)\wedge (y\in A\wedge y\in B)$
$(x\in A\wedge y\in B)\wedge (x\in B\wedge y\in A)$