Prove $ Atriangle(Bbackslash C)=(Atriangle B)backslash C $ iff $Acap C=emptyset$
$begingroup$
Prove$$ Atriangle(Bbackslash C)=(Atriangle B)backslash C $$
If and only if $Acap C=emptyset$.
I should prove it using just or and and. Like this:
The first inclusion:
$$ x in Atriangle(Bbackslash C)\
[x in A backslash(B backslash C)] vee [xin(B backslash C) backslash A]$$
I think the next step is wrong:
$$
[x in (A backslash B) backslash C)] vee [xin(B backslash A) backslash C]\
[x in (A backslash B) vee xin(B backslash A) ] land xnotin C\
(Atriangle B)backslash C
$$
elementary-set-theory
$endgroup$
|
show 3 more comments
$begingroup$
Prove$$ Atriangle(Bbackslash C)=(Atriangle B)backslash C $$
If and only if $Acap C=emptyset$.
I should prove it using just or and and. Like this:
The first inclusion:
$$ x in Atriangle(Bbackslash C)\
[x in A backslash(B backslash C)] vee [xin(B backslash C) backslash A]$$
I think the next step is wrong:
$$
[x in (A backslash B) backslash C)] vee [xin(B backslash A) backslash C]\
[x in (A backslash B) vee xin(B backslash A) ] land xnotin C\
(Atriangle B)backslash C
$$
elementary-set-theory
$endgroup$
$begingroup$
Yes, that step is indeed wrong, because the set difference operation is not associative, so let's not do that. I'd suggest that you start by drawing Venn diagrams for both $Abigtriangleup(Bsetminus C)$ and $(Abigtriangleup B)setminus C$. You will see that, in general, they are not equal, as well as why $Acap C=varnothing$ is needed to make them equal. That may give you a hint how to approach the problem.
$endgroup$
– zipirovich
Jan 5 at 2:06
$begingroup$
I still don't know.
$endgroup$
– Nemanja Djordjevic
Jan 5 at 2:15
$begingroup$
Did you draw Venn diagrams for both expressions?
$endgroup$
– zipirovich
Jan 5 at 2:17
$begingroup$
yes and they are the same
$endgroup$
– Nemanja Djordjevic
Jan 5 at 2:35
$begingroup$
No, they are not.
$endgroup$
– zipirovich
Jan 5 at 2:36
|
show 3 more comments
$begingroup$
Prove$$ Atriangle(Bbackslash C)=(Atriangle B)backslash C $$
If and only if $Acap C=emptyset$.
I should prove it using just or and and. Like this:
The first inclusion:
$$ x in Atriangle(Bbackslash C)\
[x in A backslash(B backslash C)] vee [xin(B backslash C) backslash A]$$
I think the next step is wrong:
$$
[x in (A backslash B) backslash C)] vee [xin(B backslash A) backslash C]\
[x in (A backslash B) vee xin(B backslash A) ] land xnotin C\
(Atriangle B)backslash C
$$
elementary-set-theory
$endgroup$
Prove$$ Atriangle(Bbackslash C)=(Atriangle B)backslash C $$
If and only if $Acap C=emptyset$.
I should prove it using just or and and. Like this:
The first inclusion:
$$ x in Atriangle(Bbackslash C)\
[x in A backslash(B backslash C)] vee [xin(B backslash C) backslash A]$$
I think the next step is wrong:
$$
[x in (A backslash B) backslash C)] vee [xin(B backslash A) backslash C]\
[x in (A backslash B) vee xin(B backslash A) ] land xnotin C\
(Atriangle B)backslash C
$$
elementary-set-theory
elementary-set-theory
edited Jan 5 at 17:55
Nemanja Djordjevic
asked Jan 5 at 1:50
Nemanja DjordjevicNemanja Djordjevic
888
888
$begingroup$
Yes, that step is indeed wrong, because the set difference operation is not associative, so let's not do that. I'd suggest that you start by drawing Venn diagrams for both $Abigtriangleup(Bsetminus C)$ and $(Abigtriangleup B)setminus C$. You will see that, in general, they are not equal, as well as why $Acap C=varnothing$ is needed to make them equal. That may give you a hint how to approach the problem.
$endgroup$
– zipirovich
Jan 5 at 2:06
$begingroup$
I still don't know.
$endgroup$
– Nemanja Djordjevic
Jan 5 at 2:15
$begingroup$
Did you draw Venn diagrams for both expressions?
$endgroup$
– zipirovich
Jan 5 at 2:17
$begingroup$
yes and they are the same
$endgroup$
– Nemanja Djordjevic
Jan 5 at 2:35
$begingroup$
No, they are not.
$endgroup$
– zipirovich
Jan 5 at 2:36
|
show 3 more comments
$begingroup$
Yes, that step is indeed wrong, because the set difference operation is not associative, so let's not do that. I'd suggest that you start by drawing Venn diagrams for both $Abigtriangleup(Bsetminus C)$ and $(Abigtriangleup B)setminus C$. You will see that, in general, they are not equal, as well as why $Acap C=varnothing$ is needed to make them equal. That may give you a hint how to approach the problem.
$endgroup$
– zipirovich
Jan 5 at 2:06
$begingroup$
I still don't know.
$endgroup$
– Nemanja Djordjevic
Jan 5 at 2:15
$begingroup$
Did you draw Venn diagrams for both expressions?
$endgroup$
– zipirovich
Jan 5 at 2:17
$begingroup$
yes and they are the same
$endgroup$
– Nemanja Djordjevic
Jan 5 at 2:35
$begingroup$
No, they are not.
$endgroup$
– zipirovich
Jan 5 at 2:36
$begingroup$
Yes, that step is indeed wrong, because the set difference operation is not associative, so let's not do that. I'd suggest that you start by drawing Venn diagrams for both $Abigtriangleup(Bsetminus C)$ and $(Abigtriangleup B)setminus C$. You will see that, in general, they are not equal, as well as why $Acap C=varnothing$ is needed to make them equal. That may give you a hint how to approach the problem.
$endgroup$
– zipirovich
Jan 5 at 2:06
$begingroup$
Yes, that step is indeed wrong, because the set difference operation is not associative, so let's not do that. I'd suggest that you start by drawing Venn diagrams for both $Abigtriangleup(Bsetminus C)$ and $(Abigtriangleup B)setminus C$. You will see that, in general, they are not equal, as well as why $Acap C=varnothing$ is needed to make them equal. That may give you a hint how to approach the problem.
$endgroup$
– zipirovich
Jan 5 at 2:06
$begingroup$
I still don't know.
$endgroup$
– Nemanja Djordjevic
Jan 5 at 2:15
$begingroup$
I still don't know.
$endgroup$
– Nemanja Djordjevic
Jan 5 at 2:15
$begingroup$
Did you draw Venn diagrams for both expressions?
$endgroup$
– zipirovich
Jan 5 at 2:17
$begingroup$
Did you draw Venn diagrams for both expressions?
$endgroup$
– zipirovich
Jan 5 at 2:17
$begingroup$
yes and they are the same
$endgroup$
– Nemanja Djordjevic
Jan 5 at 2:35
$begingroup$
yes and they are the same
$endgroup$
– Nemanja Djordjevic
Jan 5 at 2:35
$begingroup$
No, they are not.
$endgroup$
– zipirovich
Jan 5 at 2:36
$begingroup$
No, they are not.
$endgroup$
– zipirovich
Jan 5 at 2:36
|
show 3 more comments
4 Answers
4
active
oldest
votes
$begingroup$
These are the Venn diagrams for both expressions. As we can see, they differ precisely by $Acap C$, which is why $Acap C=varnothing$ is required to make them equal. Also, notice that $(Abigtriangleup B)setminus Csubseteq Abigtriangleup(Bsetminus C)$ always; it's only the opposite inclusion that needs $Acap C=varnothing$.
If you're expected to prove the claim using just or and and logical connectors, then your first steps look good, but then I guess you should continue expanding all the definitions. Let's see how that looks for the inclusion $Abigtriangleup(Bsetminus C)subseteq(Abigtriangleup B)setminus C)$ that you started working on.
$$begin{split}
xin Abigtriangleup(Bsetminus C) &iff left[xin Asetminus(Bsetminus C)right]veeleft[xin(Bsetminus C)setminus Aright] \
&iff left[xin Awedge xnotin(Bsetminus C)right]veeleft[xin(Bsetminus C)wedge xnotin Aright] \
&iff left[xin Awedgenegleft(xin Bwedge xnotin Cright)right]veeleft[xin Bwedge xnotin Cwedge xnotin Aright] \
&iff left[xin Awedgeleft(xnotin Bvee xin Cright)right]veeleft[xnotin Awedge xin Bwedge xnotin Cright] \
&iff left[xin Awedge xnotin Bright]veeleft[xin Awedge xin Cright]veeleft[xnotin Awedge xin Bwedge xnotin Cright].
end{split}$$
Each part of the last expression describes a piece in the Venn diagram for $Abigtriangleup(Bsetminus C)$. In particular, $left[xin Awedge xnotin Bright]$ is $Asetminus B$, but it includes two pieces of the Venn diagram, and we can see that we'd like to separate them:
$$begin{split}
xin Awedge xnotin B &iff xin Awedge xnotin Bwedgeleft(xin Cvee xnotin Cright) \
&iff left[xin Awedge xnotin Bwedge xin Cright]veeleft[xin Awedge xnotin Bwedge xnotin Cright].
end{split}$$
If we put it back into the last step above, then we'll get that $xin Abigtriangleup(Bsetminus C)$ iff
$$left[xin Awedge xnotin Bwedge xin Cright]veeleft[xin Awedge xnotin Bwedge xnotin Cright]veeleft[xin Awedge xin Cright]veeleft[xnotin Awedge xin Bwedge xnotin Cright].$$
Moreover, we should observe that $left[xin Awedge xnotin Bwedge xin Cright]$ is "included" in, i.e. describes a subset of, $left[xin Awedge xin Cright]$. We can work it out using or and and in the same fashion (I'll leave that to you), but the bottom line is that the former ends up being "consumed" by the latter, so we'll get that $xin Abigtriangleup(Bsetminus C)$ iff
$$color{blue}{left[xin Awedge xnotin Bwedge xnotin Cright]veeleft[xnotin Awedge xin Bwedge xnotin Cright]}veecolor{red}{left[xin Awedge xin Cright]}.$$
Note that the blue parts are precisely what is included on the other diagram, while the red part describes $Acap C$ — which is precisely what distinguishes the two diagrams.
Now, if we work out $(Abigtriangleup B)setminus C$ in a similar fashion, we'll end precisely with the blue expression. That will show that the two are equal iff $Acap C=varnothing$.
NOTE: I do realize that this solution seems lengthy and difficult. Yes, it is lengthy and tedious, but it's completely dictated by the pictures. From the visual point of view, I'd say it's pretty straightforward.
$endgroup$
$begingroup$
Thank you so much! Now I understand it. I tried a similar way but in the end I didn't know that I can use $land (x in C lor x notin C)$.
$endgroup$
– Nemanja Djordjevic
Jan 8 at 1:19
add a comment |
$begingroup$
We wish to prove the following theorem:
$$
Atriangle(Bsetminus C) = (Atriangle B)setminus C quad Leftrightarrow quad Acap C=emptyset
$$
I don't particularly like obfuscating what is going on behind the symmetric difference and set-minus operators, so let us unwind that a bit:
$$
[Asetminus(Bsetminus C)]cup[(Bsetminus C)setminus A] = ([Asetminus B] cup [Bsetminus A])setminus C quad Leftrightarrow quad Acap C=emptyset
$$
$$
[Acap(Bcap C^c)^c]cup[(Bcap C^c)cap A^c] = ([Acap B^c] cup [Bcap A^c])cap C^c quad Leftrightarrow quad Acap C=emptyset
$$
$$
[Acap(B^ccup C)]cup[(Bcap C^c)cap A^c] = ([Acap B^c] cup [Bcap A^c])cap C^c quad Leftrightarrow quad Acap C=emptyset
$$
Now, if you squint really hard at that last line, you will see that the $Leftarrow$ direction is incredibly easy to prove! Just distribute various intersections over various unions and utilize the hypothesis that $Acap C=emptyset$ (which is equivalent to $Acap C^c=A$). You will be left with $X=X$, which is true.
For the $Rightarrow$ direction, things are a bit harder. I would recommend approaching this via the contrapositive; assume that $Acap Cneqemptyset$ and try and prove that $Atriangle(Bsetminus C) neq (Atriangle B)setminus C$. If you do this, then again we find that the proof is very straightforaward:
$$
[Acap(B^ccup C)]cup[(Bcap C^c)cap A^c] stackrel{?}{=} ([Acap B^c] cup [Bcap A^c])cap C^c
$$
$$
[Acap B^c]cup[Acap C]cup[Bcap A^ccap C^c] stackrel{?}{=} [Acap B^ccap C^c] cup [Bcap A^ccap C^c]
$$
On the RHS we have the union of two disjoint sets. One of those sets also appears on the LHS, but the other is a proper subset of the first two bracketed sets on the LHS. Thus, equality is impossible!
This answer is not completely rigorous, because I got lazy and didn't want to name the element that belongs to the LHS and not the RHS for the inequality argument. However, it should be a good enough starting point for you to finish this completely.
$endgroup$
$begingroup$
this supposed to be an easy proof :(
$endgroup$
– Nemanja Djordjevic
Jan 5 at 3:00
1
$begingroup$
@NemanjaDjordjevic To be fair, this is an easy argument. It just happens to also look long and messy. Perhaps there is a slick and fast way, but for me this makes the most sense and is the easiest proof I could come up with.
$endgroup$
– ItsJustTranscendenceBro
Jan 5 at 3:01
$begingroup$
Thank you very much!
$endgroup$
– Nemanja Djordjevic
Jan 5 at 3:03
add a comment |
$begingroup$
No that step is correct because in the case which $$[x in (A backslash B) backslash C)] vee [xin(B backslash A) backslash C]$$ $x$ doesn't belong to $C$ in either cases so that you can kick $C$ out of both the bracket cases. Note that this only proves that $$Atriangle(Bbackslash C)subseteq(Atriangle B)backslash C $$you will also need a converse proof on this theorem (which is as the same proof of direct side of the theorem in reverse direction).
Alternative proof
$$Atriangle (Bbackslash C){=Big[(B-C)-ABig]cupBig[A-(B-C)Big]\=Big[Bcap C'cap A']cupBig[Acap(Bcap C')'Big]\=Big[Bcap C'cap A']cupBig[Acap(B'cup C)Big]}$$and $$(Atriangle B)backslash C{=Big[(A-B)cup(B-A)Big]cap C'\=Big[Acap B'cap C'Big]cup Big[Bcap C'cap A'Big]\=Big[Acap (Bcup C)'Big]cup Big[Bcap C'cap A'Big]}$$then we need to show that $$Acap (Bcup C)'=Acap(B'cup C)iff Acap C=emptyset$$from the other side $$Big[Acap (Bcup C)'Big]cupBig[Acap CBig]{=AcapBig[(Bcup C)'cup CBig]\=AcapBig[(B'cap C')cup CBig]\=AcapBig[(B'cup C)cap (C'cup C)Big]\=AcapBig[(B'cup C)cap mathrm{U}Big]\=Acap(B'cup C)}$$where $mathrm{U}$ is the Universal Set. Also $$Big[Acap (Bcup C)'Big]capBig[Acap CBig]{=Big[Acap B'cap C'Big]capBig[Acap CBig]\=Acap B'cap C'cap C\=emptyset}$$therefore $$Acap (Bcup C)'=Acap(B'cup C)$$if and only if $$ Acap C=emptyset$$and the proof is complete.
$endgroup$
$begingroup$
What tells us that $xin(B backslash A) backslash C$ this is true?
$endgroup$
– Nemanja Djordjevic
Jan 5 at 4:12
$begingroup$
It means that $x$ belongs to $B$ but not to either $A$ or $C$. Another way of expressing it is as $$xin Bcap A'cap C'$$
$endgroup$
– Mostafa Ayaz
Jan 5 at 4:16
$begingroup$
But x belongs to B
$endgroup$
– Nemanja Djordjevic
Jan 5 at 4:17
$begingroup$
Sorry for the typo.........
$endgroup$
– Mostafa Ayaz
Jan 5 at 4:18
1
$begingroup$
Yes because the taking complementary then intersection operation is associative i.e. $$((A-B_1)-B_2)-cdots - B_n=Abigcap_{i=1}^{n}B_i'=Acapleft(bigcup_{i=1}^{n}B_iright)'$$
$endgroup$
– Mostafa Ayaz
Jan 5 at 4:29
|
show 3 more comments
$begingroup$
OK, we want to show
$$A Delta (B setminus C) = (A Delta B)setminus C Leftrightarrow A cap C = emptyset$$
Assume we have $A cap C neq emptyset$ (so trying for the contrapositive, which seems easier as it gives us something concrete to work with). Hence we have some $p in A cap C$. Case 1: $p in B$, then $p notin (B setminus C)$ (as $p in C$) but also $p in A$, so $p in A Delta (B setminus C)$ but on the other hand $p notin A Delta B$ so $p notin (A Delta B) setminus C$ so we have disproved the LHS identity in this case. Case 2: $p notin B$, then $p in A Delta B$ (and still $p in C$) so $p notin (A Delta B) setminus C$, and $p notin B setminus C$ and still $p in A$ so $p in A Delta (Bsetminus C)$ as in case 1, we have disproved the identity again.
Now assume that $A cap C = emptyset$ holds. We want to show the LHS identity which is really two inclusions. So suppose $x in A Delta (B setminus C)$, so case 1: $x in A$ and $x notin B setminus C$. As $x notin C$ (as otherwise $A cap C neq emptyset$) we know also that $x notin B$ (or else $x in B setminus C)$ after all) and so $x in (A Delta B)setminus C$, so the left to right inclusion holds for case 1. Case 2: $x notin A$ and $x in B setminus C$, and then $x in B$ and $x notin C$ and so $x in (A Delta B)setminus C$ and so the left to right inclusion also holds in case 2. So we're done with that inclusion. Now suppose that $x in (A Delta B) setminus C$ so $x in A Delta B$ and $x notin C$. Again 2 cases: case 1: $x in A$, $x notin B$, but then $x notin B setminus C$ and so $x in A Delta (B setminus C)$ and the right to left inclusion holds. Case 2: $x notin A$ and $x in B$, and then $x in B setminus C$ and so $x in A Delta (B setminus C)$ and the right to left inclusion holds (without even using $A cap C = emptyset$, so that inclusion always holds). So we have the LHS equality when $A$ and $C$ are disjoint.
$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%2f3062327%2fprove-a-triangleb-backslash-c-a-triangle-b-backslash-c-iff-a-cap-c-emp%23new-answer', 'question_page');
}
);
Post as a guest
Required, but never shown
4 Answers
4
active
oldest
votes
4 Answers
4
active
oldest
votes
active
oldest
votes
active
oldest
votes
$begingroup$
These are the Venn diagrams for both expressions. As we can see, they differ precisely by $Acap C$, which is why $Acap C=varnothing$ is required to make them equal. Also, notice that $(Abigtriangleup B)setminus Csubseteq Abigtriangleup(Bsetminus C)$ always; it's only the opposite inclusion that needs $Acap C=varnothing$.
If you're expected to prove the claim using just or and and logical connectors, then your first steps look good, but then I guess you should continue expanding all the definitions. Let's see how that looks for the inclusion $Abigtriangleup(Bsetminus C)subseteq(Abigtriangleup B)setminus C)$ that you started working on.
$$begin{split}
xin Abigtriangleup(Bsetminus C) &iff left[xin Asetminus(Bsetminus C)right]veeleft[xin(Bsetminus C)setminus Aright] \
&iff left[xin Awedge xnotin(Bsetminus C)right]veeleft[xin(Bsetminus C)wedge xnotin Aright] \
&iff left[xin Awedgenegleft(xin Bwedge xnotin Cright)right]veeleft[xin Bwedge xnotin Cwedge xnotin Aright] \
&iff left[xin Awedgeleft(xnotin Bvee xin Cright)right]veeleft[xnotin Awedge xin Bwedge xnotin Cright] \
&iff left[xin Awedge xnotin Bright]veeleft[xin Awedge xin Cright]veeleft[xnotin Awedge xin Bwedge xnotin Cright].
end{split}$$
Each part of the last expression describes a piece in the Venn diagram for $Abigtriangleup(Bsetminus C)$. In particular, $left[xin Awedge xnotin Bright]$ is $Asetminus B$, but it includes two pieces of the Venn diagram, and we can see that we'd like to separate them:
$$begin{split}
xin Awedge xnotin B &iff xin Awedge xnotin Bwedgeleft(xin Cvee xnotin Cright) \
&iff left[xin Awedge xnotin Bwedge xin Cright]veeleft[xin Awedge xnotin Bwedge xnotin Cright].
end{split}$$
If we put it back into the last step above, then we'll get that $xin Abigtriangleup(Bsetminus C)$ iff
$$left[xin Awedge xnotin Bwedge xin Cright]veeleft[xin Awedge xnotin Bwedge xnotin Cright]veeleft[xin Awedge xin Cright]veeleft[xnotin Awedge xin Bwedge xnotin Cright].$$
Moreover, we should observe that $left[xin Awedge xnotin Bwedge xin Cright]$ is "included" in, i.e. describes a subset of, $left[xin Awedge xin Cright]$. We can work it out using or and and in the same fashion (I'll leave that to you), but the bottom line is that the former ends up being "consumed" by the latter, so we'll get that $xin Abigtriangleup(Bsetminus C)$ iff
$$color{blue}{left[xin Awedge xnotin Bwedge xnotin Cright]veeleft[xnotin Awedge xin Bwedge xnotin Cright]}veecolor{red}{left[xin Awedge xin Cright]}.$$
Note that the blue parts are precisely what is included on the other diagram, while the red part describes $Acap C$ — which is precisely what distinguishes the two diagrams.
Now, if we work out $(Abigtriangleup B)setminus C$ in a similar fashion, we'll end precisely with the blue expression. That will show that the two are equal iff $Acap C=varnothing$.
NOTE: I do realize that this solution seems lengthy and difficult. Yes, it is lengthy and tedious, but it's completely dictated by the pictures. From the visual point of view, I'd say it's pretty straightforward.
$endgroup$
$begingroup$
Thank you so much! Now I understand it. I tried a similar way but in the end I didn't know that I can use $land (x in C lor x notin C)$.
$endgroup$
– Nemanja Djordjevic
Jan 8 at 1:19
add a comment |
$begingroup$
These are the Venn diagrams for both expressions. As we can see, they differ precisely by $Acap C$, which is why $Acap C=varnothing$ is required to make them equal. Also, notice that $(Abigtriangleup B)setminus Csubseteq Abigtriangleup(Bsetminus C)$ always; it's only the opposite inclusion that needs $Acap C=varnothing$.
If you're expected to prove the claim using just or and and logical connectors, then your first steps look good, but then I guess you should continue expanding all the definitions. Let's see how that looks for the inclusion $Abigtriangleup(Bsetminus C)subseteq(Abigtriangleup B)setminus C)$ that you started working on.
$$begin{split}
xin Abigtriangleup(Bsetminus C) &iff left[xin Asetminus(Bsetminus C)right]veeleft[xin(Bsetminus C)setminus Aright] \
&iff left[xin Awedge xnotin(Bsetminus C)right]veeleft[xin(Bsetminus C)wedge xnotin Aright] \
&iff left[xin Awedgenegleft(xin Bwedge xnotin Cright)right]veeleft[xin Bwedge xnotin Cwedge xnotin Aright] \
&iff left[xin Awedgeleft(xnotin Bvee xin Cright)right]veeleft[xnotin Awedge xin Bwedge xnotin Cright] \
&iff left[xin Awedge xnotin Bright]veeleft[xin Awedge xin Cright]veeleft[xnotin Awedge xin Bwedge xnotin Cright].
end{split}$$
Each part of the last expression describes a piece in the Venn diagram for $Abigtriangleup(Bsetminus C)$. In particular, $left[xin Awedge xnotin Bright]$ is $Asetminus B$, but it includes two pieces of the Venn diagram, and we can see that we'd like to separate them:
$$begin{split}
xin Awedge xnotin B &iff xin Awedge xnotin Bwedgeleft(xin Cvee xnotin Cright) \
&iff left[xin Awedge xnotin Bwedge xin Cright]veeleft[xin Awedge xnotin Bwedge xnotin Cright].
end{split}$$
If we put it back into the last step above, then we'll get that $xin Abigtriangleup(Bsetminus C)$ iff
$$left[xin Awedge xnotin Bwedge xin Cright]veeleft[xin Awedge xnotin Bwedge xnotin Cright]veeleft[xin Awedge xin Cright]veeleft[xnotin Awedge xin Bwedge xnotin Cright].$$
Moreover, we should observe that $left[xin Awedge xnotin Bwedge xin Cright]$ is "included" in, i.e. describes a subset of, $left[xin Awedge xin Cright]$. We can work it out using or and and in the same fashion (I'll leave that to you), but the bottom line is that the former ends up being "consumed" by the latter, so we'll get that $xin Abigtriangleup(Bsetminus C)$ iff
$$color{blue}{left[xin Awedge xnotin Bwedge xnotin Cright]veeleft[xnotin Awedge xin Bwedge xnotin Cright]}veecolor{red}{left[xin Awedge xin Cright]}.$$
Note that the blue parts are precisely what is included on the other diagram, while the red part describes $Acap C$ — which is precisely what distinguishes the two diagrams.
Now, if we work out $(Abigtriangleup B)setminus C$ in a similar fashion, we'll end precisely with the blue expression. That will show that the two are equal iff $Acap C=varnothing$.
NOTE: I do realize that this solution seems lengthy and difficult. Yes, it is lengthy and tedious, but it's completely dictated by the pictures. From the visual point of view, I'd say it's pretty straightforward.
$endgroup$
$begingroup$
Thank you so much! Now I understand it. I tried a similar way but in the end I didn't know that I can use $land (x in C lor x notin C)$.
$endgroup$
– Nemanja Djordjevic
Jan 8 at 1:19
add a comment |
$begingroup$
These are the Venn diagrams for both expressions. As we can see, they differ precisely by $Acap C$, which is why $Acap C=varnothing$ is required to make them equal. Also, notice that $(Abigtriangleup B)setminus Csubseteq Abigtriangleup(Bsetminus C)$ always; it's only the opposite inclusion that needs $Acap C=varnothing$.
If you're expected to prove the claim using just or and and logical connectors, then your first steps look good, but then I guess you should continue expanding all the definitions. Let's see how that looks for the inclusion $Abigtriangleup(Bsetminus C)subseteq(Abigtriangleup B)setminus C)$ that you started working on.
$$begin{split}
xin Abigtriangleup(Bsetminus C) &iff left[xin Asetminus(Bsetminus C)right]veeleft[xin(Bsetminus C)setminus Aright] \
&iff left[xin Awedge xnotin(Bsetminus C)right]veeleft[xin(Bsetminus C)wedge xnotin Aright] \
&iff left[xin Awedgenegleft(xin Bwedge xnotin Cright)right]veeleft[xin Bwedge xnotin Cwedge xnotin Aright] \
&iff left[xin Awedgeleft(xnotin Bvee xin Cright)right]veeleft[xnotin Awedge xin Bwedge xnotin Cright] \
&iff left[xin Awedge xnotin Bright]veeleft[xin Awedge xin Cright]veeleft[xnotin Awedge xin Bwedge xnotin Cright].
end{split}$$
Each part of the last expression describes a piece in the Venn diagram for $Abigtriangleup(Bsetminus C)$. In particular, $left[xin Awedge xnotin Bright]$ is $Asetminus B$, but it includes two pieces of the Venn diagram, and we can see that we'd like to separate them:
$$begin{split}
xin Awedge xnotin B &iff xin Awedge xnotin Bwedgeleft(xin Cvee xnotin Cright) \
&iff left[xin Awedge xnotin Bwedge xin Cright]veeleft[xin Awedge xnotin Bwedge xnotin Cright].
end{split}$$
If we put it back into the last step above, then we'll get that $xin Abigtriangleup(Bsetminus C)$ iff
$$left[xin Awedge xnotin Bwedge xin Cright]veeleft[xin Awedge xnotin Bwedge xnotin Cright]veeleft[xin Awedge xin Cright]veeleft[xnotin Awedge xin Bwedge xnotin Cright].$$
Moreover, we should observe that $left[xin Awedge xnotin Bwedge xin Cright]$ is "included" in, i.e. describes a subset of, $left[xin Awedge xin Cright]$. We can work it out using or and and in the same fashion (I'll leave that to you), but the bottom line is that the former ends up being "consumed" by the latter, so we'll get that $xin Abigtriangleup(Bsetminus C)$ iff
$$color{blue}{left[xin Awedge xnotin Bwedge xnotin Cright]veeleft[xnotin Awedge xin Bwedge xnotin Cright]}veecolor{red}{left[xin Awedge xin Cright]}.$$
Note that the blue parts are precisely what is included on the other diagram, while the red part describes $Acap C$ — which is precisely what distinguishes the two diagrams.
Now, if we work out $(Abigtriangleup B)setminus C$ in a similar fashion, we'll end precisely with the blue expression. That will show that the two are equal iff $Acap C=varnothing$.
NOTE: I do realize that this solution seems lengthy and difficult. Yes, it is lengthy and tedious, but it's completely dictated by the pictures. From the visual point of view, I'd say it's pretty straightforward.
$endgroup$
These are the Venn diagrams for both expressions. As we can see, they differ precisely by $Acap C$, which is why $Acap C=varnothing$ is required to make them equal. Also, notice that $(Abigtriangleup B)setminus Csubseteq Abigtriangleup(Bsetminus C)$ always; it's only the opposite inclusion that needs $Acap C=varnothing$.
If you're expected to prove the claim using just or and and logical connectors, then your first steps look good, but then I guess you should continue expanding all the definitions. Let's see how that looks for the inclusion $Abigtriangleup(Bsetminus C)subseteq(Abigtriangleup B)setminus C)$ that you started working on.
$$begin{split}
xin Abigtriangleup(Bsetminus C) &iff left[xin Asetminus(Bsetminus C)right]veeleft[xin(Bsetminus C)setminus Aright] \
&iff left[xin Awedge xnotin(Bsetminus C)right]veeleft[xin(Bsetminus C)wedge xnotin Aright] \
&iff left[xin Awedgenegleft(xin Bwedge xnotin Cright)right]veeleft[xin Bwedge xnotin Cwedge xnotin Aright] \
&iff left[xin Awedgeleft(xnotin Bvee xin Cright)right]veeleft[xnotin Awedge xin Bwedge xnotin Cright] \
&iff left[xin Awedge xnotin Bright]veeleft[xin Awedge xin Cright]veeleft[xnotin Awedge xin Bwedge xnotin Cright].
end{split}$$
Each part of the last expression describes a piece in the Venn diagram for $Abigtriangleup(Bsetminus C)$. In particular, $left[xin Awedge xnotin Bright]$ is $Asetminus B$, but it includes two pieces of the Venn diagram, and we can see that we'd like to separate them:
$$begin{split}
xin Awedge xnotin B &iff xin Awedge xnotin Bwedgeleft(xin Cvee xnotin Cright) \
&iff left[xin Awedge xnotin Bwedge xin Cright]veeleft[xin Awedge xnotin Bwedge xnotin Cright].
end{split}$$
If we put it back into the last step above, then we'll get that $xin Abigtriangleup(Bsetminus C)$ iff
$$left[xin Awedge xnotin Bwedge xin Cright]veeleft[xin Awedge xnotin Bwedge xnotin Cright]veeleft[xin Awedge xin Cright]veeleft[xnotin Awedge xin Bwedge xnotin Cright].$$
Moreover, we should observe that $left[xin Awedge xnotin Bwedge xin Cright]$ is "included" in, i.e. describes a subset of, $left[xin Awedge xin Cright]$. We can work it out using or and and in the same fashion (I'll leave that to you), but the bottom line is that the former ends up being "consumed" by the latter, so we'll get that $xin Abigtriangleup(Bsetminus C)$ iff
$$color{blue}{left[xin Awedge xnotin Bwedge xnotin Cright]veeleft[xnotin Awedge xin Bwedge xnotin Cright]}veecolor{red}{left[xin Awedge xin Cright]}.$$
Note that the blue parts are precisely what is included on the other diagram, while the red part describes $Acap C$ — which is precisely what distinguishes the two diagrams.
Now, if we work out $(Abigtriangleup B)setminus C$ in a similar fashion, we'll end precisely with the blue expression. That will show that the two are equal iff $Acap C=varnothing$.
NOTE: I do realize that this solution seems lengthy and difficult. Yes, it is lengthy and tedious, but it's completely dictated by the pictures. From the visual point of view, I'd say it's pretty straightforward.
edited Jan 8 at 1:45
answered Jan 5 at 18:13
zipirovichzipirovich
11.2k11631
11.2k11631
$begingroup$
Thank you so much! Now I understand it. I tried a similar way but in the end I didn't know that I can use $land (x in C lor x notin C)$.
$endgroup$
– Nemanja Djordjevic
Jan 8 at 1:19
add a comment |
$begingroup$
Thank you so much! Now I understand it. I tried a similar way but in the end I didn't know that I can use $land (x in C lor x notin C)$.
$endgroup$
– Nemanja Djordjevic
Jan 8 at 1:19
$begingroup$
Thank you so much! Now I understand it. I tried a similar way but in the end I didn't know that I can use $land (x in C lor x notin C)$.
$endgroup$
– Nemanja Djordjevic
Jan 8 at 1:19
$begingroup$
Thank you so much! Now I understand it. I tried a similar way but in the end I didn't know that I can use $land (x in C lor x notin C)$.
$endgroup$
– Nemanja Djordjevic
Jan 8 at 1:19
add a comment |
$begingroup$
We wish to prove the following theorem:
$$
Atriangle(Bsetminus C) = (Atriangle B)setminus C quad Leftrightarrow quad Acap C=emptyset
$$
I don't particularly like obfuscating what is going on behind the symmetric difference and set-minus operators, so let us unwind that a bit:
$$
[Asetminus(Bsetminus C)]cup[(Bsetminus C)setminus A] = ([Asetminus B] cup [Bsetminus A])setminus C quad Leftrightarrow quad Acap C=emptyset
$$
$$
[Acap(Bcap C^c)^c]cup[(Bcap C^c)cap A^c] = ([Acap B^c] cup [Bcap A^c])cap C^c quad Leftrightarrow quad Acap C=emptyset
$$
$$
[Acap(B^ccup C)]cup[(Bcap C^c)cap A^c] = ([Acap B^c] cup [Bcap A^c])cap C^c quad Leftrightarrow quad Acap C=emptyset
$$
Now, if you squint really hard at that last line, you will see that the $Leftarrow$ direction is incredibly easy to prove! Just distribute various intersections over various unions and utilize the hypothesis that $Acap C=emptyset$ (which is equivalent to $Acap C^c=A$). You will be left with $X=X$, which is true.
For the $Rightarrow$ direction, things are a bit harder. I would recommend approaching this via the contrapositive; assume that $Acap Cneqemptyset$ and try and prove that $Atriangle(Bsetminus C) neq (Atriangle B)setminus C$. If you do this, then again we find that the proof is very straightforaward:
$$
[Acap(B^ccup C)]cup[(Bcap C^c)cap A^c] stackrel{?}{=} ([Acap B^c] cup [Bcap A^c])cap C^c
$$
$$
[Acap B^c]cup[Acap C]cup[Bcap A^ccap C^c] stackrel{?}{=} [Acap B^ccap C^c] cup [Bcap A^ccap C^c]
$$
On the RHS we have the union of two disjoint sets. One of those sets also appears on the LHS, but the other is a proper subset of the first two bracketed sets on the LHS. Thus, equality is impossible!
This answer is not completely rigorous, because I got lazy and didn't want to name the element that belongs to the LHS and not the RHS for the inequality argument. However, it should be a good enough starting point for you to finish this completely.
$endgroup$
$begingroup$
this supposed to be an easy proof :(
$endgroup$
– Nemanja Djordjevic
Jan 5 at 3:00
1
$begingroup$
@NemanjaDjordjevic To be fair, this is an easy argument. It just happens to also look long and messy. Perhaps there is a slick and fast way, but for me this makes the most sense and is the easiest proof I could come up with.
$endgroup$
– ItsJustTranscendenceBro
Jan 5 at 3:01
$begingroup$
Thank you very much!
$endgroup$
– Nemanja Djordjevic
Jan 5 at 3:03
add a comment |
$begingroup$
We wish to prove the following theorem:
$$
Atriangle(Bsetminus C) = (Atriangle B)setminus C quad Leftrightarrow quad Acap C=emptyset
$$
I don't particularly like obfuscating what is going on behind the symmetric difference and set-minus operators, so let us unwind that a bit:
$$
[Asetminus(Bsetminus C)]cup[(Bsetminus C)setminus A] = ([Asetminus B] cup [Bsetminus A])setminus C quad Leftrightarrow quad Acap C=emptyset
$$
$$
[Acap(Bcap C^c)^c]cup[(Bcap C^c)cap A^c] = ([Acap B^c] cup [Bcap A^c])cap C^c quad Leftrightarrow quad Acap C=emptyset
$$
$$
[Acap(B^ccup C)]cup[(Bcap C^c)cap A^c] = ([Acap B^c] cup [Bcap A^c])cap C^c quad Leftrightarrow quad Acap C=emptyset
$$
Now, if you squint really hard at that last line, you will see that the $Leftarrow$ direction is incredibly easy to prove! Just distribute various intersections over various unions and utilize the hypothesis that $Acap C=emptyset$ (which is equivalent to $Acap C^c=A$). You will be left with $X=X$, which is true.
For the $Rightarrow$ direction, things are a bit harder. I would recommend approaching this via the contrapositive; assume that $Acap Cneqemptyset$ and try and prove that $Atriangle(Bsetminus C) neq (Atriangle B)setminus C$. If you do this, then again we find that the proof is very straightforaward:
$$
[Acap(B^ccup C)]cup[(Bcap C^c)cap A^c] stackrel{?}{=} ([Acap B^c] cup [Bcap A^c])cap C^c
$$
$$
[Acap B^c]cup[Acap C]cup[Bcap A^ccap C^c] stackrel{?}{=} [Acap B^ccap C^c] cup [Bcap A^ccap C^c]
$$
On the RHS we have the union of two disjoint sets. One of those sets also appears on the LHS, but the other is a proper subset of the first two bracketed sets on the LHS. Thus, equality is impossible!
This answer is not completely rigorous, because I got lazy and didn't want to name the element that belongs to the LHS and not the RHS for the inequality argument. However, it should be a good enough starting point for you to finish this completely.
$endgroup$
$begingroup$
this supposed to be an easy proof :(
$endgroup$
– Nemanja Djordjevic
Jan 5 at 3:00
1
$begingroup$
@NemanjaDjordjevic To be fair, this is an easy argument. It just happens to also look long and messy. Perhaps there is a slick and fast way, but for me this makes the most sense and is the easiest proof I could come up with.
$endgroup$
– ItsJustTranscendenceBro
Jan 5 at 3:01
$begingroup$
Thank you very much!
$endgroup$
– Nemanja Djordjevic
Jan 5 at 3:03
add a comment |
$begingroup$
We wish to prove the following theorem:
$$
Atriangle(Bsetminus C) = (Atriangle B)setminus C quad Leftrightarrow quad Acap C=emptyset
$$
I don't particularly like obfuscating what is going on behind the symmetric difference and set-minus operators, so let us unwind that a bit:
$$
[Asetminus(Bsetminus C)]cup[(Bsetminus C)setminus A] = ([Asetminus B] cup [Bsetminus A])setminus C quad Leftrightarrow quad Acap C=emptyset
$$
$$
[Acap(Bcap C^c)^c]cup[(Bcap C^c)cap A^c] = ([Acap B^c] cup [Bcap A^c])cap C^c quad Leftrightarrow quad Acap C=emptyset
$$
$$
[Acap(B^ccup C)]cup[(Bcap C^c)cap A^c] = ([Acap B^c] cup [Bcap A^c])cap C^c quad Leftrightarrow quad Acap C=emptyset
$$
Now, if you squint really hard at that last line, you will see that the $Leftarrow$ direction is incredibly easy to prove! Just distribute various intersections over various unions and utilize the hypothesis that $Acap C=emptyset$ (which is equivalent to $Acap C^c=A$). You will be left with $X=X$, which is true.
For the $Rightarrow$ direction, things are a bit harder. I would recommend approaching this via the contrapositive; assume that $Acap Cneqemptyset$ and try and prove that $Atriangle(Bsetminus C) neq (Atriangle B)setminus C$. If you do this, then again we find that the proof is very straightforaward:
$$
[Acap(B^ccup C)]cup[(Bcap C^c)cap A^c] stackrel{?}{=} ([Acap B^c] cup [Bcap A^c])cap C^c
$$
$$
[Acap B^c]cup[Acap C]cup[Bcap A^ccap C^c] stackrel{?}{=} [Acap B^ccap C^c] cup [Bcap A^ccap C^c]
$$
On the RHS we have the union of two disjoint sets. One of those sets also appears on the LHS, but the other is a proper subset of the first two bracketed sets on the LHS. Thus, equality is impossible!
This answer is not completely rigorous, because I got lazy and didn't want to name the element that belongs to the LHS and not the RHS for the inequality argument. However, it should be a good enough starting point for you to finish this completely.
$endgroup$
We wish to prove the following theorem:
$$
Atriangle(Bsetminus C) = (Atriangle B)setminus C quad Leftrightarrow quad Acap C=emptyset
$$
I don't particularly like obfuscating what is going on behind the symmetric difference and set-minus operators, so let us unwind that a bit:
$$
[Asetminus(Bsetminus C)]cup[(Bsetminus C)setminus A] = ([Asetminus B] cup [Bsetminus A])setminus C quad Leftrightarrow quad Acap C=emptyset
$$
$$
[Acap(Bcap C^c)^c]cup[(Bcap C^c)cap A^c] = ([Acap B^c] cup [Bcap A^c])cap C^c quad Leftrightarrow quad Acap C=emptyset
$$
$$
[Acap(B^ccup C)]cup[(Bcap C^c)cap A^c] = ([Acap B^c] cup [Bcap A^c])cap C^c quad Leftrightarrow quad Acap C=emptyset
$$
Now, if you squint really hard at that last line, you will see that the $Leftarrow$ direction is incredibly easy to prove! Just distribute various intersections over various unions and utilize the hypothesis that $Acap C=emptyset$ (which is equivalent to $Acap C^c=A$). You will be left with $X=X$, which is true.
For the $Rightarrow$ direction, things are a bit harder. I would recommend approaching this via the contrapositive; assume that $Acap Cneqemptyset$ and try and prove that $Atriangle(Bsetminus C) neq (Atriangle B)setminus C$. If you do this, then again we find that the proof is very straightforaward:
$$
[Acap(B^ccup C)]cup[(Bcap C^c)cap A^c] stackrel{?}{=} ([Acap B^c] cup [Bcap A^c])cap C^c
$$
$$
[Acap B^c]cup[Acap C]cup[Bcap A^ccap C^c] stackrel{?}{=} [Acap B^ccap C^c] cup [Bcap A^ccap C^c]
$$
On the RHS we have the union of two disjoint sets. One of those sets also appears on the LHS, but the other is a proper subset of the first two bracketed sets on the LHS. Thus, equality is impossible!
This answer is not completely rigorous, because I got lazy and didn't want to name the element that belongs to the LHS and not the RHS for the inequality argument. However, it should be a good enough starting point for you to finish this completely.
answered Jan 5 at 2:47
ItsJustTranscendenceBroItsJustTranscendenceBro
1712
1712
$begingroup$
this supposed to be an easy proof :(
$endgroup$
– Nemanja Djordjevic
Jan 5 at 3:00
1
$begingroup$
@NemanjaDjordjevic To be fair, this is an easy argument. It just happens to also look long and messy. Perhaps there is a slick and fast way, but for me this makes the most sense and is the easiest proof I could come up with.
$endgroup$
– ItsJustTranscendenceBro
Jan 5 at 3:01
$begingroup$
Thank you very much!
$endgroup$
– Nemanja Djordjevic
Jan 5 at 3:03
add a comment |
$begingroup$
this supposed to be an easy proof :(
$endgroup$
– Nemanja Djordjevic
Jan 5 at 3:00
1
$begingroup$
@NemanjaDjordjevic To be fair, this is an easy argument. It just happens to also look long and messy. Perhaps there is a slick and fast way, but for me this makes the most sense and is the easiest proof I could come up with.
$endgroup$
– ItsJustTranscendenceBro
Jan 5 at 3:01
$begingroup$
Thank you very much!
$endgroup$
– Nemanja Djordjevic
Jan 5 at 3:03
$begingroup$
this supposed to be an easy proof :(
$endgroup$
– Nemanja Djordjevic
Jan 5 at 3:00
$begingroup$
this supposed to be an easy proof :(
$endgroup$
– Nemanja Djordjevic
Jan 5 at 3:00
1
1
$begingroup$
@NemanjaDjordjevic To be fair, this is an easy argument. It just happens to also look long and messy. Perhaps there is a slick and fast way, but for me this makes the most sense and is the easiest proof I could come up with.
$endgroup$
– ItsJustTranscendenceBro
Jan 5 at 3:01
$begingroup$
@NemanjaDjordjevic To be fair, this is an easy argument. It just happens to also look long and messy. Perhaps there is a slick and fast way, but for me this makes the most sense and is the easiest proof I could come up with.
$endgroup$
– ItsJustTranscendenceBro
Jan 5 at 3:01
$begingroup$
Thank you very much!
$endgroup$
– Nemanja Djordjevic
Jan 5 at 3:03
$begingroup$
Thank you very much!
$endgroup$
– Nemanja Djordjevic
Jan 5 at 3:03
add a comment |
$begingroup$
No that step is correct because in the case which $$[x in (A backslash B) backslash C)] vee [xin(B backslash A) backslash C]$$ $x$ doesn't belong to $C$ in either cases so that you can kick $C$ out of both the bracket cases. Note that this only proves that $$Atriangle(Bbackslash C)subseteq(Atriangle B)backslash C $$you will also need a converse proof on this theorem (which is as the same proof of direct side of the theorem in reverse direction).
Alternative proof
$$Atriangle (Bbackslash C){=Big[(B-C)-ABig]cupBig[A-(B-C)Big]\=Big[Bcap C'cap A']cupBig[Acap(Bcap C')'Big]\=Big[Bcap C'cap A']cupBig[Acap(B'cup C)Big]}$$and $$(Atriangle B)backslash C{=Big[(A-B)cup(B-A)Big]cap C'\=Big[Acap B'cap C'Big]cup Big[Bcap C'cap A'Big]\=Big[Acap (Bcup C)'Big]cup Big[Bcap C'cap A'Big]}$$then we need to show that $$Acap (Bcup C)'=Acap(B'cup C)iff Acap C=emptyset$$from the other side $$Big[Acap (Bcup C)'Big]cupBig[Acap CBig]{=AcapBig[(Bcup C)'cup CBig]\=AcapBig[(B'cap C')cup CBig]\=AcapBig[(B'cup C)cap (C'cup C)Big]\=AcapBig[(B'cup C)cap mathrm{U}Big]\=Acap(B'cup C)}$$where $mathrm{U}$ is the Universal Set. Also $$Big[Acap (Bcup C)'Big]capBig[Acap CBig]{=Big[Acap B'cap C'Big]capBig[Acap CBig]\=Acap B'cap C'cap C\=emptyset}$$therefore $$Acap (Bcup C)'=Acap(B'cup C)$$if and only if $$ Acap C=emptyset$$and the proof is complete.
$endgroup$
$begingroup$
What tells us that $xin(B backslash A) backslash C$ this is true?
$endgroup$
– Nemanja Djordjevic
Jan 5 at 4:12
$begingroup$
It means that $x$ belongs to $B$ but not to either $A$ or $C$. Another way of expressing it is as $$xin Bcap A'cap C'$$
$endgroup$
– Mostafa Ayaz
Jan 5 at 4:16
$begingroup$
But x belongs to B
$endgroup$
– Nemanja Djordjevic
Jan 5 at 4:17
$begingroup$
Sorry for the typo.........
$endgroup$
– Mostafa Ayaz
Jan 5 at 4:18
1
$begingroup$
Yes because the taking complementary then intersection operation is associative i.e. $$((A-B_1)-B_2)-cdots - B_n=Abigcap_{i=1}^{n}B_i'=Acapleft(bigcup_{i=1}^{n}B_iright)'$$
$endgroup$
– Mostafa Ayaz
Jan 5 at 4:29
|
show 3 more comments
$begingroup$
No that step is correct because in the case which $$[x in (A backslash B) backslash C)] vee [xin(B backslash A) backslash C]$$ $x$ doesn't belong to $C$ in either cases so that you can kick $C$ out of both the bracket cases. Note that this only proves that $$Atriangle(Bbackslash C)subseteq(Atriangle B)backslash C $$you will also need a converse proof on this theorem (which is as the same proof of direct side of the theorem in reverse direction).
Alternative proof
$$Atriangle (Bbackslash C){=Big[(B-C)-ABig]cupBig[A-(B-C)Big]\=Big[Bcap C'cap A']cupBig[Acap(Bcap C')'Big]\=Big[Bcap C'cap A']cupBig[Acap(B'cup C)Big]}$$and $$(Atriangle B)backslash C{=Big[(A-B)cup(B-A)Big]cap C'\=Big[Acap B'cap C'Big]cup Big[Bcap C'cap A'Big]\=Big[Acap (Bcup C)'Big]cup Big[Bcap C'cap A'Big]}$$then we need to show that $$Acap (Bcup C)'=Acap(B'cup C)iff Acap C=emptyset$$from the other side $$Big[Acap (Bcup C)'Big]cupBig[Acap CBig]{=AcapBig[(Bcup C)'cup CBig]\=AcapBig[(B'cap C')cup CBig]\=AcapBig[(B'cup C)cap (C'cup C)Big]\=AcapBig[(B'cup C)cap mathrm{U}Big]\=Acap(B'cup C)}$$where $mathrm{U}$ is the Universal Set. Also $$Big[Acap (Bcup C)'Big]capBig[Acap CBig]{=Big[Acap B'cap C'Big]capBig[Acap CBig]\=Acap B'cap C'cap C\=emptyset}$$therefore $$Acap (Bcup C)'=Acap(B'cup C)$$if and only if $$ Acap C=emptyset$$and the proof is complete.
$endgroup$
$begingroup$
What tells us that $xin(B backslash A) backslash C$ this is true?
$endgroup$
– Nemanja Djordjevic
Jan 5 at 4:12
$begingroup$
It means that $x$ belongs to $B$ but not to either $A$ or $C$. Another way of expressing it is as $$xin Bcap A'cap C'$$
$endgroup$
– Mostafa Ayaz
Jan 5 at 4:16
$begingroup$
But x belongs to B
$endgroup$
– Nemanja Djordjevic
Jan 5 at 4:17
$begingroup$
Sorry for the typo.........
$endgroup$
– Mostafa Ayaz
Jan 5 at 4:18
1
$begingroup$
Yes because the taking complementary then intersection operation is associative i.e. $$((A-B_1)-B_2)-cdots - B_n=Abigcap_{i=1}^{n}B_i'=Acapleft(bigcup_{i=1}^{n}B_iright)'$$
$endgroup$
– Mostafa Ayaz
Jan 5 at 4:29
|
show 3 more comments
$begingroup$
No that step is correct because in the case which $$[x in (A backslash B) backslash C)] vee [xin(B backslash A) backslash C]$$ $x$ doesn't belong to $C$ in either cases so that you can kick $C$ out of both the bracket cases. Note that this only proves that $$Atriangle(Bbackslash C)subseteq(Atriangle B)backslash C $$you will also need a converse proof on this theorem (which is as the same proof of direct side of the theorem in reverse direction).
Alternative proof
$$Atriangle (Bbackslash C){=Big[(B-C)-ABig]cupBig[A-(B-C)Big]\=Big[Bcap C'cap A']cupBig[Acap(Bcap C')'Big]\=Big[Bcap C'cap A']cupBig[Acap(B'cup C)Big]}$$and $$(Atriangle B)backslash C{=Big[(A-B)cup(B-A)Big]cap C'\=Big[Acap B'cap C'Big]cup Big[Bcap C'cap A'Big]\=Big[Acap (Bcup C)'Big]cup Big[Bcap C'cap A'Big]}$$then we need to show that $$Acap (Bcup C)'=Acap(B'cup C)iff Acap C=emptyset$$from the other side $$Big[Acap (Bcup C)'Big]cupBig[Acap CBig]{=AcapBig[(Bcup C)'cup CBig]\=AcapBig[(B'cap C')cup CBig]\=AcapBig[(B'cup C)cap (C'cup C)Big]\=AcapBig[(B'cup C)cap mathrm{U}Big]\=Acap(B'cup C)}$$where $mathrm{U}$ is the Universal Set. Also $$Big[Acap (Bcup C)'Big]capBig[Acap CBig]{=Big[Acap B'cap C'Big]capBig[Acap CBig]\=Acap B'cap C'cap C\=emptyset}$$therefore $$Acap (Bcup C)'=Acap(B'cup C)$$if and only if $$ Acap C=emptyset$$and the proof is complete.
$endgroup$
No that step is correct because in the case which $$[x in (A backslash B) backslash C)] vee [xin(B backslash A) backslash C]$$ $x$ doesn't belong to $C$ in either cases so that you can kick $C$ out of both the bracket cases. Note that this only proves that $$Atriangle(Bbackslash C)subseteq(Atriangle B)backslash C $$you will also need a converse proof on this theorem (which is as the same proof of direct side of the theorem in reverse direction).
Alternative proof
$$Atriangle (Bbackslash C){=Big[(B-C)-ABig]cupBig[A-(B-C)Big]\=Big[Bcap C'cap A']cupBig[Acap(Bcap C')'Big]\=Big[Bcap C'cap A']cupBig[Acap(B'cup C)Big]}$$and $$(Atriangle B)backslash C{=Big[(A-B)cup(B-A)Big]cap C'\=Big[Acap B'cap C'Big]cup Big[Bcap C'cap A'Big]\=Big[Acap (Bcup C)'Big]cup Big[Bcap C'cap A'Big]}$$then we need to show that $$Acap (Bcup C)'=Acap(B'cup C)iff Acap C=emptyset$$from the other side $$Big[Acap (Bcup C)'Big]cupBig[Acap CBig]{=AcapBig[(Bcup C)'cup CBig]\=AcapBig[(B'cap C')cup CBig]\=AcapBig[(B'cup C)cap (C'cup C)Big]\=AcapBig[(B'cup C)cap mathrm{U}Big]\=Acap(B'cup C)}$$where $mathrm{U}$ is the Universal Set. Also $$Big[Acap (Bcup C)'Big]capBig[Acap CBig]{=Big[Acap B'cap C'Big]capBig[Acap CBig]\=Acap B'cap C'cap C\=emptyset}$$therefore $$Acap (Bcup C)'=Acap(B'cup C)$$if and only if $$ Acap C=emptyset$$and the proof is complete.
edited Jan 5 at 5:44
answered Jan 5 at 4:03
Mostafa AyazMostafa Ayaz
15.4k3939
15.4k3939
$begingroup$
What tells us that $xin(B backslash A) backslash C$ this is true?
$endgroup$
– Nemanja Djordjevic
Jan 5 at 4:12
$begingroup$
It means that $x$ belongs to $B$ but not to either $A$ or $C$. Another way of expressing it is as $$xin Bcap A'cap C'$$
$endgroup$
– Mostafa Ayaz
Jan 5 at 4:16
$begingroup$
But x belongs to B
$endgroup$
– Nemanja Djordjevic
Jan 5 at 4:17
$begingroup$
Sorry for the typo.........
$endgroup$
– Mostafa Ayaz
Jan 5 at 4:18
1
$begingroup$
Yes because the taking complementary then intersection operation is associative i.e. $$((A-B_1)-B_2)-cdots - B_n=Abigcap_{i=1}^{n}B_i'=Acapleft(bigcup_{i=1}^{n}B_iright)'$$
$endgroup$
– Mostafa Ayaz
Jan 5 at 4:29
|
show 3 more comments
$begingroup$
What tells us that $xin(B backslash A) backslash C$ this is true?
$endgroup$
– Nemanja Djordjevic
Jan 5 at 4:12
$begingroup$
It means that $x$ belongs to $B$ but not to either $A$ or $C$. Another way of expressing it is as $$xin Bcap A'cap C'$$
$endgroup$
– Mostafa Ayaz
Jan 5 at 4:16
$begingroup$
But x belongs to B
$endgroup$
– Nemanja Djordjevic
Jan 5 at 4:17
$begingroup$
Sorry for the typo.........
$endgroup$
– Mostafa Ayaz
Jan 5 at 4:18
1
$begingroup$
Yes because the taking complementary then intersection operation is associative i.e. $$((A-B_1)-B_2)-cdots - B_n=Abigcap_{i=1}^{n}B_i'=Acapleft(bigcup_{i=1}^{n}B_iright)'$$
$endgroup$
– Mostafa Ayaz
Jan 5 at 4:29
$begingroup$
What tells us that $xin(B backslash A) backslash C$ this is true?
$endgroup$
– Nemanja Djordjevic
Jan 5 at 4:12
$begingroup$
What tells us that $xin(B backslash A) backslash C$ this is true?
$endgroup$
– Nemanja Djordjevic
Jan 5 at 4:12
$begingroup$
It means that $x$ belongs to $B$ but not to either $A$ or $C$. Another way of expressing it is as $$xin Bcap A'cap C'$$
$endgroup$
– Mostafa Ayaz
Jan 5 at 4:16
$begingroup$
It means that $x$ belongs to $B$ but not to either $A$ or $C$. Another way of expressing it is as $$xin Bcap A'cap C'$$
$endgroup$
– Mostafa Ayaz
Jan 5 at 4:16
$begingroup$
But x belongs to B
$endgroup$
– Nemanja Djordjevic
Jan 5 at 4:17
$begingroup$
But x belongs to B
$endgroup$
– Nemanja Djordjevic
Jan 5 at 4:17
$begingroup$
Sorry for the typo.........
$endgroup$
– Mostafa Ayaz
Jan 5 at 4:18
$begingroup$
Sorry for the typo.........
$endgroup$
– Mostafa Ayaz
Jan 5 at 4:18
1
1
$begingroup$
Yes because the taking complementary then intersection operation is associative i.e. $$((A-B_1)-B_2)-cdots - B_n=Abigcap_{i=1}^{n}B_i'=Acapleft(bigcup_{i=1}^{n}B_iright)'$$
$endgroup$
– Mostafa Ayaz
Jan 5 at 4:29
$begingroup$
Yes because the taking complementary then intersection operation is associative i.e. $$((A-B_1)-B_2)-cdots - B_n=Abigcap_{i=1}^{n}B_i'=Acapleft(bigcup_{i=1}^{n}B_iright)'$$
$endgroup$
– Mostafa Ayaz
Jan 5 at 4:29
|
show 3 more comments
$begingroup$
OK, we want to show
$$A Delta (B setminus C) = (A Delta B)setminus C Leftrightarrow A cap C = emptyset$$
Assume we have $A cap C neq emptyset$ (so trying for the contrapositive, which seems easier as it gives us something concrete to work with). Hence we have some $p in A cap C$. Case 1: $p in B$, then $p notin (B setminus C)$ (as $p in C$) but also $p in A$, so $p in A Delta (B setminus C)$ but on the other hand $p notin A Delta B$ so $p notin (A Delta B) setminus C$ so we have disproved the LHS identity in this case. Case 2: $p notin B$, then $p in A Delta B$ (and still $p in C$) so $p notin (A Delta B) setminus C$, and $p notin B setminus C$ and still $p in A$ so $p in A Delta (Bsetminus C)$ as in case 1, we have disproved the identity again.
Now assume that $A cap C = emptyset$ holds. We want to show the LHS identity which is really two inclusions. So suppose $x in A Delta (B setminus C)$, so case 1: $x in A$ and $x notin B setminus C$. As $x notin C$ (as otherwise $A cap C neq emptyset$) we know also that $x notin B$ (or else $x in B setminus C)$ after all) and so $x in (A Delta B)setminus C$, so the left to right inclusion holds for case 1. Case 2: $x notin A$ and $x in B setminus C$, and then $x in B$ and $x notin C$ and so $x in (A Delta B)setminus C$ and so the left to right inclusion also holds in case 2. So we're done with that inclusion. Now suppose that $x in (A Delta B) setminus C$ so $x in A Delta B$ and $x notin C$. Again 2 cases: case 1: $x in A$, $x notin B$, but then $x notin B setminus C$ and so $x in A Delta (B setminus C)$ and the right to left inclusion holds. Case 2: $x notin A$ and $x in B$, and then $x in B setminus C$ and so $x in A Delta (B setminus C)$ and the right to left inclusion holds (without even using $A cap C = emptyset$, so that inclusion always holds). So we have the LHS equality when $A$ and $C$ are disjoint.
$endgroup$
add a comment |
$begingroup$
OK, we want to show
$$A Delta (B setminus C) = (A Delta B)setminus C Leftrightarrow A cap C = emptyset$$
Assume we have $A cap C neq emptyset$ (so trying for the contrapositive, which seems easier as it gives us something concrete to work with). Hence we have some $p in A cap C$. Case 1: $p in B$, then $p notin (B setminus C)$ (as $p in C$) but also $p in A$, so $p in A Delta (B setminus C)$ but on the other hand $p notin A Delta B$ so $p notin (A Delta B) setminus C$ so we have disproved the LHS identity in this case. Case 2: $p notin B$, then $p in A Delta B$ (and still $p in C$) so $p notin (A Delta B) setminus C$, and $p notin B setminus C$ and still $p in A$ so $p in A Delta (Bsetminus C)$ as in case 1, we have disproved the identity again.
Now assume that $A cap C = emptyset$ holds. We want to show the LHS identity which is really two inclusions. So suppose $x in A Delta (B setminus C)$, so case 1: $x in A$ and $x notin B setminus C$. As $x notin C$ (as otherwise $A cap C neq emptyset$) we know also that $x notin B$ (or else $x in B setminus C)$ after all) and so $x in (A Delta B)setminus C$, so the left to right inclusion holds for case 1. Case 2: $x notin A$ and $x in B setminus C$, and then $x in B$ and $x notin C$ and so $x in (A Delta B)setminus C$ and so the left to right inclusion also holds in case 2. So we're done with that inclusion. Now suppose that $x in (A Delta B) setminus C$ so $x in A Delta B$ and $x notin C$. Again 2 cases: case 1: $x in A$, $x notin B$, but then $x notin B setminus C$ and so $x in A Delta (B setminus C)$ and the right to left inclusion holds. Case 2: $x notin A$ and $x in B$, and then $x in B setminus C$ and so $x in A Delta (B setminus C)$ and the right to left inclusion holds (without even using $A cap C = emptyset$, so that inclusion always holds). So we have the LHS equality when $A$ and $C$ are disjoint.
$endgroup$
add a comment |
$begingroup$
OK, we want to show
$$A Delta (B setminus C) = (A Delta B)setminus C Leftrightarrow A cap C = emptyset$$
Assume we have $A cap C neq emptyset$ (so trying for the contrapositive, which seems easier as it gives us something concrete to work with). Hence we have some $p in A cap C$. Case 1: $p in B$, then $p notin (B setminus C)$ (as $p in C$) but also $p in A$, so $p in A Delta (B setminus C)$ but on the other hand $p notin A Delta B$ so $p notin (A Delta B) setminus C$ so we have disproved the LHS identity in this case. Case 2: $p notin B$, then $p in A Delta B$ (and still $p in C$) so $p notin (A Delta B) setminus C$, and $p notin B setminus C$ and still $p in A$ so $p in A Delta (Bsetminus C)$ as in case 1, we have disproved the identity again.
Now assume that $A cap C = emptyset$ holds. We want to show the LHS identity which is really two inclusions. So suppose $x in A Delta (B setminus C)$, so case 1: $x in A$ and $x notin B setminus C$. As $x notin C$ (as otherwise $A cap C neq emptyset$) we know also that $x notin B$ (or else $x in B setminus C)$ after all) and so $x in (A Delta B)setminus C$, so the left to right inclusion holds for case 1. Case 2: $x notin A$ and $x in B setminus C$, and then $x in B$ and $x notin C$ and so $x in (A Delta B)setminus C$ and so the left to right inclusion also holds in case 2. So we're done with that inclusion. Now suppose that $x in (A Delta B) setminus C$ so $x in A Delta B$ and $x notin C$. Again 2 cases: case 1: $x in A$, $x notin B$, but then $x notin B setminus C$ and so $x in A Delta (B setminus C)$ and the right to left inclusion holds. Case 2: $x notin A$ and $x in B$, and then $x in B setminus C$ and so $x in A Delta (B setminus C)$ and the right to left inclusion holds (without even using $A cap C = emptyset$, so that inclusion always holds). So we have the LHS equality when $A$ and $C$ are disjoint.
$endgroup$
OK, we want to show
$$A Delta (B setminus C) = (A Delta B)setminus C Leftrightarrow A cap C = emptyset$$
Assume we have $A cap C neq emptyset$ (so trying for the contrapositive, which seems easier as it gives us something concrete to work with). Hence we have some $p in A cap C$. Case 1: $p in B$, then $p notin (B setminus C)$ (as $p in C$) but also $p in A$, so $p in A Delta (B setminus C)$ but on the other hand $p notin A Delta B$ so $p notin (A Delta B) setminus C$ so we have disproved the LHS identity in this case. Case 2: $p notin B$, then $p in A Delta B$ (and still $p in C$) so $p notin (A Delta B) setminus C$, and $p notin B setminus C$ and still $p in A$ so $p in A Delta (Bsetminus C)$ as in case 1, we have disproved the identity again.
Now assume that $A cap C = emptyset$ holds. We want to show the LHS identity which is really two inclusions. So suppose $x in A Delta (B setminus C)$, so case 1: $x in A$ and $x notin B setminus C$. As $x notin C$ (as otherwise $A cap C neq emptyset$) we know also that $x notin B$ (or else $x in B setminus C)$ after all) and so $x in (A Delta B)setminus C$, so the left to right inclusion holds for case 1. Case 2: $x notin A$ and $x in B setminus C$, and then $x in B$ and $x notin C$ and so $x in (A Delta B)setminus C$ and so the left to right inclusion also holds in case 2. So we're done with that inclusion. Now suppose that $x in (A Delta B) setminus C$ so $x in A Delta B$ and $x notin C$. Again 2 cases: case 1: $x in A$, $x notin B$, but then $x notin B setminus C$ and so $x in A Delta (B setminus C)$ and the right to left inclusion holds. Case 2: $x notin A$ and $x in B$, and then $x in B setminus C$ and so $x in A Delta (B setminus C)$ and the right to left inclusion holds (without even using $A cap C = emptyset$, so that inclusion always holds). So we have the LHS equality when $A$ and $C$ are disjoint.
answered Jan 5 at 6:43
Henno BrandsmaHenno Brandsma
106k347114
106k347114
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%2f3062327%2fprove-a-triangleb-backslash-c-a-triangle-b-backslash-c-iff-a-cap-c-emp%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$
Yes, that step is indeed wrong, because the set difference operation is not associative, so let's not do that. I'd suggest that you start by drawing Venn diagrams for both $Abigtriangleup(Bsetminus C)$ and $(Abigtriangleup B)setminus C$. You will see that, in general, they are not equal, as well as why $Acap C=varnothing$ is needed to make them equal. That may give you a hint how to approach the problem.
$endgroup$
– zipirovich
Jan 5 at 2:06
$begingroup$
I still don't know.
$endgroup$
– Nemanja Djordjevic
Jan 5 at 2:15
$begingroup$
Did you draw Venn diagrams for both expressions?
$endgroup$
– zipirovich
Jan 5 at 2:17
$begingroup$
yes and they are the same
$endgroup$
– Nemanja Djordjevic
Jan 5 at 2:35
$begingroup$
No, they are not.
$endgroup$
– zipirovich
Jan 5 at 2:36