16/01/16 12:09:05.25 T2WWGaw6.net
>>145
見てきたけど証明が間違ってるね
この証明、一般の距離空間に差し替えても差異が生じないから、
一般の距離空間でも通用する証明となってしまう
しかし、一般の距離空間では、有界閉集合はコンパクトなんて言えない
だから証明のどこかが間違ってる
16/01/16 12:09:05.25 T2WWGaw6.net
>>145
見てきたけど証明が間違ってるね
この証明、一般の距離空間に差し替えても差異が生じないから、
一般の距離空間でも通用する証明となってしまう
しかし、一般の距離空間では、有界閉集合はコンパクトなんて言えない
だから証明のどこかが間違ってる