Solution

ID: past-exam-of-the-year-1-of-the-computer-science-course-of-the-university-of-oxford/2015/discrete-mathematics-continuous-mathematics-and-probability-resit/1/b/iii/solution

With the convention , the even inputs map to for , while the odd inputs map to for . These two images of a function are disjoint and together equal . Within either class there are no repeated outputs. More explicitly the inverse function is
Consequently is both injective and surjective, hence a bijection. If instead , the input zero is absent: remains injective but its image of a function is , so it is not onto. The printed paper does not specify this convention; the zero-based convention gives the apparent intended bijection.

New to topics? Read the docs here!