Thread: Proof for Associative Law for Symmetric Difference

That is, prove that A delta (B delta C) = (A delta B) delta C.

I managed a lengthy proof but only with the use of De Morgan's Laws - just checking if this is acceptable?

Originally Posted by h2osprey

That is, prove that A delta (B delta C) = (A delta B) delta C.

I managed a lengthy proof but only with the use of De Morgan's Laws - just checking if this is acceptable?

As long as it is a valid proof, there is no reason why it shouldn't be acceptable.

Originally Posted by h2osprey

That is, prove that A delta (B delta C) = (A delta B) delta C.

I managed a lengthy proof but only with the use of De Morgan's Laws - just checking if this is acceptable?

it would probably be good for you to post your proof...just how lengthy is it?

Originally Posted by h2osprey

That is, prove that A delta (B delta C) = (A delta B) delta C.

Here is one way to prove it, it may be similar to your way, but here goes:

By definition, we know that . Therefore,









Now we make a little digression to simplify from the above expression:






, and then plug this into the equation above;








Next, if you exchange sets in the original expression ( ) in the following way: ; ; , you'll get that

, and from this, it follows that

(and, because the symmetric difference is a symmetric operation, i.e. , it follows that)= .

Therefore,

Originally Posted by Jhevon

it would probably be good for you to post your proof...just how lengthy is it?

I basically gave the proof above except I didn't show that both sides were equal to the derived one; I proved it all the way with iff's.

Here is a different way to prove this, or rather to reduce it to associativity of addition modulo 2. To remind, ; if at least one of is , and .

Definition. For a set and an object , let if and otherwise.

Lemma. For all sets and any object , .

Theorem. For all sets , .

Proof. For any , = .

Originally Posted by h2osprey

That is, prove that A delta (B delta C) = (A delta B) delta C.

I managed a lengthy proof but only with the use of De Morgan's Laws - just checking if this is acceptable?

hi math members my name is Paul Otuoma from Nairobi,Kenya. Am a student at the University of Nairobi.Am persuing Bachelor of Science, where am taking Double maths and Physics..Am glad to join this group its superb..Let me ask how comes (A delta B) is (A\B) U (B\A)?? our teacher taught us that, (A delta B)= ( A-B) U (B-A) ??? Please help..

You can prove it by using characteristic function, the prove would be simpler.

Originally Posted by pol02oma

maths and Physics..Am glad to join this group its superb..Let me ask how comes (A delta B) is (A\B) U (B\A)?? our teacher taught us that, (A delta B)= ( A-B) U (B-A) ???

and are two different notations for the same thing: set difference. In fact, it is a good idea for people to define less-standard concepts and notations when they ask questions because there are so many variations of the same concepts around the world. I am talking in general, not so much about this particular thread because both and are pretty standard.