@kururu_goedel: @nopu_dansant 片方は完備だけど、もう片方は完備でないとか、そういうのがあるので。例えば、無理数の集合に普通の距離を入れるともちろん完備になりませんが、完備になるような距離を定義できます。確か（おい！）。2011-05-21 14:49:26 v…