Some classical analysis results for continuous definable mappings
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.
0
Turn this paper into a lesson
ArcXiv compiles a structured reading guide from this paper's metadata: plain-English importance, contributions, prerequisite concepts, which sections to read first, flashcards, and a quiz. Grounded in the abstract, never invented.