Главная Перейти к главной странице
Введение I. Теория чисел II. Анализ III. Модели Теорема Эрроу Фракталы IV. Задачи
Обозначения Литература

Теорема Эрроу


Пусть имеются конечные множества, E («избиратели», «электорат», «эксперты») и C («кандидаты», «альтернативы»). Каждый из избирателей имеет относительно любого из кандидатов определённое мнение, выражаемое в предпочтениях одних кандидатов по сравнению с другими, т. е. избиратели ранжируют (упорядочивают) множество альтернатив C — создают свой профиль предпочтений. Отношение предпочтения избирателем e кандидата c1 по сравнению с кандидатом c2 запишем в виде c1 >e c2,

что можно читать: «c1 лучше c2», или «c1 предпочтительнее c2», или «c1 выше c2» (с точки зрения e). Очевидно, что определённое нами отношение препочтения обладает свойством транзитивности: ((a > b) & (b > c)) ⇒ a > c.

Задача заключается в том, чтобы по заданным индивидуальным профилям предпочтений для каждого избирателя построить профиль общественного предпочтения, т. е. определить ранжировку кандидатов, «справедливую» для всего множества избирателей. Например, пусть из кандидатов C = {Хренов, Редькин, Морковьев} избиратели E = {1, 2, 3}* выбирают лучшего и профили их предпочтений таковы:

Хренов >1 Редькин >1 Морковьев
Редькин >2 Морковьев >2 Хренов
Редькин >3 Морковьев >3 Хренов

Тогда профиль общественного предпочтения (итоговая ранжировка множества кандидатов C), определённый по большинству голосов: Редькин >E Морковьев >E Хренов.

Сразу заметим, что даже для таких простых случаев, когда выбирают из трёх кандидатов три избирателя простым большинством голосов, могут возникнуть проблемы. Рассмотрим, к примеру, такую ранжировку кандидатов:

Хренов >1 Редькин >1 Морковьев            
Редькин >2 Морковьев >2 Хренов
Морковьев >3 Хренов >3 Редькин  

тогда, большинством в два голоса против одного, имеем Редькин >E Морковьев,   Морковьев >E Хренов,   Хренов >E Редькин,   т. е. получаются противоречащие друг другу условия и профиль общественного предпочтения в этом случае не существует. Рассмотренный пример — простейшая иллюстрация парадокса Кондорсе (Marie Jean Antoine Nicolas de Caritat, marquis de Condorcet), открытого в 1785 г.


Marquis de Condorcet
Рис. 1. Мари Жан Кондорсе (1743–1794)

Все известные правила «демократического» голосования имеют существенные недостатки. В качестве иллюстрации приведём два простых примера. Наиболее распостранённое правило простого большинства голосов, когда побеждает тот кандидат, который набрал наибольшее количество голосов. Тогда в ситуации, когда кандидат Хренов получил 40% голосов, а Редькин и Морковьев — по 30%, победит Хренов, несмотря на то, что большинство избирателей в 60% высказалось против него и, быть может, от всей души ненавидят этого кандидата. Другое, также очень распостранённое, правило голосования в два тура: если при первом голосовании никто из кандидатов не набрал более 50% голосов, то два претендента, получившие максимальное число голосов, проходят во второй тур голосования, где победитель определяется по правилу простого большинства. Рассмотрим случай, когда кандидаты в первом туре получили ранжировку, как в (1), но при этом вместо одного избирателя голосуют их коалиции, имеющие в своих составах 1-я — 40%, 2-я — 29,9% и 3-я — 30,1% избирателей. Тогда во второй тур пройдут Хренов и Морковьев, причём победит последний, собрав 60% голосов (считаем, что предпочтения избирателей не меняются за всё время выборов и подсчёт голосов абсолютно честный). Однако, если исключить из списка кандидатов Хренова, вроде бы, не имеющего шансов на победу, то выиграет Редькин. Ясно, что это открывает большие возможности для манипуляций, даже при самом честном подсчёте голосов избирателей.

В связи со сказанным возникает вопрос: возможна ли, хотя бы теоретически, идеальная («справедливая», приемлемая для всех избирателей) избирательная система? Для ответа нужно, во-первых, явно и недвусмысленно указать необходимые требования к такой системе. Американский математик К. Эрроу (Kenneth J. Arrow) сформулировал такие требования в виде следующих аксиом [11]:

  1. Универсальность, universality, unrestricted domain. Для любых кандидатов a, b и любых индивидуальных их ранжировок общественное предпочтение устанавливает либо a >E b, либо b >E a, либо a =E b. (В последнем случае кандидаты одинаково предпочтительны).
  2. Единогласие, unanimity, weak Pareto principle. Если все избиратели счита­ют, что a лучше b, то и в общественном предпочтении a выше b.
  3. Независимость от посторонних альтернатив, independence of irrelevant al­ternatives. Положение любых двух кандидатов зависит только от их поло­жения в индивидуальных профилях предпочтений и не зависит от располо­жения других кандидатов.
  4. Отсутствие диктатора, non-dictatorship. Не существует такого избирателя d ∈ E, который мог бы навязать свой выбор всему электорату: x >d y   ⇒   x >E y     для любых x,

К. Эрроу доказал (1951г), что эта система аксиом противоречива, когда |C| > 3. Следовательно, идеальная демократическая избирательная система невозможна, даже теоретически. Особенно печально для «демократов» выглядит (это будет показано ниже), что отказавшись от четвёртой аксиомы мы получим логически непротиворечивую систему требований, что можно трактовать так: демократия — скрытая форма диктатуры.

Arrow
Рис. 1. К. Эрроу

Для доказательства теоремы Эрроу достаточно построить специальные профили предпочтений, так как, ввиду аксиомы Универсальности, избирательная система должна «работать» при любых индивидуальных ранжировках. Само доказательство технически не сложно — будем в основном следовать его наиболее простому варианту [12]. Введём определение

Определение 1. Коалицию избирателей D, D ⊆ E, назовём решающей для кандидатов a, b, если ((a >D b) & (b >E\D a ))   ⇒   a >E b.

Другими словами: если избиратели из D считают, что кандидат a лучше b, а все остальные избиратели придерживаются противоположного мнения, то в итоговой ранжировке будет так, как решили члены коалиции D.

В случае, когда соотношение (2) выполняется для любых кандидатов, коалицию D назовём просто — решающей.

Заметим, что решающая коалиция, в силу аксиомы Единогласия, во-первых, существует (например, таково всё множество E) и, во-вторых, не может быть пустой (если никто не ставит a выше b, то и общественном предпочтении такого быть не может). Переходя непосредственно к доказательству, обозначим M минимальную по количеству избирателей решающую коалицию и покажем, что:

  1. Минимальная решающая коалиция M состоит из одного избирателя d.
  2. {d} — решающая коалиция.
  3. Избиратель d — диктатор.

i. Минимальная решающая коалиция M состоит из одного избирателя d. Пусть коалиция M является минимальной решающей относительно кандидатов a и b и избиратель d ∈ M. Покажем, что либо коалиция {d}, либо коалиция M\{d} являются решающими и, значит (ввиду минимальности M), M = {d}. Для этого рассмотрим следующие профили предпочтений

a >{d} b >{d} c            
c >M\{d} a >M\{d} b
b >E\M c >E\M a  

Тогда в общественном предпочтении a >E b, поскольку так высказались все члены M, а остальные избиратели — наоборот, и расположение кандидата c по аксиоме Независимости никак на это не влияет.

Далее, могут быть две возможности:

  • b >E c, тогда, в силу a >E b, выводим (транзитивность), что a >Ec. Это значит (см. (3)), что коалиция {d} — решающая для a, c;
  • c >E b, тогда коалиция M\{d} — решающая (см. (3)), что противоречит минимальности M.


ii. {d} — решающая коалиция. Рассмотрим профили

a >{d} b >{d} x
b >E\{d} x >E\{d} a

Так как {d} — решающая коалиция, то a >E b, и, в соответствии с аксиомой Единогласия b >E x, следовательно (транзитивность), a >E x. В силу Независимости полученный результат не зависит от b и, поэтому, справедлив при произвольном x. Не трудно аналогичным образом построить соответствующие профили так, чтобы для произвольного кандидата y было y >E a. Следовательно, если {d} образует решающую коалицию для какой-либо пары, то эта одноэлементная коалиция будет решающей и для любой пары, в которой один из её кандидатов заменён другим. Отсюда уже прямо вытекает, что {d} — решающая коалиция.

Таким образом, избиратель d может навязать электорату своё мнение, если все остальные избиратели голосуют в точности наоборот. Для доказательства того, что d является диктатором, теперь достаточно показать его независимость от мнения остальных избирателей, т.е., что мнение d относительно ранжировки, скажем, кандидатов a, b всегда будет достаточным для того, чтобы и в коллективном мнении было так же.


iii. Избиратель d — диктатор. Пусть избиратели, голосующие так же (относительно предпочтения a по сравнению с b), как d, образуют множество P, все несогласные — множество Q. Множества P, Q могут быть пустыми. Рассмотрим профили предпочтений

a >{d} c >{d} b
c >P a >P b
c >Q b >Q a

Тогда в коллективном предпочтении a >E c в силу того, что {d} — решающая коалиция, и c >E b (Единогласие). Поэтому (транзитивность) a >E b — именно так, как высказался d. Следовательно, d — диктатор и, таким образом, теорема Эрроу полностью доказана.



* Автор здесь с трудом удерживается от того, чтобы избирателям также присвоить «говорящие» фамилии.