Finite approximation of stably compact spaces

[EN] Finite approximation of spaces by inverse sequences of graphs (in the category of so-called topological graphs) was introduced by Smyth, and developed further. The idea was subsequently taken up by Kopperman and Wilson, who developed their own purely topological approach using inverse spectra o...

Descripción completa

Detalles Bibliográficos
Autores: Smyth, M.B., Webster, J.
Tipo de recurso: artículo
Fecha de publicación:2002
País:España
Institución:Universitat Politècnica de València (UPV)
Repositorio:RiuNet. Repositorio Institucional de la Universitat Politécnica de Valéncia
Idioma:inglés
OAI Identifier:oai:riunet.upv.es:10251/82082
Acceso en línea:https://riunet.upv.es/handle/10251/82082
Access Level:acceso abierto
Palabra clave:Stably compact space
Inverse limit
Upper space
(multi-) Function space
Linearly ordered space
Descripción
Sumario:[EN] Finite approximation of spaces by inverse sequences of graphs (in the category of so-called topological graphs) was introduced by Smyth, and developed further. The idea was subsequently taken up by Kopperman and Wilson, who developed their own purely topological approach using inverse spectra of finite T0-spaces in the category of stably compact spaces. Both approaches are, however, restricted to the approximation of (compact) Hausdorff spaces and therefore cannot accommodate, for example, the upper space and (multi-) function space constructions. We present a new method of finite approximation of stably compact spaces using finite stably compact graphs, which when the topology is discrete are simply finite directed graphs. As an extended example, illustrating the problems involved, we study (ordered spaces and) arcs.