Uniqueness, Continuity, and Existence of Implicit Functions in Constructive Analysis

Authors Hannes Diener, Peter Schuster



PDF
Thumbnail PDF

File

OASIcs.CCA.2009.2265.pdf
  • Filesize: 240 kB
  • 10 pages

Document Identifiers

Author Details

Hannes Diener
Peter Schuster

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

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)
    0
    PDF Downloads