sets theory-Realation proof question
Let $A,B,C$ and $R,S,T$ be sets.
And assume that
$$ R subseteq A times B, ~~ S subseteq B times C, ~~
T subseteq B times C.$$
Then, I want to show that
$$
begin{equation}
(S circ R) cap (T circ R) subseteq (Scap T) circ R, \
(S circ R) cup (T circ R) = (S cup T) circ R.
end{equation}
$$
I tried solving this for hours.
I have no idea to even handle this.
I would love any kind of help or assistence.
Thank you.
discrete-mathematics proof-explanation relations
New contributor
add a comment |
Let $A,B,C$ and $R,S,T$ be sets.
And assume that
$$ R subseteq A times B, ~~ S subseteq B times C, ~~
T subseteq B times C.$$
Then, I want to show that
$$
begin{equation}
(S circ R) cap (T circ R) subseteq (Scap T) circ R, \
(S circ R) cup (T circ R) = (S cup T) circ R.
end{equation}
$$
I tried solving this for hours.
I have no idea to even handle this.
I would love any kind of help or assistence.
Thank you.
discrete-mathematics proof-explanation relations
New contributor
Welcome to MSE. Your question is phrased as an isolated problem, without any further information or context. This does not match many users' quality standards, so it may attract downvotes, or be put on hold. To prevent that, please edit the question. This will help you recognise and resolve the issues. Concretely: please provide context, and include your work and thoughts on the problem. These changes can help in formulating more appropriate answers.
– José Carlos Santos
Jan 4 at 10:35
1
What do you know about set theory already? What text is this problem from? What course are you taking? Providing information like this would be a suitable alternative to any ideas you have to solve the problem.
– Shaun
Jan 4 at 10:41
add a comment |
Let $A,B,C$ and $R,S,T$ be sets.
And assume that
$$ R subseteq A times B, ~~ S subseteq B times C, ~~
T subseteq B times C.$$
Then, I want to show that
$$
begin{equation}
(S circ R) cap (T circ R) subseteq (Scap T) circ R, \
(S circ R) cup (T circ R) = (S cup T) circ R.
end{equation}
$$
I tried solving this for hours.
I have no idea to even handle this.
I would love any kind of help or assistence.
Thank you.
discrete-mathematics proof-explanation relations
New contributor
Let $A,B,C$ and $R,S,T$ be sets.
And assume that
$$ R subseteq A times B, ~~ S subseteq B times C, ~~
T subseteq B times C.$$
Then, I want to show that
$$
begin{equation}
(S circ R) cap (T circ R) subseteq (Scap T) circ R, \
(S circ R) cup (T circ R) = (S cup T) circ R.
end{equation}
$$
I tried solving this for hours.
I have no idea to even handle this.
I would love any kind of help or assistence.
Thank you.
discrete-mathematics proof-explanation relations
discrete-mathematics proof-explanation relations
New contributor
New contributor
edited Jan 4 at 18:39
verret
2,9941818
2,9941818
New contributor
asked Jan 4 at 10:30
ga asga as
31
31
New contributor
New contributor
Welcome to MSE. Your question is phrased as an isolated problem, without any further information or context. This does not match many users' quality standards, so it may attract downvotes, or be put on hold. To prevent that, please edit the question. This will help you recognise and resolve the issues. Concretely: please provide context, and include your work and thoughts on the problem. These changes can help in formulating more appropriate answers.
– José Carlos Santos
Jan 4 at 10:35
1
What do you know about set theory already? What text is this problem from? What course are you taking? Providing information like this would be a suitable alternative to any ideas you have to solve the problem.
– Shaun
Jan 4 at 10:41
add a comment |
Welcome to MSE. Your question is phrased as an isolated problem, without any further information or context. This does not match many users' quality standards, so it may attract downvotes, or be put on hold. To prevent that, please edit the question. This will help you recognise and resolve the issues. Concretely: please provide context, and include your work and thoughts on the problem. These changes can help in formulating more appropriate answers.
– José Carlos Santos
Jan 4 at 10:35
1
What do you know about set theory already? What text is this problem from? What course are you taking? Providing information like this would be a suitable alternative to any ideas you have to solve the problem.
– Shaun
Jan 4 at 10:41
Welcome to MSE. Your question is phrased as an isolated problem, without any further information or context. This does not match many users' quality standards, so it may attract downvotes, or be put on hold. To prevent that, please edit the question. This will help you recognise and resolve the issues. Concretely: please provide context, and include your work and thoughts on the problem. These changes can help in formulating more appropriate answers.
– José Carlos Santos
Jan 4 at 10:35
Welcome to MSE. Your question is phrased as an isolated problem, without any further information or context. This does not match many users' quality standards, so it may attract downvotes, or be put on hold. To prevent that, please edit the question. This will help you recognise and resolve the issues. Concretely: please provide context, and include your work and thoughts on the problem. These changes can help in formulating more appropriate answers.
– José Carlos Santos
Jan 4 at 10:35
1
1
What do you know about set theory already? What text is this problem from? What course are you taking? Providing information like this would be a suitable alternative to any ideas you have to solve the problem.
– Shaun
Jan 4 at 10:41
What do you know about set theory already? What text is this problem from? What course are you taking? Providing information like this would be a suitable alternative to any ideas you have to solve the problem.
– Shaun
Jan 4 at 10:41
add a comment |
1 Answer
1
active
oldest
votes
If a(R o (S $cap$ T))c, then exists
b in B with aRb and b(S $cap$ T)c.
Thus aRb, bSc and bTc; a(RoS)c, a(RoT)c.
In conclusion, R o (S $cap$ T) subset RoS $cap$ RoT.
a(R o (S $cup$ T))c iff exists b in B with
aRb, b(S $cup$ T)c iff aRb and (bSc or bTc)
iff (aRb and bSc) or (aRb and bTc)
iff a(RoS)c or a(RoT)c.
In conclusion R o (S $cup$ T) = RoS $cup$ RoT.
Note that I'm using the conventions aRb for (a,b) in R and
for composition RoS ={ (a,c) : exists b with (aRb and bSc) }
Many thanks! Helped me alot
– ga as
Jan 4 at 12:43
@William: You've been on the site long enough to have a general idea how to use MathJax, and not rely on the kindness of others to make your posts look good. For some basic information about writing mathematics at this site see, e.g., basic help on mathjax notation, mathjax tutorial and quick reference, main meta site math tutorial and equation editing how-to. Please look into it.
– Cameron Buie
2 days ago
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
});
}
});
ga as is a new contributor. Be nice, and check out our Code of Conduct.
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%2f3061501%2fsets-theory-realation-proof-question%23new-answer', 'question_page');
}
);
Post as a guest
Required, but never shown
1 Answer
1
active
oldest
votes
1 Answer
1
active
oldest
votes
active
oldest
votes
active
oldest
votes
If a(R o (S $cap$ T))c, then exists
b in B with aRb and b(S $cap$ T)c.
Thus aRb, bSc and bTc; a(RoS)c, a(RoT)c.
In conclusion, R o (S $cap$ T) subset RoS $cap$ RoT.
a(R o (S $cup$ T))c iff exists b in B with
aRb, b(S $cup$ T)c iff aRb and (bSc or bTc)
iff (aRb and bSc) or (aRb and bTc)
iff a(RoS)c or a(RoT)c.
In conclusion R o (S $cup$ T) = RoS $cup$ RoT.
Note that I'm using the conventions aRb for (a,b) in R and
for composition RoS ={ (a,c) : exists b with (aRb and bSc) }
Many thanks! Helped me alot
– ga as
Jan 4 at 12:43
@William: You've been on the site long enough to have a general idea how to use MathJax, and not rely on the kindness of others to make your posts look good. For some basic information about writing mathematics at this site see, e.g., basic help on mathjax notation, mathjax tutorial and quick reference, main meta site math tutorial and equation editing how-to. Please look into it.
– Cameron Buie
2 days ago
add a comment |
If a(R o (S $cap$ T))c, then exists
b in B with aRb and b(S $cap$ T)c.
Thus aRb, bSc and bTc; a(RoS)c, a(RoT)c.
In conclusion, R o (S $cap$ T) subset RoS $cap$ RoT.
a(R o (S $cup$ T))c iff exists b in B with
aRb, b(S $cup$ T)c iff aRb and (bSc or bTc)
iff (aRb and bSc) or (aRb and bTc)
iff a(RoS)c or a(RoT)c.
In conclusion R o (S $cup$ T) = RoS $cup$ RoT.
Note that I'm using the conventions aRb for (a,b) in R and
for composition RoS ={ (a,c) : exists b with (aRb and bSc) }
Many thanks! Helped me alot
– ga as
Jan 4 at 12:43
@William: You've been on the site long enough to have a general idea how to use MathJax, and not rely on the kindness of others to make your posts look good. For some basic information about writing mathematics at this site see, e.g., basic help on mathjax notation, mathjax tutorial and quick reference, main meta site math tutorial and equation editing how-to. Please look into it.
– Cameron Buie
2 days ago
add a comment |
If a(R o (S $cap$ T))c, then exists
b in B with aRb and b(S $cap$ T)c.
Thus aRb, bSc and bTc; a(RoS)c, a(RoT)c.
In conclusion, R o (S $cap$ T) subset RoS $cap$ RoT.
a(R o (S $cup$ T))c iff exists b in B with
aRb, b(S $cup$ T)c iff aRb and (bSc or bTc)
iff (aRb and bSc) or (aRb and bTc)
iff a(RoS)c or a(RoT)c.
In conclusion R o (S $cup$ T) = RoS $cup$ RoT.
Note that I'm using the conventions aRb for (a,b) in R and
for composition RoS ={ (a,c) : exists b with (aRb and bSc) }
If a(R o (S $cap$ T))c, then exists
b in B with aRb and b(S $cap$ T)c.
Thus aRb, bSc and bTc; a(RoS)c, a(RoT)c.
In conclusion, R o (S $cap$ T) subset RoS $cap$ RoT.
a(R o (S $cup$ T))c iff exists b in B with
aRb, b(S $cup$ T)c iff aRb and (bSc or bTc)
iff (aRb and bSc) or (aRb and bTc)
iff a(RoS)c or a(RoT)c.
In conclusion R o (S $cup$ T) = RoS $cup$ RoT.
Note that I'm using the conventions aRb for (a,b) in R and
for composition RoS ={ (a,c) : exists b with (aRb and bSc) }
answered Jan 4 at 12:07
William ElliotWilliam Elliot
7,3912720
7,3912720
Many thanks! Helped me alot
– ga as
Jan 4 at 12:43
@William: You've been on the site long enough to have a general idea how to use MathJax, and not rely on the kindness of others to make your posts look good. For some basic information about writing mathematics at this site see, e.g., basic help on mathjax notation, mathjax tutorial and quick reference, main meta site math tutorial and equation editing how-to. Please look into it.
– Cameron Buie
2 days ago
add a comment |
Many thanks! Helped me alot
– ga as
Jan 4 at 12:43
@William: You've been on the site long enough to have a general idea how to use MathJax, and not rely on the kindness of others to make your posts look good. For some basic information about writing mathematics at this site see, e.g., basic help on mathjax notation, mathjax tutorial and quick reference, main meta site math tutorial and equation editing how-to. Please look into it.
– Cameron Buie
2 days ago
Many thanks! Helped me alot
– ga as
Jan 4 at 12:43
Many thanks! Helped me alot
– ga as
Jan 4 at 12:43
@William: You've been on the site long enough to have a general idea how to use MathJax, and not rely on the kindness of others to make your posts look good. For some basic information about writing mathematics at this site see, e.g., basic help on mathjax notation, mathjax tutorial and quick reference, main meta site math tutorial and equation editing how-to. Please look into it.
– Cameron Buie
2 days ago
@William: You've been on the site long enough to have a general idea how to use MathJax, and not rely on the kindness of others to make your posts look good. For some basic information about writing mathematics at this site see, e.g., basic help on mathjax notation, mathjax tutorial and quick reference, main meta site math tutorial and equation editing how-to. Please look into it.
– Cameron Buie
2 days ago
add a comment |
ga as is a new contributor. Be nice, and check out our Code of Conduct.
ga as is a new contributor. Be nice, and check out our Code of Conduct.
ga as is a new contributor. Be nice, and check out our Code of Conduct.
ga as is a new contributor. Be nice, and check out our Code of Conduct.
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.
Some of your past answers have not been well-received, and you're in danger of being blocked from answering.
Please pay close attention to the following guidance:
- 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.
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%2f3061501%2fsets-theory-realation-proof-question%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
Welcome to MSE. Your question is phrased as an isolated problem, without any further information or context. This does not match many users' quality standards, so it may attract downvotes, or be put on hold. To prevent that, please edit the question. This will help you recognise and resolve the issues. Concretely: please provide context, and include your work and thoughts on the problem. These changes can help in formulating more appropriate answers.
– José Carlos Santos
Jan 4 at 10:35
1
What do you know about set theory already? What text is this problem from? What course are you taking? Providing information like this would be a suitable alternative to any ideas you have to solve the problem.
– Shaun
Jan 4 at 10:41