Simple proof question


by SixNein
Tags: proof, simple
SixNein
SixNein is offline
#1
Jan30-12, 07:20 PM
PF Gold
SixNein's Avatar
P: 183
Prove AUB=BUA

Let xεAUB
xεA or xεB (Definition of union)

case 1: xεA
xεBUA (Def of union)
since x is arbitrary, must be true for all x. (inclusion)
therefore, AUB=BUA

Case 2: xεB
xεBUA (Def of union)
since x is arbitrary, must be true for all x. (inclusion)
therefore, AUB=BUA
Now, I was told that the above proof was valid by a professor. But I don't see how it could be valid as it is written. The only proof I can arguably see here is a proof that AUB[itex]\subseteq[/itex]BUA.

From the way its written, case 1 shows that A[itex]\subseteq[/itex]BUA while case 2 shows that B[itex]\subseteq[/itex]BUA; therefore, the conclusion would be AUB[itex]\subseteq[/itex]BUA.

Maybe I'm missing something here..?
Phys.Org News Partner Science news on Phys.org
Cougars' diverse diet helped them survive the Pleistocene mass extinction
Cyber risks can cause disruption on scale of 2008 crisis, study says
Mantis shrimp stronger than airplanes
micromass
micromass is online now
#2
Jan30-12, 09:46 PM
Mentor
micromass's Avatar
P: 16,698
You are right. But if we substitute A and B, then we also get a proof for the other inclusion. That is: a proof for the other inclusion follows from proving the first inclusion.
SixNein
SixNein is offline
#3
Jan30-12, 10:03 PM
PF Gold
SixNein's Avatar
P: 183
Quote Quote by micromass View Post
You are right. But if we substitute A and B, then we also get a proof for the other inclusion. That is: a proof for the other inclusion follows from proving the first inclusion.
See I tired to point this out in class. The professor argued that my argument of
A→B and B→A therefore A=B was a totally different proof. And some how, he accomplishes the same thing without using this because of something to do with his description of an "arbitrary x".

micromass
micromass is online now
#4
Jan30-12, 10:06 PM
Mentor
micromass's Avatar
P: 16,698

Simple proof question


Quote Quote by SixNein View Post
See I tired to point this out in class. The professor argued that my argument of
A→B and B→A therefore A=B was a totally different proof. And some how, he accomplishes the same thing without using this because of something to do with his description of an "arbitrary x".
OK, what about this:

First we prove (as in the OP) that [itex]E\cup F\subseteq F\cup E[/itex] for ALL sets E and F. This is what the OP does, right??

Now, we want to prove that [itex]A\cup B=B\cup A[/itex] for all sets A and B.
Well
[itex]\subseteq[/itex] follows if we take E=A and F=B.
[itex]\supseteq[/itex] follows if we take E=B and F=A.
So equality holds.
SixNein
SixNein is offline
#5
Jan30-12, 10:55 PM
PF Gold
SixNein's Avatar
P: 183
Quote Quote by micromass View Post
OK, what about this:

First we prove (as in the OP) that [itex]E\cup F\subseteq F\cup E[/itex] for ALL sets E and F. This is what the OP does, right??

Now, we want to prove that [itex]A\cup B=B\cup A[/itex] for all sets A and B.
Well
[itex]\subseteq[/itex] follows if we take E=A and F=B.
[itex]\supseteq[/itex] follows if we take E=B and F=A.
So equality holds.
Let me ask you this:

Would you agree that in case 1: he essentially showed that A⊆BUA?
Would you also agree that in case 2: he essentially showed that B⊆BUA?

He believed that they didn't.

Why would he think that?

At any rate, I agree with you here; however, he seemed to be making a different argument (during the discussion).
micromass
micromass is online now
#6
Jan30-12, 11:00 PM
Mentor
micromass's Avatar
P: 16,698
Quote Quote by SixNein View Post
Let me ask you this:

Would you agree that in case 1: he essentially showed that A⊆BUA?
Would you also agree that in case 2: he essentially showed that B⊆BUA?

He believed that they didn't.

Why would he think that?

At any rate, I agree with you here; however, he seemed to be making a different argument (during the discussion).
I agree with you here.

Formally, you indeed need to provide justification for both inclusions.

However, I wasn't present at the discussion, so I can't really say what your professor was trying to say. All I can say is that I think you have a good understanding of this situation and that what you say is correct.
SixNein
SixNein is offline
#7
Jan30-12, 11:16 PM
PF Gold
SixNein's Avatar
P: 183
Quote Quote by micromass View Post
I agree with you here.

Formally, you indeed need to provide justification for both inclusions.

However, I wasn't present at the discussion, so I can't really say what your professor was trying to say. All I can say is that I think you have a good understanding of this situation and that what you say is correct.
I just needed some extra eyes on it. I could have been wrong.

The class is being taught out of the computer science department. I honestly don't think this would have been an issue in the mathematics department.

ANyway, thanks for your time.


Register to reply

Related Discussions
Question about simple analysis proof Calculus 3
Simple Proof Precalculus Mathematics Homework 10
Simple prime/GCD proof question... Linear & Abstract Algebra 2
simple proof Calculus & Beyond Homework 1
Simple Proof Calculus & Beyond Homework 19