Some Notes on Fine Computability

: A metric defined by Fine induces a topology on the unit interval which is strictly stronger than the ordinary Euclidean topology and which has some interesting applications in Walsh analysis. We investigate computability properties of a corresponding Fine representation of the real numbers and we construct a structure which characterizes this representation. Moreover, we introduce a general class of Fine computable functions and we compare this class with the class of locally uniformly Fine computable functions defined by Mori. Both classes of functions include all ordinary computable functions and, additionally, some important functions which are discontinuous with respect to the usual Euclidean metric. Finally, we prove that the integration operator on the space of Fine continuous functions is lower semi-computable. Key Words: Computable analysis, Walsh analysis. Category: F.1

• Type: Journal
• Year: 2002
• Where: JUCS
• Authors: Vasco Brattka
• Keywords: Fine Computable Functions, JUCS 2002, Ordinary Computable Functions, Ordinary Euclidean Topology