Some Notes on Fine Computability
Дата
Авторы
Brattka,Vasco
Journal Title
Journal ISSN
Volume Title
Издатель
Journal of Universal Computer Science
Аннотация
Описание
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.
Ключевые слова
Computable analysis , Walsh analysis