Proving A∪B=A∩B iff A=B with Boolean Algebra

Join the discussion
Ask a follow-up here, or get your own question answered by working scientists, mathematicians and engineers — people, not an autocomplete.
Real named experts · corrections over time · the nuance an AI answer skips
1 reply · 2K views
solakis1
Messages
407
Reaction score
0
I want to prove:

$$A\cup B=A\cap B\Longleftrightarrow A=B$$ Forall A,B sets

By using the axioms and theorems of the Boolean Algebra.

Any hints ??
 
Physics news on Phys.org
solakis said:
I want to prove:

$$A\cup B=A\cap B\Longleftrightarrow A=B$$ Forall A,B sets

By using the axioms and theorems of the Boolean Algebra.

Any hints ??

This answer is an answer based on Zermelo Fraenkel set theory axioms.
So, then consider the definition of "union" .
Given A and B , then $$A \cup B$$ is a set C which contains all the elements that belong to A and all the elements that belong to B. In am more mathematical way C is a set such that $$d \in C$$ implies and is implied by $$d \in A $$ or $$d \in B$$
Now,
$$A\cup B=A\cap B$$

Considering the definition of intersection we get that every element of A is an element of B and every element of B is an element of A and thus from Axiom of Extensonality we get that A=B.