Closure properties of real number classes under CBV functions

摘要

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.