The Samuel realcompactification

For a uniform space (X, μ), we introduce a realcompactification of X by means of the family Uμ(X) of all the real-valued uniformly continuous functions on X, in the same way that the known Samuel compactification of the space is given by U∗μ(X) the set of all the bounded functions in Uμ(X). We will...

Descripción completa

Detalles Bibliográficos
Autores: Garrido Carballo, María Isabel, Meroño Moreno, Ana Soledad
Tipo de recurso: artículo
Fecha de publicación:2018
País:España
Institución:Universidad Complutense de Madrid (UCM)
Repositorio:Docta Complutense
Idioma:inglés
OAI Identifier:oai:docta.ucm.es:20.500.14352/100629
Acceso en línea:https://hdl.handle.net/20.500.14352/100629
Access Level:acceso abierto
Palabra clave:Uniform space
Realcompactification
Real-valued uniformly continuous function
Samuel realcompactification
Cauchy filter
Bourbaki–Cauchy filter
Bourbaki-completeness
Topología
1210.05 Topología General
Descripción
Sumario:For a uniform space (X, μ), we introduce a realcompactification of X by means of the family Uμ(X) of all the real-valued uniformly continuous functions on X, in the same way that the known Samuel compactification of the space is given by U∗μ(X) the set of all the bounded functions in Uμ(X). We will call it “the Samuel realcompactification” by several resemblances to the Samuel compactification. In this paper, we present different ways to construct such realcompactification as well as we study the corresponding problem of knowing when a uniform space is Samuel realcompact, that is, when it (topologically) coincides with its Samuel realcompactification. At this respect, we obtain as main result a theorem of Katětov–Shirota type, given in terms of a property of completeness, recently introduced by the authors, called Bourbaki-completeness.