Effectively closed sets and graphs of computable real functions

https://doi.org/10.1016/S0304-3975(01)00069-XGet rights and content
Under an Elsevier user license
open archive

Abstract

In this paper, we compare the computability and complexity of a continuous real function F with the computability and complexity of the graph G of the function F. A similar analysis will be carried out for functions on subspaces of the real line such as the Cantor space, the Baire space and the unit interval. In particular, we define four basic types of effectively closed sets C depending on whether (i) the set of closed intervals which with nonempty intersection with C is recursively enumerable (r.e.), (ii) the set of closed intervals with empty intersection with C is r.e., (iii) the set of open intervals which with nonempty intersection with C is r.e., and (iv) the set of open intervals with empty intersection with C is r.e. We study the relationships between these four types of effectively closed sets in general and the relationships between these four types of effectively closed sets for closed sets which are graphs of continuous functions.

Keywords

Computable analysis

Cited by (0)