The first two lemmas provide an alternate way to prove that two functions are inverses of each other. If A is a set, def
Posted: Mon Jul 11, 2022 12:04 pm
The first two lemmas provide an alternate way to prove that two functions are inverses of each other. If A is a set, define the identity map on A by id: A → A, id,(a)= a. Then id, is clearly a bijection. Lemma 1. Suppose that f: AB and g: BA satisfy go f = id, and fog= idg. Then f and g are bijections. Proof. Hint: By symmetry you can just prove that f is a bijection. Do this directly from the definitions (don't quote any other results).