View written solutionFree
Correct answer: 180
-
We need the number of onto (surjective) functions where and additionally
-
Since and , for a function to be onto, exactly one value in must have two preimages and the other three values must have one preimage each.
So the pattern of sizes of preimage sets is:
- Count onto functions with the restriction . We split into cases depending on the value of .
Since , we must have So there are symmetric choices. We count for one fixed value and multiply by .
Let us fix Now count onto functions under this condition.
- Since the function is onto, values must each appear at least once among . Also value is already taken by , so among , either:
- none maps to , giving preimage sizes , or
- exactly one maps to , giving preimage sizes .
Thus among , we must assign values so that each appear, and may appear at most once.
- Count assignments of .
We have 4 elements to assign. To ensure onto, must all appear at least once. Since there are 4 elements, exactly one of the values among is repeated among the full 5-element domain.
With , two possibilities:
Case 1: No one among maps to
Then must map onto using 4 elements, with one of repeated.
- Choose which of is repeated: ways.
- Choose the 2 elements (out of ) that map to that repeated value: ways.
- Assign the remaining two elements to the remaining two values: ways.
So,
Case 2: Exactly one among maps to
Then the remaining three elements must map bijectively to .
- Choose which one of maps to : ways.
- Assign the remaining three elements to : ways.
So,
Therefore, for fixed , total number of onto functions is
-
Since can be any of , by symmetry total number is
-
Hence the required number of onto functions is
-
Comparison with stored correct answer: Stored correct answer = . This matches our derived answer.
More from Functions
- If domain of the function is , then…2023 · Numerical
- If , then the least value of is :2023 · MCQ
- The domain of the function is : ( where denotes the greatest integer less than or equal to )2023 · MCQ
- Let and . Then the number of functions satisfying is equal to .2023 · Numerical
- Let be the domain of the function . If the range of the function defined by …2023 · MCQ
- For , two real valued functions and are such that, and . Then is equal to2023 · MCQ
- The range of is2023 · MCQ
- Let be a function such that for all . If and , then the value of n is2023 · MCQ