开闭子集的度量补集
逻辑
2012-03-05 v1
摘要
我们证明了Bishop-局部紧度量空间的度量完备化中一个开闭子空间点的集合是定位的。因此，如果该子空间还是紧的，那么它的点集是Bishop紧的。
引用
@article{arxiv.0906.3433,
title = {Metric complements of overt closed sets},
author = {Thierry Coquand and Erik Palmgren and Bas Spitters},
journal= {arXiv preprint arXiv:0906.3433},
year = {2012}
}
备注
9 pages, 1 figure