Proving (A-B) U C ≤ (A U B U C) - (A n B)

  • Thread starter Thread starter taylor81792
  • Start date Start date
Click For Summary
SUMMARY

The discussion centers on proving the set relationship (A - B) U C ⊆ (A U B U C) - (A ∩ B). Participants emphasize the importance of correctly identifying set notation and relationships. A suggestion is made to utilize the formula |A U B U C| = |A| + |B| + |C| - |B ∩ C| - |A ∩ B| - |A ∩ C| + |A ∩ B ∩ C|, although its relevance to the proof is questioned. The need for clarity in distinguishing between set equality and cardinality is highlighted, as proving set equality requires demonstrating that both sets contain the same elements.

PREREQUISITES
  • Understanding of set theory concepts, including union (U), intersection (∩), and set difference (-).
  • Familiarity with set notation and the distinction between sets and their cardinalities.
  • Knowledge of basic proof techniques in mathematics.
  • Ability to manipulate and apply set identities and formulas.
NEXT STEPS
  • Study set theory proofs, focusing on subset relationships and set equality.
  • Learn about counterexamples in mathematical proofs to strengthen argumentation skills.
  • Explore the implications of cardinality in set theory, particularly in relation to set operations.
  • Review advanced set identities and their applications in proofs.
USEFUL FOR

Students of mathematics, particularly those studying set theory, logic, and proof techniques, as well as educators seeking to clarify set relationships in their teaching materials.

taylor81792
Messages
16
Reaction score
0

Homework Statement


The problem I have been given is to prove (A - B) U C is than less or equal to (A U B U C) - (A n B)

The Attempt at a Solution


I've tried starting off with just (A-B) U C. Then I would say how x ε c or x ε (A - B). Also if x ε a, then x ε c and x is not in b. If x ε c, since c is a subset of (A U B U C) , x ε (A U B U C). I don't know if this is right or where to go from here.
 
Physics news on Phys.org
taylor81792 said:

Homework Statement


The problem I have been given is to prove (A - B) U C is than less or equal to (A U B U C) - (A n B)
This is a statement about sets, so the relationship is \subseteq, not ≤.
taylor81792 said:

The Attempt at a Solution


I've tried starting off with just (A-B) U C. Then I would say how x ε c or x ε (A - B). Also if x ε a, then x ε c and x is not in b.
Try to be more careful with the names of the sets, which are A, B, and C, not a, b, and c.
taylor81792 said:
If x ε c, since c is a subset of (A U B U C) , x ε (A U B U C). I don't know if this is right or where to go from here.
 
i'd say that u can use:

AUBUC= lAl + lBl + lCl - lBnCl - lAnBl - lAnCl+lAnBnCl

but I'm not 100% positive just trying to give some help :)
 
My professor said we can also try to prove or find a counterexample to this statement. Let A, B and C be sets. Then (A-B) U C = (A U B U C) - (A n B). I'm not really sure what she means by counterexample.
 
mtayab1994 said:
i'd say that u can use:

AUBUC= lAl + lBl + lCl - lBnCl - lAnBl - lAnCl+lAnBnCl

but I'm not 100% positive just trying to give some help :)
Not only does that not help, it makes no sense. The left side is a set, the right side is a number.

Even if you meant |AUBUC| that is irrelevant to the problem. Showing that two sets have the same size does not prove they are the same set.
 

Similar threads

Replies
7
Views
1K
  • · Replies 8 ·
Replies
8
Views
2K
  • · Replies 9 ·
Replies
9
Views
2K
  • · Replies 4 ·
Replies
4
Views
3K
  • · Replies 2 ·
Replies
2
Views
3K
Replies
3
Views
2K
  • · Replies 7 ·
Replies
7
Views
1K
  • · Replies 15 ·
Replies
15
Views
2K
  • · Replies 16 ·
Replies
16
Views
5K
  • · Replies 11 ·
Replies
11
Views
2K