The implicit function theorem for maps that are only differentiable: an elementary proof

DOI10.14321/REALANALEXCH.43.2.0429zbMATH Open1401.26026arXiv1708.02065OpenAlexW2962840045WikidataQ111288348 ScholiaQ111288348MaRDI QIDQ1664077FDOQ1664077

Oswaldo Rio Branco de Oliveira

Publication date: 24 August 2018

Published in: Real Analysis Exchange (Search for Journal in Brave)

Abstract: This article shows a very elementary and straightforward proof of the Implicit Function Theorem for differentiable maps $F(x,y)$ defined on a finite-dimensional Euclidean space. There are no hypothesis on the continuity of the partial derivatives of $F$. The proof employs determinants theory, the mean-value theorem, the intermediate-value theorem, and Darboux's property (the intermediate-value property for derivatives). The proof avoids compactness arguments, fixed-point theorems, and integration theory. A stronger than the classical version of the Inverse Function Theorem is also shown. An example is given.

Full work available at URL: https://arxiv.org/abs/1708.02065

Recommendations

• Implicit function theorems for nondifferentiable mappings
• Implicit function theorems for continuous mappings and their applications
• scientific article
• Implicit function theorem to sequentially strongly differentiable mappings in topological vector spaces
• An implicit function theorem for directionally differentiable functions
• Implicit function theorems for set-valued maps
• A generalization of the implicit function theorem for mappings from \({\mathcal R}^{n+1}\) into \({\mathcal R}^ n\) and its applications
• scientific article; zbMATH DE number 4017937
• scientific article; zbMATH DE number 4054323
• Implicit multifunction theorems with positively homogeneous maps

zbMATH Keywords

implicit function theoremsJacobianscalculus of vector functionstransformations with several variables

Mathematics Subject Classification ID

Implicit function theorems, Jacobians, transformations with several variables (26B10) Calculus of vector functions (26B12)

Cited In (9)

• A general characterization of optimal tie-breaker designs
• Title not available (Why is that?)
• A note on global implicit function theorems
• Representing a Differentiable Function as a Cartesian Product
• Implicit function theorems for nondifferentiable mappings
• New perspective on some classical results in analysis and optimization
• New inverse and implicit function theorems for differentiable maps with isolated critical points
• An infinitesimal proof of the implicit function theorem
• Implicit function theorem to sequentially strongly differentiable mappings in topological vector spaces

This page was built for publication: The implicit function theorem for maps that are only differentiable: an elementary proof

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1664077)