4
votes
Accepted
Number of surjective mappings from set $A$ to set $B$
A function $f:A \to B$ assigns to each element of $A$ exactly one element of $B$.
In your case, each of the $6$ elements of $A$ has $4$ choices for its image in $B$.
Thus, the total number of ...
3
votes
Number of surjective mappings from set $A$ to set $B$
Towards "where did I go wrong":
There are two "types" of surjective functions from $A$ to $B$, corresponding to the two compositions
$6 = 3 + 1 + 1 + 1$
$6 = 2 + 2 + 1 + 1$
of 6 ...
2
votes
Accepted
A non-transitive game league
Let $L$ be a league with the mean $m$, and let $M = \max\limits_{T_i} \max T_i$. Then $T = (3m - 2M - 2, M + 1, M + 1)$ wins against every team in $L$ on the second and third positions.
In case we ...
2
votes
Number of surjective mappings from set $A$ to set $B$
Another way of counting these, is by observing that each surjective map is determined by the inverse image of each of the four elements in $B$.
Thus, the number of such maps is $4!$ times the number ...
1
vote
Accepted
Necessary and sufficient condition for a subset of the powerset of $S$ to be the set of relation classes of some binary relation $R$ on $S$?
This happens iff $X$ is the surjective image of some quotient of $S$. By taking a further quotient, this is equivalent to $X$ being in bijection with some quotient of $S$.
If $i:S_\sim\cong X$ is a ...
Only top scored, non community-wiki answers of a minimum length are eligible
Related Tags
relations × 4712elementary-set-theory × 1242
discrete-mathematics × 1231
equivalence-relations × 893
functions × 494
order-theory × 355
solution-verification × 259
logic × 218
combinatorics × 150
proof-writing × 136
abstract-algebra × 135
terminology × 105
notation × 82
definition × 82
function-and-relation-composition × 80
graph-theory × 74
set-theory × 67
category-theory × 61
first-order-logic × 56
set-partition × 44
proof-explanation × 41
group-theory × 39
elementary-number-theory × 39
matrices × 38
algebra-precalculus × 37