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
Lemma 1. Suppose that f: A B and g: B→ A satisfy go f = id, and fog = ida. 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). Lemma 2. Suppose that f: A B and g: B→ A satisfy go f = idA, and fog = idg. Then g = f¹. Proof. You need to prove that g(b) <= a ⇒ f(a) work. = b. This should not be too much