Analyzing the Setup
We are tasked with finding the number of bijective functions f:{1,2,…,20}→{1,2,…,20} such that for every k which is a multiple of 4, f(k) is a multiple of 3.
In a finite set of equal size, an 'onto' function is necessarily a bijection. This means we are looking for the number of permutations of the set {1,2,…,20} that satisfy the given condition.
The Special Forces
First, let us identify the inputs that are multiples of 4. These are the elements of the set S4={4,8,12,16,20}. There are exactly 5 such elements.
Next, we identify the available targets in the codomain that are multiples of 3. These are the elements of the set S3={3,6,9,12,15,18}. There are exactly 6 such elements.
Since the function must be a bijection, each of the 5 inputs in S4 must be mapped to a unique target in S3. The number of ways to choose 5 targets out of 6 and assign them to the 5 inputs is given by the permutation formula:
The Remaining Army
After mapping the 5 special inputs, we have used 5 inputs from the domain and 5 targets from the codomain. This leaves us with 20−5=15 remaining inputs and 20−5=15 remaining targets.
Because the function must be a bijection, these remaining 15 inputs must be mapped to the remaining 15 targets. Since there are no further restrictions on these elements, they can be paired in any way possible.
The number of ways to arrange these 15 items into 15 slots is simply 15!.
The Grand Finale
By the Fundamental Principle of Counting, we multiply the number of ways to perform these two independent steps to find the total number of valid functions.
The total number of such functions is:
This result represents the total count of bijective mappings satisfying the given constraints, demonstrating how breaking a complex problem into smaller, manageable pieces leads to a clear and elegant solution.