順序集合に関する質問(追記:自己解決しました)
今ちょっと整列集合Wでランク付けされた半順序集合P(Pの中でx < yなら、Wの中で「xのランク」< 「yのランク」)について考えています。ランクを持つPの元全体を(空でないとする)と書き、以下の二つの条件
を仮定します。このとき、ZFC集合論の範囲で、全てのについてとなるようなPのchain Cの存在はいえるのでしょうか。
もしいえないとしたら、他に何らかの条件(Wの濃度など)をつけた場合には何かわかることはあるでしょうか。
私はネット外に集合論な知人がいないのですが、はてなにはid:kururu_goedelさんなど集合論な方々がおられるようなので、この場で質問させていただきます。もちろんくるるさん以外の方からのご回答も歓迎しますので、詳しい方よろしくお願いいたします。
(質問するのにこちらへ呼ぶのもアレですが、先方の記事に関係ないコメントを長々とするのも同様にアレなので、こちらで書かせてもらいました。)
追記(2008年9月12日)
一般には成り立たないという反例を見つけました。
正整数の対(x,y)全体の集合に一点*を付け加えた集合に、とで順序を入れたものが反例になっていると思います。これだとランクの集合Wは可算濃度なので、Wの濃度を制限してもうまくいきそうにないですね。