在完备的距离空间中，完全有界集未必是列紧集.