質問が来ていることに気づかず回答が遅れました、すみません。 距離空間で「有界かつ全有界 ⇔ コンパクト」辺りの話ですよね。僕もこの辺の話はパッと出てくるほどに習熟できていません。（続く）