Comparing two binary relations using Cartesian products
Let $f$ be a binary relation between sets $A_0$ and $B_0$ and $g$ be a binary relation between sets $A_1$ and $B_1$.
It can be proved that $[fcap(A_1times B_1)=g]wedge [gcap(A_0times B_0)=f]$ implies $f=g$.
Really, it follows $gcap(A_0times B_0)cap(A_1times B_1)=g$. Thus $gsubseteq A_0times B_0$. Consequantly $g=f$.
Do the following hold?
$[fcap(A_1times B_1)supseteq g]wedge [gcap(A_0times B_0)]supseteq f$ implies $f=g$.
$[fcap(A_1times B_1)subseteq g]wedge [gcap(A_0times B_0)]subseteq f$ implies $f=g$.
elementary-set-theory relations products
edited Nov 22 '18 at 18:07
Yanko
6,469727
asked Nov 22 '18 at 17:44
portonporton
1,90911227
|
show 2 more comments
Let $f$ be a binary relation between sets $A_0$ and $B_0$ and $g$ be a binary relation between sets $A_1$ and $B_1$.
It can be proved that $[fcap(A_1times B_1)=g]wedge [gcap(A_0times B_0)=f]$ implies $f=g$.
Really, it follows $gcap(A_0times B_0)cap(A_1times B_1)=g$. Thus $gsubseteq A_0times B_0$. Consequantly $g=f$.
Do the following hold?
$[fcap(A_1times B_1)supseteq g]wedge [gcap(A_0times B_0)]supseteq f$ implies $f=g$.
$[fcap(A_1times B_1)subseteq g]wedge [gcap(A_0times B_0)]subseteq f$ implies $f=g$.
elementary-set-theory relations products
edited Nov 22 '18 at 18:07
Yanko
6,469727
asked Nov 22 '18 at 17:44
portonporton
1,90911227
what exactly is the difference between $land$ and $cap$ in this context?
– Yanko
Nov 22 '18 at 17:55
@Yanko: Their meanings are standard - $cap$ is intersection of sets, $wedge$ is conjunction of statements (meaning 'and').
– Clive Newstead
Nov 22 '18 at 17:56
@CliveNewstead I get that, but if $f,g$ are binary relations, isn't $fland g$ the same as $fcap g$ where $f$ and $g$ are being viewed as subsets of the cartesian product?
– Yanko
Nov 22 '18 at 17:57
@Yanko: I'd presume so, yes. What's the confusion?
– Clive Newstead
Nov 22 '18 at 17:58
2
@Yanko: Ah, you're just parsing it wrong. Read it as $$[f cap (A_1 times B_1) = g] wedge [g cap (A_0 times B_0) = f]$$ and so on.
– Clive Newstead
Nov 22 '18 at 18:01
|
show 2 more comments
Let $f$ be a binary relation between sets $A_0$ and $B_0$ and $g$ be a binary relation between sets $A_1$ and $B_1$.
It can be proved that $[fcap(A_1times B_1)=g]wedge [gcap(A_0times B_0)=f]$ implies $f=g$.
Really, it follows $gcap(A_0times B_0)cap(A_1times B_1)=g$. Thus $gsubseteq A_0times B_0$. Consequantly $g=f$.
Do the following hold?
$[fcap(A_1times B_1)supseteq g]wedge [gcap(A_0times B_0)]supseteq f$ implies $f=g$.
$[fcap(A_1times B_1)subseteq g]wedge [gcap(A_0times B_0)]subseteq f$ implies $f=g$.
elementary-set-theory relations products
edited Nov 22 '18 at 18:07
Yanko
6,469727
asked Nov 22 '18 at 17:44
portonporton
1,90911227
Let $f$ be a binary relation between sets $A_0$ and $B_0$ and $g$ be a binary relation between sets $A_1$ and $B_1$.
It can be proved that $[fcap(A_1times B_1)=g]wedge [gcap(A_0times B_0)=f]$ implies $f=g$.
Really, it follows $gcap(A_0times B_0)cap(A_1times B_1)=g$. Thus $gsubseteq A_0times B_0$. Consequantly $g=f$.
Do the following hold?
$[fcap(A_1times B_1)supseteq g]wedge [gcap(A_0times B_0)]supseteq f$ implies $f=g$.
$[fcap(A_1times B_1)subseteq g]wedge [gcap(A_0times B_0)]subseteq f$ implies $f=g$.
elementary-set-theory relations products
elementary-set-theory relations products
edited Nov 22 '18 at 18:07
Yanko
6,469727
asked Nov 22 '18 at 17:44
portonporton
1,90911227
edited Nov 22 '18 at 18:07
Yanko
6,469727
asked Nov 22 '18 at 17:44
portonporton
1,90911227
edited Nov 22 '18 at 18:07
Yanko
6,469727
edited Nov 22 '18 at 18:07
Yanko
6,469727
edited Nov 22 '18 at 18:07
Yanko
6,469727
6,469727
asked Nov 22 '18 at 17:44
portonporton
1,90911227
asked Nov 22 '18 at 17:44
portonporton
1,90911227
asked Nov 22 '18 at 17:44
portonporton
1,90911227
1,90911227
what exactly is the difference between $land$ and $cap$ in this context?
– Yanko
Nov 22 '18 at 17:55
@Yanko: Their meanings are standard - $cap$ is intersection of sets, $wedge$ is conjunction of statements (meaning 'and').
– Clive Newstead
Nov 22 '18 at 17:56
@CliveNewstead I get that, but if $f,g$ are binary relations, isn't $fland g$ the same as $fcap g$ where $f$ and $g$ are being viewed as subsets of the cartesian product?
– Yanko
Nov 22 '18 at 17:57
@Yanko: I'd presume so, yes. What's the confusion?
– Clive Newstead
Nov 22 '18 at 17:58
2
@Yanko: Ah, you're just parsing it wrong. Read it as $$[f cap (A_1 times B_1) = g] wedge [g cap (A_0 times B_0) = f]$$ and so on.
– Clive Newstead
Nov 22 '18 at 18:01
|
show 2 more comments
what exactly is the difference between $land$ and $cap$ in this context?
– Yanko
Nov 22 '18 at 17:55
@Yanko: Their meanings are standard - $cap$ is intersection of sets, $wedge$ is conjunction of statements (meaning 'and').
– Clive Newstead
Nov 22 '18 at 17:56
@CliveNewstead I get that, but if $f,g$ are binary relations, isn't $fland g$ the same as $fcap g$ where $f$ and $g$ are being viewed as subsets of the cartesian product?
– Yanko
Nov 22 '18 at 17:57
@Yanko: I'd presume so, yes. What's the confusion?
– Clive Newstead
Nov 22 '18 at 17:58
2
@Yanko: Ah, you're just parsing it wrong. Read it as $$[f cap (A_1 times B_1) = g] wedge [g cap (A_0 times B_0) = f]$$ and so on.
– Clive Newstead
Nov 22 '18 at 18:01
what exactly is the difference between $land$ and $cap$ in this context?
– Yanko
Nov 22 '18 at 17:55
what exactly is the difference between $land$ and $cap$ in this context?
– Yanko
Nov 22 '18 at 17:55
@Yanko: Their meanings are standard - $cap$ is intersection of sets, $wedge$ is conjunction of statements (meaning 'and').
– Clive Newstead
Nov 22 '18 at 17:56
@Yanko: Their meanings are standard - $cap$ is intersection of sets, $wedge$ is conjunction of statements (meaning 'and').
– Clive Newstead
Nov 22 '18 at 17:56
@CliveNewstead I get that, but if $f,g$ are binary relations, isn't $fland g$ the same as $fcap g$ where $f$ and $g$ are being viewed as subsets of the cartesian product?
– Yanko
Nov 22 '18 at 17:57
@CliveNewstead I get that, but if $f,g$ are binary relations, isn't $fland g$ the same as $fcap g$ where $f$ and $g$ are being viewed as subsets of the cartesian product?
– Yanko
Nov 22 '18 at 17:57
@Yanko: I'd presume so, yes. What's the confusion?
– Clive Newstead
Nov 22 '18 at 17:58
@Yanko: I'd presume so, yes. What's the confusion?
– Clive Newstead
Nov 22 '18 at 17:58
2
2
@Yanko: Ah, you're just parsing it wrong. Read it as $$[f cap (A_1 times B_1) = g] wedge [g cap (A_0 times B_0) = f]$$ and so on.
– Clive Newstead
Nov 22 '18 at 18:01
@Yanko: Ah, you're just parsing it wrong. Read it as $$[f cap (A_1 times B_1) = g] wedge [g cap (A_0 times B_0) = f]$$ and so on.
– Clive Newstead
Nov 22 '18 at 18:01
|
show 2 more comments
1 Answer
1
active
oldest
votes
It is true in general that if $X subseteq Y cap Z$, then $X subseteq Y$ and $X subseteq Z$. The hypothesis of statement (1) implies that $f subseteq g$ and $g subseteq f$, and so $f = g$, as required. So statement (1) is true.
The hypothesis of statement (2) holds for all $f,g$, provided that $A_0 cap A_1 = varnothing$ or $B_0 cap B_1 = varnothing$, so it doesn't follow in general that $f=g$. So statement (2) is false in general.
In fact, more generally, we have $(A_0 times B_0) cap (A_1 times B_1) = (A_0 cap A_1) times (B_0 cap B_1)$, and so the hypothesis of (2) holds whenever the relations $f$ and $g$ agree on $(A_0 cap A_1) times (B_0 cap B_1)$; but then $f$ and $g$ can say what they like about the elements not in these intersections, so they need not be equal.
answered Nov 22 '18 at 18:05
Clive NewsteadClive Newstead
50.7k474133
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%2f3009411%2fcomparing-two-binary-relations-using-cartesian-products%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
It is true in general that if $X subseteq Y cap Z$, then $X subseteq Y$ and $X subseteq Z$. The hypothesis of statement (1) implies that $f subseteq g$ and $g subseteq f$, and so $f = g$, as required. So statement (1) is true.
The hypothesis of statement (2) holds for all $f,g$, provided that $A_0 cap A_1 = varnothing$ or $B_0 cap B_1 = varnothing$, so it doesn't follow in general that $f=g$. So statement (2) is false in general.
In fact, more generally, we have $(A_0 times B_0) cap (A_1 times B_1) = (A_0 cap A_1) times (B_0 cap B_1)$, and so the hypothesis of (2) holds whenever the relations $f$ and $g$ agree on $(A_0 cap A_1) times (B_0 cap B_1)$; but then $f$ and $g$ can say what they like about the elements not in these intersections, so they need not be equal.
answered Nov 22 '18 at 18:05
Clive NewsteadClive Newstead
50.7k474133
add a comment |
It is true in general that if $X subseteq Y cap Z$, then $X subseteq Y$ and $X subseteq Z$. The hypothesis of statement (1) implies that $f subseteq g$ and $g subseteq f$, and so $f = g$, as required. So statement (1) is true.
The hypothesis of statement (2) holds for all $f,g$, provided that $A_0 cap A_1 = varnothing$ or $B_0 cap B_1 = varnothing$, so it doesn't follow in general that $f=g$. So statement (2) is false in general.
In fact, more generally, we have $(A_0 times B_0) cap (A_1 times B_1) = (A_0 cap A_1) times (B_0 cap B_1)$, and so the hypothesis of (2) holds whenever the relations $f$ and $g$ agree on $(A_0 cap A_1) times (B_0 cap B_1)$; but then $f$ and $g$ can say what they like about the elements not in these intersections, so they need not be equal.
answered Nov 22 '18 at 18:05
Clive NewsteadClive Newstead
50.7k474133
add a comment |
It is true in general that if $X subseteq Y cap Z$, then $X subseteq Y$ and $X subseteq Z$. The hypothesis of statement (1) implies that $f subseteq g$ and $g subseteq f$, and so $f = g$, as required. So statement (1) is true.
The hypothesis of statement (2) holds for all $f,g$, provided that $A_0 cap A_1 = varnothing$ or $B_0 cap B_1 = varnothing$, so it doesn't follow in general that $f=g$. So statement (2) is false in general.
In fact, more generally, we have $(A_0 times B_0) cap (A_1 times B_1) = (A_0 cap A_1) times (B_0 cap B_1)$, and so the hypothesis of (2) holds whenever the relations $f$ and $g$ agree on $(A_0 cap A_1) times (B_0 cap B_1)$; but then $f$ and $g$ can say what they like about the elements not in these intersections, so they need not be equal.
answered Nov 22 '18 at 18:05
Clive NewsteadClive Newstead
50.7k474133
It is true in general that if $X subseteq Y cap Z$, then $X subseteq Y$ and $X subseteq Z$. The hypothesis of statement (1) implies that $f subseteq g$ and $g subseteq f$, and so $f = g$, as required. So statement (1) is true.
The hypothesis of statement (2) holds for all $f,g$, provided that $A_0 cap A_1 = varnothing$ or $B_0 cap B_1 = varnothing$, so it doesn't follow in general that $f=g$. So statement (2) is false in general.
In fact, more generally, we have $(A_0 times B_0) cap (A_1 times B_1) = (A_0 cap A_1) times (B_0 cap B_1)$, and so the hypothesis of (2) holds whenever the relations $f$ and $g$ agree on $(A_0 cap A_1) times (B_0 cap B_1)$; but then $f$ and $g$ can say what they like about the elements not in these intersections, so they need not be equal.
answered Nov 22 '18 at 18:05
Clive NewsteadClive Newstead
50.7k474133
answered Nov 22 '18 at 18:05
Clive NewsteadClive Newstead
50.7k474133
answered Nov 22 '18 at 18:05
Clive NewsteadClive Newstead
50.7k474133
answered Nov 22 '18 at 18:05
Clive NewsteadClive Newstead
50.7k474133
50.7k474133
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.
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%2f3009411%2fcomparing-two-binary-relations-using-cartesian-products%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
what exactly is the difference between $land$ and $cap$ in this context?
– Yanko
Nov 22 '18 at 17:55
@Yanko: Their meanings are standard - $cap$ is intersection of sets, $wedge$ is conjunction of statements (meaning 'and').
– Clive Newstead
Nov 22 '18 at 17:56
@CliveNewstead I get that, but if $f,g$ are binary relations, isn't $fland g$ the same as $fcap g$ where $f$ and $g$ are being viewed as subsets of the cartesian product?
– Yanko
Nov 22 '18 at 17:57
@Yanko: I'd presume so, yes. What's the confusion?
– Clive Newstead
Nov 22 '18 at 17:58
2
@Yanko: Ah, you're just parsing it wrong. Read it as $$[f cap (A_1 times B_1) = g] wedge [g cap (A_0 times B_0) = f]$$ and so on.
– Clive Newstead
Nov 22 '18 at 18:01