Science:Math Exam Resources/Courses/MATH220/December 2011/Question 01 (e)/Solution 1

From UBC Wiki

A function ƒ has an inverse if and only if it is bijective. That is, it has an inverse if and only if it is

  1. Injective (or one-to-one)
  2. Surjective (or onto).

In such a case, for every yB, there is a unique xA such that ƒ(x) = y. Using this fact, we define ƒ-1 by the rule

where x is the unique element of the set A such that ƒ(x) = y. From the injectivity and surjectivity, this is well defined. Moreover,

and

and so this really is the inverse of ƒ.