Completación de espacios premétricos

Publicado

2020-01-01

Completion of premetric spaces

Palabras clave:

Completion, premetrics space, regular families, Cauchy families, constructive mathematics (en)
Completación, espacios premétricos, familias regulares, familias de Cauchy, matemáticas constructivas (es)

Descargas

Autores/as

José Andrés Quintero Universidad Nacional de Colombia
Carlos Enrique Uzcátegui Universidad Industrial de Santander

Resumen (en)
Resumen (es)

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.

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.

Descargas

Los datos de descargas todavía no están disponibles.

Citas

N. Bourbaki, Elements of Mathematics. General topology (part 1), Addison-Wesley Publishing Company, Massachusetts, 1966.

H. Herrlich, Axiom of choice, Lecture Notes in Mathematics, vol. 1876, Springer-Verlag, Berlin, 2006.

R. Lubarsky, On the Cauchy completeness of the constructive Cauchy reals, Math. Log. Q. 53 (2007), 396-414.

R. Lubarsky and M. Rathjen, On the constructive Dedekind reals, Logic and Analysis (2008), 131-152.

R. Lubarsky and F. Richman, Signed-bit representations of real numbers, J. Log. Anal. (2009), 1-18.

F. Richman, The fundamental theorem of algebra: a constructive development without choice, Pacific J. Math. 196 (2000), no. 1, 213-230.

F. Richman, Constructive mathematics without choice, Reuniting the antipodes-constructive and nonstandard views of the continuum (Venice, 1999), Synthese Lib., vol. 306, Kluwer Acad. Publ., Dordrecht, 2001, pp. 199-205. MR 1895394

F. Richman, Real numbers and other completions, Math. Log. Q. 54 (2008), no. 1, 98-108.

A. Setzer, Mr2387400, Math. Log. Quart.

S. Willard, General Topology, Dover Publications, INC, Mineola, 2004.