Unraveling the Explanation of A \bigcup B, A \bigcap B, and A X B

  • Thread starter Thread starter XodoX
  • Start date Start date
  • Tags Tags
    Explanation
AI Thread Summary
The discussion focuses on understanding the concepts of union (A ∪ B), intersection (A ∩ B), and Cartesian product (A × B) of two sets A and B. The maximum and minimum cardinalities for A ∪ B are established based on whether the sets are disjoint or one is a subset of the other, with the maximum being n + m and the minimum being the larger of the two set sizes. Confusion arises regarding the definitions of maximum and minimum in this context, particularly when considering disjoint sets and subsets. Participants emphasize the importance of precise language and notation to avoid misunderstandings. Overall, the thread highlights the need for clarity in set theory operations and their implications.
XodoX
Messages
195
Reaction score
0
I don't understand it.

A has n elements, and B has m elements. Give the exact maximum/minimum of

1) A \bigcup B

2) A \bigcap B

3) A X BI don't understand the solution to this..

1) If A and B are a disjunction ( A\bigcap B = ∅), then the max of A \bigcup B is:

A \bigcap B = ∅ -> |A\bigcupB| = m + nIf A is a subset of B (A\subseteqB) or B a subset of A (B \subseteq A),
then the min of A and B is:

A\subseteqB -> |A\bigcupB| = |B| = m

B\subseteqA -> |A\bigcupB| = |A| = nSo you're basically saying the min here is m and n. I understand that. I just don't get the explanation of it. I have to show why it's the min.

Therefore, the max of A \bigcup B is:

max(n,m) \leq |A\bigcupB| \leq n+m

Don't get this one. In words: The max is no greater than n+m. But it says it's less or equal to A and B. So you're already assuming A and B is the max?

2 and 3 have the same confusing explanations.
 
Physics news on Phys.org
Hey XodoX.

Hint: |A OR B| = |A| + |B| - |A AND B|
 
Suppose A contains n elements and B contains m elements with m< n.

Now consider two extreme cases:
1) A and B are completely disjoint (they have no elements in common)
Then |A\cup B|= m+n and |A\cap B|= 0.
2) B is a subset of A
Then |A\cup B|= n and |A\cap B|= m
 
chiro said:
Hey XodoX.

Hint: |A OR B| = |A| + |B| - |A AND B|

Yes, I know, but I don't what you're referring to.

HallsofIvy said:
Suppose A contains n elements and B contains m elements with m< n.

Now consider two extreme cases:
1) A and B are completely disjoint (they have no elements in common)
Then |A\cup B|= m+n and |A\cap B|= 0.
2) B is a subset of A
Then |A\cup B|= n and |A\cap B|= m

So the empty set mean nothing in common. I have A and B, so the max is A+B. Like having two separate balls.
But the A or B... if they are disjoint, it says it's 0. That would mean A and B have also a min that is 0, but there's only a max. Shouldn't A and B and A or B both have max and min ?

I don't understand your 2). A is n and B is m. So B is a subset of A means A "swallows" B and, therefore, it's A, or n. And A is a subset of B means B "swallows" A and the result is B, or m.
Is that kind of like this?BTW. To solve this, I always have to show disjoint and subset? And "and" has always just a max and "or" only a min ?
 
Read online about Venn diagrams, this may help.
 
XodoX said:
Yes, I know, but I don't what you're referring to.



So the empty set mean nothing in common. I have A and B, so the max is A+B.
You are using "A" and "B" to mean both the sets and the cardinality of the sets. Don't do that!
Yes, the intersection of two sets is empty if and only if they have "nothing in common".
Use precise language.

Like having two separate balls.
But the A or B... if they are disjoint, it says it's 0.
What does 'it' refer to and why would it say anything?

That would mean A and B have also a min that is 0, but there's only a max.
Now you are talking nonsense. A and B are general sets, NOT necessarily sets of numbers and do not necessarily have a "max" or "min". If, by "A" and "B" you mean their cardinalities (again, bad notation) they are fixed sets with fixed cardinality so again it is nonsense to talk about "max" and "min".

Shouldn't A and B and A or B both have max and min ?

I don't understand your 2). A is n and B is m. So B is a subset of A means A "swallows" B and, therefore, it's A, or n. And A is a subset of B means B "swallows" A and the result is B, or m.
Is that kind of like this?


BTW. To solve this, I always have to show disjoint and subset? And "and" has always just a max and "or" only a min ?
 
I was reading documentation about the soundness and completeness of logic formal systems. Consider the following $$\vdash_S \phi$$ where ##S## is the proof-system making part the formal system and ##\phi## is a wff (well formed formula) of the formal language. Note the blank on left of the turnstile symbol ##\vdash_S##, as far as I can tell it actually represents the empty set. So what does it mean ? I guess it actually means ##\phi## is a theorem of the formal system, i.e. there is a...

Similar threads

Back
Top