公开闭集的度量补
Metric complements of overt closed sets
摘要：
本文证明了Bishop-局部紧度量空间的度量完备的显闭子空间的点集的位置。因此，如果子空间是紧的，那么它的点集是毕晓普紧的。
英文摘要：
We show that the set of points of an overt closed subspace of a metric completion of a Bishop-locally compact metric space is located. Consequently, if the subspace is, moreover, compact, then its collection of points is Bishop compact.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
