𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Domain representations of topological spaces

✍ Scribed by Jens Blanck


Publisher
Elsevier Science
Year
2000
Tongue
English
Weight
193 KB
Volume
247
Category
Article
ISSN
0304-3975

No coin nor oath required. For personal study only.

✦ Synopsis


A domain representation of a topological space X is a function, usually a quotient map, from a subset of a domain onto X . Several di erent classes of domain representations are introduced and studied. It is investigated when it is possible to build domain representations from existing ones. It is, for example, discussed whether there exists a natural way to build a domain representation of a product of topological spaces from given domain representations of the factors. It is shown that any T 0 topological space has a domain representation. These domain representations are very large. However, smaller domain representations are also constructed for large classes of spaces. For example, each second countable regular Hausdor space has a domain representation with a countable base. Domain representations of functions and function spaces are also studied.


πŸ“œ SIMILAR VOLUMES


Normal Domain Representations of Topolog
✍ Ivar Rummelhoff πŸ“‚ Article πŸ“… 2001 πŸ› John Wiley and Sons 🌐 English βš– 105 KB πŸ‘ 2 views

D βŠ† D is a normal totality on a Scott domain D if it is upward closed and x y ∈ D is an equivalence relation on D . We prove that every topological space can be represented by a domain with normal totality.

Uniform domain representations of β„“p-spa
✍ Petter K. KΓΈber πŸ“‚ Article πŸ“… 2007 πŸ› John Wiley and Sons 🌐 English βš– 324 KB

## Abstract The category of Scott‐domains gives a computability theory for possibly uncountable topological spaces, via representations. In particular, every separable Banach‐space is representable over a separable domain. A large class of topological spaces, including all Banach‐spaces, is represe

A representation of stably compact space
✍ Thierry Coquand; Guo-Qiang Zhang πŸ“‚ Article πŸ“… 2003 πŸ› Elsevier Science 🌐 English βš– 204 KB

This note presents a concrete representation of stably compact spaces. This is used to give a simple, and predicative, description of the patch topology of a stably compact space (J. Pure Appl. Algebra, to appear).