Ask your own question, for FREE!
Mathematics 8 Online
myininaya (myininaya):

do you know how many onto functions are there from a set A to set B of cardanility m and n respectively ?

OpenStudy (anonymous):

Yes I know.

myininaya (myininaya):

lol let see what james and zarkon say

OpenStudy (anonymous):

This one is well known for a any combinatorics student.

OpenStudy (anonymous):

Lets say if you have 12 pieces of distinct candies and 3 children, in how many ways can you distribute them if each get at-least one ?

OpenStudy (anonymous):

btw easy one: how many injection is possible ?

OpenStudy (anonymous):

and what about bijection ?

myininaya (myininaya):

if n<m and under a function each element of A can map to only one element of B, there can be no onto functions. I think

OpenStudy (anonymous):

yep, but n>m

OpenStudy (mr.math):

It's the opposite, I think, because you're mapping from A to B. A elements have to be more than B.

OpenStudy (anonymous):

n^m i think

OpenStudy (mr.math):

Or equal*.

myininaya (myininaya):

i think n>m is a lot harder to think for me

OpenStudy (anonymous):

n and m don't have any restrictions do they? You can have everything map to the same value, or you can have some values unmapped if m is smaller.

OpenStudy (anonymous):

no,Mr.Math myin is right, if \( f:A \to B \) cardnality of B should be greater than or equal to A

OpenStudy (anonymous):

Fool: why? f(anything) mapping to 6.32 is still a valid function, even though cardinality of A is infinite and cardinality of B is 1.

OpenStudy (anonymous):

Well, I don't give easy problems to men-i-naya ;) :D

myininaya (myininaya):

if n = m we have a bijection...

OpenStudy (anonymous):

ktk you are counting onto functions, assume finite sets.

OpenStudy (anonymous):

we are*

OpenStudy (anonymous):

are you saying with finite sets it's not legal to have more than one value map to the same value?

OpenStudy (anonymous):

@ktklown: I am not talking about anything else outside this precise problems with precise constraints.

myininaya (myininaya):

So B has m elements and the first element of A can map to any the elements in B. The second can map to any of the remaining m-1 elements in B. Third can map to any of the m-2 elements in B. and so on... So the total number of onto functions is m(m-1)(m-2)...(3)(2)(1)=m!

myininaya (myininaya):

but for the last case needs more thinking

OpenStudy (anonymous):

myin your analysis is right for bijection

OpenStudy (mr.math):

I still think that cardinality of A has to be greater than equal than B. Can you find a surjection from \((1,2)\to (a,b,c)\)?

OpenStudy (anonymous):

yes, we can Mr.Math

myininaya (myininaya):

m<n here there are no onto functions

myininaya (myininaya):

wait no i had my cardinalities mixed up

myininaya (myininaya):

|A|=m |B|=n

OpenStudy (mr.math):

The condition should be \(m\ge n\).

myininaya (myininaya):

I'm confused now. Its bed time.

OpenStudy (mr.math):

lol

OpenStudy (anonymous):

|A|=m; and |B|=n and 1<= n <=m, then the number of onto functions form A to B is ?

myininaya (myininaya):

I blame fool and mr. math for all of my confusion. Fool for asking a hard problem this late and mr. math for being there.

OpenStudy (anonymous):

lol, :D

myininaya (myininaya):

Give yourself an applause.

OpenStudy (mr.math):

lol, that's what I've been saying @fool :D

OpenStudy (zarkon):

look at Stirling numbers of the second kind

OpenStudy (anonymous):

yes there goes Zarkon!

OpenStudy (mr.math):

I'm sorry myin, but you've been having the wrong condition :P

OpenStudy (anonymous):

but not exactly \( \left\{\begin{matrix} m \\ n \end{matrix}\right\} \) though.

myininaya (myininaya):

i got my m and n mixed up for the sets earlier

OpenStudy (zarkon):

you will need an n! too.

OpenStudy (anonymous):

yep! \[ n! \times \left\{\begin{matrix} m \\ n \end{matrix}\right\} \]

OpenStudy (anonymous):

btw Zarkon, do you know the inclusion-exclusion approach for this one ?

myininaya (myininaya):

if m=n: So B has n elements and the first element of A can map to any the elements in B. The second can map to any of the remaining n-1 elements in B. Third can map to any of the n-2 elements in B. and so on... So the total number of onto functions is n(n-1)(n-2)...(3)(2)(1)=n!

Can't find your answer? Make a FREE account and ask your own questions, OR help others and earn volunteer hours!

Join our real-time social learning platform and learn together with your friends!
Can't find your answer? Make a FREE account and ask your own questions, OR help others and earn volunteer hours!

Join our real-time social learning platform and learn together with your friends!