全有界 全有界でない 完備 完備でない コンパクト [0, 1]、カントール集合 ヒルベルト立方体 Z_p R(通常の距離) 無限離散空間 min(1, |x-y|) の R l^2 の閉単位球 (0, 1) Q ∩ [0, 1] arctan 距離の R Z(5 進距離) Q(通常の距離) l^2 の開単位球 C[0, 1] 全体