An Elementary Proof of a Generalization of Banach's Mapping Theorem

Abstract

We give an elementary proof of a generalization of Banach's mapping theorem, which says that for any two mappings f : A -> B and g : B -> A, there exists a subset A(0) of A such that g(B\f (A(0))) = A\A(0).