Proving $A=B$ from Sets $A,B,C$

  • Context: MHB 
  • Thread starter Thread starter Albert1
  • Start date Start date
  • Tags Tags
    Sets
Click For Summary
SUMMARY

To prove that sets $A$ and $B$ are equal given the conditions $A \cup C = B \cup C$ and $A \cap C = B \cap C$, one can utilize the properties of set operations. The proof involves demonstrating that any element in $A$ must also be in $B$ and vice versa, leveraging the union and intersection properties. This leads to the conclusion that $A = B$ under the specified conditions.

PREREQUISITES
  • Understanding of set theory, including union and intersection operations.
  • Familiarity with the properties of equality in sets.
  • Basic knowledge of logical reasoning and proof techniques.
  • Experience with mathematical notation and terminology related to sets.
NEXT STEPS
  • Study the properties of set operations in detail, focusing on union and intersection.
  • Explore examples of set equality proofs in mathematical literature.
  • Learn about the implications of set differences and their role in set theory.
  • Investigate advanced topics in set theory, such as cardinality and power sets.
USEFUL FOR

Mathematicians, students studying set theory, educators teaching mathematical proofs, and anyone interested in formal logic and mathematical reasoning.

Albert1
Messages
1,221
Reaction score
0
Three sets $A,B,C$ given:

(1)$A\bigcup C=B\bigcup C$

and

(2)$A\bigcap C=B \bigcap C$

Prove: $A=B$
 
Physics news on Phys.org
Albert said:
Three sets $A,B,C$ given:

(1)$A\bigcup C=B\bigcup C$ and (2)$A\bigcap C=B \bigcap C$
Prove: $A=B$

Let's prove that $A\subset B$ $$x\in A\Rightarrow x\in A\cup C=B\cup C\Rightarrow \left \{ \begin{matrix} x\in B\\\vee\\x\in C\end{matrix}\right.$$ $$\Rightarrow \left \{ \begin{matrix} x\in B\\\vee\\x\in A\cap C=B\cap C\end{matrix}\right.\Rightarrow \left \{ \begin{matrix} x\in B\\\vee\\x\in B\end{matrix}\right.\Rightarrow x\in B.$$ In the same way, we could prove that $B\subset A.$
 
Fernando Revilla said:
Let's prove that $A\subset B$ $$x\in A\Rightarrow x\in A\cup C=B\cup C\Rightarrow \left \{ \begin{matrix} x\in B\\\vee\\x\in C\end{matrix}\right.$$ $$\Rightarrow \left \{ \begin{matrix} x\in B\\\vee\\x\in A\cap C=B\cap C\end{matrix}\right.\Rightarrow \left \{ \begin{matrix} x\in B\\\vee\\x\in B\end{matrix}\right.\Rightarrow x\in B.$$ In the same way, we could prove that $B\subset A.$
Thanks! very good !
sol-1
$A=A\cup(A\cap C)
=A\cup(B\cap C)
=(A\cup B)\cap (A\cup C)$
$=(B\cup A)\cap (B\cup C)
=B\cup (A\cap C)$
$=B\cup(B\cap C)=B$
sol-2
$A=A\cap(A\cup C)
=A\cap(B\cup C)
=(A\cap B)\cup (A\cap C)$
$=(B\cap A)\cup (B\cap C)
=B\cap (A\cup C)$
$=B\cap(B\cup C)=B$
 
Last edited:

Similar threads

  • · Replies 11 ·
Replies
11
Views
3K
  • · Replies 4 ·
Replies
4
Views
24K
  • · Replies 5 ·
Replies
5
Views
3K
  • · Replies 6 ·
Replies
6
Views
3K
  • · Replies 2 ·
Replies
2
Views
2K
Replies
13
Views
3K
  • · Replies 11 ·
Replies
11
Views
3K
  • · Replies 2 ·
Replies
2
Views
2K
Replies
5
Views
3K
Replies
4
Views
1K