1.
Теории групповых предпочтений 245
Исходим ИЗ того, что имеется правило социального выбора,
обладающее свойствами 1—3. Тогда задача состоит в демонстра-
ции того, что в этом случае в обществе должен быть диктатор.
Доказательство этого утверждения разбивается на три ступени.
Ступень 1, Для социального ранжирования любой пары
альтернативных состояний общества х и у важно лишь то, каким
образом члены общества делятся между теми, для кого х
>•
^у,
X
~^у и X <iy. Поэтому в двух различных конфигурациях инди-
видуальных предпочтений события х и у будут одинаково ран-
жироваться, если одинаковым является распределение членов
общества между соответствующими группами. (Это, в сущно-
сти,
представляет собой простое реформулирование свойства о
независимости от прочих альтернатив.)
Ступень 2. Здесь мы доказываем, что имеется одна пара со-
стояний общества х иу, в отношении которых один г-й член обще-
ства играет решающую роль («является решающим») с точки зре-
ния их социального ранжирования^
Ступень 3. Если г является решающим для х у* у, то г —
диктатор.
Для доказательства этого необходимо проанализировать четы-
ре случая.
В первом случае рассматривается ситуация, когда член груп-
пы г предпочитает состояние х состоянию 2 (х у^ z). Доказывает-
^ Мы говорим, что подмножество / является решающим с точки зрения
обеспечения общественного предпочтения х над у, если в случае х у^ у для всех г,
входящих в состав /, и х^^у для всех г, не входящих в состав /, ху* у.
Определяем наименьшее решающее подмножество из всех решающих мно-
жеств для различных пар общественных состояний х и у. Пусть им будет подмно-
жество /. Предполагаем, что в него входит более одного члена общества. Делим
это множество на два подмножества /' и /". Выбираем любой третий элемент z и
рассматриваем следующую систему социальных преференций:
для г, входящих в состав /', z у^ х у^ у,
для г, входящих в состав /", х у^ у у^ z,
для 1, не входящих в состав /, у у^ z у^ х.
Поскольку общественные предпочтения негативно транзитивны, постольку
либо X у*
Zy
либо Z у* у, либо и то и другое. Но если х у* г, то /"
—
решающее
подмножество в отношении преобладания х над z. Если z у* у,
то
J' — решающее
подмножество в отношении преобладания z над х. В любом случае мы получаем
решающее подмножество, которое меньше решающего подмножества /, что со-
ставляет противоречие. Таким образом, / равно 1.