Operation on Sets - Listing the elements
$begingroup$
Encountered a question on set operations and am kind of lost...
$(D bigcup {A})oplus A$
$A: {a,b,c,d}, D: {b,d}$
Does ${A}$ mean ${{a,b,c,d}}$, making it a set of a set? Would set D union set of set A (?) be the same as set D union set A, or are they different?
I would understand how to list the elements if it were $(D bigcup A)oplus A$, but the ${A}$ is what is confusing me.
discrete-mathematics elementary-set-theory
$endgroup$
add a comment |
$begingroup$
Encountered a question on set operations and am kind of lost...
$(D bigcup {A})oplus A$
$A: {a,b,c,d}, D: {b,d}$
Does ${A}$ mean ${{a,b,c,d}}$, making it a set of a set? Would set D union set of set A (?) be the same as set D union set A, or are they different?
I would understand how to list the elements if it were $(D bigcup A)oplus A$, but the ${A}$ is what is confusing me.
discrete-mathematics elementary-set-theory
$endgroup$
$begingroup$
What does $oplus$ mean in this context? Exclusive-or, perhaps? Or does it mean disjoint union?
$endgroup$
– goblin
Jan 28 at 7:44
$begingroup$
Symmetric difference, so if A⊕B, elements that are in A or B but not both
$endgroup$
– Bandolero
Jan 28 at 7:55
$begingroup$
@Bandolero the usual notation for symmetric difference is $AΔB$
$endgroup$
– Holo
Jan 28 at 11:44
add a comment |
$begingroup$
Encountered a question on set operations and am kind of lost...
$(D bigcup {A})oplus A$
$A: {a,b,c,d}, D: {b,d}$
Does ${A}$ mean ${{a,b,c,d}}$, making it a set of a set? Would set D union set of set A (?) be the same as set D union set A, or are they different?
I would understand how to list the elements if it were $(D bigcup A)oplus A$, but the ${A}$ is what is confusing me.
discrete-mathematics elementary-set-theory
$endgroup$
Encountered a question on set operations and am kind of lost...
$(D bigcup {A})oplus A$
$A: {a,b,c,d}, D: {b,d}$
Does ${A}$ mean ${{a,b,c,d}}$, making it a set of a set? Would set D union set of set A (?) be the same as set D union set A, or are they different?
I would understand how to list the elements if it were $(D bigcup A)oplus A$, but the ${A}$ is what is confusing me.
discrete-mathematics elementary-set-theory
discrete-mathematics elementary-set-theory
edited Jan 28 at 11:34
J. W. Tanner
3,9221320
3,9221320
asked Jan 28 at 7:39
BandoleroBandolero
243
243
$begingroup$
What does $oplus$ mean in this context? Exclusive-or, perhaps? Or does it mean disjoint union?
$endgroup$
– goblin
Jan 28 at 7:44
$begingroup$
Symmetric difference, so if A⊕B, elements that are in A or B but not both
$endgroup$
– Bandolero
Jan 28 at 7:55
$begingroup$
@Bandolero the usual notation for symmetric difference is $AΔB$
$endgroup$
– Holo
Jan 28 at 11:44
add a comment |
$begingroup$
What does $oplus$ mean in this context? Exclusive-or, perhaps? Or does it mean disjoint union?
$endgroup$
– goblin
Jan 28 at 7:44
$begingroup$
Symmetric difference, so if A⊕B, elements that are in A or B but not both
$endgroup$
– Bandolero
Jan 28 at 7:55
$begingroup$
@Bandolero the usual notation for symmetric difference is $AΔB$
$endgroup$
– Holo
Jan 28 at 11:44
$begingroup$
What does $oplus$ mean in this context? Exclusive-or, perhaps? Or does it mean disjoint union?
$endgroup$
– goblin
Jan 28 at 7:44
$begingroup$
What does $oplus$ mean in this context? Exclusive-or, perhaps? Or does it mean disjoint union?
$endgroup$
– goblin
Jan 28 at 7:44
$begingroup$
Symmetric difference, so if A⊕B, elements that are in A or B but not both
$endgroup$
– Bandolero
Jan 28 at 7:55
$begingroup$
Symmetric difference, so if A⊕B, elements that are in A or B but not both
$endgroup$
– Bandolero
Jan 28 at 7:55
$begingroup$
@Bandolero the usual notation for symmetric difference is $AΔB$
$endgroup$
– Holo
Jan 28 at 11:44
$begingroup$
@Bandolero the usual notation for symmetric difference is $AΔB$
$endgroup$
– Holo
Jan 28 at 11:44
add a comment |
1 Answer
1
active
oldest
votes
$begingroup$
Good question!
However, you should write
$$A = {a,b,c,d},D = {b,d},$$ because after all, $D$ is being defined to equal the set ${b,d}$, so why use a symbol other than the equality symbol to denote equality in this case?
You're correct that ${A}$ means ${{a,b,c,d}}$. Hence $$D cup {A} = {{a,b,c,d},b,d},$$ which has three elements, assuming $b$ and $d$ are distinct. I'm sure you can take it from there.
$endgroup$
$begingroup$
Ok, so from what I understand, it should be ${{a,b,c,d}b,d}oplus{a,b,c,d}$. still not sure about the answer tho, but I'm guessing it would be between ${{a,b,c,d}a,c}$ or ${a,c}$
$endgroup$
– Bandolero
Jan 28 at 8:13
$begingroup$
@Bandolero, to find $P oplus Q$, the idea is to list all elements that are in precisely one of $P$ or $Q$, but not both. It's like the union of $P$ and $Q$, but you don't include the items that are in both sets.
$endgroup$
– goblin
Jan 28 at 8:20
$begingroup$
I got that part, but my question is would say ${P}$'s elements be considered seperate from $P$'s elements; i.e. that I could list all the elements in $P$ or $Q$ (but not both) but keep ${P}$ untouched?
$endgroup$
– Bandolero
Jan 28 at 8:25
$begingroup$
@Bandolero, I'm not sure I understand, but ${P}$ only has one element, so unless $P$ is an element of itself, you can assume that $P$ and ${P}$ are disjoint. Look up "urelement" for more information; the important fact is that they're disallowed in standard treatments of set theory.
$endgroup$
– goblin
Jan 30 at 11:58
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%2f3090586%2foperation-on-sets-listing-the-elements%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
$begingroup$
Good question!
However, you should write
$$A = {a,b,c,d},D = {b,d},$$ because after all, $D$ is being defined to equal the set ${b,d}$, so why use a symbol other than the equality symbol to denote equality in this case?
You're correct that ${A}$ means ${{a,b,c,d}}$. Hence $$D cup {A} = {{a,b,c,d},b,d},$$ which has three elements, assuming $b$ and $d$ are distinct. I'm sure you can take it from there.
$endgroup$
$begingroup$
Ok, so from what I understand, it should be ${{a,b,c,d}b,d}oplus{a,b,c,d}$. still not sure about the answer tho, but I'm guessing it would be between ${{a,b,c,d}a,c}$ or ${a,c}$
$endgroup$
– Bandolero
Jan 28 at 8:13
$begingroup$
@Bandolero, to find $P oplus Q$, the idea is to list all elements that are in precisely one of $P$ or $Q$, but not both. It's like the union of $P$ and $Q$, but you don't include the items that are in both sets.
$endgroup$
– goblin
Jan 28 at 8:20
$begingroup$
I got that part, but my question is would say ${P}$'s elements be considered seperate from $P$'s elements; i.e. that I could list all the elements in $P$ or $Q$ (but not both) but keep ${P}$ untouched?
$endgroup$
– Bandolero
Jan 28 at 8:25
$begingroup$
@Bandolero, I'm not sure I understand, but ${P}$ only has one element, so unless $P$ is an element of itself, you can assume that $P$ and ${P}$ are disjoint. Look up "urelement" for more information; the important fact is that they're disallowed in standard treatments of set theory.
$endgroup$
– goblin
Jan 30 at 11:58
add a comment |
$begingroup$
Good question!
However, you should write
$$A = {a,b,c,d},D = {b,d},$$ because after all, $D$ is being defined to equal the set ${b,d}$, so why use a symbol other than the equality symbol to denote equality in this case?
You're correct that ${A}$ means ${{a,b,c,d}}$. Hence $$D cup {A} = {{a,b,c,d},b,d},$$ which has three elements, assuming $b$ and $d$ are distinct. I'm sure you can take it from there.
$endgroup$
$begingroup$
Ok, so from what I understand, it should be ${{a,b,c,d}b,d}oplus{a,b,c,d}$. still not sure about the answer tho, but I'm guessing it would be between ${{a,b,c,d}a,c}$ or ${a,c}$
$endgroup$
– Bandolero
Jan 28 at 8:13
$begingroup$
@Bandolero, to find $P oplus Q$, the idea is to list all elements that are in precisely one of $P$ or $Q$, but not both. It's like the union of $P$ and $Q$, but you don't include the items that are in both sets.
$endgroup$
– goblin
Jan 28 at 8:20
$begingroup$
I got that part, but my question is would say ${P}$'s elements be considered seperate from $P$'s elements; i.e. that I could list all the elements in $P$ or $Q$ (but not both) but keep ${P}$ untouched?
$endgroup$
– Bandolero
Jan 28 at 8:25
$begingroup$
@Bandolero, I'm not sure I understand, but ${P}$ only has one element, so unless $P$ is an element of itself, you can assume that $P$ and ${P}$ are disjoint. Look up "urelement" for more information; the important fact is that they're disallowed in standard treatments of set theory.
$endgroup$
– goblin
Jan 30 at 11:58
add a comment |
$begingroup$
Good question!
However, you should write
$$A = {a,b,c,d},D = {b,d},$$ because after all, $D$ is being defined to equal the set ${b,d}$, so why use a symbol other than the equality symbol to denote equality in this case?
You're correct that ${A}$ means ${{a,b,c,d}}$. Hence $$D cup {A} = {{a,b,c,d},b,d},$$ which has three elements, assuming $b$ and $d$ are distinct. I'm sure you can take it from there.
$endgroup$
Good question!
However, you should write
$$A = {a,b,c,d},D = {b,d},$$ because after all, $D$ is being defined to equal the set ${b,d}$, so why use a symbol other than the equality symbol to denote equality in this case?
You're correct that ${A}$ means ${{a,b,c,d}}$. Hence $$D cup {A} = {{a,b,c,d},b,d},$$ which has three elements, assuming $b$ and $d$ are distinct. I'm sure you can take it from there.
answered Jan 28 at 7:59
goblingoblin
37.1k1159193
37.1k1159193
$begingroup$
Ok, so from what I understand, it should be ${{a,b,c,d}b,d}oplus{a,b,c,d}$. still not sure about the answer tho, but I'm guessing it would be between ${{a,b,c,d}a,c}$ or ${a,c}$
$endgroup$
– Bandolero
Jan 28 at 8:13
$begingroup$
@Bandolero, to find $P oplus Q$, the idea is to list all elements that are in precisely one of $P$ or $Q$, but not both. It's like the union of $P$ and $Q$, but you don't include the items that are in both sets.
$endgroup$
– goblin
Jan 28 at 8:20
$begingroup$
I got that part, but my question is would say ${P}$'s elements be considered seperate from $P$'s elements; i.e. that I could list all the elements in $P$ or $Q$ (but not both) but keep ${P}$ untouched?
$endgroup$
– Bandolero
Jan 28 at 8:25
$begingroup$
@Bandolero, I'm not sure I understand, but ${P}$ only has one element, so unless $P$ is an element of itself, you can assume that $P$ and ${P}$ are disjoint. Look up "urelement" for more information; the important fact is that they're disallowed in standard treatments of set theory.
$endgroup$
– goblin
Jan 30 at 11:58
add a comment |
$begingroup$
Ok, so from what I understand, it should be ${{a,b,c,d}b,d}oplus{a,b,c,d}$. still not sure about the answer tho, but I'm guessing it would be between ${{a,b,c,d}a,c}$ or ${a,c}$
$endgroup$
– Bandolero
Jan 28 at 8:13
$begingroup$
@Bandolero, to find $P oplus Q$, the idea is to list all elements that are in precisely one of $P$ or $Q$, but not both. It's like the union of $P$ and $Q$, but you don't include the items that are in both sets.
$endgroup$
– goblin
Jan 28 at 8:20
$begingroup$
I got that part, but my question is would say ${P}$'s elements be considered seperate from $P$'s elements; i.e. that I could list all the elements in $P$ or $Q$ (but not both) but keep ${P}$ untouched?
$endgroup$
– Bandolero
Jan 28 at 8:25
$begingroup$
@Bandolero, I'm not sure I understand, but ${P}$ only has one element, so unless $P$ is an element of itself, you can assume that $P$ and ${P}$ are disjoint. Look up "urelement" for more information; the important fact is that they're disallowed in standard treatments of set theory.
$endgroup$
– goblin
Jan 30 at 11:58
$begingroup$
Ok, so from what I understand, it should be ${{a,b,c,d}b,d}oplus{a,b,c,d}$. still not sure about the answer tho, but I'm guessing it would be between ${{a,b,c,d}a,c}$ or ${a,c}$
$endgroup$
– Bandolero
Jan 28 at 8:13
$begingroup$
Ok, so from what I understand, it should be ${{a,b,c,d}b,d}oplus{a,b,c,d}$. still not sure about the answer tho, but I'm guessing it would be between ${{a,b,c,d}a,c}$ or ${a,c}$
$endgroup$
– Bandolero
Jan 28 at 8:13
$begingroup$
@Bandolero, to find $P oplus Q$, the idea is to list all elements that are in precisely one of $P$ or $Q$, but not both. It's like the union of $P$ and $Q$, but you don't include the items that are in both sets.
$endgroup$
– goblin
Jan 28 at 8:20
$begingroup$
@Bandolero, to find $P oplus Q$, the idea is to list all elements that are in precisely one of $P$ or $Q$, but not both. It's like the union of $P$ and $Q$, but you don't include the items that are in both sets.
$endgroup$
– goblin
Jan 28 at 8:20
$begingroup$
I got that part, but my question is would say ${P}$'s elements be considered seperate from $P$'s elements; i.e. that I could list all the elements in $P$ or $Q$ (but not both) but keep ${P}$ untouched?
$endgroup$
– Bandolero
Jan 28 at 8:25
$begingroup$
I got that part, but my question is would say ${P}$'s elements be considered seperate from $P$'s elements; i.e. that I could list all the elements in $P$ or $Q$ (but not both) but keep ${P}$ untouched?
$endgroup$
– Bandolero
Jan 28 at 8:25
$begingroup$
@Bandolero, I'm not sure I understand, but ${P}$ only has one element, so unless $P$ is an element of itself, you can assume that $P$ and ${P}$ are disjoint. Look up "urelement" for more information; the important fact is that they're disallowed in standard treatments of set theory.
$endgroup$
– goblin
Jan 30 at 11:58
$begingroup$
@Bandolero, I'm not sure I understand, but ${P}$ only has one element, so unless $P$ is an element of itself, you can assume that $P$ and ${P}$ are disjoint. Look up "urelement" for more information; the important fact is that they're disallowed in standard treatments of set theory.
$endgroup$
– goblin
Jan 30 at 11:58
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%2f3090586%2foperation-on-sets-listing-the-elements%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$
What does $oplus$ mean in this context? Exclusive-or, perhaps? Or does it mean disjoint union?
$endgroup$
– goblin
Jan 28 at 7:44
$begingroup$
Symmetric difference, so if A⊕B, elements that are in A or B but not both
$endgroup$
– Bandolero
Jan 28 at 7:55
$begingroup$
@Bandolero the usual notation for symmetric difference is $AΔB$
$endgroup$
– Holo
Jan 28 at 11:44