2011年03月31日のツイート
@kururu_goedel: あ、ちなみにSouslinと綴られる場合もあって、それはフランス流
@kururu_goedel: 壊す度に新しいのが出来るのに全部壊すなんて出来るの?ってあたりも克服しないといけない。これはこのケースではうまくいく。似たようなことをやるときには、そこがネックになって巨大基数のお世話になったりする
@kururu_goedel: ここで、ススリン直線を壊してできる新しいモデル上で、新しくできちゃったススリン直線を壊して…というのを無限回(実際には\omega_2回)やる必要がでてきて、それをやるためのフレームワークが逐次強制法(iterated forcing)。
@kururu_goedel: ススリン木を一つ壊すのは、強制法さえわかれば全く簡単なんですよ。問題は全部壊せるか
@kururu_goedel: Martin-Tennenbaumの方法は、要するにススリン直線を一つ残らずガンガン壊してまわるってやつなんですが、厄介なのは「壊しまくっている間に基数とかまで壊れてぐちゃぐちゃにならない?」というのと、「一つススリン直線を壊した影響で新しいススリン直線ができちゃう」というもの
@kururu_goedel: というわけで、実数直線の特徴付けというとても自然な動機から、Lの構造やら強制法公理やら実数を付け加えない逐次強制法やら、現在の集合論に通じるアイデアがたくさんでてきたという意味でとても面白い問題だったと思います
@kururu_goedel: Martin-Tennenbaumのやり方ででてくるのは、CHが成り立たないモデル。でも、ZFC+CH+SHも整合的でこれはShelahだよね。証明も筋は覚えているけど細部は自信なし。
@kururu_goedel: なお、ダイヤモンド原理から連続体仮説がでてくるので、Jensenのやり方ではZFC+CH+¬SHのモデルしか作れません。ZFC+¬CH+¬SHも整合的ってWikipediaにはかいてあるんですけど、どうやるんですか?(だめじゃん)
@kururu_goedel: MAの定義も略。これは現在では強制法公理と呼ばれている公理のクラスの最初のもの。
@kururu_goedel: ちょっとこのあたり歴史がどう進んだのかは自信がないんですが、ススリン直線(またはススリン木)を壊していく手法を応用すると、Martin's Axiom(MAと略記)の整合性が言えます。
@kururu_goedel: 実際には、どちらの証明でもススリン直線を直接扱うのではなく、ススリン木というものを使っています。面倒なので定義しませんが。
@kururu_goedel: ZFC+SHの整合性を示したのは、MartinとTennenbaum(でいいんだよね)。強制法を使ってススリン直線を全てぶち壊していく方法を編み出しました。
@kururu_goedel: どちらも今となっては難しくない証明だけれども、両方とも今ではよく使われる議論の典型的なものです。
@kururu_goedel: ZFC+¬SHが整合的であることを示したのは、Jensen。彼は、ダイヤモンドと呼ばれる原理を導入し、V=Lならダイヤモンド原理が成り立ち、かつダイヤモンド原理がなりたてばススリン仮説の否定が成り立つことを証明した
@kururu_goedel: 結果からいくと、ススリン仮説(SHと略記)はZFCから独立。
@kururu_goedel: ススリン直線というのは、ススリン仮説への反例のことを言います。
@kururu_goedel: 連続体問題と同様に、ススリン仮説(Suslin Hypothesis)とは、そういう変な全順序集合はないという命題のことを言います。
@kururu_goedel: ちなみに、互いにdisjointな開集合族の濃度の上限は、cellularityとよばれますが、一般位相幾何学の人以外は知らないよね
@kururu_goedel: つまり、言い換えると「(1)(2)(4)と前記の条件を満たすような全順序集合で、実数直線と同型でないものがあるか?」というのがススリン問題。
@kururu_goedel: ススリンのことかーー!
@kururu_goedel: (1),(2),(4)はそのままで、(3)を「互いにdisjointな空でない開区間の集合は高々可算」で置き換えてみたときに、これが実数直線の特徴付けになるかというのがススリン問題。
@kururu_goedel: 条件(1)-(4)は全て必要なのですが、じゃあ弱めることはできないかな、というのででてきたのがススリン問題。
@kururu_goedel: 自己稠密は、任意の異なる二元の間には元があるってやつ。完備は空でない上に有界な集合には必ず上限があるってやつ。
@kururu_goedel: この前@evinlatie さんが書いてらしたように、(順序集合としての)実数直線は、(1)自己稠密、(2)最大元、最小元を持たない、(3)可分、(4)完備、で特徴付けられます
@kururu_goedel: @evinlatie もちろんですが、妻の機嫌によって中断もあり得ます
2011-03-31 11:31:45 via TweetDeck to @evinlatie
@kururu_goedel: @t_uda いえいえ、たいしたものじゃないので。
2011-03-31 11:30:51 via TweetDeck to @t_uda
@kururu_goedel: せっかくなのでSuslin Hypothesisのこと書く
@kururu_goedel: スルーされたけど、重複しているからいいか。URL
@kururu_goedel: @yoriyuki ZFCでならやっぱりKunenがベストだと思いますが、限定算術上のものにスムースに移行できるように書かれているかはわかりません。そこは@tri_iroさん待ち
2011-03-31 11:16:37 via TweetDeck to @yoriyuki
@kururu_goedel: @hazuma うちのTLはもうバカな数学ネタとか普通の数学ネタとかくだらないダジャレとかが半分以上ですが。TLの組み方の問題では。
2011-03-31 10:36:51 via TweetDeck to @hazuma