Proving equality of 3 sets
$begingroup$
$A, B, C$ are sets. I have to prove equality of this:
$$A cap C = B cap C land A cup C = B cup C ⇒ A = B$$
I did this, but I don't know what to do next and whether I even did the right thing:
$A cap C = x in A land x in C$
$B cap C ∧ A cup C = (x in B land x in C) land (x in A lor x in C)$
$B cup C implies A = x in B lor x in C ⇒ A $
$B$
Any ideas what to do next? Or maybe how to solve this somehow else?
elementary-set-theory proof-writing
$endgroup$
add a comment |
$begingroup$
$A, B, C$ are sets. I have to prove equality of this:
$$A cap C = B cap C land A cup C = B cup C ⇒ A = B$$
I did this, but I don't know what to do next and whether I even did the right thing:
$A cap C = x in A land x in C$
$B cap C ∧ A cup C = (x in B land x in C) land (x in A lor x in C)$
$B cup C implies A = x in B lor x in C ⇒ A $
$B$
Any ideas what to do next? Or maybe how to solve this somehow else?
elementary-set-theory proof-writing
$endgroup$
$begingroup$
You are mixing logical statements and expressions in ways they should not be. Do try to be more consistent. For example your fourth line should read $xin Acap Ciff xin Awedge xin C$ or it should read $Acap C = {x~:~xin Awedge xin C}$.
$endgroup$
– JMoravitz
Dec 5 '18 at 21:12
$begingroup$
I recommend approaching via contrapositive. Suppose that $Aneq B$. Without loss of generality, then there is some $ain A$ such that $anotin B$. There are two possibilities to continue, either $anotin C$ or $ain C$. In the first case then can you see and explain why $Acup Cneq Bcup C$? In the second case can you see and explain why $Acap Cneq Bcap C$? Do you see why showing this proves what you want?
$endgroup$
– JMoravitz
Dec 5 '18 at 21:15
add a comment |
$begingroup$
$A, B, C$ are sets. I have to prove equality of this:
$$A cap C = B cap C land A cup C = B cup C ⇒ A = B$$
I did this, but I don't know what to do next and whether I even did the right thing:
$A cap C = x in A land x in C$
$B cap C ∧ A cup C = (x in B land x in C) land (x in A lor x in C)$
$B cup C implies A = x in B lor x in C ⇒ A $
$B$
Any ideas what to do next? Or maybe how to solve this somehow else?
elementary-set-theory proof-writing
$endgroup$
$A, B, C$ are sets. I have to prove equality of this:
$$A cap C = B cap C land A cup C = B cup C ⇒ A = B$$
I did this, but I don't know what to do next and whether I even did the right thing:
$A cap C = x in A land x in C$
$B cap C ∧ A cup C = (x in B land x in C) land (x in A lor x in C)$
$B cup C implies A = x in B lor x in C ⇒ A $
$B$
Any ideas what to do next? Or maybe how to solve this somehow else?
elementary-set-theory proof-writing
elementary-set-theory proof-writing
edited Dec 5 '18 at 21:14
platty
3,370320
3,370320
asked Dec 5 '18 at 21:09
qwerty1qwerty1
11
11
$begingroup$
You are mixing logical statements and expressions in ways they should not be. Do try to be more consistent. For example your fourth line should read $xin Acap Ciff xin Awedge xin C$ or it should read $Acap C = {x~:~xin Awedge xin C}$.
$endgroup$
– JMoravitz
Dec 5 '18 at 21:12
$begingroup$
I recommend approaching via contrapositive. Suppose that $Aneq B$. Without loss of generality, then there is some $ain A$ such that $anotin B$. There are two possibilities to continue, either $anotin C$ or $ain C$. In the first case then can you see and explain why $Acup Cneq Bcup C$? In the second case can you see and explain why $Acap Cneq Bcap C$? Do you see why showing this proves what you want?
$endgroup$
– JMoravitz
Dec 5 '18 at 21:15
add a comment |
$begingroup$
You are mixing logical statements and expressions in ways they should not be. Do try to be more consistent. For example your fourth line should read $xin Acap Ciff xin Awedge xin C$ or it should read $Acap C = {x~:~xin Awedge xin C}$.
$endgroup$
– JMoravitz
Dec 5 '18 at 21:12
$begingroup$
I recommend approaching via contrapositive. Suppose that $Aneq B$. Without loss of generality, then there is some $ain A$ such that $anotin B$. There are two possibilities to continue, either $anotin C$ or $ain C$. In the first case then can you see and explain why $Acup Cneq Bcup C$? In the second case can you see and explain why $Acap Cneq Bcap C$? Do you see why showing this proves what you want?
$endgroup$
– JMoravitz
Dec 5 '18 at 21:15
$begingroup$
You are mixing logical statements and expressions in ways they should not be. Do try to be more consistent. For example your fourth line should read $xin Acap Ciff xin Awedge xin C$ or it should read $Acap C = {x~:~xin Awedge xin C}$.
$endgroup$
– JMoravitz
Dec 5 '18 at 21:12
$begingroup$
You are mixing logical statements and expressions in ways they should not be. Do try to be more consistent. For example your fourth line should read $xin Acap Ciff xin Awedge xin C$ or it should read $Acap C = {x~:~xin Awedge xin C}$.
$endgroup$
– JMoravitz
Dec 5 '18 at 21:12
$begingroup$
I recommend approaching via contrapositive. Suppose that $Aneq B$. Without loss of generality, then there is some $ain A$ such that $anotin B$. There are two possibilities to continue, either $anotin C$ or $ain C$. In the first case then can you see and explain why $Acup Cneq Bcup C$? In the second case can you see and explain why $Acap Cneq Bcap C$? Do you see why showing this proves what you want?
$endgroup$
– JMoravitz
Dec 5 '18 at 21:15
$begingroup$
I recommend approaching via contrapositive. Suppose that $Aneq B$. Without loss of generality, then there is some $ain A$ such that $anotin B$. There are two possibilities to continue, either $anotin C$ or $ain C$. In the first case then can you see and explain why $Acup Cneq Bcup C$? In the second case can you see and explain why $Acap Cneq Bcap C$? Do you see why showing this proves what you want?
$endgroup$
– JMoravitz
Dec 5 '18 at 21:15
add a comment |
2 Answers
2
active
oldest
votes
$begingroup$
Partition $A$ into the two sets $A'=Acap C$ and $A''=Abackslash (Acap C)$, and partition $B$ into the two sets $B'=Bcap C$ and $B''=Bbackslash (Bcap C)$. The first equality
$$Acap C=Bcap C$$
tells us that $A'=B'$. Since $(Acup C)backslash C=A''$ and $(Bcup C)backslash C=B''$, the second equality
$$Acup C=Bcup C$$
tells us that $A''=B''$. Thus, since the corresponding parts of the partitions of $A$ and $B$ are equal, $A=B$.
I leave it to you to make this more rigorous/formal as needed.
$endgroup$
add a comment |
$begingroup$
Consider for any $x$ in the universal set you have four possibilities for whether $x$ is in $A$ or $C$.
1) $x in A$ and $x in C$.
2) $x in A$ and $x not in C$.
3) $x not in A$ and $x in C$.
4) $x not in A$ and $ xnot in C$
For each of those cases we ask: Is $xin B$?
If we discover that $x in B iff x in A$ the we determine that $A = B$.
If we discover anything else or any ambiguous situation then we determine $A ne B$ or that $A$ need not equal $B$
So
1) $x in A$ and $x in C$.
So $x in Acap C = Bcap C$ so $xin B$.
2) $x in A$ and $x not in C$.
So $xin Acup C= Bcup C$ so $x$ is in either $B$ or $C$. But $x not in C$ so $x in B$.
3) $x not in A$ and $x in C$.
So $x not in Acap C = Bcap C$. So $x$ is not in both $B$ and $C$. But $x in C$ so $x$ can't be in $B$.
4) $x not in A$ and $ xnot in C$
$xnot in Acup C = Bcup C$ so $x$ is in neither $B$ nor $C$. So $xnot in B$.
So $xin B$ precisely when $x in A$ and $x not in B$ precisely what $x not in A$. So $A$ an $B$ have precisely the same elements and $A = B$.
$endgroup$
add a comment |
Your Answer
StackExchange.ifUsing("editor", function () {
return StackExchange.using("mathjaxEditing", function () {
StackExchange.MarkdownEditor.creationCallbacks.add(function (editor, postfix) {
StackExchange.mathjaxEditing.prepareWmdForMathJax(editor, postfix, [["$", "$"], ["\\(","\\)"]]);
});
});
}, "mathjax-editing");
StackExchange.ready(function() {
var channelOptions = {
tags: "".split(" "),
id: "69"
};
initTagRenderer("".split(" "), "".split(" "), channelOptions);
StackExchange.using("externalEditor", function() {
// Have to fire editor after snippets, if snippets enabled
if (StackExchange.settings.snippets.snippetsEnabled) {
StackExchange.using("snippets", function() {
createEditor();
});
}
else {
createEditor();
}
});
function createEditor() {
StackExchange.prepareEditor({
heartbeatType: 'answer',
autoActivateHeartbeat: false,
convertImagesToLinks: true,
noModals: true,
showLowRepImageUploadWarning: true,
reputationToPostImages: 10,
bindNavPrevention: true,
postfix: "",
imageUploader: {
brandingHtml: "Powered by u003ca class="icon-imgur-white" href="https://imgur.com/"u003eu003c/au003e",
contentPolicyHtml: "User contributions licensed under u003ca href="https://creativecommons.org/licenses/by-sa/3.0/"u003ecc by-sa 3.0 with attribution requiredu003c/au003e u003ca href="https://stackoverflow.com/legal/content-policy"u003e(content policy)u003c/au003e",
allowUrls: true
},
noCode: true, onDemand: true,
discardSelector: ".discard-answer"
,immediatelyShowMarkdownHelp:true
});
}
});
Sign up or log in
StackExchange.ready(function () {
StackExchange.helpers.onClickDraftSave('#login-link');
});
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
Required, but never shown
StackExchange.ready(
function () {
StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fmath.stackexchange.com%2fquestions%2f3027653%2fproving-equality-of-3-sets%23new-answer', 'question_page');
}
);
Post as a guest
Required, but never shown
2 Answers
2
active
oldest
votes
2 Answers
2
active
oldest
votes
active
oldest
votes
active
oldest
votes
$begingroup$
Partition $A$ into the two sets $A'=Acap C$ and $A''=Abackslash (Acap C)$, and partition $B$ into the two sets $B'=Bcap C$ and $B''=Bbackslash (Bcap C)$. The first equality
$$Acap C=Bcap C$$
tells us that $A'=B'$. Since $(Acup C)backslash C=A''$ and $(Bcup C)backslash C=B''$, the second equality
$$Acup C=Bcup C$$
tells us that $A''=B''$. Thus, since the corresponding parts of the partitions of $A$ and $B$ are equal, $A=B$.
I leave it to you to make this more rigorous/formal as needed.
$endgroup$
add a comment |
$begingroup$
Partition $A$ into the two sets $A'=Acap C$ and $A''=Abackslash (Acap C)$, and partition $B$ into the two sets $B'=Bcap C$ and $B''=Bbackslash (Bcap C)$. The first equality
$$Acap C=Bcap C$$
tells us that $A'=B'$. Since $(Acup C)backslash C=A''$ and $(Bcup C)backslash C=B''$, the second equality
$$Acup C=Bcup C$$
tells us that $A''=B''$. Thus, since the corresponding parts of the partitions of $A$ and $B$ are equal, $A=B$.
I leave it to you to make this more rigorous/formal as needed.
$endgroup$
add a comment |
$begingroup$
Partition $A$ into the two sets $A'=Acap C$ and $A''=Abackslash (Acap C)$, and partition $B$ into the two sets $B'=Bcap C$ and $B''=Bbackslash (Bcap C)$. The first equality
$$Acap C=Bcap C$$
tells us that $A'=B'$. Since $(Acup C)backslash C=A''$ and $(Bcup C)backslash C=B''$, the second equality
$$Acup C=Bcup C$$
tells us that $A''=B''$. Thus, since the corresponding parts of the partitions of $A$ and $B$ are equal, $A=B$.
I leave it to you to make this more rigorous/formal as needed.
$endgroup$
Partition $A$ into the two sets $A'=Acap C$ and $A''=Abackslash (Acap C)$, and partition $B$ into the two sets $B'=Bcap C$ and $B''=Bbackslash (Bcap C)$. The first equality
$$Acap C=Bcap C$$
tells us that $A'=B'$. Since $(Acup C)backslash C=A''$ and $(Bcup C)backslash C=B''$, the second equality
$$Acup C=Bcup C$$
tells us that $A''=B''$. Thus, since the corresponding parts of the partitions of $A$ and $B$ are equal, $A=B$.
I leave it to you to make this more rigorous/formal as needed.
answered Dec 5 '18 at 21:14
FrpzzdFrpzzd
22.7k840108
22.7k840108
add a comment |
add a comment |
$begingroup$
Consider for any $x$ in the universal set you have four possibilities for whether $x$ is in $A$ or $C$.
1) $x in A$ and $x in C$.
2) $x in A$ and $x not in C$.
3) $x not in A$ and $x in C$.
4) $x not in A$ and $ xnot in C$
For each of those cases we ask: Is $xin B$?
If we discover that $x in B iff x in A$ the we determine that $A = B$.
If we discover anything else or any ambiguous situation then we determine $A ne B$ or that $A$ need not equal $B$
So
1) $x in A$ and $x in C$.
So $x in Acap C = Bcap C$ so $xin B$.
2) $x in A$ and $x not in C$.
So $xin Acup C= Bcup C$ so $x$ is in either $B$ or $C$. But $x not in C$ so $x in B$.
3) $x not in A$ and $x in C$.
So $x not in Acap C = Bcap C$. So $x$ is not in both $B$ and $C$. But $x in C$ so $x$ can't be in $B$.
4) $x not in A$ and $ xnot in C$
$xnot in Acup C = Bcup C$ so $x$ is in neither $B$ nor $C$. So $xnot in B$.
So $xin B$ precisely when $x in A$ and $x not in B$ precisely what $x not in A$. So $A$ an $B$ have precisely the same elements and $A = B$.
$endgroup$
add a comment |
$begingroup$
Consider for any $x$ in the universal set you have four possibilities for whether $x$ is in $A$ or $C$.
1) $x in A$ and $x in C$.
2) $x in A$ and $x not in C$.
3) $x not in A$ and $x in C$.
4) $x not in A$ and $ xnot in C$
For each of those cases we ask: Is $xin B$?
If we discover that $x in B iff x in A$ the we determine that $A = B$.
If we discover anything else or any ambiguous situation then we determine $A ne B$ or that $A$ need not equal $B$
So
1) $x in A$ and $x in C$.
So $x in Acap C = Bcap C$ so $xin B$.
2) $x in A$ and $x not in C$.
So $xin Acup C= Bcup C$ so $x$ is in either $B$ or $C$. But $x not in C$ so $x in B$.
3) $x not in A$ and $x in C$.
So $x not in Acap C = Bcap C$. So $x$ is not in both $B$ and $C$. But $x in C$ so $x$ can't be in $B$.
4) $x not in A$ and $ xnot in C$
$xnot in Acup C = Bcup C$ so $x$ is in neither $B$ nor $C$. So $xnot in B$.
So $xin B$ precisely when $x in A$ and $x not in B$ precisely what $x not in A$. So $A$ an $B$ have precisely the same elements and $A = B$.
$endgroup$
add a comment |
$begingroup$
Consider for any $x$ in the universal set you have four possibilities for whether $x$ is in $A$ or $C$.
1) $x in A$ and $x in C$.
2) $x in A$ and $x not in C$.
3) $x not in A$ and $x in C$.
4) $x not in A$ and $ xnot in C$
For each of those cases we ask: Is $xin B$?
If we discover that $x in B iff x in A$ the we determine that $A = B$.
If we discover anything else or any ambiguous situation then we determine $A ne B$ or that $A$ need not equal $B$
So
1) $x in A$ and $x in C$.
So $x in Acap C = Bcap C$ so $xin B$.
2) $x in A$ and $x not in C$.
So $xin Acup C= Bcup C$ so $x$ is in either $B$ or $C$. But $x not in C$ so $x in B$.
3) $x not in A$ and $x in C$.
So $x not in Acap C = Bcap C$. So $x$ is not in both $B$ and $C$. But $x in C$ so $x$ can't be in $B$.
4) $x not in A$ and $ xnot in C$
$xnot in Acup C = Bcup C$ so $x$ is in neither $B$ nor $C$. So $xnot in B$.
So $xin B$ precisely when $x in A$ and $x not in B$ precisely what $x not in A$. So $A$ an $B$ have precisely the same elements and $A = B$.
$endgroup$
Consider for any $x$ in the universal set you have four possibilities for whether $x$ is in $A$ or $C$.
1) $x in A$ and $x in C$.
2) $x in A$ and $x not in C$.
3) $x not in A$ and $x in C$.
4) $x not in A$ and $ xnot in C$
For each of those cases we ask: Is $xin B$?
If we discover that $x in B iff x in A$ the we determine that $A = B$.
If we discover anything else or any ambiguous situation then we determine $A ne B$ or that $A$ need not equal $B$
So
1) $x in A$ and $x in C$.
So $x in Acap C = Bcap C$ so $xin B$.
2) $x in A$ and $x not in C$.
So $xin Acup C= Bcup C$ so $x$ is in either $B$ or $C$. But $x not in C$ so $x in B$.
3) $x not in A$ and $x in C$.
So $x not in Acap C = Bcap C$. So $x$ is not in both $B$ and $C$. But $x in C$ so $x$ can't be in $B$.
4) $x not in A$ and $ xnot in C$
$xnot in Acup C = Bcup C$ so $x$ is in neither $B$ nor $C$. So $xnot in B$.
So $xin B$ precisely when $x in A$ and $x not in B$ precisely what $x not in A$. So $A$ an $B$ have precisely the same elements and $A = B$.
answered Dec 5 '18 at 21:47
fleabloodfleablood
69.3k22685
69.3k22685
add a comment |
add a comment |
Thanks for contributing an answer to Mathematics Stack Exchange!
- Please be sure to answer the question. Provide details and share your research!
But avoid …
- Asking for help, clarification, or responding to other answers.
- Making statements based on opinion; back them up with references or personal experience.
Use MathJax to format equations. MathJax reference.
To learn more, see our tips on writing great answers.
Sign up or log in
StackExchange.ready(function () {
StackExchange.helpers.onClickDraftSave('#login-link');
});
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
Required, but never shown
StackExchange.ready(
function () {
StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fmath.stackexchange.com%2fquestions%2f3027653%2fproving-equality-of-3-sets%23new-answer', 'question_page');
}
);
Post as a guest
Required, but never shown
Sign up or log in
StackExchange.ready(function () {
StackExchange.helpers.onClickDraftSave('#login-link');
});
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
Required, but never shown
Sign up or log in
StackExchange.ready(function () {
StackExchange.helpers.onClickDraftSave('#login-link');
});
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
Required, but never shown
Sign up or log in
StackExchange.ready(function () {
StackExchange.helpers.onClickDraftSave('#login-link');
});
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
Required, but never shown
Required, but never shown
Required, but never shown
Required, but never shown
Required, but never shown
Required, but never shown
Required, but never shown
Required, but never shown
Required, but never shown
$begingroup$
You are mixing logical statements and expressions in ways they should not be. Do try to be more consistent. For example your fourth line should read $xin Acap Ciff xin Awedge xin C$ or it should read $Acap C = {x~:~xin Awedge xin C}$.
$endgroup$
– JMoravitz
Dec 5 '18 at 21:12
$begingroup$
I recommend approaching via contrapositive. Suppose that $Aneq B$. Without loss of generality, then there is some $ain A$ such that $anotin B$. There are two possibilities to continue, either $anotin C$ or $ain C$. In the first case then can you see and explain why $Acup Cneq Bcup C$? In the second case can you see and explain why $Acap Cneq Bcap C$? Do you see why showing this proves what you want?
$endgroup$
– JMoravitz
Dec 5 '18 at 21:15