 Solution

ID: past-exam-of-the-year-1-of-the-computer-science-course-of-the-university-of-oxford/2013/discrete-mathematics-probability-and-continuous-mathematics/1/f/ii/solution

The inverse factors are generally in the wrong order. For a counterexample, take the bijections

f (x) = x + 1

and

g (x) = 2 x

f^{- 1} (x) = x - 1

and

g^{- 1} (x) = x /2

. Then

((f \circ g) \circ (f^{- 1} \circ g^{- 1})) (x) = 2 (x /2 - 1) + 1 = x - 1.

Thus

False in general; the displayed composition need not be id .

For particular bijections that commute the equality can hold; the claim fails as a universal assertion.

 New to topics? Read the docs here!