OASIcs.CCA.2009.2265.pdf
- Filesize: 240 kB
- 10 pages
Document
Uniqueness, Continuity, and Existence of Implicit Functions in Constructive Analysis
Authors
-
Part of:
Volume:
6th International Conference on Computability and Complexity in Analysis (CCA'09) (CCA 2009)
Series: Open Access Series in Informatics (OASIcs) - License:
Creative Commons Attribution-NonCommercial-NoDerivs 3.0 Unported license
- Publication Date: 2009-11-25
Cite AsGet BibTex
Hannes Diener and Peter Schuster. Uniqueness, Continuity, and Existence of Implicit Functions in Constructive Analysis. In 6th International Conference on Computability and Complexity in Analysis (CCA'09). Open Access Series in Informatics (OASIcs), Volume 11, pp. 131-140, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2009)
https://doi.org/10.4230/OASIcs.CCA.2009.2265
https://doi.org/10.4230/OASIcs.CCA.2009.2265
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.
Keywords
- Implicit function
- uniqueness
- continuity
- constructive analysis
- countable choice
Metrics
- Access Statistics
-
Total Accesses (updated on a weekly basis)
0PDF Downloads