Теорема Ерроу

Кеннет Ерроу

Теорема Ерроу (також відома як «Парадокс Ерроу», англ. Arrow's paradox) — теорема про неможливість «колективного вибору». Сформульована американським економістом Кеннетом Ерроу в 1951 році.

Зміст цієї теореми полягає в тому, що в рамках ординалістського підходу не існує методу об'єднання індивідуальних вподобань для трьох чи більше альтернатив, який задовольняв би деякі повністю справедливі умови та завжди давав би логічно несуперечливий результат.

Ординалістський підхід базується на тому, що вподобання індивідуума відносно запропонованих для вибору альтернатив не можуть вимірятись кількісно, а тільки якісно, тобто одна альтернатива краща чи гірша за іншу.

У рамках кардиналістського підходу, що пропонує кількісне вимірювання вподобань, теорема Ерроу в загальному випадку не працює.

Формулювання

Формулювання 1951 року

Нехай є N≥2 виборців, які голосують за n≥3 кандидатів (в термінах теорії прийняття рішень кандидатів прийнято називати 'альтернативами' ). У кожного виборця є упорядкований список альтернатив. Система виборів - функція, що перетворює набір з N таких списків (профіль голосування) до загального упорядкованого списку.

Система виборів може мати такі властивості:

Універсальність

Для будь-якого профілю голосування існує результат - впорядкований список з n альтернатив.

Повнота

Система голосування може давати як результат усі n ! перестановок альтернатив.

Монотонність

Якщо у всіх N списках деяка альтернатива x залишиться на місці або підніметься вище, а порядок інших не зміниться, в загальному списку x повинен залишитися на місці або піднятися.

Відсутність диктатор а

Немає виборця, перевагу якого визначав би результат виборів незалежно від уподобань інших виборців.

Незалежність від сторонніх альтернатив

Якщо профіль голосування зміниться так, що альтернативи x і y у всіх N списках залишаться в тому ж порядку, то не зміниться їх порядок і в остаточному результаті.

Для N≥2 і n≥3 не існує системи голосування, яка відповідає всім п'яти умовам.

Формулювання 1963 року

У формулюванні 1963 року умови Ерроу такі:

універсальність

Відсутність диктатора

Незалежність від сторонніх альтернатив

Оптимум Парето, або принцип одноголосності

якщо у кожного виборця альтернатива x в списку стоїть вище y , це ж має бути і в остаточному результаті.

Для N≥2 і n≥3 не існує системи голосування, яка відповідає всім чотирьом умовам.

Доказ теореми Ерроу

• $O$ — множина випадків, які кожен агент ранжує відповідно до своїх уподобань.
• $L_{i}$ — лінійний порядок вподобань $i$-го агента на множині $O$ заданий відношенням $\succ _{i}$.
• $[\succ ']$ — профіль вподобань (кортеж, елементами якого є переваги всіх агентів).
• $W:L^{N}\to L_{W}$ — функція суспільного добробуту.
• $\succ _{W}$ — колективні вподобання.

Дамо формальні визначення:

• Парето-ефективність: $W$ парето-ефективна, якщо для будь-яких випадків $o_{1},o_{2}\in O,\forall i(o_{1}\succ _{i}o_{2})\Rightarrow (o_{1}\succ _{W}o_{2})$.
• Незалежність від сторонніх альтернатив:  $W$ незалежна від сторонніх альтернатив, якщо для будь-яких випадків $o_{1},o_{2}\in O$ і для будь-яких двох профілів вподобань$[\succ ']$ і $[\succ '']\in L_{n},\forall i(o_{1}\succ '_{i}o_{2}\Leftrightarrow o_{1}\succ ''_{i}o_{2})\Rightarrow (o_{1}\succ _{W([\succ '])}o_{2}\Leftrightarrow 0_{1}\succ ''_{W([\succ ''])}o_{2})$.
• Відсутність диктатора: вважаємо, що для $W$ відсутній диктатор, якщо не існує такого $i$, що $\forall o_{1},o_{2}\in O(o_{1}\succ _{i}o_{2}\Rightarrow o_{1}\succ _{W}o_{2})$.
• Теорема Ерроу: якщо $|O|\geq 3$, то будь-яка Парето-ефективна, незалежна від сторонніх альтернатив функція суспільного добробуту $W$ має диктатора.

Доказ проведемо в 4 етапи.

Етап 1.

Якщо кожен агент розміщує результат $b$ нагору або до самого низу свого списку переваг (при цьому не потрібно, щоб все агенти діяли однаково), то і в $\succ _{W}$ результат $b$ теж буде або вгорі, або внизу списку.

Візьмемо довільний профіль $[\succ ]$ такий, що в ньому для всіх агентів $i$ результат $b$ знаходиться або зверху, або знизу списку вподобань $\succ _{i}$. Тепер припустимо, що наше твердження неправильне, тобто існують такі $a,c\in O$, що $a\succ _{W}b$ и $b\succ _{W}c$. Тоді змінимо профіль $[\succ ]$ так, щоб для всіх агентів виконувалось $c\succ _{i}a$, не змінюючи при цьому ранжування інших результатів. Позначимо отриманий профіль $[\succ ']$. Так як після такої модифікації результат b для кожного агента все одно залишиться або на найвищій, або на найнижчій позиції в списку його переваг, то з незалежності W від сторонніх альтернатив можна зробити висновок, що і в новому профілі $a\succ _{W}b$ і $b\succ _{W}c$. Отже, в силу транзитивності $\succ _{W}$ отримаємо $a\succ _{W}c$. Але ми припустили, що для всіх агентів $c\succ _{i}a$, тоді в силу Парето-ефективності повинно бути $c\succ _{W}a$. Отримане протиріччя доводить твердження.

Етап 2.

Для будь-якого результату $b$ існує агент, який є центральним у тому сенсі, що, змінивши свій голос, він може перемістити результат $b$ з найнижчої позиції в списку $\succ _{W}$ до найвищої. Іншими словами, знайдуться два профілі $[\succ ^{1}]$ и $[\succ ^{2}]$, що відрізняються тільки вподобаннями агента $i$, що $b$ знаходиться в кінці списку для $[\succ _{W}^{1}]$ і на початку списку для $[\succ _{W}^{2}]$.

Розглянемо будь-який профіль переваг, у якому все агенти розташували результат $b$ унизу свого списка вподобань $\succ _{i}$. Зрозуміло, що і в $\succ _{W}$ результат $b$ знаходиться на найнижчій позиції (в силу Парето-ефективності). Нехай все агенти почали по черзі переставляти результат $b$ з найнижчої на найвищу позицію в своїх списках переваг, не змінюючи при цьому ранжування інших результатів. Коли все агенти поставлять результат $b$ першим в своєму списку переваг, він буде першим і для $\succ _{W}$. Таким чином, у якийсь момент $\succ _{W}$ зміниться. Нехай $n^{*}$ — агент, який, переставив таким чином $b$, змінив $\succ _{W}$ (уперше). позначимо $[\succ ^{1}]$ — профіль переваг як раз до того, як $n^{*}$ переміщень $b$, а $[\succ ^{2}]$ — профіль переваг відразу ж після того, як $n^{*}$ перемістив $b$. Таким чином, в $[\succ ^{2}]$ результат $b$ змінив позицію в $\succ _{W}$, при цьому для всіх агентів $b$ знаходиться або на самому верхньому, або на найнижчій позиції $\succ _{i}$. Отже, в силу твердження, доведеного на Етапі 1, в $\succ _{W}$ результат $b$ займає найвищу позицію.

Етап 3.

$n^{*}$ — диктатор над усіма парами $<a,c>$, що не включає в себе $b$.

Виберемо з пари $<a,c>$ будь-який елемент. Без втрати спільності, виберемо a. Далі з профілю $[\succ ^{2}]$ побудуємо $[\succ ^{3}]$ наступним чином: в $\succ _{n^{*}}$,перемістимо результат a на першу позицію, залишивши інше ранжування незмінним; довільним чином для всіх інших агентів поміняємо місцями один з одним $a$ і $c$. Тоді, як і в $[\succ ^{1}]$ отримаємо, що $a\succ _{W}b$ (В силу незалежності від сторонніх альтернатив) і, як і в $[\succ ^{2}]$ отримаємо, що $b\succ _{W}c$. Тоді $a\succ _{W}c$. Тепер побудуємо профіль переваг $[\succ ^{4}]$ наступним чином: для всіх агентів помістимо результат $b$ на довільну позицію в списку вподобань $\succ _{i}$, для агента $n^{*}$ помістимо результат $a$ в довільну позицію до результату $c$. Зрозуміло, що в силу незалежності від сторонніх альтернатив $a\succ _{W}c$. Ми отримали, що всі агенті, крім $n^{*}$ мають абсолютно довільні профілі вподобань, а результат $a\succ _{W}c$ вийшов виходячи тільки лише з припущення, що $a\succ _{n^{*}}c$.

Етап 4.

$n^{*}$ — диктатор над усіма парами $<a,b>$.

Розглянемо який-небудь результат с. В силу Етапу 2 існує деякий центральний агент $n^{**}$ для цього результату, він же є диктатором для всіх пар $<A,B>$, де, зокрема, $A=a,B=b$. Якби агент $n^{**}\neq n^{*}$ був диктатором над $<a,b>$, ніяка заміна переваг агента $n^{*}$ не могла б поміняти ранжування $a$ і $b$ в $\succ _{W}$. Але на Етапі 2 агент $n^{*}$ переставив $b$ з останнього місця на перше в $\succ _{W}$, і таким чином був зобов'язаний поміняти місцями $a$ і $b$. Отже, можна зробити висновок, що $n^{**}$ Зівпадає з $n^{*}$, тобто $n^{*}$ і є диктатором.

Доказ завершено.

Див. також

• Парадокс Кондорсе — парадокс виборів, узагальненням якого стала теорема Ерроу.
• Колективний вибір і індивідуальні цінності

Посилання

• Теорема о невозможности в задаче пропорционального представительства
• Кардиналистское голосование: Путь преодоления парадоксов социального выбора