2011年04月03日のツイート - kururu

@kururu_goedel: フォロワーさんへ。kururu_goedelをどう思っているか挙手で答えてください《むふっｍ→ノ、ハチミツをかけたい！→／、そこはかとなく良い→┛》 URL #s_tr

@kururu_goedel: @hyuki それでよいと思います。

@kururu_goedel: @kikx 距離空間はパラコンパクト、授業でやったことありますが、結構大変だった覚えが……。順序位相が正規になることは直接やった方がはるかに楽、ですが原稿を先にしたほうが……

@kururu_goedel: @kikx パラコンパクトは一般位相幾何学ではとても重要ですが、ちょっとこの文脈ではオーバーキルかと。定義も分かりやすくはないですし

@kururu_goedel: ただ、一般に半群に対して単位元と逆元の存在が、ee=eとなるeの存在と、y\mapsto yxとy\mapsto xyがともに全単射になることで置き換えられそうなんだけど、ほんとかね？

@kururu_goedel: 昨日TLで見かけた、有限半群がxa=ya→x=yとax=ay→x=yを満たすなら群になるっての解けたので証明書こう書こうかと思ったけど面倒なのでやめる

@kururu_goedel: @t33f 普通は全順序集合に対して、開区間をbaseにするやつを指すと思います。とりあえず、今のところ、私のTLに流れているのはそれです。

@kururu_goedel: アップデートでアプリ全消えのアンドロイドちゃんに必須アプリを再インストール中

@kururu_goedel: @alg_d 連結と稠密かつ完備の同値性の証明 URL

@kururu_goedel: @patho_logic いえるはず。A, Bが連結性への反例になるとして、a in A, b in Bとして、wlogでa<bを仮定して、aより大きいBの元の下限をとるとそれがAの元でもBの元でも開集合であることに反する