𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Recursive quasi-metric spaces

✍ Scribed by Vasco Brattka

Publisher
Elsevier Science
Year
2003
Tongue
English
Weight
441 KB
Volume
305
Category
Article
ISSN
0304-3975

No coin nor oath required. For personal study only.

✦ Synopsis

In computable analysis recursive metric spaces play an important role, since these are, roughly speaking, spaces with computable metric and limit operation. Unfortunately, the concept of a metric space is not powerful enough to capture all interesting phenomena which occur in computable analysis. Some computable objects are naturally considered as elements of asymmetric spaces which are not metrizable. Nevertheless, most of these spaces are T0-spaces with countable bases and thus at least quasi-metrizable. We introduce a deÿnition of recursive quasi-metric spaces in analogy to recursive metric spaces. We show that this concept leads to similar results as in the metric case and we prove that the most important spaces of computable analysis can be naturally considered as recursive quasi-metric spaces. Especially, we discuss some hyper and function spaces.

📜 SIMILAR VOLUMES

Quasi-metric properties of complexity sp
Quasi-metric properties of complexity spaces
✍ S. Romaguera; M. Schellekens 📂 Article 📅 1999 🏛 Elsevier Science 🌐 English ⚖ 110 KB

The complexity (quasi-metric) space has been introduced as a part of the development of a topological foundation for the complexity analysis of algorithms . Applications of this theory to the complexity analysis of Divide and Conquer algorithms have been discussed by . Here we obtain several quasi-

Left K-Completeness in Quasi-Metric Spac
Left K-Completeness in Quasi-Metric Spaces
✍ Salvador Romaguera 📂 Article 📅 1992 🏛 John Wiley and Sons 🌐 English ⚖ 580 KB

## Abstract Regular left __K__‐sequentially complete quasi‐metric spaces are characterized. We deduce that these spaces are complete Aronszajn and that every metrizable space admitting a left __K__‐sequentially complete quasi‐metric is completely metrizable. We also characterize quasi‐metric spaces

Maps of finite powers of metric spaces (
Maps of finite powers of metric spaces (recursive conditions for spaces at work)
✍ Věra Trnková 📂 Article 📅 2000 🏛 Elsevier Science 🌐 English ⚖ 195 KB

Let K 1 or K 2 or K 3 be the category of all nonexpanding or uniformly continuous or continuous maps of finite powers X, X 2 , . . . of a metric space X. We clarify when the initial segments of these categories are isomorphic. The core of the proofs are constructions which are "unfoldings" of suitab

Quasi-contraction on a cone metric space
Quasi-contraction on a cone metric space
✍ Dejan Ilić; Vladimir Rakočević 📂 Article 📅 2009 🏛 Elsevier Science 🌐 English ⚖ 317 KB

In this work we define and study quasi-contraction on a cone metric space. For such a mapping we prove a fixed point theorem. Among other things, we generalize a recent result of H. L. Guang and Z. Xian, and the main result of Ćirić is also recovered.