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.
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
## 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
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).