Number of One to One and Onto Functions Between Finite Sets
Let denote a set with exactly 5 elements and denote a set with exactly 7 elements. Suppose is the number of one-one functions from to , and is the number of onto functions mapping to . Calculate the value of
Topics & Concepts
Step-by-Step Solution
To find the required value of , we evaluate the values of and individually.
Step 1: Calculate
is defined as the number of one-one (injective) functions from set to set , where and .
The number of one-one functions from a set with elements to a set with elements is given by the permutation :
Dividing by , we get:
Step 2: Calculate
is defined as the number of onto (surjective) functions mapping set to set , where and .
The number of onto functions from a set of size to a set of size is given by , where is the Stirling number of the second kind, representing the number of ways to partition distinct elements into non-empty sets.
Here, and . The partitions of elements into non-empty groups can occur in two possible patterns:
-
Partition of type :
-
Partition of type :
Summing both partition types gives the total Stirling number of the second kind :
Therefore, the total number of onto functions is:
Dividing by , we get:
Step 3: Compute
Substitute the values derived above:
The final value is 119.