Completación de espacios premétricos

• Quintero, José Andrés ^[1] ; Uzcátegui, Carlos Enrique ^[2]
  1. [1] Universidad Nacional de Colombia

     Universidad Nacional de Colombia

     Colombia

     
  2. [2] Universidad Industrial de Santander

     Universidad Industrial de Santander

     Colombia

     
• Localización: Revista Colombiana de Matemáticas, ISSN-e 0034-7426, Vol. 54, Nº. 1, 2020, págs. 19-29
• Idioma: español
• DOI: 10.15446/recolma.v54n1.89776
• Títulos paralelos:
  • Completion of premetric spaces
• Enlaces
  • Texto completo
• Resumen
  • español

    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.

  • English

    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.

• Referencias bibliográficas
  • 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,...
  • 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.