0
大学数学基礎解説
文献あり

アローの不可能性定理の証明

576
0

はじめに

本記事ではアローの不可能性定理の証明を解説します。

本記事の特徴

  • 証明の全体像を把握できるように整理
    (命題の関係性を示す図を作成)
  • 証明の理解しやすさを優先して補題の主張を緩めて記載
    (証明の正確性に問題はありません)
  • 数式を使って正確に記載
  • 改行とタブを多用して論理記号の範囲を明確に記載

参考書

  • 林、ミクロ経済学[増補版] [1]

前提知識

  • 社会的厚生関数の定義
  • アローの不可能性定理の主張内容

記号

  • nN:エージェントの数
  • A={a1,...,an}:エージェントの集合
  • mN:選択肢の数
  • Γ={γ1,...,γm}:選択肢の集合
  • Σ:選好順序の集合(選択肢集合のすべての順列)
  • ΩΣ:実行可能な選好順序の集合
  • iΩ:エージェントiAの選好順序
  • Ωnn人のエージェントの選好順序の集合(単に選好順序と呼ぶ)
  • xiy:エージェントiは選択肢xΓを選択肢yΓよりも上位と評価
  • f:ΩnΣ:社会的厚生関数
  • x f() y:社会的厚生関数fは選択肢xΓを選択肢yΓよりも上位と評価

仮定

アローの不可能性定理では以下の4つの条件が満たされることを仮定します。

無制約性

Ω=Σ

満場一致性

x,yΓ,Ωn,
 iA,xiy
 
 x f() y

独立性

x,yΓ,,Ωn,
 iA,xiyxiy
 
 x f()yx f()y

定理

本章ではアローの不可能性定理を証明します。

まずは、定理の中心となる「特定のペアに決定権を持つ集団」を定義します。

特定のペアに決定権を持つ集団

以下の条件を満たすとき、集団GAは選択肢x,yΓの決定権を持つと呼ぶ。(以下の命題をisDecisive(G,x,y)と表記する。)
Ωn,
 iG,xiy
 
 x f() y

また、決定権の条件を緩めた「弱決定権」も定義します。

特定のペアに弱決定権を持つ集団

以下の条件を満たすとき、集団GAは選択肢x,yΓの弱決定権を持つと呼ぶ。(以下の命題をisWeaklyDecisive(G,x,y)と表記する。)
Ωn,
 {iG,xiyiG,yix
 
 x f() y

定理の証明は決定権の概念のみでも行えますが、弱決定権も導入することで補題の証明が簡潔になります。決定権を持てば弱決定権も持ちますので、定理の証明を理解する上では、弱決定権を決定権と読み替えていただいて問題ありません。

では、アローの不可能性定理を証明します。証明は複数の補題から構成されているため、本章では補題が成り立つことを前提に定理を証明し、次章で補題を証明します。

アローの不可能性定理

iG,x,yΓ,isDecisive({i},x,y)

アローの不可能性定理

証明の全体像(どの補題を使ってどの補題を示すのか)を図1に示します。矢印の元の命題を使って矢印の先の命題を証明します。

証明の全体像 証明の全体像

アローの不可能性定理は「(前述の仮定の下で)任意のペアに決定権を持つ個人が存在してしまう」(独裁になってしまう)という定理です。その存在を直接証明するのは難しいので、条件を緩めた「特定のペアに決定権を持つ集団」に対して、集団を個人に狭める&特定ペアを任意ペアに拡張することで導きます。

まずは、特定のペアに決定権を持つ集団が存在することを示します(補題2)。

次に、補題2における集団を個人に狭めるために、決定権を持つ集団の真の部分集合に、他のペアの決定権を持つものが存在することを示します(補題3)。補題2で示した集団に補題3を繰り返し適用することで、特定のペアに決定権を持つ個人がいることを示せます(補題4)。

最後に、補題4の特定ペアから任意ペアに拡張するために、特定のペアに決定権を持つ集団は、任意のペアに決定権を持つことを示します(補題5)。これを補題4に適用することで、任意のペアに決定権を持つ個人が存在することを示せます(定理1)。

補題

本章では定理の構成要素となる補題を証明します。

特定のペアで決定権を持つ集団の存在性

GA,x,yΓ,isWeaklyDecisive(G,x,y)

特定のペアで決定権を持つ集団の存在性

【満場一致性】より、集団Gをエージェント集合A、特定のペアx,yを選択肢集合から取り出した任意のペアとすると、補題が成り立ちます。

決定権を持つ集団の収縮性

GA,x,yΓ,
 {|G|2isWeaklyDecisive(G,x,y)
 
 GA,z,wΓ,isWeaklyDecisive(G,z,w)

決定権を持つ集団の収縮性

補題が成り立つ集団Gとペアz,wを具体的に構成することで証明します。

任意の集団Gとペアx,yを取り出し、補題の条件を満たすと仮定します。集団Gを二つの真の部分集合G1,G2Aに分割します。任意の選択肢zΓ{x,y}を取り出します。以下の条件(※)を満たす選好順序Ωmを取り出します。なお、【無制約性】より、以下の条件を満たす選好順序は任意のx,y,zで存在します。
{iG1,xiyiziG2,zixiyiG,yizix

社会的厚生関数fによる選択肢x,y,zの評価を考えます。

  • 選択肢x,yについて
    集団Gはペアx,yで弱決定権を持つことから、x f() yとなります。
  • 選択肢x,zについて
    x f() zz f() xの両方がありえますので、それぞれの場合を検討します。
    • x f() zである場合
      【独立性】より、条件(※)を満たす任意の選好順序Ωmx f() zが成り立ちます。これより、集団G1がペアx,zで弱決定権を持つことになります。したがって、集団Gを集団G1、ペアz,wをペアx,zとすると、補題が成り立ちます。
    • z f() xである場合
      x f() yz f() xより、z f() xとなります。このとき、【独立性】より、条件(※)を満たす任意の選好順序Ωmz f() xが成り立ちます。これより、集団GG1がペアz,xで弱決定権を持つことになります。したがって、集団Gを集団GG1、ペアz,wをペアz,xとすると、補題が成り立ちます。
特定のペアで決定権を持つ個人の存在性

iA,x,yΓ,isDecisive({i},x,y)

特定のペアで決定権を持つ個人の存在性

補題2で示した集団に補題3を繰り返し適用することで、最終的には個人からなる集団が特定のペアに決定権を持つことを示せます。

決定権の拡張性

GA,
 x,yΓ,isWeaklyDecisive(G,x,y)
 
 z,wΓ,isDecisive(G,z,w)

決定権の拡張性

任意の集団GAを取り出します。補題の条件を満たすペアx,yΓが存在すると仮定します。任意のペアz,wΓ{x,y}を取り出します。

以下の条件を満たす任意の選好順序Ωmを取り出します。
{iG,zixiyiwiG,yix,zix,yiw
集団Gはペアx,yで決定権を持つことから、x f() yとなります。また、【満場一致性】より、z f() x,y f() wとなります。以上より、z f() wとなります。

以下の条件を満たす任意の選好順序Ωmを取り出します。
{iG,ziwiG,ziwziw
【独立性】より、f()f()でのz,wの評価は等しくなります。したがって、z f() wとなります。

以上より、集団Gはペアz,wで決定権を持ちます。

(本証明は選択肢が4つ以上あることを前提とした証明ですが、選択肢が3つでも示せる証明もあります。)

参考文献

[1]
林 貴志, ミクロ経済学[増補版], ミネルヴァ書房, 2013
投稿日:202359
OptHub AI Competition

この記事を高評価した人

高評価したユーザはいません

この記事に送られたバッジ

バッジはありません。
バッチを贈って投稿者を応援しよう

バッチを贈ると投稿者に現金やAmazonのギフトカードが還元されます。

投稿者

seytwo
15
4914

コメント

他の人のコメント

コメントはありません。
読み込み中...
読み込み中
  1. はじめに
  2. 本記事の特徴
  3. 参考書
  4. 前提知識
  5. 記号
  6. 仮定
  7. 定理
  8. 補題
  9. 参考文献