XArrowの不可能性の定理に対応する,Senの可能性の定理です。Dを満たす例を1つ挙げることで,可能であること(不可能ではないこと)を示そうとしています。yRix)&(∃i:yPix)〕の式はよいでしょう。xRy(社会的にxはyよりも少なくとも同程度以上によい)とするという考え方です。メンバー内にxPiyというiとyPjxというjの双方がいる場合は,すべてxIyになります。yRix)&(∃i:yPix)〕の右辺のyにxを入れて考えます。xPixとなるようなxは存在しませんので,∃i:xPixは成立しません。xRxが成立することになり,反射性が成立します。誰か一人がyをxよりも厳密によいと思っている」ときでした。xRiy)&(∃i:xPiy)〕を考えます。xRiy)&(∃i:xPiy)〕は必ず成立し,yRxが成立することが判りました。以上より,xRyが成立しなければyRxが成立する(逆も言えます)ため,完備性を確認できました。yRix)&(∃i:yPix)〕はもちろん成立します。xRiy)&(∃i:xPiy)〕は成立しません。よって,xRy"〜(yRx)より,xPyが得られ,確認ができました。yRix)&(∃i:yPix)〕という式の形が,まったくxとyにのみ依存しており,他の選択肢が定義に関わっていないことを確認できれば十分でしょう。順位評定法(ボルダ投票)のように,他の選択肢がxRyの定義に関わる余地がありませんので,条件I(無関係選択肢からの独立性)は満たされるものと判断されます。条件D(P.52)が満たされる点:前述のように,メンバー内にxPiyというiとyPjxというjの双方がいる場合は,すべてxIyになります。このように,独裁者の入りうる余地がありませんので,条件Dが満たされることが確認できます。条件U(P.51)が満たされる点:条件Uは,定義域を無制限に拡大しても,値域があらかじめ設定した条件を満たすこと(今回はC(S,R)が空にならないこと)を要求する条件でした。ここでは,補題1*k(P.22)を使ってこのこと(C(S,R)が空にならないことを)確認しようとしています。補題1*kでは,「Rガ有限集合Xにおいて反射的,完備的,準推移的ならば,選択関数C(S,R)がX上で定義される」(「C(S,R)がX上で定義される」はC(S,R)が空でないということ)としていました。反射性と完備性は上記で確認済みでしたから,さらに必要なのは準推移性(PP推移性)のみです。そこでこれを確認します。yRix)&(∃i:yPix)〕)からの展開です。2行目で,(∀i:xRiy)&(∀i:yRiz)に個人レベルの推移性規則を適用して,∀i:xRizを作成しました(全ての個人には順序性を前提していたのでした)。,(∃i:xPiy)&(∀i:yRiz)から,(∃i:xPiz)を導きました(∃i:xPiyである個人iもyRizが成立しているはずであるため)。xPz以上より,xPy&yPz→xPzが確認でき,準推移性の確認が出来ました。1*kから条件Uが満たされたことを説明して,証明が終了します。特定の記述項目について,読む上でのポイントを考えるものです。本ホームページの主旨や注意などについては,こちら(「読解のポイントを探る」項目リストページ)をご覧下さい。