Number of surjections from ${1,2,3,4,5,6}$ to ${a,b,c,d,e}$
$begingroup$
Where $A = {1,2,3,4,5,6}$ and $B = {a,b,c,d,e}$.
My book says it's:
- Select a two-element subset of $A$.
- Assign images without repetition to the two-element subset and the four
remaining individual elements of $A$.
This shows that the total number of surjections from $A$ to $B$ is $C(6, 2)5! = 1800$.
I'm confused at why it's multiplied by $5!$ and not by $4!$. Also in part 2, when we assign images, do they mean images in $B$?
combinatorics functions
$endgroup$
add a comment |
$begingroup$
Where $A = {1,2,3,4,5,6}$ and $B = {a,b,c,d,e}$.
My book says it's:
- Select a two-element subset of $A$.
- Assign images without repetition to the two-element subset and the four
remaining individual elements of $A$.
This shows that the total number of surjections from $A$ to $B$ is $C(6, 2)5! = 1800$.
I'm confused at why it's multiplied by $5!$ and not by $4!$. Also in part 2, when we assign images, do they mean images in $B$?
combinatorics functions
$endgroup$
$begingroup$
There are $5$ objects, not $4$. One object is the double, but that doesn't change anything,
$endgroup$
– lulu
11 hours ago
$begingroup$
I thought since we have a subset of 2, we multiply by 4! since there are 4 elements left in A.
$endgroup$
– Zaku
11 hours ago
2
$begingroup$
It's not a question of what's left in $A$. Having paired, say, $1,2$ we now need to count the surjections of ${P,3,4,5,6}$ onto ${a,b,c,d,e}$, where $P$ denotes the pair $(1,2)$. There are clearly $5!$ such surjections.
$endgroup$
– lulu
11 hours ago
$begingroup$
" I thought ..., we multiply by 4! since there are 4 elements left in A." But you haven't chosen which of the 5 elements that subset of 2 map to. Would it make more sense if we said the (number of ways to chose the two that aren't distinct)(choices for that pair)(choices for what is left) $={6choose 2}*5*4! $? That's actually the same thing as (number of ways to chose the two that aren't distinct)(number of choices for the four distinct and the pair)$={6choose 2}*5! $.
$endgroup$
– fleablood
11 hours ago
add a comment |
$begingroup$
Where $A = {1,2,3,4,5,6}$ and $B = {a,b,c,d,e}$.
My book says it's:
- Select a two-element subset of $A$.
- Assign images without repetition to the two-element subset and the four
remaining individual elements of $A$.
This shows that the total number of surjections from $A$ to $B$ is $C(6, 2)5! = 1800$.
I'm confused at why it's multiplied by $5!$ and not by $4!$. Also in part 2, when we assign images, do they mean images in $B$?
combinatorics functions
$endgroup$
Where $A = {1,2,3,4,5,6}$ and $B = {a,b,c,d,e}$.
My book says it's:
- Select a two-element subset of $A$.
- Assign images without repetition to the two-element subset and the four
remaining individual elements of $A$.
This shows that the total number of surjections from $A$ to $B$ is $C(6, 2)5! = 1800$.
I'm confused at why it's multiplied by $5!$ and not by $4!$. Also in part 2, when we assign images, do they mean images in $B$?
combinatorics functions
combinatorics functions
edited 3 hours ago
N. F. Taussig
45.1k103358
45.1k103358
asked 11 hours ago
ZakuZaku
1879
1879
$begingroup$
There are $5$ objects, not $4$. One object is the double, but that doesn't change anything,
$endgroup$
– lulu
11 hours ago
$begingroup$
I thought since we have a subset of 2, we multiply by 4! since there are 4 elements left in A.
$endgroup$
– Zaku
11 hours ago
2
$begingroup$
It's not a question of what's left in $A$. Having paired, say, $1,2$ we now need to count the surjections of ${P,3,4,5,6}$ onto ${a,b,c,d,e}$, where $P$ denotes the pair $(1,2)$. There are clearly $5!$ such surjections.
$endgroup$
– lulu
11 hours ago
$begingroup$
" I thought ..., we multiply by 4! since there are 4 elements left in A." But you haven't chosen which of the 5 elements that subset of 2 map to. Would it make more sense if we said the (number of ways to chose the two that aren't distinct)(choices for that pair)(choices for what is left) $={6choose 2}*5*4! $? That's actually the same thing as (number of ways to chose the two that aren't distinct)(number of choices for the four distinct and the pair)$={6choose 2}*5! $.
$endgroup$
– fleablood
11 hours ago
add a comment |
$begingroup$
There are $5$ objects, not $4$. One object is the double, but that doesn't change anything,
$endgroup$
– lulu
11 hours ago
$begingroup$
I thought since we have a subset of 2, we multiply by 4! since there are 4 elements left in A.
$endgroup$
– Zaku
11 hours ago
2
$begingroup$
It's not a question of what's left in $A$. Having paired, say, $1,2$ we now need to count the surjections of ${P,3,4,5,6}$ onto ${a,b,c,d,e}$, where $P$ denotes the pair $(1,2)$. There are clearly $5!$ such surjections.
$endgroup$
– lulu
11 hours ago
$begingroup$
" I thought ..., we multiply by 4! since there are 4 elements left in A." But you haven't chosen which of the 5 elements that subset of 2 map to. Would it make more sense if we said the (number of ways to chose the two that aren't distinct)(choices for that pair)(choices for what is left) $={6choose 2}*5*4! $? That's actually the same thing as (number of ways to chose the two that aren't distinct)(number of choices for the four distinct and the pair)$={6choose 2}*5! $.
$endgroup$
– fleablood
11 hours ago
$begingroup$
There are $5$ objects, not $4$. One object is the double, but that doesn't change anything,
$endgroup$
– lulu
11 hours ago
$begingroup$
There are $5$ objects, not $4$. One object is the double, but that doesn't change anything,
$endgroup$
– lulu
11 hours ago
$begingroup$
I thought since we have a subset of 2, we multiply by 4! since there are 4 elements left in A.
$endgroup$
– Zaku
11 hours ago
$begingroup$
I thought since we have a subset of 2, we multiply by 4! since there are 4 elements left in A.
$endgroup$
– Zaku
11 hours ago
2
2
$begingroup$
It's not a question of what's left in $A$. Having paired, say, $1,2$ we now need to count the surjections of ${P,3,4,5,6}$ onto ${a,b,c,d,e}$, where $P$ denotes the pair $(1,2)$. There are clearly $5!$ such surjections.
$endgroup$
– lulu
11 hours ago
$begingroup$
It's not a question of what's left in $A$. Having paired, say, $1,2$ we now need to count the surjections of ${P,3,4,5,6}$ onto ${a,b,c,d,e}$, where $P$ denotes the pair $(1,2)$. There are clearly $5!$ such surjections.
$endgroup$
– lulu
11 hours ago
$begingroup$
" I thought ..., we multiply by 4! since there are 4 elements left in A." But you haven't chosen which of the 5 elements that subset of 2 map to. Would it make more sense if we said the (number of ways to chose the two that aren't distinct)(choices for that pair)(choices for what is left) $={6choose 2}*5*4! $? That's actually the same thing as (number of ways to chose the two that aren't distinct)(number of choices for the four distinct and the pair)$={6choose 2}*5! $.
$endgroup$
– fleablood
11 hours ago
$begingroup$
" I thought ..., we multiply by 4! since there are 4 elements left in A." But you haven't chosen which of the 5 elements that subset of 2 map to. Would it make more sense if we said the (number of ways to chose the two that aren't distinct)(choices for that pair)(choices for what is left) $={6choose 2}*5*4! $? That's actually the same thing as (number of ways to chose the two that aren't distinct)(number of choices for the four distinct and the pair)$={6choose 2}*5! $.
$endgroup$
– fleablood
11 hours ago
add a comment |
3 Answers
3
active
oldest
votes
$begingroup$
How many ways can $A$ be partitioned into $5$ blocks?
Answer: $binom{6}{2} = 15$
Given any $5text{-block}$ partition of $A$, in how many ways can the blocks be bijectively
assigned to the $5$ element set $B$?
Answer: $5! =120$
How many surjective functions from $A$ onto $B$ are there?
Answer: $15 times 120 = 1800$
$endgroup$
add a comment |
$begingroup$
Think of it this way:
There is a pair of terms that get mapped to the same element. Call that pair $alpha $. There are four terms remaining. Call them $beta,gamma,delta$ and $epsilon $.
There are ${6choose 2} $ possible pairs that can be $alpha $.
And we must map $alpha,beta,gamma,delta,epsilon $ to $a,b,c,d,e $. There is $5! $ ways to do that.
$endgroup$
add a comment |
$begingroup$
(i). Select a $2$-member $A_1subset A.$ There are $binom {6}{2}$ ways to do this. Select a $1$-member $B_1subset B.$ There are $binom {5}{1}$ ways to do this. There are $binom {6}{2}binom {5}{1}$ such pairs $(A_1,B_1)$ and for each pair there is a set $F(A_1,B_1)$ of $4!$ surjections $f:Ato B$ such that ${f(x):xin A_1}=B_1.$
And if $(A_1, B_1)ne (A'_1, B'_1)$ then the sets $F(A_1,B_1), F(A'_1,B'_1)$ are disjoint.
So there are at least $binom {6}{2}binom {5}{1}4!=(15)(5)(4!)=(15)(5!)=1800$ surjections.
(ii). Every surjection $f:Ato B$ belongs to some $F(A_1,B_1)$ so there are at most $1800$ surjections.
In other words: (i) we didn't count any $f$ more than once, and (ii) we didn't fail to count any $f$.
Remark. The "mysterious" $5!$ came from two sources: The product of the number $binom {5}{1}$ of $B_1$'s and the number $4$! of bijections from a $4$-member set to another.
$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%2f3180474%2fnumber-of-surjections-from-1-2-3-4-5-6-to-a-b-c-d-e%23new-answer', 'question_page');
}
);
Post as a guest
Required, but never shown
3 Answers
3
active
oldest
votes
3 Answers
3
active
oldest
votes
active
oldest
votes
active
oldest
votes
$begingroup$
How many ways can $A$ be partitioned into $5$ blocks?
Answer: $binom{6}{2} = 15$
Given any $5text{-block}$ partition of $A$, in how many ways can the blocks be bijectively
assigned to the $5$ element set $B$?
Answer: $5! =120$
How many surjective functions from $A$ onto $B$ are there?
Answer: $15 times 120 = 1800$
$endgroup$
add a comment |
$begingroup$
How many ways can $A$ be partitioned into $5$ blocks?
Answer: $binom{6}{2} = 15$
Given any $5text{-block}$ partition of $A$, in how many ways can the blocks be bijectively
assigned to the $5$ element set $B$?
Answer: $5! =120$
How many surjective functions from $A$ onto $B$ are there?
Answer: $15 times 120 = 1800$
$endgroup$
add a comment |
$begingroup$
How many ways can $A$ be partitioned into $5$ blocks?
Answer: $binom{6}{2} = 15$
Given any $5text{-block}$ partition of $A$, in how many ways can the blocks be bijectively
assigned to the $5$ element set $B$?
Answer: $5! =120$
How many surjective functions from $A$ onto $B$ are there?
Answer: $15 times 120 = 1800$
$endgroup$
How many ways can $A$ be partitioned into $5$ blocks?
Answer: $binom{6}{2} = 15$
Given any $5text{-block}$ partition of $A$, in how many ways can the blocks be bijectively
assigned to the $5$ element set $B$?
Answer: $5! =120$
How many surjective functions from $A$ onto $B$ are there?
Answer: $15 times 120 = 1800$
answered 11 hours ago
CopyPasteItCopyPasteIt
4,3471828
4,3471828
add a comment |
add a comment |
$begingroup$
Think of it this way:
There is a pair of terms that get mapped to the same element. Call that pair $alpha $. There are four terms remaining. Call them $beta,gamma,delta$ and $epsilon $.
There are ${6choose 2} $ possible pairs that can be $alpha $.
And we must map $alpha,beta,gamma,delta,epsilon $ to $a,b,c,d,e $. There is $5! $ ways to do that.
$endgroup$
add a comment |
$begingroup$
Think of it this way:
There is a pair of terms that get mapped to the same element. Call that pair $alpha $. There are four terms remaining. Call them $beta,gamma,delta$ and $epsilon $.
There are ${6choose 2} $ possible pairs that can be $alpha $.
And we must map $alpha,beta,gamma,delta,epsilon $ to $a,b,c,d,e $. There is $5! $ ways to do that.
$endgroup$
add a comment |
$begingroup$
Think of it this way:
There is a pair of terms that get mapped to the same element. Call that pair $alpha $. There are four terms remaining. Call them $beta,gamma,delta$ and $epsilon $.
There are ${6choose 2} $ possible pairs that can be $alpha $.
And we must map $alpha,beta,gamma,delta,epsilon $ to $a,b,c,d,e $. There is $5! $ ways to do that.
$endgroup$
Think of it this way:
There is a pair of terms that get mapped to the same element. Call that pair $alpha $. There are four terms remaining. Call them $beta,gamma,delta$ and $epsilon $.
There are ${6choose 2} $ possible pairs that can be $alpha $.
And we must map $alpha,beta,gamma,delta,epsilon $ to $a,b,c,d,e $. There is $5! $ ways to do that.
answered 10 hours ago
fleabloodfleablood
73.9k22891
73.9k22891
add a comment |
add a comment |
$begingroup$
(i). Select a $2$-member $A_1subset A.$ There are $binom {6}{2}$ ways to do this. Select a $1$-member $B_1subset B.$ There are $binom {5}{1}$ ways to do this. There are $binom {6}{2}binom {5}{1}$ such pairs $(A_1,B_1)$ and for each pair there is a set $F(A_1,B_1)$ of $4!$ surjections $f:Ato B$ such that ${f(x):xin A_1}=B_1.$
And if $(A_1, B_1)ne (A'_1, B'_1)$ then the sets $F(A_1,B_1), F(A'_1,B'_1)$ are disjoint.
So there are at least $binom {6}{2}binom {5}{1}4!=(15)(5)(4!)=(15)(5!)=1800$ surjections.
(ii). Every surjection $f:Ato B$ belongs to some $F(A_1,B_1)$ so there are at most $1800$ surjections.
In other words: (i) we didn't count any $f$ more than once, and (ii) we didn't fail to count any $f$.
Remark. The "mysterious" $5!$ came from two sources: The product of the number $binom {5}{1}$ of $B_1$'s and the number $4$! of bijections from a $4$-member set to another.
$endgroup$
add a comment |
$begingroup$
(i). Select a $2$-member $A_1subset A.$ There are $binom {6}{2}$ ways to do this. Select a $1$-member $B_1subset B.$ There are $binom {5}{1}$ ways to do this. There are $binom {6}{2}binom {5}{1}$ such pairs $(A_1,B_1)$ and for each pair there is a set $F(A_1,B_1)$ of $4!$ surjections $f:Ato B$ such that ${f(x):xin A_1}=B_1.$
And if $(A_1, B_1)ne (A'_1, B'_1)$ then the sets $F(A_1,B_1), F(A'_1,B'_1)$ are disjoint.
So there are at least $binom {6}{2}binom {5}{1}4!=(15)(5)(4!)=(15)(5!)=1800$ surjections.
(ii). Every surjection $f:Ato B$ belongs to some $F(A_1,B_1)$ so there are at most $1800$ surjections.
In other words: (i) we didn't count any $f$ more than once, and (ii) we didn't fail to count any $f$.
Remark. The "mysterious" $5!$ came from two sources: The product of the number $binom {5}{1}$ of $B_1$'s and the number $4$! of bijections from a $4$-member set to another.
$endgroup$
add a comment |
$begingroup$
(i). Select a $2$-member $A_1subset A.$ There are $binom {6}{2}$ ways to do this. Select a $1$-member $B_1subset B.$ There are $binom {5}{1}$ ways to do this. There are $binom {6}{2}binom {5}{1}$ such pairs $(A_1,B_1)$ and for each pair there is a set $F(A_1,B_1)$ of $4!$ surjections $f:Ato B$ such that ${f(x):xin A_1}=B_1.$
And if $(A_1, B_1)ne (A'_1, B'_1)$ then the sets $F(A_1,B_1), F(A'_1,B'_1)$ are disjoint.
So there are at least $binom {6}{2}binom {5}{1}4!=(15)(5)(4!)=(15)(5!)=1800$ surjections.
(ii). Every surjection $f:Ato B$ belongs to some $F(A_1,B_1)$ so there are at most $1800$ surjections.
In other words: (i) we didn't count any $f$ more than once, and (ii) we didn't fail to count any $f$.
Remark. The "mysterious" $5!$ came from two sources: The product of the number $binom {5}{1}$ of $B_1$'s and the number $4$! of bijections from a $4$-member set to another.
$endgroup$
(i). Select a $2$-member $A_1subset A.$ There are $binom {6}{2}$ ways to do this. Select a $1$-member $B_1subset B.$ There are $binom {5}{1}$ ways to do this. There are $binom {6}{2}binom {5}{1}$ such pairs $(A_1,B_1)$ and for each pair there is a set $F(A_1,B_1)$ of $4!$ surjections $f:Ato B$ such that ${f(x):xin A_1}=B_1.$
And if $(A_1, B_1)ne (A'_1, B'_1)$ then the sets $F(A_1,B_1), F(A'_1,B'_1)$ are disjoint.
So there are at least $binom {6}{2}binom {5}{1}4!=(15)(5)(4!)=(15)(5!)=1800$ surjections.
(ii). Every surjection $f:Ato B$ belongs to some $F(A_1,B_1)$ so there are at most $1800$ surjections.
In other words: (i) we didn't count any $f$ more than once, and (ii) we didn't fail to count any $f$.
Remark. The "mysterious" $5!$ came from two sources: The product of the number $binom {5}{1}$ of $B_1$'s and the number $4$! of bijections from a $4$-member set to another.
edited 7 hours ago
answered 7 hours ago
DanielWainfleetDanielWainfleet
35.8k31648
35.8k31648
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%2f3180474%2fnumber-of-surjections-from-1-2-3-4-5-6-to-a-b-c-d-e%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$
There are $5$ objects, not $4$. One object is the double, but that doesn't change anything,
$endgroup$
– lulu
11 hours ago
$begingroup$
I thought since we have a subset of 2, we multiply by 4! since there are 4 elements left in A.
$endgroup$
– Zaku
11 hours ago
2
$begingroup$
It's not a question of what's left in $A$. Having paired, say, $1,2$ we now need to count the surjections of ${P,3,4,5,6}$ onto ${a,b,c,d,e}$, where $P$ denotes the pair $(1,2)$. There are clearly $5!$ such surjections.
$endgroup$
– lulu
11 hours ago
$begingroup$
" I thought ..., we multiply by 4! since there are 4 elements left in A." But you haven't chosen which of the 5 elements that subset of 2 map to. Would it make more sense if we said the (number of ways to chose the two that aren't distinct)(choices for that pair)(choices for what is left) $={6choose 2}*5*4! $? That's actually the same thing as (number of ways to chose the two that aren't distinct)(number of choices for the four distinct and the pair)$={6choose 2}*5! $.
$endgroup$
– fleablood
11 hours ago