Аксиомы Эрроу

Выше мы привели примеры нескольких различных систем голосования. Возможны и другие системы. В качестве примеров можно указать на систему многотурового выбора с вычеркиванием кандидатов, набравших наименьшее число голосов [2], на систему вычеркивания нежелаемых кандидатов (approval

votinq) [3] и т.д. Систематическое исследование всех возможных систем голосования провел в 1951г. Кеннет Эрроу из Стенфордского университета [4]. Он поставил вопрос в наиболее общем виде: можно ли создать такую систему голосования, чтобы она была одновременно рациональной (без противоречий), демократической (один человек — один голос) и решающей (позволяла осуществить выбор)? Вместо попыток изобретения такой системы Эрроу

предложил набор требований, аксиом, которым эта система должна удовлетворять. Эти аксиомы были интуитивно понятны, приемлемы с точки зрения здравого смысла и допускали математическое выражение в виде некоторых условий. На основе этих аксиом Эрроу попытался в общем виде доказать существование системы голосования, удовлетворяющей одновременно

трем перечисленным выше принципам: рациональная, демократическая и решающая [4,5].

Первая аксиома Эрроу требует, чтобы система голосования была достаточно общей для того, чтобы учитывать все возможные распределения голосов избирателей. Интуитивно это требование вполне очевидно. Заранее нельзя предсказать распределение голосов. Совершенно необходимо, чтобы система была действенной при любых предпочтениях избирателей. Эта аксиома получила название аксиомы, универсальности.

Втора аксиома. Еще более очевидной с точки зрения здравого смысла является вторая аксиома Эрроу: аксиома единогласия. В соответствии с ней необходимо, чтобы коллективный выбор повторял в точности единогласное мнение всех голосующих. Если, например, каждый из голосующих считает, что кандидат А лучше кандидата В, то и система голосования должна приводить к этому результату.

Третья аксиома Эрроу получила название независимости от несвязанных альтернатив. Пусть избиратель считает, что из пары кандидатов А и В лучшим является А. Это предпочтение не должно зависеть от отношения избирателя к прочим кандидатам. Третья аксиома достаточно привлекательна, но не столь очевидна с точки зрения каждодневного человеческого поведения. Так, в [6] приводится убедительный пример нарушения этой аксиомы. Посетитель ресторана первоначально сравнивает блюдо А и В и хочет заказать А, потому что приготовление блюда В требует высокой квалификации повара, а, по его мнению, такой повар вряд ли есть в данном ресторане. Вдруг он замечает в меню блюдо С — очень дорогое и также требующее высокого искусства приготовления. Тогда он выбирает блюдо В, считая, что повар умеет хорошо готовить. Часто третья аксиома Эрроу нарушается судьями в фигурном катании. Давая сравнительные оценки двум сильным фигуристам в одиночном катании, они стараются учесть возможность хорошего выступления третьего сильного кандидата, оставляя ему шансы стать победителем. Отличное выступление в произвольном катании фигуриста С, имевшего ранее не очень высокий результат в обязательной программе, может повлиять на оценки фигуристов А и В. Если А имел отличный результат в обязательной программе, судьи иногда ставят его ниже фигуриста

В при примерно равном выступлении, чтобы повысить шансы фигуриста С.

Тем не менее сама возможность предъявления требования независимости к системе голосования в качестве обязательного не вызывает сомнения.

Четвертая аксиома Эрроу носит название аксиомы полноты: система голосования должна сравнить любую пару кандидатов, определив, кто из них лучше. При этом имеется возможность объявить двух кандидатов равнопривлекательными. Требование полноты не кажется слишком строгим для системы голосования.

Пятая аксиома Эрроу является уже знакомым условием транзитивности: если в соответствии с мнением избирателей кандидат В не лучше кандидата А (хуже или эквивалентен), кандидат С не лучше кандидата В, то кандидат С не лучше кандидата А. Считается, что система голосования, не допускающая нарушения транзитивности, ведет себя рациональным образом.

Определив пять аксиом — желательных свойств системы голосования, Эрроу доказал, что системы, удовлетворяющие этим аксиомам, обладают недопустимым с точки зрения демократических свобод недостатком: каждая из них является правилом диктатора — личности, навязывающей всем остальным избирателям свои предпочтения. Результаты, выявленные Эрроу, получили широкую известность. Они развеяли надежды многих экономистов, социологов, математиков найти совершенную систему голосования. Требование исключения диктатора приводит к невозможности создания системы голосования, удовлетворяющей всем аксиомам Эрроу. Поэтому результат Эрроу называют «теоремой невозможности».

Дата добавления: 2013-12-12