Edit Comment on
20091024-1
n[0] = "てなさく"; m[0] = "うちでは靴下を洗濯するたびに一足のペアの片方が紛失します。靴下紛失公理のモデルです。"; d[0] = "2009-10-25 07:42:19"; n[1] = "かがみ"; m[1] = "靴下紛失公理のモデルは少なくとも二つ存在することが証明されたようです。http://evariste.jp/kagami/diary/0000/200705.html#20070505-1"; d[1] = "2009-10-25 14:58:49"; n[2] = "ふちの"; m[2] = "これは Tom Jech の本には載っていないかもしれませんが、実は C_2 と C_4 は ZF で同値になることが簡単に証明できます。"; d[2] = "2009-10-28 09:39:07"; n[3] = "かがみ"; m[3] = "実は n<m のとき C_m → C_n が成り立つとは限らないのかそれとも自明に成り立つのか分からなくて困っていました。あえて指摘して頂いたということは成立しない場合もあると考えて良いのかなと思っています。今 C_2 → C_3 が成り立つとは限らない証明の準備のところを勉強しています。そこ分かった時点でもう一度真面目に考えてみます。色々教えて頂きありがとうございます。"; d[3] = "2009-10-28 13:03:25"; n[4] = "てなさく"; m[4] = "C_2→C_4 わかりました。ひとヒネリあって面白かったです。"; d[4] = "2009-10-28 21:14:09"; n[5] = "てなさく"; m[5] = "わたくしが考えた C_2→C_4の証明を見て思うに、集合族の濃度にたとえば「可算族」というような制限をつけると話がちがってきそうな気が・・・意外と奥が深いかもですねこりゃ。"; d[5] = "2009-10-28 21:18:26"; n[6] = "かがみ"; m[6] = "私の勘違いでなければ The Axiom of Choice の C_2 → C_4 の証明は集合族の cardinal には余り依存しないような気がします。たとえば C_2 が ω 族に対して成立すれば C_4 も ω 族に対して成立します。一般の基数についても同様です。てなさくさんはどのような方針で証明されたか教えて頂けるとうれしいです。余談ですが本文の C_n が成立する条件の逆も成り立つそうな。最初の条件が成り立たない場合 C_k (k<=m) に対して C_k が成立して C_n が成立しないモデルが作れるそうです。講釈失礼いたしました。なさくさんが楽しめるネタを提供できたのは大変うれしいです。"; d[6] = "2009-10-28 23:23:10"; n[7] = "てなさく"; m[7] = "かがみさんにメールしようとしたのですが未明にありがちなことでSMTPサーバが寝ているらしく送信できませんでしたので、自分のWebサーバにPDFファイルを置きました。興味のある方はどうぞご覧ください。<br>http://www.tenasaku.com/tenasaku/tepipi/resource/091029a.pdf<br>"; d[7] = "2009-10-29 04:46:48"; n[8] = "ふちの"; m[8] = "もう気付かれているかもしれませんが、n<m のとき C_m → C_n が成り立つとは限りません。<br>たとえば C_4 -> C_3 は ZF から証明できません。もしこれが証明できたとすると、てなさくさんのノートにもあるように、C_2 -> C_4 ですから、C_2 -> C_3 が証明できてしまうことになってしまうからです。"; d[8] = "2009-10-29 08:26:53"; n[9] = "かがみ"; m[9] = "てなさくさん。ふちのさん。コメントありがとうございます。選択公理使えないんだ...。"; d[9] = "2009-10-29 09:25:27"; n[10] = "てなさく"; m[10] = "昨晩述べた疑問 [てなさく 2009-10-28 21:18:26] に関連してノートの続編を書きました。よろしければご覧ください。<br><br>http://www.tenasaku.com/tenasaku/tepipi/resource/091029b.pdf<br>"; d[10] = "2009-10-29 13:57:58"; n[11] = "かがみ"; m[11] = "恐ろしく返信が遅れて申しわけございません。双方読ませて頂きました。ありがとうございます。私自身はしばらくの間 C_2 -> C_3 の証明不可能性にこもります。分からないときはよろしくお願いいたします。"; d[11] = "2009-10-31 19:53:14";
(password)