如何让子空间“变成”完备度量空间

    一个度量空间，如果对于度量，每一个柯西列都收敛，我们就说是完备度函空间。于是我们知道在通常度量下是完备度量空间。对一般的，在通常度量(欧基里德度量)下是完备度量空间。

 

    现在，我们来看看完备度量空间的子空间是不是完备度量空间。Wiki上说完备空间的任一子空间是完备的当且仅当它是一个闭子集。这话的确没错，但我们这里换个思路来想这个完备性。当是一个完备度量空间，取一个子集，并继承的度量，得到一个度量空间，这个时候通过能一个拓扑空间。这个时候，我们只考虑拓扑结构，如果不是闭子集，那么我们能不能换一个度量，与是相同的拓扑结构，但是一个完备度量。如果有，我们就说能有相容的完备度量。

 

    先在来看一个简单情况,开区间实数集的非闭子集，我们取，那么就是完备度量，而且他诱导的是相同的拓扑，因为是到的同胚。

 

这其实给了我们一个思路，就是找相容完备度量的时候，可以把它用同胚映射到一个熟知的完备度量空间上，从而得到相要的结果。于是，利用这个思路，我们很容易得到，有相容完备度量，因为它同胚于实数上的闭子集；两个不交开区间的并(比如)有 相容完备度量，因为它和的两条平行直线同胚。

 

现在来一个难一点的。无理数集和有理数集，他们分别有相容的完备度量吗？

 

    如果有人知道贝尔纲定理，很容易知道，有理数集是不可能的有相容完备度量的。贝尔纲定理说，完备度量空间是第二纲的，而有理数是第一纲的，所以他没有相容的完备度量。

 

无理数呢？其实，一般拓扑里有一个终极定理可以解决这个问题。回贴的人会有人贴出来吗。