Условие независимости от несуществующих альтернатив (Условие С)

Условие монотонности (Условие В)

Условие универсальности (Условие А)

Парадокс Эрроу.

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

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

Пусть имеется множество альтернатив А = {a₁,a₂,…,a_n}. Группа из m экспертов указала свои предпочтения P₁, P₂, …, P_m на множестве альтернатив А. На основе полученной информации требуется построить результирующее отношение F(P₁, P₂,…, P_m).

В основе данного условия лежат требования: полноты (связности), которое предписывает, что любые альтернативы a_i,a_jА i,jдолжны быть упорядочены экспертами по предпочтениям (лучше, хуже, безразлично), и требование транзитивности результирующего отношения.

С учетом этих требований, условие универсальности может быть сформулировано следующим образом:

Результирующее отношение F(P₁,P₂,…,P_m) должно быть определено для всевозможных предпочтений, указанных различными экспертами, при условии, что число экспертов не менее двух, а альтернатив не менее трех.

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

Пусть эксперт λ указал свое отношение предпочтения P_λ, в котором пара альтернатив (a_i,a_j) P_λ и (a_i,a_j) F(P₁,P₂,…,P_m). Если эксперт изменит свое предпочтение P_λ на предпочтение P. в котором пара альтернатив (a_i,a_j) Pи (a_i,a_j) F(P₁,P₂,…,P_m,), то

F(P₁,P₂,…,P_λ-1, P, P_λ+1,…,P_m ) = F(P₁,P₂,…, P_λ-1, P_λ, P_λ+1,…,P_m ).

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

Это условие может быть сформулировано таким образом [Кини, Райфа]:

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

Условие независимости может быть трактовано и таким образом:

Пусть на множестве альтернатив А = {a₁,a₂,…a_n} экспертами указаны отношения P₁, P₂, …, P_m. После расширения множества альтернатив A до множества А' путем добавления к исходному множеству А новых альтернатив (a_n+1,a_n+2,…,a_n+k) экспертам предложено снова задать на множестве А' свои предпочтения P₁', P₂', …, P_m'. Если при этом предпочтения экспертов на исходном множестве А не изменились, то

F(P₁, P₂,…, P_m) = F (P₁', P₂', …, P_m' ).

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