Question #86949

Give a direct proof, as well as a proof by contradiction, of the following statement:
‘ B A ∩ B ⊆ A ∪ for any two sets A and B

Expert's answer

Direct proof that

ABABA\cap B\sube A\cup B

ABA and AABA\cap B\sube A\ and\ A\sube A\cup B

Therefore


ABABA\cap B\sube A\cup B



Or other direct proof

We have that


XY    XY=XX\sube Y \iff X\cap Y=X

Consider


(AB)(AB)(A\cap B)\cap (A\cup B)

(AB)(AB)=(ABA)(ABB)=(A\cap B)\cap (A\cup B)=(A\cap B\cap A)\cup (A\cap B\cap B)=

=(AB)(AB)=AB=(A\cap B)\cup (A\cap B)=A\cap B

Therefore


ABABA\cap B\sube A\cup B


Proof by contradiction

Suppose to the contrary that


ABABA\cap B\nsubseteq A\cup B

Then there exists an element


xABx \in A\cap B

such that


xABx \notin A\cup B

That is, there is an element x that belongs to both A and B and at the same time belongs to neither.  This is a contradiction, so the original assumption is false.  It follows that


ABABA\cap B\sube A\cup B






LATEST TUTORIALS
APPROVED BY CLIENTS