### Refine

#### Keywords

- Implizite Funktion (1) (remove)

- A homotopy argument and its applications to the transformation rule for bi-Lipschitz mappings, the Brouwer fixed point theorem and the Brouwer degree (2005)
- The main purpose of the paper is to present an elementary self-contained proof of the change of variables formula for injective, locally bi-Lipschitz mappings. The proof is based on a homotopy argument. Various properties of bi-Lipschitz mappings are studied. As a by-product Lipschitz variants of the classical implicit function theorem and the local diffeomorphism theorem are proved. With the help of the homotopy argument a simple proof is given of Brouwer’s fixed point theorem and the main properties of Brouwer’s degree of mapping.