Metric completions, the Heine-Borel property, and approachability

DOI10.1515/MATH-2020-0017zbMATH Open1443.54010arXiv2002.07536OpenAlexW3103329171MaRDI QIDQ2189223FDOQ2189223

Authors: Tahl Nowik, Vladimir Kanovei, Mikhail G. Katz 

Publication date: 15 June 2020

Published in: Open Mathematics (Search for Journal in Brave)

Abstract: We show that the metric universal cover of a plane with a puncture yields an example of a nonstandard hull properly containing the metric completion of a metric space. As mentioned by do Carmo, a nonextendible Riemannian manifold can be noncomplete, but in the broader category of metric spaces it becomes extendible. We give a short proof of a characterisation of the Heine-Borel property of the metric completion of a metric space M in terms of the absence of inapproachable finite points in *M.

Full work available at URL: https://arxiv.org/abs/2002.07536

Recommendations

• On the completion of \(b\)-metric spaces
• Constructing Metrics with the Heine-Borel Property
• Metrizable completions and covering properties
• scientific article; zbMATH DE number 4060286
• scientific article; zbMATH DE number 2021485
• On the completion of partial metric spaces
• Compactness and completeness in partial metric spaces
• On completeness in quasi-metric spaces
• scientific article; zbMATH DE number 1064181
• On characterizations of \(\leq\)-completeness and metric completeness

zbMATH Keywords

metric completionnonstandard hulluniversal covergalaxyHeine-Borel propertyhalo

Mathematics Subject Classification ID

Metric spaces, metrizability (54E35) Extensions of spaces (compactifications, supercompactifications, completions, etc.) (54D35) Nonstandard models in mathematics (03H05) Nonstandard analysis (26E35)

Cites Work

• Non-standard analysis
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Small oscillations of the pendulum, Euler's method, and adequality
• Differential geometry via infinitesimal displacements
• Commuting and noncommuting infinitesimals
• Constructing Metrics with the Heine-Borel Property
• Title not available (Why is that?)
• Invariance of the nonstandard hulls of locally convex spaces
• Cauchy, infinitesimals and ghosts of departed quantifiers
• Fermat's dilemma: Why did he keep mum on infinitesimals? and the European theological context
• Approaches to analysis with infinitesimals following Robinson, Nelson, and others
• Completion from an abstract perspective
• Title not available (Why is that?)
• The Best Writing on Mathematics 2019

Cited In (1)

• Constructing Metrics with the Heine-Borel Property

This page was built for publication: Metric completions, the Heine-Borel property, and approachability

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2189223)