Teoria mnogości

[Bnsn1399]

Mam problem z zadaniami, w których trzeba udowodnić, że dwa zbiory są sobie równe.
Np. Udowodnij, że dla dowolnych zbiorów A i B zachodzą następujące równości:
a) \((A \cup B) \bez B=A\)
b) \((A \bez B) \cup B=A\)

W odpowiedziach jest: Wykaż, że dla dowolnych dwóch zbiorów A i B zachodzi inkluzja \((A \cup B) \bez B \subset A\). Następnie jeśli \((A \cup B) \bez B=A\) oraz \(x \in A\), to \(x \in (A \cup B)\B\), stąd wynika, że \(x \notin B\). Zatem \(A \cap B = \emptyset\). Na odwrót, jeśli \(A \cap B= \emptyset\) i \(x \in A\), to \(x \in A \cup B\) i \(x \notin B\). Zatem \(A \subset (A \cup B) \bez B\), czyli \(A=(A \cup B)\B\). Dowód (b) jest podobny.

Gdy narysuję sobie to w postaci diagramu, to widzę, że to prawda, ale nie potrafię zrozumieć tego dowodu, a tym bardziej ułożyć go np. do podpunktu b.

Jest też takie zadanie: Udowodnij, że dla dowolnych zbiorów \(A\) i \(B\), jeśli \(A \bez B = B \bez A\), to \(A=B\).
W odpowiedziach jest: \(A \bez B \subset A\) oraz \((B\A) \cap A= \emptyset\). Stąd wynika, że \(A \bez B = B \bez A = \emptyset\).
I tutaj tak samo, wydaje mi się, że to jest zbiór pusty, ale nie rozumiem tego dowodu, oraz nie potrafię wymyślić własnego.
Jak poradzić sobie z takimi zadaniami? Rozumiem elementy tych dowodów, ale nie potrafię ich połączyć w całość, żeby mi dały odpowiedź na pytanie. Np. w drugim dowodzie, widzę, że \(A \bez B \subset A\) oraz \((B\A) \cap A= \emptyset\), ale nie widzę już, że z tych dwóch elementów wynika \(A \bez B = B \bez A = \emptyset\).

[radagast]

Mam problem z zadaniami, w których trzeba udowodnjest natoić, że dwa zbiory są sobie równe.
Np. Udowodnij, że dla dowolnych zbiorów A i B zachodzą następujące równości:
a) \((A \cup B) \bez B=A\)

Obawiam się, że tego się nie da udowodnić, bo to nie jest prawda
Prawdą jest ,że \((A \cup B) \bez B=A \bez B\)
Natomiast to co napisałeś jest prawdą pod warunkiem , że zbiory A i B są rozłączne.
b) też nie jest prawdą.