Abstract
CBV functions are computable real functions of bounded variation. In this paper we investigate the basic properties of CBV functions. We are especially interested in the question of whether a real number class is closed under CBV functions. The real number classes considered here include the classes of computable (EC), semi-computable (SC), weakly computable (WC), divergence bounded computable (DBC) and recursively approximable (RA) real numbers. We show that the classes EC, RA and DBC are closed under CBV functions but SC and WC are not. Furthermore, WC$ is not even closed under computable monotone functions and, finally, the image sets of $\wc$ under computable monotone functions and CBV functions are different.
This is a preview of subscription content, log in via an institution to check access.
Similar content being viewed by others
Author information
Authors and Affiliations
Corresponding authors
Rights and permissions
About this article
Cite this article
Zheng, X., Rettinger, R. & Gengler, R. Closure Properties of Real Number Classes under CBV Functions. Theory Comput Syst 38, 701–729 (2005). https://doi.org/10.1007/s00224-004-1159-1
Received:
Revised:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s00224-004-1159-1