查看原题
任意度量空间都是仿紧的.
                        
不再提醒