Undergrad Is It Valid to Cancel Sets in Set Theory?

Click For Summary
The discussion centers on the validity of cancelling sets in set theory, with participants highlighting that operations like cancelling sets are not permissible. It is emphasized that while set operations can be performed on their cardinalities, algebraic operations cannot be applied directly to the sets themselves. Examples are provided to illustrate that equalities involving set differences do not imply equality of the sets. The conversation also clarifies that the notation A + B is interpreted as the union of sets A and B. Overall, the consensus is that one must adhere to defined operations in set theory to avoid confusion and incorrect conclusions.
parshyaa
Messages
307
Reaction score
19
We can prove that
When A and B are two sets(A≠B)
(A-B) = (A∩B') = (A-(A∩B))
{We can also confirm them using venn diagram}
From first and third relation
A-B = A - (A∩B)
By cancelling A from both side
I get B = (A∩B)
Which is only possible when A and B are same set.
What is wrong in my proof , is it not valid to cancell sets A from both side(if yes then why?)
 
Mathematics news on Phys.org
parshyaa said:
By cancelling A from both side
There is no such operation.
 
mfb said:
There is no such operation.
So we can not cancell sets
mfb said:
There is no such operation.
Can you give a reason for not to cancell sets from both side( or another similar example)
Another question:
what does addition of two sets means
I know what does (A∪B) ,(A-B) meant
But can you tell me what does A + B means
A,B,C are sets
 
A-B = A-C does not imply B=C.
Similarly, A∪B = A∪C does not imply B=C either.
parshyaa said:
But can you tell me what does A + B means
From the context, probably the union, (A∪B). If in doubt, ask the person who wrote that.
 
mfb said:
A-B = A-C does not imply B=C.
Similarly, A∪B = A∪C does not imply B=C either.From the context, probably the union, (A∪B). If in doubt, ask the person who wrote that.
Ok, A∪B And A+B are same
And n(A∪B)= n(A)+ n(B) -n(A∩B)
Is just for cardinality of (A∪B)

in my first question
You are trying to say that, we can not apply operations on sets we can only apply operations to their cardinality(your example completely proved the reason why, thanks)

A-B = A-(A∩B)
A-A = B-(A∩B)
Φ+(A∩B) = B
Does it implyes any thing?
 
mfb said:
A-B = A-C does not imply B=C.
I got a example
A={1,2,3,4}
B={2,3,7,8,9}
C={2,3,7,8,11,13}
A-B = A-C = {1,4}
Clearly we can see B≠C
 
parshyaa said:
A-A = B-(A∩B)
That is not correct.
parshyaa said:
Φ+(A∩B) = B
What is Φ? The empty set? That equation is not correct either.

You can see all this by drawing diagrams.
parshyaa said:
I got a example
A={1,2,3,4}
B={2,3,7,8,9}
C={2,3,7,8,11,13}
A-B = A-C = {1,4}
Clearly we can see B≠C
Right. A shorter example:
A={1}, B={2}, C={3}
 
mfb said:
That is not correct.What is Φ? The empty set? That equation is not correct either.
I.e what i am saying ,what i have learn from our conversation and from theory is that we can not apply every algebraic operations on set but we can apply them on cardinality of them.
 
Cardinalities of finite sets are just integers, and you can add and subtract integers as usual.
 
  • Like
Likes parshyaa
  • #10
parshyaa said:
I.e what i am saying ,what i have learn from our conversation and from theory is that we can not apply every algebraic operations on set but we can apply them on cardinality of them.
Sets do not form an algebraic group when defining "addition" as taking the union. You are correct that we cannot perform algebra on them.

However, it is not clear that cardinalities work either.

A = {1}
B = {2}
A-B = {1}
|A| - |B| is not equal to |A-B|
 
  • Like
Likes parshyaa
  • #11
jbriggs444 said:
Sets do not form an algebraic group when defining "addition" as taking the union. You are correct that we cannot perform algebra on them.

However, it is not clear that cardinalities work either.

A = {1}
B = {2}
A-B = {1}
|A| - |B| is not equal to |A-B|
Yes,algebraic operations do not work with the cardinality of sets , i just write it because i can write n(A∪B) = n(A) + n(B) - n(A∩B)
But i can't write A = B+(C - D)
 
  • #12
In general, you are trying too many things with sets that are not valid. You should take a step back, pay strict attention to the operations that are defined for sets, and only use the basic operations and things proven from the basic operations. Otherwise, it is tempting to adopt bad habits.
 
  • Like
Likes Logical Dog, parshyaa and Janosh89

Similar threads

  • · Replies 7 ·
Replies
7
Views
2K
  • · Replies 15 ·
Replies
15
Views
3K
  • · Replies 1 ·
Replies
1
Views
2K
Replies
4
Views
2K
  • · Replies 3 ·
Replies
3
Views
2K
  • · Replies 18 ·
Replies
18
Views
3K
Replies
2
Views
3K
  • · Replies 1 ·
Replies
1
Views
2K
  • · Replies 4 ·
Replies
4
Views
2K
  • · Replies 2 ·
Replies
2
Views
3K