Brouwer's fixed-point theorem and a generalization of the formula for change of variables in multiple integrals (Q1310377)

The author proves that the Jacobian change of variable formula for multiple integrals remains true for maps that are not one-to-one, if the boundaries are preserved diffeomorphically. Applying this fact he gives a simple proof for the non-existence of a smooth retract of an embedded compact \(n\)-dimensional manifold with boundary onto its boundary. This allows him to derive a simple analytic proof for Brouwer's fixed point theorem.