代数的整数論 022
■ このスレッドは過去ログ倉庫に格納されています
0269Kummer ◆IxIr9aihfg
2011/02/17(木) 16:56:06完全分離(>>250)な位相空間はHausdorffかつ完全不連結(>>245)である。
証明
X を完全分離な位相空間とする。
X がHausdorffであることは明らかである。
x、y ∈ X、x ≠ y とする。
x ∈ U、y ∈ X - U となる開かつ閉な U がある。
X の部分空間 {x, y} は連結でない。
よって、X は完全不連結である。
証明終
■ このスレッドは過去ログ倉庫に格納されています