Uniqueness, Continuity, and Existence of Implicit Functions in Constructive Analysis
by
Hannes Diener
,
Peter Schuster
BibTeX
@MISC{Diener_uniqueness,continuity,,
author = {Hannes Diener and Peter Schuster},
title = {Uniqueness, Continuity, and Existence of Implicit Functions in Constructive Analysis},
year = {}
}
Bookmark
 |
 |
 |
 |
 |
 |
OpenURL
Abstract
Abstract. We extract a quantitative variant of uniqueness from the usual hypotheses of the implicit functions theorem. This leads not only to an a priori proof of continuity, but also to an alternative, fully constructive existence proof. 1
