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

DOI10.14321/REALANALEXCH.43.2.0429MaRDI QIDQ1664077zbMATH OpenOpenAlexWikidataFDO

Authors Oswaldo Rio Branco de Oliveira

Publication date 24 August 2018

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

Full work available at URL https://arxiv.org/abs/1708.02065, https://projecteuclid.org/euclid.rae/1530064971

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)

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.

Recommendations

• Implicit function theorems for nondifferentiable mappings
• Implicit function theorems for continuous mappings and their applications
• scientific article; zbMATH DE number 5309780
• 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

Cited in

(12)

• A general characterization of optimal tie-breaker designs
• scientific article; zbMATH DE number 2134653 (Why is no real title available?)
• A note on global implicit function theorems
• Representing a Differentiable Function as a Cartesian Product
• Remarks on the inverse and implicit function theorems for differentiable functions
• 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
• The implicit and inverse function theorems: easy proofs
• The implicit function theorem when the partial Jacobian matrix is only continuous at the base point
• 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)