Proving B \cup (∩Aα) ⊆ ∩(B ∪ Aα)

  • Thread starter Thread starter needhelp83
  • Start date Start date
Click For Summary

Homework Help Overview

The problem involves set theory, specifically dealing with families of sets and proving set inclusions. The original poster seeks assistance in proving that \( B \cup (\bigcap_{\alpha \in \Delta} A_{\alpha}) \subseteq \bigcap_{\alpha \in \Delta} (B \cup A_{\alpha}) \), drawing a comparison to a similar problem they encountered.

Discussion Character

  • Exploratory, Conceptual clarification

Approaches and Questions Raised

  • Participants discuss the relationship between the two problems, noting that both involve proving inclusions but differ in complexity. Some suggest starting by assuming an element is in the left-hand side (LHS) and deducing its presence in the right-hand side (RHS). Others question the setup and implications of the assumptions made regarding the elements of the sets.

Discussion Status

The discussion is ongoing, with participants exploring different approaches to the proof. Some have provided initial thoughts on how to structure the proof, while others are clarifying the distinctions between the two related problems. There is no explicit consensus yet, but various lines of reasoning are being examined.

Contextual Notes

Participants mention the use of LaTeX for clarity in mathematical expressions, indicating a potential barrier for some in articulating their thoughts. The original poster also reflects on the similarities and differences between the two problems, suggesting a need for deeper understanding of the concepts involved.

needhelp83
Messages
193
Reaction score
0
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?
 
Physics news on Phys.org
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.
 
cakesama said:
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.


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?
 
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 learned 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.
 

Similar threads

  • · Replies 2 ·
Replies
2
Views
1K
Replies
2
Views
1K
Replies
20
Views
4K
Replies
13
Views
3K
Replies
4
Views
2K
Replies
2
Views
2K
Replies
8
Views
2K
  • · Replies 14 ·
Replies
14
Views
2K
Replies
9
Views
2K
  • · Replies 4 ·
Replies
4
Views
5K