Prove that (A-B)-C=(A-C)-(B-C)

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

Homework Help Overview

The problem involves proving a set equality: (A-B)-C=(A-C)-(B-C), where A, B, and C are sets. The discussion centers around understanding the implications of set operations and membership.

Discussion Character

  • Exploratory, Assumption checking, Conceptual clarification

Approaches and Questions Raised

  • Participants explore the implications of membership in the sets involved, questioning how the conditions for x being in one set relate to x being in another. They consider what it means for x to belong to (A-B)-C and (A-C)-(B-C) and how to demonstrate the equality of these two expressions.

Discussion Status

There is ongoing exploration of the relationships between the sets, with some participants providing guidance on how to approach the proof by considering the implications of x's membership in the sets. Multiple interpretations of the conditions are being discussed, and participants are actively engaging with each other's reasoning.

Contextual Notes

Participants are working under the constraints of a homework assignment, which may limit the extent to which they can provide complete solutions or definitive conclusions.

iHeartof12
Messages
24
Reaction score
0
Let A,B and C be sets. Prove that
(A-B)-C=(A-C)-(B-C).

Attempted solution:

Suppose [itex]x \in (A-B)-C[/itex]. Since [itex]x \in (A-B)-C[/itex] this means that [itex]x \in A[/itex] but [itex]x \notin B[/itex] and [itex]x \notin C[/itex].

I'm not sure how to show how these two statements are equal.
 
Physics news on Phys.org
So far so good. You have established that x is in A, but not in B and not in C.

Next, answer these questions:

* Is x in A - C?
* Is x in B - C?

and see what you can conclude.
 
iHeartof12 said:
Let A,B and C be sets. Prove that
(A-B)-C=(A-C)-(B-C).

Attempted solution:

Suppose [itex]x \in (A-B)-C[/itex]. Since [itex]x \in (A-B)-C[/itex] this means that [itex]x \in A[/itex] but [itex]x \notin B[/itex] and [itex]x \notin C[/itex].

I'm not sure how to show how these two statements are equal.

Ok well you said [itex]x\in A[/itex] and [itex]x\notin C[/itex] What does that mean?
 
Let A,B and C be sets. Prove that
(A-B)-C=(A-C)-(B-C).

Attempted solution:

i.
Suppose [itex]x \in (A-B)-C[/itex]. Since [itex]x \in (A-B)-C[/itex] this means that [itex]x \in A[/itex] but [itex]x \notin B[/itex] and [itex]x \notin C[/itex].

ii.
Suppose [itex]x \in (A-C)-(B-C)[/itex]. Since [itex]x \in (A-C)-(B-C)[/itex] it makes since that [itex]x \in A[/itex] and [itex]x \notin B[/itex] and [itex]x \notin C[/itex].

Therefor these two statements are equal and (A-B)-C=(A-C)-(B-C).
 
iHeartof12 said:
Let A,B and C be sets. Prove that
(A-B)-C=(A-C)-(B-C).

Attempted solution:

i.
Suppose [itex]x \in (A-B)-C[/itex]. Since [itex]x \in (A-B)-C[/itex] this means that [itex]x \in A[/itex] but [itex]x \notin B[/itex] and [itex]x \notin C[/itex].
You need to finish this! [itex]x \notin B[/itex] and [itex]x \notin C[/itex] means what about x being in (A- C)- (B- C)?

ii.
Suppose [itex]x \in (A-C)-(B-C)[/itex]. Since [itex]x \in (A-C)-(B-C)[/itex] it makes since that [itex]x \in A[/itex] and [itex]x \notin B[/itex] and [itex]x \notin C[/itex].
Why dfoes that make sense? And what does that tell you about x being in (A- B)- C?

Therefor these two statements are equal and (A-B)-C=(A-C)-(B-C).
 
iHeartof12 said:
Let A,B and C be sets. Prove that
(A-B)-C=(A-C)-(B-C).

Attempted solution:

Suppose [itex]x \in (A-B)-C[/itex]. Since [itex]x \in (A-B)-C[/itex] this means that [itex]x \in A[/itex] but [itex]x \notin B[/itex] and [itex]x \notin C[/itex].

I'm not sure how to show how these two statements are equal.

you want to show the two sets are subsets of each other; that is, that they have precisely the same elements.

if x is (A-B)-C, what does that mean?

first of all, it means x is in A-B, but x is not in C.

secondly, since x is in A-B, it means x is in A, but not in B.

putting these two statements together, we have: x is in A, x is not in B, x is not in C.

now if x is not in B, then it is not in B-C, since that is a subset of B.

(x is not only NOT in the part of B that lies outside of C, it's totally not in B anywhere).

but x IS in A, and x is NOT in C, so x IS in A-C.

so x IS in A-C and x is NOT in B-C, so x IS in (A-C)-(B-C).

that's "half" of the proof. the "other half" starts with assuming x is in (A-C)-(B-C).
 

Similar threads

  • · Replies 9 ·
Replies
9
Views
2K
Replies
3
Views
2K
Replies
1
Views
1K
  • · Replies 1 ·
Replies
1
Views
1K
Replies
2
Views
1K
  • · Replies 2 ·
Replies
2
Views
1K
  • · Replies 5 ·
Replies
5
Views
2K
  • · Replies 12 ·
Replies
12
Views
2K
Replies
3
Views
1K
  • · Replies 26 ·
Replies
26
Views
3K