Premium
Unique solutions
Author(s) -
Schuster Peter
Publication year - 2006
Publication title -
mathematical logic quarterly
Language(s) - English
Resource type - Journals
SCImago Journal Rank - 0.473
H-Index - 28
eISSN - 1521-3870
pISSN - 0942-5616
DOI - 10.1002/malq.200610012
Subject(s) - mathematics , countable set , uniqueness , metric space , statement (logic) , uniform continuity , simple (philosophy) , continuous function (set theory) , constructive , metric (unit) , pure mathematics , space (punctuation) , root (linguistics) , function (biology) , decidability , discrete mathematics , mathematical analysis , computer science , philosophy , operations management , linguistics , epistemology , process (computing) , evolutionary biology , political science , law , economics , biology , operating system
It is folklore that if a continuous function on a complete metric space has approximate roots and in a uniform manner at most one root, then it actually has a root, which of course is uniquely determined. Also in Bishop's constructive mathematics with countable choice, the general setting of the present note, there is a simple method to validate this heuristic principle. The unique solution even becomes a continuous function in the parameters by a mild modification of the uniqueness hypothesis. Moreover, Brouwer's fan theorem for decidable bars turns out to be equivalent to the statement that, for uniformly continuous functions on a compact metric space, the crucial uniform “at most one” condition follows from its non‐uniform counterpart. This classification in the spirit of the constructive reverse mathematics, as propagated by Ishihara and others, sharpens an earlier result obtained jointly with Berger and Bridges. (© 2006 WILEY‐VCH Verlag GmbH & Co. KGaA, Weinheim)