## Reducibility of Domain Representations and Cantor-Weihrauch Domain Representations (2006)

### Cached

### Download Links

Citations: | 8 - 4 self |

### BibTeX

@TECHREPORT{Blanck06reducibilityof,

author = {Jens Blanck},

title = {Reducibility of Domain Representations and Cantor-Weihrauch Domain Representations},

institution = {},

year = {2006}

}

### OpenURL

### Abstract

We introduce a notion of reducibility of representations of topological spaces and study some basic properties of this notion for domain representations. A representation reduces to another if its representing map factors through the other representation. Reductions form a pre-order on representations. A spectrum is a class of representations divided by the equivalence relation induced by reductions. We establish some basic properties of spectra, such as, non-triviality. Equivalent representations represent the same set of functions on the represented space. Within a class of representations, a representation is universal if all representations in the class reduce to it. We show that notions of admissibility, considered both for domains and within Weihrauch’s TTE, are universality concepts in the appropriate spectra. Viewing TTE representations as domain representations, the reduction notion here is a natural generalisation of the one from TTE. To illustrate the framework, we consider some domain representations of real numbers and show that the usual interval domain representation, which is universal among dense representations, does not reduce to various Cantor domain representations. On the other hand, however, we show that a substructure of the interval domain more suitable for efficient computation of operations is equivalent to the usual interval domain with respect to reducibility. 1.

### Citations

472 | Domain theory
- Abramsky, Jung
- 1994
(Show Context)
Citation Context ...n and Fredrik Dahlgren for many invaluable discussions on this paper. 2 Preliminaries 2.1 Domains We will briefly give some background to domain theory. For a fuller background on domains we refer to =-=[1, 25]-=-. Let D = (D, ⊑) be a partially ordered set. A subset A ⊆ D is an upper set if x ∈ A and x ⊑ y implies y ∈ A. Let ↑A = {y ∈ D : ∃x ∈ A(x ⊑ y)}. We will abbreviate ↑{x} by ↑x. A subset A ⊆ D is directe... |

254 |
Computable Analysis
- Weihrauch
- 2000
(Show Context)
Citation Context ...R ,δ) is a Cantor domain representation of D. By composition, we have that (C,δ −1 [D R ],ρδ) is a Cantor domain representation of X. TTE also comes with a notion of reduction between naming systems (=-=Weihrauch 2000-=-, Definition 2.3.2), which are continuous partial functions. We will see that these reductions correspond to (total) continuous reductions in our sense. Definition 4.7. Let δ :Σ ω ⇀Xand ɛ :Σ ω ⇀Xbe TT... |

104 |
Effective Algebras
- Stoltenberg-Hansen
- 1995
(Show Context)
Citation Context ...(as used in Computable Algebra). Reducibility between numberings (when one numbering factors through another) is one of the basic tools in studying numberings (Mal’cev 1961; Ershov 1973; 1975; 1977a; =-=Stoltenberg-Hansen and Tucker 1995-=-; 1999a). We will generalise reducibilityJ. Blanck 1032 to a very general class of representations of topological spaces and study basic properties of reducibility, in particular, for domain represen... |

70 | Dynamical systems, measures and fractals via domain theory
- Edalat, Lieutier
- 1995
(Show Context)
Citation Context ...rge class of topological spaces is to use domain representations. Representations of topological spaces by domains or embeddings of topological spaces into domains have been studied by several people =-=[2, 3, 4, 10, 11, 12, 13, 14, 18, 21, 24, 26, 27, 32, 35]-=-. Domain representations are also closely related to Type-2 Theory of Effectivity (TTE) [29, 33, 34] introduced by Weihrauch. Any T0 space can be given domain representations [6]. Some of these have n... |

60 | Domain theory and integration
- Edalat
- 1995
(Show Context)
Citation Context ...rge class of topological spaces is to use domain representations. Representations of topological spaces by domains or embeddings of topological spaces into domains have been studied by several people =-=[2, 3, 4, 10, 11, 12, 13, 14, 18, 21, 24, 26, 27, 32, 35]-=-. Domain representations are also closely related to Type-2 Theory of Effectivity (TTE) [29, 33, 34] introduced by Weihrauch. Any T0 space can be given domain representations [6]. Some of these have n... |

50 | Domains for computation in mathematics, physics and exact real arithmetic - Edalat - 1997 |

45 | A computational model for metric spaces
- Edalat, Heckmann
- 1998
(Show Context)
Citation Context ...rge class of topological spaces is to use domain representations. Representations of topological spaces by domains or embeddings of topological spaces into domains have been studied by several people =-=[2, 3, 4, 10, 11, 12, 13, 14, 18, 21, 24, 26, 27, 32, 35]-=-. Domain representations are also closely related to Type-2 Theory of Effectivity (TTE) [29, 33, 34] introduced by Weihrauch. Any T0 space can be given domain representations [6]. Some of these have n... |

35 |
Domain representability of metric spaces
- Blanck
- 1997
(Show Context)
Citation Context ...ntains non-consistent information or “garbage”. In practise it is sometimes desirable to cut away this non-consistent information, i.e., to restrict to a substructure (see, for example, Lemma 2.28 in =-=[5]-=-). This restriction can be done in general for domain representations by taking the ideal completion over all approximations of representing elements. Formally, for a domain representation (D,D R ,ρ) ... |

35 | Complete local rings as domains - Stoltenberg-Hansen, Tucker - 1988 |

33 | Foundation of a computable solid modeling - Edalat, Lieutier - 1999 |

31 | Concrete models of computation for topological algebras, Theoretical Computer Science 219 - Stoltenberg-Hansen, Tucker - 1999 |

31 | Computable functions and semicomputable sets on many sorted algebras - Tucker, Zucker |

28 |
Model C of partial continuous functionals
- Ershov
- 1977
(Show Context)
Citation Context |

28 | Abstract versus concrete computation on metric partial algebras - Tucker, Zucker - 2004 |

27 |
Type theory via exact categories
- Birkedal, Carboni, et al.
- 1998
(Show Context)
Citation Context |

26 | Domain representations of topological spaces
- Blanck
(Show Context)
Citation Context ...oblem of clarifying the applicability of representations for different tasks. One approach to resolve the above problem is to look at the intrinsic properties of representations as was done in, e.g., =-=[6]-=-. As an alternative approach, we present here a framework for relating representations to each other, thereby 1sstudying there relative merits. This is done by studying reductions (or translations) be... |

25 | Topological and limit-space subcategories of countablybased equilogical spaces - Menni, Simpson |

24 |
number computability and domain theory
- Real
- 1996
(Show Context)
Citation Context |

23 |
A New Category? Domains, Spaces and Equivalence Relations. Unpublished manuscript
- Scott
- 1996
(Show Context)
Citation Context ...representations within our framework. Weihrauch’s representation theory has been an inspiration for this work. Domain representations have been reinvented with the introduction of equilogical spaces (=-=Scott 1996-=-). The category Equ of equilogical spaces was shown in Bauer et al. (2004) to be equivalent to the category DPER(Dom) of dense partial equivalence relations over domains, which is just another view of... |

17 | A Relationship between Equilogical Spaces and Type Two Effectivity”; Mathematical Logic Quarterly 48,1 - Bauer - 2002 |

17 | From Constructive Mathematics to Computable Analysis via the Realizability Interpretation - Lietz - 2004 |

16 | The continuous functionals of finite type over the reals - Normann - 2001 |

14 |
Embedding metric spaces into cpo’s
- Weihrauch, Schreiber
- 1981
(Show Context)
Citation Context ...entation. 1.1. Related work The use of ordered structures to study effectivity on uncountable structures has appeared from time to time, for example, in higher types (Ershov 1977b) and weighted cpos (=-=Weihrauch and Schreiber 1981-=-). Weihrauch developed the idea of representations further in his successful Type-2 Theory of Effectivity (TTE), where he uses representations from Baire or Cantor space (Weihrauch 1987; 2000). Both o... |

13 | Effective domain representations of H(X), the space of compact subsets - Blanck - 1999 |

13 | Constructive algebras - Mal’cev - 1961 |

12 |
A hierarchy of domains with totality, but without density
- Normann
- 1996
(Show Context)
Citation Context |

12 | Computability on Topological Spaces by Effective Domain Representations - Blanck - 1997 |

11 |
Theorie der Numerierungen III, Zeitschrift für Mathematische Logik und Grundlagen der Mathematik 23
- Ershov
- 1977
(Show Context)
Citation Context ...ent to the interval domain representation. 1.1. Related work The use of ordered structures to study effectivity on uncountable structures has appeared from time to time, for example, in higher types (=-=Ershov 1977-=-b) and weighted cpos (Weihrauch and Schreiber 1981). Weihrauch developed the idea of representations further in his successful Type-2 Theory of Effectivity (TTE), where he uses representations from Ba... |

11 |
Extended admissibility
- Schröder
(Show Context)
Citation Context ...to the proofs above. It is known that W-admissibility implies S-admissibility within CRep, and, trivially, we have that H-admissibility implies κ-admissibility for any κ. By characterisation results (=-=Schröder 2002-=-, Theorem 13; Hamrin 2005, Theorem 6.8), we have that spaces have S-admissible representations if and only if they have ω-admissible representations. We would like to relate S-admissibility and ω-admi... |

10 |
Effective Domains and Admissible Domain Representations
- Hamrin
- 2005
(Show Context)
Citation Context |

9 | Density theorems for the domains-with-totality semantics of dependent types - Berger - 1999 |

9 | Algebraic and fixed point equations over inverse limits of algebras - Stoltenberg-Hansen, Tucker - 1991 |

8 | Real number computability and domain theory - Gianantonio - 1996 |

8 |
Theorie der Numerierungen
- Ershov
- 1973
(Show Context)
Citation Context ...reductions for numberings (as used in Computable Algebra). Reducibility between numberings (when one numbering factors through another) is one of the basic tools in studying numberings (Mal’cev 1961; =-=Ershov 1973-=-; 1975; 1977a; Stoltenberg-Hansen and Tucker 1995; 1999a). We will generalise reducibilityJ. Blanck 1032 to a very general class of representations of topological spaces and study basic properties of... |

7 | 2007b) Partial continuous functions and admissible domain representations
- Dahlgren
(Show Context)
Citation Context ... Other lifting results where density of D is not required can be found in [7, 19, 22] 2.3 Partial Domain Functions We will use the notion of continuous partial domain functions introduced by Dahlgren =-=[9]-=-. Definition 2.14. Let D and E be domains. A continuous partial function from D to E is a pair (S,f) where S ⊆ D is a non-empty closed subset of D, and f is a strict continuous function from S to E. N... |

7 | Infinite systems of equations over inverse limits and infinite synchronous concurrent algorithms - Stoltenberg-Hansen, Tucker - 1993 |

7 | Computable rings and fields. In Handbook of computability theory, volume 140 of Stud. Logic Found - Stoltenberg-Hansen, Tucker - 1999 |

7 | Domains-with-totality semantics for Intuitionistic Type Theory - Waagbø - 1997 |

6 | Domain theory and differential calculus - Edalat, Lieutier |

4 | Equilogical spaces and filter spaces. Rendiconti del Circolo Matematico di Palermo (Serie II - Rosolini - 2000 |

4 | Computability on topological spaces via domain representations - Stoltenberg-Hansen, Tucker - 2007 |

3 |
Uniform domain representations of l p -spaces
- Køber
(Show Context)
Citation Context ...e top element of E. Hence, the above result could be stated for arbitrary D and a retract representation E with a top element. Other lifting results where density of D is not required can be found in =-=[7, 19, 22]-=- 2.3 Partial Domain Functions We will use the notion of continuous partial domain functions introduced by Dahlgren [9]. Definition 2.14. Let D and E be domains. A continuous partial function from D to... |

3 |
Mal ′ cev, Constructive algebras
- I
- 1961
(Show Context)
Citation Context ...arallel to the use of reductions for numberings (used in Computable Algebra). Reductions between numberings (when a numbering factors through another) is one of the basic tools in studying numberings =-=[15, 16, 17, 20, 27, 28]-=-. We generalise reducibility to a very general class of representations of topological spaces and study basic properties of reducibility, in particular for domain representations. Our aim is to study ... |

3 | 2007a) Effective Distribution Theory - Dahlgren |

3 | Theorie der Numerierungen II - Ershov - 1975 |

2 | Effectivity of regular spaces
- Blanck
- 2001
(Show Context)
Citation Context ...e top element of E. Hence, the above result could be stated for arbitrary D and a retract representation E with a top element. Other lifting results where density of D is not required can be found in =-=[7, 19, 22]-=- 2.3 Partial Domain Functions We will use the notion of continuous partial domain functions introduced by Dahlgren [9]. Definition 2.14. Let D and E be domains. A continuous partial function from D to... |

2 |
Exact real arithmetic using centred intervals and bounded error terms
- Blanck
- 2006
(Show Context)
Citation Context ...a,b] : a < x < b, a,b ∈ Q}. Lemma 6.1. (R, R R ,ρR,ηR) is an admissible representation of the reals. Proof. A standard proof shows that the representation is a dense retract domain representation. In =-=[8]-=- centred dyadic approximations are considered for efficient implementations of exact real arithmetic. These form an interesting substructure of the interval domain. Definition 6.2. A centred dyadic in... |

2 | Domain representability of metric spaces, Licentiate thesis - Blanck - 1995 |

1 |
Theorie der Numerierungen. Zeitschrift für
- Erˇsov
- 1973
(Show Context)
Citation Context ...arallel to the use of reductions for numberings (used in Computable Algebra). Reductions between numberings (when a numbering factors through another) is one of the basic tools in studying numberings =-=[15, 16, 17, 20, 27, 28]-=-. We generalise reducibility to a very general class of representations of topological spaces and study basic properties of reducibility, in particular for domain representations. Our aim is to study ... |

1 |
Theorie der Numerierungen II
- Erˇsov
- 1975
(Show Context)
Citation Context ...arallel to the use of reductions for numberings (used in Computable Algebra). Reductions between numberings (when a numbering factors through another) is one of the basic tools in studying numberings =-=[15, 16, 17, 20, 27, 28]-=-. We generalise reducibility to a very general class of representations of topological spaces and study basic properties of reducibility, in particular for domain representations. Our aim is to study ... |