Some classical analysis results for continuous definable mappings
arXiv:2105.11652
Abstract
In this paper, we show that some fundamental results for smooth mappings (e.g., the Brouwer degree formula, the implicit function and inverse function theorems, the mean value theorem, Sard's theorem, Hadamard's global invertibility criteria, Pourciau's surjectivity and openness results) have natural extensions for continuous mappings that are definable in o-minimal structures. The arguments rely on nice properties of definable mappings and sets.
20 pages