Metric completions, the Heine-Borel property, and approachability

DOI10.1515/MATH-2020-0017MaRDI QIDQ2189223zbMATH OpenOpenAlexFDO

Authors Tahl Nowik, Vladimir Kanovei, Mikhail G. Katz

Publication date 15 June 2020

Published in Open Mathematics (Search for Journal in Brave)

Copyright license Creative Commons Attribution 4.0 International

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

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)

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.

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

Cites work

• scientific article; zbMATH DE number 3933369 (Why is no real title available?)
• scientific article; zbMATH DE number 52737 (Why is no real title available?)
• scientific article; zbMATH DE number 3559571 (Why is no real title available?)
• scientific article; zbMATH DE number 1222940 (Why is no real title available?)
• scientific article; zbMATH DE number 3428222 (Why is no real title available?)
• scientific article; zbMATH DE number 3278265 (Why is no real title available?)
• Approaches to analysis with infinitesimals following Robinson, Nelson, and others
• Cauchy, infinitesimals and ghosts of departed quantifiers
• Commuting and noncommuting infinitesimals
• Completion from an abstract perspective
• Constructing Metrics with the Heine-Borel Property
• Differential geometry via infinitesimal displacements
• Fermat's dilemma: Why did he keep mum on infinitesimals? and the European theological context
• Invariance of the nonstandard hulls of locally convex spaces
• Non-standard analysis
• Small oscillations of the pendulum, Euler's method, and adequality
• 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)