2000 | OriginalPaper | Chapter
8. Some Extensions
Author : Prof. Dr. Klaus Weihrauch
Published in: Computable Analysis
Publisher: Springer Berlin Heidelberg
Included in: Professional Book Archive
Activate our intelligent search to find suitable subject content or patents.
Select sections of text to find matching patents with Artificial Intelligence. powered by
Select sections of text to find additional relevant content using AI-assisted search. powered by
In this book, we study computability concepts which are induced by notations and representations. Although every representation δ :⊆ Σω → M of a set induces a computability concept, only very few of them are useful. As an important class we have studied representations constructed from computable topological spaces (Sect. 3.2). Remember that every To-space with countable base can be extended to a computable topological space by an injective notation of a subbase. Many important To-spaces with countable base can be generated from separable metric spaces (Definition 2.2.1). Therefore, it is useful to study computability on metric spaces separately. The reader who is not familiar with the mathematical concepts used in this section is referred to any standard textbook on real analysis, for example, Rudin [Rud64].