Uniform approximation of topological spaces
type: Item
instance of: scholarly article
title: Uniform approximation of topological spaces
zbMATH Open document ID: 0933.54026
DOI: 10.1016/S0166-8641(97)00074-6
author: Achim Jung
author: Philipp Sünderhauf
published in: Topology and its Applications
publication date: 2000-03-26T00:00:00Z
review text: The authors consider the upper topology of compact \(T_2\)-ordered spaces (in the sense of Nachbin). It is well known that these topologies are the \(T_0\)-analogue of compact \(T_2\)-spaces. They call such a space \(X\) uniformly approximated if its canonical quasi-uniformity (that is the one determining the associated compact \(T_2\)-ordered space) has a base consisting of hypergraphs of continuous functions \(f:X\rightarrow X.\) (For a function \(f:X\rightarrow Y\) between topological spaces the hypergraph of \(f\) is defined by \(\{(x,y):f(x)\in \overline{\{y\}}\}.\)) They show that uniformly approximated spaces carry with them functional means of approximating points, opens and compacts and provide various characterizations of these spaces by means of topology, uniform topology, order theory and locale theory. For instance, they show that the specialization order on each uniformly approximated space yields an \(FS\)-domain and that each \(FS\)-domain equipped with its Scott-topology is uniformly approximated; furthermore, these two translations are inverses of each other. They also prove that the spectrum of a finitary proximity lattice is a uniformly approximated space and that every uniformly approximated space arises as the spectrum of some finitary proximity lattice.
Mathematics Subject Classification ID: 54E15
Mathematics Subject Classification ID: 54F05
Mathematics Subject Classification ID: 06B35
Mathematics Subject Classification ID: 54D30
zbMATH DE Number: 1308050
zbMATH Keywords: uniformly approximated space
zbMATH Keywords: compact ordered space
zbMATH Keywords: \(FS\)-domain
zbMATH Keywords: finitary proximity lattice
reviewed by: Hans Peter Künzi
MaRDI profile type: Publication
cites work: Q4843177
cites work: Q4692885
cites work: Dynamical systems, measures, and fractals via domain theory
cites work: Q3966761
cites work: Q3898534
cites work: Q3915037
cites work: Q3965241
cites work: Q4373424
cites work: Q3999206
cites work: Sobrification and bicompletion of totally bounded quasi-uniform spaces
cites work: A Direct Proof of the Hofmann-Mislove Theorem
cites work: Q3812305
cites work: Q5786866
cites work: Q5340517
cites work: Q4023580
Wikidata QID: Q126399848
description: scientific article; zbMATH DE number 1308050