Is It Valid to Cancel Sets in Set Theory?

  • Context: Undergrad 
  • Thread starter Thread starter parshyaa
  • Start date Start date
  • Tags Tags
    Set Set theory Theory
Join the discussion
Ask a follow-up here, or get your own question answered by working scientists, mathematicians and engineers — people, not an autocomplete.
Real named experts · corrections over time · the nuance an AI answer skips
11 replies · 2K views
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?)
 
Physics news on Phys.org
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   Reactions: parshyaa
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   Reactions: parshyaa
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)
 
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   Reactions: Logical Dog, parshyaa and Janosh89