Let f: A --> B be a function, and suppose that
there is a function g: B --> A such that g circle f is
the identity map on the set A. Prove that f is injective.
(There is a very short proof.)
Let f: A --> B be a function, and suppose that
there is a function g: B --> A such that g circle f is
the identity map on the set A. Prove that f is injective.
(There is a very short proof.)