2012年05月27日のツイート
@kururu_goedel: @hymathlogic すると[0,1]と{0'}∪(0,1]はともにcompact。しかし、共通部分(0,1]はcompactでない。
2012-05-27 12:05:18 via TweetDeck to @hymathlogic
@kururu_goedel: @hymathlogic 真面目に書くと、[0,1]に新しい点0'を付け加えた集合[0, 1]∪{0'}を考えて、baseは[0,1]の開集合と{0'}∪{x\in[0,1] : -ε<x<εかつx\neq 0} (εは正の数)の形からなるもの全体。
2012-05-27 12:03:08 via TweetDeck to @hymathlogic
@kururu_goedel: @hymathlogic 私が思い付いた一番簡単な例は、[0, 1]閉区間の0が2つあるやつ。
2012-05-27 11:56:20 via TweetDeck to @hymathlogic
@kururu_goedel: @hymathlogic compactならclosedだから、compact2つの共通部分はcompactのclosed subsetだからcompactでは、と思ったんですが、compactならclosedのところでHausdorffを使っていますね。なるほど。
2012-05-27 11:54:36 via TweetDeck to @hymathlogic
@kururu_goedel: というわけで、夫婦のみで子供三人(うち0歳児二人)を連れて片道5時間を30時間で往復してきてテンパっています。
@kururu_goedel: ♪笑ってー 笑ってー 笑ってガンジー 暴力なんてさよなら ね、ガンジーガンジー