# Set Proof

1. Jun 16, 2008

### needhelp83

PROBLEM:

Let the (family of sets A) = {A$$_{\alpha}:\alpha \in \Delta}$$ be a family of sets and let B be a set. Prove that $$B \ \cup (\bigcap_{\alpha \in \Delta} A_{\alpha})\subseteq \bigcap_{\alpha \in \Delta} (B \cup A_{\alpha})$$

Don't know how to do this. Trying to get any help possible. We had a similar problem as follows:
Let the (family of sets A) = {A$$_{\alpha}:\alpha \in \Delta}$$ be a family of sets and let B be a set. Prove that $$B \ \cup \bigcap_{\alpha \in \Delta} A_{\alpha} = \bigcap_{\alpha \in \Delta} (B \cup A_{\alpha})$$

To prove this we used:
$$x \in \ B \ \cup \ \bigcap_{\alpha \in \Delta} A_{\alpha} \ iff \ x \in B \ or \ x \in A_{\alpha} \ for \ all \ \alpha \ iff \ x \in \bigcap_{\alpha \in \Delta} (B \cup A_{\alpha})$$

Any comments. Is this the same concept?

2. Jun 16, 2008

### cakesama

for the first question let x be in the LHS expression and deduce that it's also in the RHS expression.

the two questions use the same concept, but 2nd one is stronger - to prove the 2nd one you prove two inclusions, LHS is contained in RHS and RHS is contained in LHS. in the 1st one you only need to prove the the LHS is contained in the RHS.

3. Jun 16, 2008

### needhelp83

Let the (family of sets A) = {A$$_{\alpha}:\alpha \in \Delta}$$ be a family of sets and let B be a set. Prove that $$B \ \cup (\bigcap_{\alpha \in \Delta} A_{\alpha})\subseteq \bigcap_{\alpha \in \Delta} (B \cup A_{\alpha})$$

To prove this we used:
$$Suppose \ x \in \ B \ \cup \ \bigcap_{\alpha \in \Delta} A_{\alpha} \ iff \ x \in B. \ Thus \ x \ for \ all \ A \in \alpha$$

Are you referring to setting it up as so?

4. Jun 16, 2008

### cakesama

I would start by saying:

Suppose x is in B union (intersection of all A's)
then that means, either x is in B or x is in the intersection of all A's

sorry I haven't learnt latex yet so I have to resort to just typing it all out

and also in your setup, are you saying let x be an element of LHS iff x is an element of B? If so, then x might not be in any of the A's.