Completion of premetric spaces

Authors :: Quintero, José Andrés
Uzcátegui, Carlos Enrique
Source :: Revista Colombiana de Matemáticas, Volume: 54, Issue: 1, Pages: 19-29, Published: JUN 2020
Publication Year :: 2020
Publisher :: Universidad Nacional de Colombia y Sociedad Colombiana de Matemáticas, 2020.
Abstract: We study the concept of a premetric space introduced by F. Richman in the context of constructive mathematics, and present a method for completing them. Resumen: Estudiamos el concepto de espacio premétrico introducido por F. Richman en el contexto de las matemáticas constructivas, y presentamos un método para completarlos.

Subjects :: Completación
premetrics space
espacios premétricos
constructive mathematics
familias regulares
regular families
Cauchy families
matemáticas constructivas
familias de Cauchy
Completion

Language :: English
Database :: OpenAIRE
Journal :: Revista Colombiana de Matemáticas, Volume: 54, Issue: 1, Pages: 19-29, Published: JUN 2020
Accession number :: edsair.od.......618..9c64713eb045479cadcf97daf53180e0

Tools