Set Theory Theorems: Solving for A in A ∩ B = C ∩ B and A ∩ B' = C ∩ B

  • Context: Graduate 
  • Thread starter Thread starter mbcsantin
  • Start date Start date
  • Tags Tags
    Set Set theory Theory
Click For Summary

Discussion Overview

The discussion revolves around proving the set theory statement: If A ∩ B = C ∩ B and A ∩ B' = C ∩ B', then A = C. Participants explore the implications of these set intersections and seek clarification on the reasoning behind the proof.

Discussion Character

  • Homework-related
  • Mathematical reasoning
  • Conceptual clarification

Main Points Raised

  • One participant expresses confusion about how to start solving the problem and requests guidance on the proof.
  • Another participant attempts to simplify the notation by using symbols for intersection and union, stating that A can be expressed as A ∩ B + A ∩ B' = C ∩ B + C ∩ B' = C, citing the distributive law for sets.
  • A participant seeks further justification for the steps taken in the proof, asking for a detailed breakdown of the reasoning behind the equality A = (A ∩ B) ∪ (A ∩ B') = (C ∩ B) ∪ (C ∩ B') = C.
  • Several participants use an analogy involving relationships to explain the concept of sharing points in sets, suggesting that if two sets share elements in both B and outside B, they must be equal.
  • Another participant clarifies the meanings of A ∩ B and A ∩ B', explaining that A ∩ B includes all points in both A and B, while A ∩ B' includes points in A that are not in B.

Areas of Agreement / Disagreement

Participants express varying levels of understanding regarding the proof, with some agreeing on the analogy used to explain the concept, while others remain confused about the mathematical reasoning and seek further clarification. No consensus is reached on the proof itself.

Contextual Notes

Participants have not fully resolved the steps involved in the proof, and there are indications of missing assumptions or definitions that could clarify the reasoning.

mbcsantin
Messages
16
Reaction score
0
I need help on how to get started with this question:
Im stocked and i just don't have a clue on how to figure this out.

Prove:
If A intersect B = C intersect B and A intersect B' = C intersect B' then A = C
 
Physics news on Phys.org
To save writing * = intersec and + = union.

A = A*B + A*B' = C*B + C*B' = C

A = A*B + A*B' results from 2 things, distributive law for sets [A*(B+B') = A*B + A*B'] and the fact that B+B' is the entire space.
 
mathman said:
To save writing * = intersec and + = union.

A = A*B + A*B' = C*B + C*B' = C

A = A*B + A*B' results from 2 things, distributive law for sets [A*(B+B') = A*B + A*B'] and the fact that B+B' is the entire space.

Thank you but
i'm a little bit confused now..
Let me just translate what you wrote,

So,
A = A*B + A*B' = C*B + C*B' = C

becomes

A = (AnB) U (AnB') = (CnB) U (CnB') = C the symbol "n" for intersect

A = AnB U AnB' results from 2 things, distributive law for sets [An(BUB') = AnB U AnB']

I just don't quite get it. Could you please justify it. Like step by step if possible?

Let me just re-write the question:
If A n B = C n B and A n B' = C n B' then A = C
 
they share the same points inside B and also share the same points outside B. E.g. if you and your roommate have the same girlfriends both in class and outside class, then you have all the same girlfriends.
 
mathwonk said:
they share the same points inside B and also share the same points outside B. E.g. if you and your roommate have the same girlfriends both in class and outside class, then you have all the same girlfriends.

I understand the example you mentioned above but i still don't get this:

A = (AnB) U (AnB') = (CnB) U (CnB') = C

i don't get how you figure that out!
still doesn't make sense to me
 
Last edited:
In words A intersect B means all point in A and in B, while A intersect B' means all points in A and not in B. Put them together and you get all points in A.
 

Similar threads

  • · Replies 1 ·
Replies
1
Views
2K
  • · Replies 6 ·
Replies
6
Views
3K
  • · Replies 7 ·
Replies
7
Views
2K
  • · Replies 2 ·
Replies
2
Views
3K
  • · Replies 2 ·
Replies
2
Views
4K
  • · Replies 2 ·
Replies
2
Views
2K
  • · Replies 18 ·
Replies
18
Views
4K
  • · Replies 11 ·
Replies
11
Views
5K
  • · Replies 3 ·
Replies
3
Views
2K
  • · Replies 2 ·
Replies
2
Views
2K