Union Distributes over Intersection/Examples/Arbitrary Integer Sets 1

From ProofWiki
Jump to navigation Jump to search

Example of Use of Union Distributes over Intersection

Let:

\(\ds A\) \(=\) \(\ds \set {2, 4, 6, 8, \dotsc}\)
\(\ds B\) \(=\) \(\ds \set {1, 3, 5, 7, \dotsc}\)
\(\ds C\) \(=\) \(\ds \set {1, 2, 3, 4}\)

Then:

$A \cup \paren {B \cap C} = \set {1, 2, 3, 4, 6, 8, \dotsc} = \paren {A \cup B} \cap \paren {A \cup C}$


Proof

\(\ds A \cup \paren {B \cap C}\) \(=\) \(\ds \set {2, 4, 6, 8, \dotsc} \cup \paren {\set {1, 3, 5, 7, \dotsc} \cap \set {1, 2, 3, 4} }\)
\(\ds \) \(=\) \(\ds \set {2, 4, 6, 8, \dotsc} \cup \set {1, 3}\)
\(\ds \) \(=\) \(\ds \set {1, 2, 3, 4, 6, 8, \dotsc}\)


\(\ds \paren {A \cup B} \cap \paren {A \cup C}\) \(=\) \(\ds \paren {\set {2, 4, 6, 8, \dotsc} \cup \set {1, 3, 5, 7, \dotsc} } \cap \paren {\set {2, 4, 6, 8, \dotsc} \cup \set {1, 2, 3, 4} }\)
\(\ds \) \(=\) \(\ds \set {1, 2, 3, 4, 5, 6, 7, 8, \dotsc} \cap \set {1, 2, 3, 4, 6, 8, \dotsc}\)
\(\ds \) \(=\) \(\ds \set {1, 2, 3, 4, 6, 8, \dotsc}\)

$\blacksquare$


Sources