English

Completeness, Closedness and Metric Reflections of Pseudometric Spaces

General Topology 2022-06-06 v1

Abstract

It is well-known that a metric space (X,d)(X, d) is complete iff the set XX is closed in every metric superspace of (X,d)(X, d). For a given pseudometric space (Y,ρ)(Y, \rho), we describe the maximal class CEC(Y,ρ)\mathbf{CEC}(Y, \rho) of superspaces of (Y,ρ)(Y, \rho) such that (Y,ρ)(Y, \rho) is complete if and only if YY is closed in every (Z,Δ)CEC(Y,ρ)(Z, \Delta) \in \mathbf{CEC}(Y, \rho). We also introduce the concept of pseudoisometric spaces and prove that spaces are pseudoisometric iff their metric reflections are isometric. The last result implies that a pseudometric space is complete if and only if this space is pseudoisometric to a complete pseudometric space.

Keywords

Cite

@article{arxiv.2206.01516,
  title  = {Completeness, Closedness and Metric Reflections of Pseudometric Spaces},
  author = {Viktoriia Bilet and Oleksiy Dovgoshey},
  journal= {arXiv preprint arXiv:2206.01516},
  year   = {2022}
}

Comments

16 pages. arXiv admin note: text overlap with arXiv:2106.00049