9楼: Originally posted by jfili at 2011-12-31 19:53:28:
由于(X,d)为紧的度量空间，我证明下面一个结论：设有界实数集[0,1]中有两个极限点集相同的数列{xn}、{yn}，则一定存在双限f: N---->N，使得
lim_n |x_n-y_{f(n)}|=0。而原问题的证明与此相似。

第一步：{ ...

楼: Originally posted by jollage at 2011-12-28 21:36:13:
对于某一个epsilon，总有n使
|x_n - y_{f(n)}|<|x_n - y_n| + |y_n - y_{f(n)}|< epsilon/2 + epsilon/2

|x_n - y_n|<epsilon/2  是已知，|y_n - y_{f(n)}|<epsilon/2 是紧空间。