2011年05月01日のツイート
@kururu_goedel: なんか「晒し」っぽくなってしまってちょっと反省。私にとっては、集合論disとか日常的過ぎて実害がないかぎり自虐ネタにする以外の反応はないのですが。
@kururu_goedel: @fuuta301 気にしないでください。かっこよくもないですよ。自分に合わない分野の話は避けておく、というのもわかります(私もやります)。勉強頑張ってくださいね。
2011-05-01 23:05:37 via TweetDeck to @fuuta301
@kururu_goedel: @fuuta301 うわーん。
2011-05-01 22:39:01 via TweetDeck to @fuuta301
@kururu_goedel: @morinomichi311 clopenは単に開かつ閉というだけです。clopen baseは、clopen setのみからなるbaseということ。っていうか、ネタ反応を堪えきれずに書いただけなのでスルー推奨です。
@kururu_goedel: @muratori_d それがCohen強制法です。最も基本的な例ではありますが、同時にとても有用なもので、よく使われます。
2011-05-01 13:12:30 via TweetDeck to @muratori_d
@kururu_goedel: @morinomichi311 0次元の定義はclopen baseがあるってことだから、連結にはならないだろうと思ったら、その意味で0次元ならそもそも多様体にならないとか考えたあとで、そもそも多様体で0次元のものを考えているわけですらないと気付いたというか、ネタにマジレス過ぎ
@kururu_goedel: あとは、可分という性質の強さというか奇妙さを実感できる例ですよね。稠密集合は大きく見えるのに、可分ならそれを可算回の操作で片付けられるということなので。
@kururu_goedel: なぜ、測度0のcomeager集合が面白いかというと、一つの見方で小さい集合が、他の見方では大きく見えるということで。それは濃度という量り方でもそうなのだけれども、もちろん可算なら測度0かつmeagerなので、この例はその辺と同時にカバーしています。
@kururu_goedel: @evinlatie いや、なんかカントールの三進集合は測度0の非可算集合の典型的な例だって言っている人がいて、間違ってはいないんですけど、三進集合は他にも良い性質持っているしなあとか思って他の例を出そうと。
2011-05-01 12:45:05 via TweetDeck to @evinlatie
@kururu_goedel: @evinlatie はい、これがスタンダードな構成です。もっとも、本質的にこれと異なるZFC上での構成があるかを知りません。
2011-05-01 07:36:35 via TweetDeck to @evinlatie
@kururu_goedel: @evinlatie ありがとうございます。後で読みます。ただ、自分が忙しいときは無理しないでくださいね、本当に。
@kururu_goedel: 休憩しろと言われていた時間をほぼすべて翻訳の校正に当ててしまった。とりあえず10分くらい寝る。じゃ。