Theorem

A function has an inverse if and only if is Injective and Surjective

Proof

Proving

Suppose has an inverse We want to show that is injective. Suppose Apply to get as is the inverse of We want to show that is surjective Pick , we have and so is a output of Thus, we have proved is both injective and surjective

Proving

Suppose is injective and surjective If , then we define .

  • For this to exist, it needs to be well defined.
    • Note is defined for all as every is an output of ( for all ) by Surjectivity
    • Note that is a function because every is the output of a UNIQUE . If we had by Injectivity of
  • Therefore, is well defined for all and is unique for each Check that is the inverse
  • Thus, is the inverse of by defn of inverse