2000 | OriginalPaper | Chapter
6. Spaces of Continuous Functions
Author : Prof. Dr. Klaus Weihrauch
Published in: Computable Analysis
Publisher: Springer Berlin Heidelberg
Included in: Professional Book Archive
Activate our intelligent search to find suitable subject content or patents.
Select sections of text to find matching patents with Artificial Intelligence. powered by
Select sections of text to find additional relevant content using AI-assisted search. powered by
This chapter is devoted to representations of continuous functions and to applications of the concepts introduced so far. In Sect. 6.1 we define and discuss several representations of spaces of continuous real functions, in particular, representations via names of realizing programs, the “compact-open” representations and the representations by uniform approximation with rational polygons. In Sect. 6.2 we prove computability of any standard operations on functions, closed, open and compact sets. In particular, we prove a computable version of Urysohn’s lemma for closed subsets of ℝn. Computability of zero-finding for real functions under various restrictions is discussed in Sect. 6.3. Sect. 6.4 is devoted to computability problems of differentiation and integration, and Sect. 6.5 contains some further results on analytic functions.