Solution

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

Let be a two-sided inverse function of . If , apply and use to obtain , proving injectivity. For any , the other identity gives , proving surjectivity. Therefore is a bijection. Both inverse identities matter: a one-sided inverse alone would establish only the corresponding one of these two properties.

New to topics? Read the docs here!