Эффект эрроу заключается в том что. Теорема эрроу о невозможности и ее эффективность. Принятие решений в условиях определенности

Эффект эрроу заключается в том что. Теорема эрроу о невозможности и ее эффективность. Принятие решений в условиях определенности

Стремление экономистов определить оптимум благосостояния без определения индивидуальных выгод имеет давнюю историю. Теоретики не могли четко разграничить понятия «эффективность» и «справедливость». Это сделал итальянский ученый В. Парето, определив понятие общественного благосостояния. Его концепция оптимального размещения ресурсов основывается на трех допущениях, которые относятся к оценке суждений:
1) каждая личность лучше всего оценивает свое благосостояние;
2) общественное благосостояние определяется благосостоянием отдельных, независимых друг от друга индивидов;
3) благосостояние отдельных личностей нельзя уравнять.
Однако ученый считал, что выводы об экономической политике можно делать только на основе размышлений об эффективности.
В начале 30-х годов ХХ в. американский экономист Абрам Бергсон вывел дискуссию из тупика, предложив оценивать благосостояние с помощью функции общественного благосостояния - множества общественных кривых безразличия, которые ранжируют разные комбинации индивидуальных выгод соответственно системе оценочных суждений о распределении дохода. Однако он не пояснил, кому должны принадлежать такие суждения и как следует учитывать разницу в них. Поэтому концепция общественного благосостояния А. Бергсона несколько оторвана от действительности.
Попытка определить функцию социального благосостояния, учитывая ограничения, отражающие основные этические аксиомы (ценностные установки участников демократического процесса), привела Эрроу к формулировке теоремы невозможности (невозможности демократии).
Автор доказывает, что общество не может найти процедуры принятия непротиворечивых, согласованных решений, если эти решения не отданы на суд одной личности. Это положение иллюстрируется парадоксом голосования - противоречием, которое возникает вследствие того, что голосование на основе принципа большинства не обеспечивает выявление преимуществ общества относительно экономических благ.
К.-Дж. Эрроу сформулировал аксиоматические правила рационального поведения и явно показал, что ни один процесс принятия коллективного решения не отвечает определенным нормам. Согласно теории невозможности Эрроу, не существует демократической социальной функции благосостояния, которая осуществляет связь между индивидуальными преимуществами и общественным выбором - процессом, с помощью которого индивидуальное видение трансформируется в коллективное решение и одновременно отвечает таким требованиям:
1) принцип Парето-оптимальности. Решение не может быть принято, если при этом существует и может быть реализована альтернатива, улучшающая жизнь другим индивидам и никому не ухудшает;
2) переходность. Если социальный выбор А имеет преимущество перед альтернативой Б, а выбор Б - перед альтернативой В, то А лучше, чем В;
3) независимость посторонних альтернатив. Человек выстраивает преимущества независимо от действий, которые на данный момент он не может осуществить;
4) отсутствие диктатора. Среди участников коллективного выбора нет такого индивида, каждое преимущество которого всегда превышает преимущества всех других членов и становится обязательным элементом социального порядка.
К.-Дж. Эрроу доказал, что четыре условия находятся в противоречии. Итак, ни одна социальная схема благосостояния не может отвечать всем требованиям одновременно.
Отмеченные требования являются важной предпосылкой рациональности индивидуального выбора. Но универсального правила рационального коллективного выбора, которое бы отвечало всем требованиям, нет. Анализ правила большинства доказал, что возможна ситуация зацикливания (то есть при определенной структуре индивидуальных преимуществ голосование может продолжаться бесконечно, не приводя к принятию однозначного решения) при последовательном осуществлении выбора тремя лицами, потому что при увеличении числа критериев упорядочивания растет вероятность того, что результаты окажутся зацикленными.
Но аксиома транзитивности предусматривает выбор только одного из трех вариантов. Чтобы процесс общественного выбора не зашел в тупик, нужно найти приемлемую альтернативу. Однако при отмеченных условиях для произвольной пары альтернатив невозможно подобрать такую коалицию, которая складывалась бы более чем из одного индивида. Это означает, что метод осуществления такого выбора будет диктаторским.
Единое правило построения коллективных решений, отвечающее четырем условиям К.-Дж. Эрроу, является диктаторским (коллективное решение всегда должно совпадать с мнением одного из избирателей). Чтобы избежать этого, необходимо смягчение предпосылок. Несмотря на то, что данные постулаты более четкие, чем может показаться на первый взгляд, они все же слабее, чем это необходимо для удовлетворения разумного критерия распределительной справедливости. Поэтому необходимо смягчение аксиом одинаковости или отказ от одной из них. Но такой отказ означает утрату идеалов индивидуализма и гражданского суверенитета.
Поскольку общественный выбор - это совокупность альтернатив, то К.-Дж. Эрроу вводит аксиому транзитивности. Но на практике достижение цели не требует полного внедрения аксиомы транзитивности. Поэтому А.-К. Сен доказал теорему возможности, заменив транзитивность квазитранзитивностью, или транзитивностью четких преимуществ
(он утверждал, что личная свобода должна иметь приоритет над правилом Парето). Квазитразитивность открывает возможность для навязывания обществу власти олигархии (если существуют одинаковые для всех членов олигархической группы преимущества). Преодоление зацикливания заключается в том, что каждый член олигархической группы фактически владеет правом вето. Это означает также, что переход от транзитивности к квазитранзитивности не устраняет диктаторскую власть вообще, а распространяет ее на олигархическую группу.
Требование неограниченного охвата (полноты и универсальности) подобна постулату свободы выбора: каждый индивид волен выбирать, что захочет, то есть сам определяет собственный порядок преимуществ. И хотя многие выступают за свободу выбора, однако следствием такого выбора может быть или конфликт, или зацикливание. Поэтому этот постулат также способствует демократичности принятия решений.
Несколько «ослабил» теорему невозможности В.-С. Викри. Он добавил к условиям К.-Дж. Эрроу пятое условие - ранжирование (берется не весь континуум от первой до наивысшей точки, а определенный промежуток между ними). С помощью ранжирования он получил возможность путем ограничения индивидуального выбора доказать теорему невозможности.
Существует два способа ее доказательства: ограничение всего множества возможных вариантов (например, конституция защищает права собственности) или ограничение состава сотоварищества теми членами общества, чьи преимущества дают возможность осуществить коллективный выбор (например, делегирование полномочий избирателей членам парламента). Это означает, что при представительской демократии к принятию политических решений допускаются лица с более-менее однородными преимуществами. Это резко снижает вероятность зацикливания (чем однороднее преимущества избирателей, тем менее вероятна возможность возникновения цикла).
Теория клубов. Эта теория является частью теории смешанных благ. Клубное благо - это благо, при потреблении которого имеет место исключение, то есть возможность препятствовать его потреблению некоторой группе людей в отличие от общественного блага. Но оно является неконкурентным, т.к. потребление блага одним лицом не снижает потребления того же блага другими лицами и особенности формирования политических партий называют условия, при которых возможно создание однородного сообщества. Принятие прогнозируемых коллективных решений является более вероятным в сообществах, где исповедуют общие ценности, чем в произвольных группах индивидов.
Если отказаться от постулата о независимости альтернатив, то можно получить большое число процедур принятия решений:
а) простое большинство, при котором для принятия решения необходимо 50 процентов голосов участников плюс один голос;
б) относительным большинством голосов считается количество голосов, больше хотя бы на один голос;
в) квалифицированное большинство должно составлять две трети, три четверти или еще больше от всего состава тех, кто принимает решение;
г) постановляющее голосование.
Если число вариантов равно двум (избрание-неизбрание, принятие-непринятие) и число избирателей непарное, то единым правилом, отвечающим всем пяти условиям, является правило простого большинства.
Итак, теорема невозможности доказывает, что нет такого демократического процесса принятия решений, который бы одновременно отвечал всем пяти сформулированным аксиомам. Поэтому выработать только одно правило голосования невозможно. Решение этой проблемы возможно в случае отказа от аксиомы транзитивности или смягчения постулатов независимости, полноты и универсальности.
На основе сформулированных этических норм, а также аксиом, определяющих коллективный выбор, К.-Дж. Эрроу предложил концепцию демократического выбора, направленную на защиту свободной рыночной конкуренции, которая должна поддерживаться государством. Государство, формируя экономическую стратегию, должна учесть интересы всех граждан.
Работы К.-Дж. Эрроу оказались весомым вкладом в теорию оптимальных запасов, анализ стабильности рыночных моделей, математическое программирование и теорию статистических решений. Распространено мнение, что смысл и значение теоремы невозможности Эрроу, а также теории социального выбора до сих пор не осознаны всецело и теория «опережает» их внедрение. Но все-таки предпринимаются попытки использования теории социального выбора в двух сферах. Одна из них - разработка избирательных систем. Компьютеры способны преодолеть существующие барьеры создания оптимальной избирательной системы. Другая сфера - теория демократии, где теория социального выбора способствует переоценке классических утверждений. Используют теорию социального выбора в политической сфере, при анализе рынка труда и торговой политики.
Роль взглядов К.-Дж. Эрроу в современной теории благосостояния существенна:
1. Ученый стремился ликвидировать одно из наиболее очевидных противоречий маржинализма - между постулатом об индивидуальном поведении и математическом моделировании, которое является частью метода. С одной стороны, все западные экономисты - от Маршалла до Самуэльсона - осуществляют математические операции по индивидуальным функциям полезности. С другой - они опираются на аксиому, что человек субъективен в оценке своего благосостояния и выбирает комбинацию определяющих его факторов, которая, по его мнению, обеспечивает максимум полезности. Особенности объекта анализа (индивидуального экономического поведения) делают бессмысленным или одно, или другое.
По мнению К.-Дж. Эрроу, для обновления внутренней логики теории благосостояния необходимо или создать математические модели индивидуального поведения без посылок на субъективные оценки, или вообще отказаться от математических преобразований.
2. К.-Дж. Эрроу пересмотрел позицию экономистов австрийской школы о принципах рационального поведения. Их критерий, который сводится к оптимизации индивидуального благосостояния, отвечал только индивидуальной функции полезности, но оказался недостаточным для индивидуальной функции преимуществ социальных состояний.
Своей теоремой невозможности К.-Дж. Эрроу доказал, что нет общего правила классификации ситуаций на уровне общества, которое не было бы объединено с определенной обоснованной системой индивидуалистских этических ограничений общественной функции благосостояния. Ученый акцентировал, что ограничения порождают противоречия. Он обосновал невозможность формулирования правила, которое было бы приемлемым для всех случаев, и при этом допускалась бы возможность существования какого-либо нормативного положения для подгруппы эмпирически подобранных случаев.

Американский математик Кеннет Джордж Эрроу профессор Стэндфордского, Гарвардского и ряда других университетов, лауреат Нобелевской премии по экономике (1972г.) за пионерские работы в области теории общего экономического равновесия, заложил основы современной теории выбора, а его работа до сих пор определяет развитие этой теории.

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

Полнота. Правило должно обеспечивать выбор между любыми двумя альтернативами, отдавая предпочтение одной из них либо признавая обе равноценными.

Универсальность. Правило обеспечивает результативный выбор при любом сочетании индивидуальных предпочтений.

Транзитивность. Для любого набора из трех альтернатив x, y и z, если xRy и yRz, то xRz.

Единогласие. Если xRi y выполняется для любого i, т.е. все участники коллективного выбора отдают предпочтение первой из двух альтернатив, то xRy, иначе говоря, коллективный выбор совершается в пользу первой альтернативы (это не что иное, как выполнение требования Парето-оптимизации).

Независимость от посторонних альтернатив. Коллективный выбор между любыми двумя альтернативами x и y зависит от того, как индивиды оценивают эти две альтернативы по отношению друг кдругу, но не зависят от отношения индивидов к какой бы то ни было посторонней альтернативе z, (например, будет ли признано xRy, может зависеть, в частности, от того, верно ли, что xRiy, но не от того, справедливо ли, что xRiz или что xRjzRjy).

Отсутствие диктатора. Среди участников коллективного выбора нет такого индивида, любое предпочтение которого xRjy влекло бы за собой xRy независимо от предпочтений всех других индивидов.

Введя понятие рационального выбора, можно сформулировать теорему иным образом: выбор является рациональным, если он отвечает требованиям полноты и транзитивности. Рациональность индивидуального выбора - одна из ключевых аксиом микроэкономики.

Решающая коалиция - совокупность индивидов, входящих в общее число участников коллективного выбора и при единогласии внутри этой коалиции позиция ее членов становится результатом коллективного выбора. Решающей коалиция может быть только для конкретной пары альтернативных вариантов (а против в). Коалиции, которые являются решающими для любой допустимой пары альтернатив, называются решающими без указания конкретной пары.

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

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

История демократических институтов достаточно четко говорит о том, их решения далеко не всегда лучше частных решений. Руководствуясь решением ареопага, афиняне осудили на смерть Сократа и едва не казнили Аристотеля. Единогласно принимались решения коллективного руководящего органа НАТО о начале операции в Югославии и политбюро СССР о вводе ограниченного контингента в Афганистан. При этом последствия этих решений и в настоящее время до конца не ясны.

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

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

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

Аннотация: В этой лекции мы будем рассматривать вопрос, который, на первый взгляд, даже не обязательно лежит в области экономики. Мы будем рассматривать голосования, возможные схемы голосований и то, к каким результатам они могут привести.

Голосования и наши главные цели

На самом деле, конечно, это частный, но вместе с тем одновременно и наиболее общий случай тех самых задач, которые мы решаем в этом курсе. Голосование - очень простой и естественный частный случай экономического механизма. У голосования есть множество возможных исходов, из которых участники должны выбрать; например, это кандидаты , и , из которых один должен стать президентом. У каждого участника голосования (агента) есть определенный порядок на этих исходах (нам будет достаточно случая, когда этот порядок линейный, то есть каждый исход сравним с каждым), который отражает его предпочтения. Например, кандидат мне нравится больше, чем , а - больше, чем ; мы это будем обозначать через . Этот порядок можно рассматривать как скрытую функцию предпочтений агента. И, наконец, есть некоторая функция социального выбора, которая определяет, какой кандидат должен бы победить при том или ином соотношении голосов.

Заметим, что этот частный случай вместе с тем оказывается и наиболее общим. Мы не предполагаем вообще никаких ограничений, никакой структуры на множестве предпочтений каждого из агентов; любой исход может оказаться на любом месте в его внутренней функции предпочтения. Поэтому результаты о невозможности, которые мы получим в этой лекции, окажутся весьма полезными в доказательстве результатов о невозможности в теории экономических механизмов, которыми мы будем заниматься в течение следующих трех лекций. Основным результатом станет теорема Эрроу, которая была доказана Кеннетом Эрроу в 1963 году .

Однако прежде всего нужно понять, что бы мы хотели получить от системы голосования. Каковы цели, которых мы будем (безуспешно) пытаться достигнуть?

Для этого рассмотрим достаточно простой и понятный случай голосования: случай, когда в нем участвует ровно один агент . Какими самыми базовыми, самыми естественными свойствами будет обладать множество предпочтений одного агента? Давайте сформулируем три основных свойства, три в высшей степени естественных предположения.

Наконец, четвертое свойство является по сути свойством функции социального выбора, а не свойством одного-единственного агента, как первые три. Мы его уже рассматривали в предыдущих лекциях.

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

Можно провести и менее тривиальный пример. Предположим, что возможных исходов всего два, то есть голосование превратилось в референдум. Тогда можно предложить простейшую систему голосования: выбирать нужную альтернативу большинством голосов. Рекомендуем читателю проверить, что выбор простым большинством из двух исходов удовлетворяет всем четырем интересующим нас свойствам.

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

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

Парадоксы голосований

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

Первый пример восходит аж к XVIII веку. В году маркиз де Кондорсе придумал конструкцию парадокса, который под его именем вошел в политическую и экономическую теорию. Идея парадокса Кондорсе проста: рассмотрим три возможных исхода , и и трех участников , и . Предположим, что их предпочтения распределены так:

Иначе говоря, предпочтения трех участников получаются циклическим сдвигом одного линейного порядка.

Что будет происходить при голосованиях? Если на выбор предложат и , то и проголосуют за , и будет избран : . Если референдум пройдет между и , то победа альтернативы будет обеспечена голосованием агентов и : . Но если предложат выбор между и , то и проголосуют за , и окажется, что ! В парадоксе Кондорсе нарушается транзитивность "мнения большинства".

Давайте посмотрим на это с точки зрения дизайна механизмов. Как построить механизм голосования, который примет верное решение? Да и что вообще такое в данном случае "верное решение"? Вполне естественным может показаться механизм, который последовательно осуществляет референдумы, голосования с двумя исходами, до тех пор, пока (в предположении транзитивности , разумеется) не получит достаточно информации для выбора оптимального исхода. На парадоксе Кондорсе такой алгоритм может работать бесконечно (или выдавать ошибку): сколько ни ходи по кругу, единого оптимального выбора не сделаешь.

Но этим дело не ограничивается. Здесь пока кажется, что вообще все равно, какой выбор делать: все три варианта абсолютно симметричны, так что какая разница функции социального выбора, какой из них предпочесть. Давайте рассмотрим небольшую модификацию парадокса Кондорсе, на которой результаты алгоритма попарного голосования окажутся еще интереснее. Для примера нам потребуются аж семь альтернатив, поэтому давайте назовем их как-нибудь поинтереснее, не просто буквами латинского алфавита.

Пример 6.1 . Семеро великих вождей собираются в поход на семивратные Фивы. Собираются в поход двое изгнанников - Тидей и Полиник, собирается царь Адраст, двое аргивских вождей - Капаней и Гиппомедонт, ясновидец Амфиарай и аркадец Парфенопей 2Мы бы с удовольствием рассказали эту историю поподробнее, но как-то совсем уж тут не место... в общем, рекомендуем прочесть "Семеро против Фив" Эсхила и "Финикиянок" Еврипида - или хотя бы краткое их содержание.

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

Гера Афина Артемида
Тидей Капаней Гиппомедонт
Полиник Гиппомедонт Тидей
Капаней Тидей Парфенопей
Гиппомедонт Амфиарай Полиник
Адраст Парфенопей Капаней
Амфиарай Полиник Адраст
Парфенопей Адраст Амфиарай

В лучших традициях древнегреческой демократии богини согласились решить дело голосованием. Они начали устанавливать общий порядок поочередными голосованиями. И вот что у них получилось...

  1. Тидей против Гиппомедонта: Гера в меньшинстве, Гиппомедонт идет дальше.
  2. Гиппомедонт против Капанея: Гера и Афина проводят дальше Капанея.
  3. Капаней против Полиника: Полиник побеждает и проходит в следующий бой.
  4. Полиник против Парфенопея: несмотря на то, что Гере Парфенопей ну совсем не мил, он побеждает.
  5. Парфенопей против Амфиарая: выигрывает Амфиарай.
  6. Амфиарай против Адраста: Адраст побеждает, Афина в меньшинстве.

В результате не просто Афина оказалась в меньшинстве в последнем голосовании, а как будто мудрость в этом голосовании и вовсе не ночевала. Богини медленно, но верно спускались вниз по таблице, хотя на каждом шаге делали выбор большинством (можно сказать, конституционным большинством - две трети набиралось). В результате победил царь Адраст, хотя в изначальных предпочтениях и Тидей, и Полиник, и Капаней, и Гиппомедонт у всех трех богинь стояли выше Адраста.

Конец примера 6.1 .

Но и на этом интересные следствия парадокса Кондорсе не заканчиваются. Давайте подумаем: какие вообще были варианты у наших голосований? Предположим, что мы хотим пока ограничиться выбором между двумя альтернативами. Таким образом, голосование получается двухступенчатым: сначала две альтернативы сражаются друг с другом, потом победитель с третьей. Рассмотрим возможные варианты для классического парадокса Кондорсе (см. рис. 6.1).


Рис. 6.1.

Получается, что результат при одних и тех же предпочтениях кардинально зависит от формата голосования! А значит, тот, кто контролирует формат голосования (а в реальных ситуациях его обычно кто-то контролирует), имеет существенное преимущество и может победить, даже оказавшись в меньшинстве.

Более того, эта зависимость от формата приводит к тому, что попарная независимость предпочтений в этом случае тоже не выполняется. Давайте рассмотрим простую ситуацию, в которой есть ровно две альтернативы: и , причем большинство хочет выбрать . Тогда простым большинством, конечно, без проблем выберут. Но если у меньшинства получится построить такую третью возможность , что при выборах и , то это самое меньшинство сможет, установив правильный порядок выборов (сначала против , затем против победителя), провести , а не .

Пример 6.2 . В политике такие ситуации редко, но действительно возникают на практике. Они называются "поправки-убийцы" ( killer amendments ). Вот любопытный пример из практики .

В США сенаторов поначалу выбирали не прямым всенародным голосованием, а законодательными органами соответствующего штата. В том, чтобы ввести голосования на пост сенатора, заключалась 17-я поправка к Конституции США, которая в конце концов все же была принята в 1913. Но на пути к ее принятию был один любопытный случай.

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

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

Однако сенатор Сазерленд, лидер меньшинства, которое было против выборов сенаторов как таковых, сумел придумать поправку-убийцу . Таковой стало предложение о прямых выборах сенаторов без каких-либо поправок про южные штаты. Сазерленд устроил дело так, что сначала голосование шло между и . Меньшинство Сазерленда проголосовало за , северяне-республиканцы тоже проголосовали за , и победило . Но на этом дело не закончилось: затем встал выбор между и . Сазерленд внезапно "изменил свою точку зрения" и стал голосовать не за , а за , то есть против выборов совсем. В результате билль сначала выполнил свою функцию и выбил поддерживаемый большинством билль , а затем не прошел на следующих выборах. Получилась ситуация, изображенная на рис. 6.2 сплошными линиями, вместо ситуации, изображенной там же пунктиром.

ТЕОРЕМА НЕВОЗМОЖНОСТИ ЭРРОУ

(Arrow\"s impossibility theorem) Теорема, согласно которой в экокомической модели, включающей нескольких человек, голосование большинством голосов отнюдь не всегда порождает равновесную ситуацию. Пусть три лица, 1, 2 и 3, последовательно ранжируют по степени предпочтения три ситуации, А, В и С. Если лицо 1 ставит ситуации в порядке А, В, С, лицо 2 – В, С, А, а лицо 3 – С, А, В, то при принятии нестратегического решения большинством голосов оказывается, что ситуация А предпочтительнее ситуации В, В предпочтительнее С, а С предпочтительнее А. Заметим, однако, что в данной теореме ничего не говорится о неизбежности столь парадоксального положения и даже о его вероятности, а всего лишь утверждается, что оно возможно в принципе.

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

[править]

Материал из Википедии - свободной энциклопедии

Теорема Эрроу (также известна как «Парадокс Эрроу », англ. Arrow s paradox ) - теорема о невозможности «коллективноговыбора». Сформулирована американским экономистом Кеннетом Эрроу в 1951 году.

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

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

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

[Править]Формулировки [править]Формулировка 1951 года

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

Система выборов может обладать такими свойствами:

Универсальность

Полнота

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

Если во всех N списках некоторая альтернатива x останется на месте или поднимется выше, а порядок остальных не изменится, в общем списке x должен остаться на месте или подняться.

Отсутствие диктатора

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

Независимость от посторонних альтернатив

(англ. independence of irrelevant alternatives ) Если для любой пары альтернатив x и y профиль голосования изменится, оставив порядок x и y тем же, не изменится их порядок и в окончательном результате.

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

Теорема Эрроу (также известна как «Парадокс Эрроу », англ. Arrow’s paradox ) - теорема о невозможности «коллективного выбора ». Сформулирована американским экономистом Кеннетом Эрроу в 1951 году .

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

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

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

Формулировки

Формулировка 1951 года

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

Система выборов может обладать такими свойствами:

Универсальность Для любого профиля голосования существует результат - упорядоченный список из n альтернатив. Полнота Система голосования может давать в качестве результата все n ! перестановок альтернатив. Монотонность Если во всех N списках некоторая альтернатива x останется на месте или поднимется выше, а порядок остальных не изменится, в общем списке x должен остаться на месте или подняться. Отсутствие диктатора Нет избирателя, предпочтение которого определяло бы результат выборов независимо от предпочтений других избирателей. Если профиль голосования изменится так,что для пары альтернатив x и y , все порядки останутся теми же, то не изменится их порядок и в окончательном результате.

Формулировка 1963 года

В формулировке 1963 года условия Эрроу таковы.

Универсальность Отсутствие диктатора Независимость от посторонних альтернатив Эффективность по Парето , или принцип единогласия если у каждого избирателя альтернатива x в списке стоит выше y , это же должно быть и в окончательном результате.

Доказательство теоремы Эрроу

Введем следующие обозначения:

≻ i - предпочтения i-го агента; [≻ " ] - профиль предпочтений (кортеж, элементами которого являются предпочтения всех агентов);

W: L n → L - функция общественного благосостояния; ≻ W - коллективные предпочтения.

Обозначим O - множество исходов, которые каждый агент ранжирует в соответствии со своими предпочтениями.

Дадим формальные определения:

Парето эффективность

W парето эффективна, если для любых исходов o 1 , o 2 ∈ O, ∀i (o 1 ≻ i o 2) ⇒ (o 1 ≻ W o 2)

Независимость от посторонних альтернатив

W независима от посторонних альтернатив, если для любых исходов o 1 , o 2 ∈ O и для любых двух профилей предпочтений [≻ " ] и [≻ " ] ∈ L n , ∀i (o 1 ≻ i " o 2 ⇔ o 1 ≻ i " o 2) ⇒ (o 1 ≻ W([≻ " ]) o 2 ⇔ o 1 ≻ W([≻ " ]) o 2)

Отсутствие диктатора

Считаем, что для W отсутствует диктатор, если не существует такого i, что ∀ o 1 , o 2 ∈ O (o 1 ≻ i o 2 ⇒ o 1 ≻ W o 2)

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

Если |O| ≥ 3, то любая Парето эффективная, независящая от посторонних альтернатив функция общественного благосостояния W имеет диктатора.

Доказательство проведем в 4 этапа.

Этап 1. Утверждение Если каждый агент помещает исход b в самый верх или самый низ своего списка предпочтений, то и в ≻ W исход b тоже будет либо вверху, либо внизу списка.

Возьмем произвольный профиль [≻] такой, что в нем для всех агентов i исход b расположен либо вверху, либо внизу списка предпочтений ≻ i . Теперь допустим, что наше утверждение неверно, т.е. существуют такие a,c ∈ O, что a ≻ W b и b ≻ W c. Изменим тогда профиль [≻] так, чтобы для всех агентов выполнялось c ≻ i a, не изменяя при этом ранжирования остальных исходов. Обозначим полученный профиль [≻ " ]. Так как после такой модификации исход b для каждого агента все равно останется либо на самой верхней, либо на самой нижней позиции в списке его предпочтений, то из независимости W от посторонних альтернатив можно заключить, что и в новом профиле a ≻ W b и b ≻ W c. Следовательно, в силу транзитивности ≻ W получаем a ≻ W c. Но мы предположили, что для всех агентов c ≻ i a, тогда в силу парето эффективности должно быть c ≻ W a. Полученное противоречие доказывает утверждение.

Этап 2. Утверждение Существует агент, который является центральным в том смысле, что, изменив свой голос, он может переместить исход b из самой нижней позиции в списке ≻ W в самую верхнюю позицию в этом списке.

Рассмотрим любой профиль предпочтений, в котором все агенты расположили исход b в самом низу своего списка предпочтений ≻ i . Ясно, что и в ≻ W исход b находится на самой нижней позиции. Пусть все агенты начали по очереди переставлять исход b с самой нижней на самую верхнюю позицию в своих списках предпочтений, не меняя при этом ранжирования остальных исходов. Пусть n * - агент, который переставив таким образом b, изменил ≻ W . Обозначим [≻ 1 ] - профиль предпочтений как раз до того, как n * переместил b, а [≻ 2 ] - профиль предпочтений сразу же после того, как n * переместил b. Таким образом, в [≻ 2 ] исход b изменил свою позицию в ≻ W , при этом для всех агентов b находится либо на самой верхней, либо на самой нижней позиции ≻ i . Следовательно, в силу утверждения, доказанного на Этапе 1, в ≻ W исход b занимает самую верхнюю позицию.

Этап 3. Утверждение n * - диктатор над всеми парами , не включающими в себя b.

Выберем из пары любой элемент. Без потери общности, выберем a. Далее из профиля [≻ 2 ] построим [≻ 3 ] следующим образом: в ≻ n * переместим исход a на первую позицию, оставив остальное ранжирование неизменным; произвольным образом для всех остальных агентов поменяем местами друг с другом a и c. Тогда, как и в [≻ 1 ] получим, что a ≻ W b (в силу независимости от посторонних альтернатив) и, как и в [≻ 2 ] получим, что b ≻ W c. Тогда a ≻ W c. Теперь построим профиль предпочтений [≻ 4 ] следующим образом: для всех агентов поместим исход b на произвольную позицию в списке предпочтений ≻ i , для агента n * поместим исход a в произвольную позицию до исхода с. Ясно, что в силу независимости от посторонних альтернатив a ≻ W c. Мы получили, что все агенты, кроме n * имеют совершенно произвольные профили предпочтений, а результат a ≻ W c получился исходя только лишь из предположения, что a ≻ n * c.

Этап 4. Утверждение n * - диктатор над всеми парами .

Рассмотрим какой-нибудь исход с. В силу Этапа 2 существует некоторый центральный агент n ** для этого исхода, он же является диктатором для всех пар , где, в частности, A = a, B = b. Но n * и сам может менять ранжирование в ≻ W (это рассматривалось на Этапе 2). Следовательно, можно заключить, что n ** совпадает с n * . Доказательство завершено.

См. также

  • Парадокс Кондорсе - парадокс выборов, обобщением которого явилась теорема Эрроу.

Ссылки

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

Примечания


Wikimedia Foundation . 2010 .

Смотреть что такое "Теорема Эрроу" в других словарях:

    Эрроу парадокс - теорема, разработанная американским экономистом, Нобелевским лауреатом К.Эрроу о невозможности, при некоторых «разумных» предпосылках, сведения индивидуальных функций полезности группы независимых и равноправных лиц (в … Экономико-математический словарь

    Эрроу парадокс - Теорема, разработанная американским экономистом, Нобелевским лауреатом К.Эрроу о невозможности, при некоторых «разумных» предпосылках, сведения индивидуальных функций полезности группы независимых и равноправных лиц (в частности, индивидуального… … Справочник технического переводчика

    Кеннет Джозеф Эрроу Kenneth Joseph Arrow Дата рождения: 23 августа 1921(1921 08 23) (91 год) … Википедия

    - (impossibility theorem) Доказательство невозможности сделать что либо или обрести нечто. Самый известный подобный результат в политике, по К.Дж. Эрроу, доказывает, что если система выбора или упорядочивания (например, избирательная процедура)… … Политология. Словарь.

    - (Arrow s impossibility theorem) Теорема, согласно которой в экокомической модели, включающей нескольких человек, голосование большинством голосов отнюдь не всегда порождает равновесную ситуацию. Пусть три лица, 1, 2 и 3, последовательно ранжируют … Экономический словарь

    - … Википедия

    Теорема невозможности Эрроу - экон. при демократическом принятии коллективного решения на основе большинства голосов невозможно предотвратить манипулирование общественными предпочтениями со стороны отдельных индивидов … Универсальный дополнительный практический толковый словарь И. Мостицкого