What would you call a finite collection of unordered objects that are not necessarily distinct?
$begingroup$
I Just want to know the name for this if there is one because I don't think it satisifies any of the formal definitions for sets, n-tuples, sequences, combinations, permutations, or any other enumerated objects I can think of.
For convenience, I will henceforth use the term $mathbf{ set^*}$ with an asterisk to refer to what I described in the title.
As a quick example, let $mathbf{A}$ and $mathbf{B }$ be $mathbf{ set^*}$'s where $$mathbf{A = {3,3,4,11,4,8}}$$
$$mathbf{B = {4,3,4,8,11,3}}$$
Then $mathbf{A }$ and $mathbf{ B }$ are equal.
combinatorics elementary-set-theory notation permutations definition
$endgroup$
add a comment |
$begingroup$
I Just want to know the name for this if there is one because I don't think it satisifies any of the formal definitions for sets, n-tuples, sequences, combinations, permutations, or any other enumerated objects I can think of.
For convenience, I will henceforth use the term $mathbf{ set^*}$ with an asterisk to refer to what I described in the title.
As a quick example, let $mathbf{A}$ and $mathbf{B }$ be $mathbf{ set^*}$'s where $$mathbf{A = {3,3,4,11,4,8}}$$
$$mathbf{B = {4,3,4,8,11,3}}$$
Then $mathbf{A }$ and $mathbf{ B }$ are equal.
combinatorics elementary-set-theory notation permutations definition
$endgroup$
add a comment |
$begingroup$
I Just want to know the name for this if there is one because I don't think it satisifies any of the formal definitions for sets, n-tuples, sequences, combinations, permutations, or any other enumerated objects I can think of.
For convenience, I will henceforth use the term $mathbf{ set^*}$ with an asterisk to refer to what I described in the title.
As a quick example, let $mathbf{A}$ and $mathbf{B }$ be $mathbf{ set^*}$'s where $$mathbf{A = {3,3,4,11,4,8}}$$
$$mathbf{B = {4,3,4,8,11,3}}$$
Then $mathbf{A }$ and $mathbf{ B }$ are equal.
combinatorics elementary-set-theory notation permutations definition
$endgroup$
I Just want to know the name for this if there is one because I don't think it satisifies any of the formal definitions for sets, n-tuples, sequences, combinations, permutations, or any other enumerated objects I can think of.
For convenience, I will henceforth use the term $mathbf{ set^*}$ with an asterisk to refer to what I described in the title.
As a quick example, let $mathbf{A}$ and $mathbf{B }$ be $mathbf{ set^*}$'s where $$mathbf{A = {3,3,4,11,4,8}}$$
$$mathbf{B = {4,3,4,8,11,3}}$$
Then $mathbf{A }$ and $mathbf{ B }$ are equal.
combinatorics elementary-set-theory notation permutations definition
combinatorics elementary-set-theory notation permutations definition
asked Mar 25 at 11:20
Nicholas CousarNicholas Cousar
374312
374312
add a comment |
add a comment |
4 Answers
4
active
oldest
votes
$begingroup$
If you're looking for something like a set which may have repeated elements, standard terms are multiset or bag. See multiset on wikipedia.
$endgroup$
add a comment |
$begingroup$
The common term is multiset. For a formal definition, you can for instance define the set of multisets of size $n$ of a given set $A$ as $A^n/mathfrak{S}_n$ where $mathfrak{S}_n$ acts by permutation of the factors; or if you don't want to be bothered by size you can define it as a map $f: Ato mathbb{N}$ where $f(a)$ is supposed to represent the number of times $a$ appears in the multiset.
These are two interesting models for different situations, and there are probably more.
$endgroup$
add a comment |
$begingroup$
In this context you can identify what you call a $mathbf{ set^*}$ with a function that has a finite domain and has $mathbb N={1,2,3cdots}$ as codomain.
$A$ and $B$ in your question can both be identified with function: $${langle3,2rangle,langle4,2rangle,langle8,1rangle,langle11,1rangle}$$Domain of the function in this case is the set ${3,4,8,11}$.
$endgroup$
add a comment |
$begingroup$
If two objects can be distinguished by the number of times an element appears in them, that is called "multiplicity". So the more mathy version of "finite collection of unordered objects that are not necessarily distinct" would be "unordered finite collection with multiplicity" or "finite collection with multiplicity but not order".
The single-word term for unordered collections with multiplicity is "multi-set", but I don't think there's any single-word term for finite multi-sets. Googling "math collection multiplicity no order" returns http://mathworld.wolfram.com/Set.html and https://en.wikipedia.org/wiki/Multiplicity_(mathematics) , both of which mention multisets.
Another term that is used in the context of eigenvalues is "spectrum": the multiplicity of the eigenvalues is important, but there is no canonical order (other than the normal order of the real numbers, but that doesn't apply if they are complex). When you diagonalize or take the Jordan canonical form of a matrix, it matters how many times each eigenvalue appears, but putting the eigenvalues in a different order results in the same matrix, up to similarity.
$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%2f3161647%2fwhat-would-you-call-a-finite-collection-of-unordered-objects-that-are-not-necess%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$
If you're looking for something like a set which may have repeated elements, standard terms are multiset or bag. See multiset on wikipedia.
$endgroup$
add a comment |
$begingroup$
If you're looking for something like a set which may have repeated elements, standard terms are multiset or bag. See multiset on wikipedia.
$endgroup$
add a comment |
$begingroup$
If you're looking for something like a set which may have repeated elements, standard terms are multiset or bag. See multiset on wikipedia.
$endgroup$
If you're looking for something like a set which may have repeated elements, standard terms are multiset or bag. See multiset on wikipedia.
answered Mar 25 at 11:24
Especially LimeEspecially Lime
22.8k23059
22.8k23059
add a comment |
add a comment |
$begingroup$
The common term is multiset. For a formal definition, you can for instance define the set of multisets of size $n$ of a given set $A$ as $A^n/mathfrak{S}_n$ where $mathfrak{S}_n$ acts by permutation of the factors; or if you don't want to be bothered by size you can define it as a map $f: Ato mathbb{N}$ where $f(a)$ is supposed to represent the number of times $a$ appears in the multiset.
These are two interesting models for different situations, and there are probably more.
$endgroup$
add a comment |
$begingroup$
The common term is multiset. For a formal definition, you can for instance define the set of multisets of size $n$ of a given set $A$ as $A^n/mathfrak{S}_n$ where $mathfrak{S}_n$ acts by permutation of the factors; or if you don't want to be bothered by size you can define it as a map $f: Ato mathbb{N}$ where $f(a)$ is supposed to represent the number of times $a$ appears in the multiset.
These are two interesting models for different situations, and there are probably more.
$endgroup$
add a comment |
$begingroup$
The common term is multiset. For a formal definition, you can for instance define the set of multisets of size $n$ of a given set $A$ as $A^n/mathfrak{S}_n$ where $mathfrak{S}_n$ acts by permutation of the factors; or if you don't want to be bothered by size you can define it as a map $f: Ato mathbb{N}$ where $f(a)$ is supposed to represent the number of times $a$ appears in the multiset.
These are two interesting models for different situations, and there are probably more.
$endgroup$
The common term is multiset. For a formal definition, you can for instance define the set of multisets of size $n$ of a given set $A$ as $A^n/mathfrak{S}_n$ where $mathfrak{S}_n$ acts by permutation of the factors; or if you don't want to be bothered by size you can define it as a map $f: Ato mathbb{N}$ where $f(a)$ is supposed to represent the number of times $a$ appears in the multiset.
These are two interesting models for different situations, and there are probably more.
answered Mar 25 at 11:27
MaxMax
15.9k11144
15.9k11144
add a comment |
add a comment |
$begingroup$
In this context you can identify what you call a $mathbf{ set^*}$ with a function that has a finite domain and has $mathbb N={1,2,3cdots}$ as codomain.
$A$ and $B$ in your question can both be identified with function: $${langle3,2rangle,langle4,2rangle,langle8,1rangle,langle11,1rangle}$$Domain of the function in this case is the set ${3,4,8,11}$.
$endgroup$
add a comment |
$begingroup$
In this context you can identify what you call a $mathbf{ set^*}$ with a function that has a finite domain and has $mathbb N={1,2,3cdots}$ as codomain.
$A$ and $B$ in your question can both be identified with function: $${langle3,2rangle,langle4,2rangle,langle8,1rangle,langle11,1rangle}$$Domain of the function in this case is the set ${3,4,8,11}$.
$endgroup$
add a comment |
$begingroup$
In this context you can identify what you call a $mathbf{ set^*}$ with a function that has a finite domain and has $mathbb N={1,2,3cdots}$ as codomain.
$A$ and $B$ in your question can both be identified with function: $${langle3,2rangle,langle4,2rangle,langle8,1rangle,langle11,1rangle}$$Domain of the function in this case is the set ${3,4,8,11}$.
$endgroup$
In this context you can identify what you call a $mathbf{ set^*}$ with a function that has a finite domain and has $mathbb N={1,2,3cdots}$ as codomain.
$A$ and $B$ in your question can both be identified with function: $${langle3,2rangle,langle4,2rangle,langle8,1rangle,langle11,1rangle}$$Domain of the function in this case is the set ${3,4,8,11}$.
answered Mar 25 at 11:33
drhabdrhab
104k545136
104k545136
add a comment |
add a comment |
$begingroup$
If two objects can be distinguished by the number of times an element appears in them, that is called "multiplicity". So the more mathy version of "finite collection of unordered objects that are not necessarily distinct" would be "unordered finite collection with multiplicity" or "finite collection with multiplicity but not order".
The single-word term for unordered collections with multiplicity is "multi-set", but I don't think there's any single-word term for finite multi-sets. Googling "math collection multiplicity no order" returns http://mathworld.wolfram.com/Set.html and https://en.wikipedia.org/wiki/Multiplicity_(mathematics) , both of which mention multisets.
Another term that is used in the context of eigenvalues is "spectrum": the multiplicity of the eigenvalues is important, but there is no canonical order (other than the normal order of the real numbers, but that doesn't apply if they are complex). When you diagonalize or take the Jordan canonical form of a matrix, it matters how many times each eigenvalue appears, but putting the eigenvalues in a different order results in the same matrix, up to similarity.
$endgroup$
add a comment |
$begingroup$
If two objects can be distinguished by the number of times an element appears in them, that is called "multiplicity". So the more mathy version of "finite collection of unordered objects that are not necessarily distinct" would be "unordered finite collection with multiplicity" or "finite collection with multiplicity but not order".
The single-word term for unordered collections with multiplicity is "multi-set", but I don't think there's any single-word term for finite multi-sets. Googling "math collection multiplicity no order" returns http://mathworld.wolfram.com/Set.html and https://en.wikipedia.org/wiki/Multiplicity_(mathematics) , both of which mention multisets.
Another term that is used in the context of eigenvalues is "spectrum": the multiplicity of the eigenvalues is important, but there is no canonical order (other than the normal order of the real numbers, but that doesn't apply if they are complex). When you diagonalize or take the Jordan canonical form of a matrix, it matters how many times each eigenvalue appears, but putting the eigenvalues in a different order results in the same matrix, up to similarity.
$endgroup$
add a comment |
$begingroup$
If two objects can be distinguished by the number of times an element appears in them, that is called "multiplicity". So the more mathy version of "finite collection of unordered objects that are not necessarily distinct" would be "unordered finite collection with multiplicity" or "finite collection with multiplicity but not order".
The single-word term for unordered collections with multiplicity is "multi-set", but I don't think there's any single-word term for finite multi-sets. Googling "math collection multiplicity no order" returns http://mathworld.wolfram.com/Set.html and https://en.wikipedia.org/wiki/Multiplicity_(mathematics) , both of which mention multisets.
Another term that is used in the context of eigenvalues is "spectrum": the multiplicity of the eigenvalues is important, but there is no canonical order (other than the normal order of the real numbers, but that doesn't apply if they are complex). When you diagonalize or take the Jordan canonical form of a matrix, it matters how many times each eigenvalue appears, but putting the eigenvalues in a different order results in the same matrix, up to similarity.
$endgroup$
If two objects can be distinguished by the number of times an element appears in them, that is called "multiplicity". So the more mathy version of "finite collection of unordered objects that are not necessarily distinct" would be "unordered finite collection with multiplicity" or "finite collection with multiplicity but not order".
The single-word term for unordered collections with multiplicity is "multi-set", but I don't think there's any single-word term for finite multi-sets. Googling "math collection multiplicity no order" returns http://mathworld.wolfram.com/Set.html and https://en.wikipedia.org/wiki/Multiplicity_(mathematics) , both of which mention multisets.
Another term that is used in the context of eigenvalues is "spectrum": the multiplicity of the eigenvalues is important, but there is no canonical order (other than the normal order of the real numbers, but that doesn't apply if they are complex). When you diagonalize or take the Jordan canonical form of a matrix, it matters how many times each eigenvalue appears, but putting the eigenvalues in a different order results in the same matrix, up to similarity.
answered Mar 25 at 15:50
AcccumulationAcccumulation
7,2152619
7,2152619
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%2f3161647%2fwhat-would-you-call-a-finite-collection-of-unordered-objects-that-are-not-necess%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