Let be a bijective function whose (smallest) domain is and whose codomain is , and let be a function whose domain is , and whose image is . How many functions are there?
Note: The smallest domain here is the domain of definition. It's the analogue for the image in terms of the codomain - the image is the codomain of definition.
This section requires Javascript.
You are seeing this because something didn't load right. We suggest you, (a) try
refreshing the page, (b) enabling javascript if it is disabled on your browser and,
finally, (c)
loading the
non-javascript version of this page
. We're sorry about the hassle.
h is a function whose domain is [ − 5 , 5 ] and whose image is [ − 4 , 5 ] . How we got from the domain to the image is irrelevant, as long as the way we got from one to another is well-defined. f is a bijection and it maps 1 1 elements to 1 1 elements, and g is a surjection which maps these 1 1 elements to 1 0 elements. This means that every element is mapped in a well-defined way, which wouldn't be the case if for example f mapped 1 1 elements to 2 elements, and the image of g has 1 0 elements.
This means that we need to count the number of functions h : Z → Z whose smallest domain is [ − 5 , 5 ] and whose smallest codomain (image) is [ − 4 , 5 ] . This function maps 1 1 elements to 1 0 elements so, by the Pigeonhole principle, there is 1 element in the codomain which will receive an element 2 times. This means that h is a surjection. We can choose two elements with the same image 1 1 C 2 ways, and we can choose where each element will get mapped 1 0 ! ways. So in total there are 1 1 C 2 ⋅ 1 0 ! such functions.