Ця стаття потребує додаткових для поліпшення її . (грудень 2019) |
Теорема Ерроу (також відома як «Парадокс Ерроу», англ. Arrow's paradox) — теорема про неможливість «колективного вибору». Сформульована американським економістом Кеннетом Ерроу в 1951 році.
Зміст цієї теореми полягає в тому, що в рамках ординалістського підходу не існує методу об'єднання індивідуальних вподобань для трьох чи більше альтернатив, який задовольняв би деякі повністю справедливі умови та завжди давав би логічно несуперечливий результат.
Ординалістський підхід базується на тому, що вподобання індивідуума відносно запропонованих для вибору альтернатив не можуть вимірятись кількісно, а тільки якісно, тобто одна альтернатива краща чи гірша за іншу.
У рамках кардиналістського підходу, що пропонує кількісне вимірювання вподобань, теорема Ерроу в загальному випадку не працює.
Формулювання
Формулювання 1951 року
Нехай є N≥2 виборців, які голосують за n≥3 кандидатів (в термінах теорії прийняття рішень кандидатів прийнято називати 'альтернативами' ). У кожного виборця є упорядкований список альтернатив. Система виборів - функція, що перетворює набір з N таких списків (профіль голосування) до загального упорядкованого списку.
Система виборів може мати такі властивості:
- Універсальність
- Для будь-якого профілю голосування існує результат - впорядкований список з n альтернатив.
- Повнота
- Система голосування може давати як результат усі n ! перестановок альтернатив.
- Монотонність
- Якщо у всіх N списках деяка альтернатива x залишиться на місці або підніметься вище, а порядок інших не зміниться, в загальному списку x повинен залишитися на місці або піднятися.
- Відсутність диктатор а
- Немає виборця, перевагу якого визначав би результат виборів незалежно від уподобань інших виборців.
- Незалежність від сторонніх альтернатив
- Якщо профіль голосування зміниться так, що альтернативи x і y у всіх N списках залишаться в тому ж порядку, то не зміниться їх порядок і в остаточному результаті.
|
Формулювання 1963 року
У формулюванні 1963 року умови Ерроу такі:
- універсальність
- Відсутність диктатора
- Незалежність від сторонніх альтернатив
- Оптимум Парето, або принцип одноголосності
- якщо у кожного виборця альтернатива x в списку стоїть вище y , це ж має бути і в остаточному результаті.
|
Доказ теореми Ерроу
- — множина випадків, які кожен агент ранжує відповідно до своїх уподобань.
- — лінійний порядок вподобань -го агента на множині заданий відношенням .
- — профіль вподобань (кортеж, елементами якого є переваги всіх агентів).
- — функція суспільного добробуту.
- — колективні вподобання.
Дамо формальні визначення:
- Парето-ефективність: парето-ефективна, якщо для будь-яких випадків .
- Незалежність від сторонніх альтернатив: незалежна від сторонніх альтернатив, якщо для будь-яких випадків і для будь-яких двох профілів вподобань і .
- Відсутність диктатора: вважаємо, що для відсутній диктатор, якщо не існує такого , що .
- Теорема Ерроу: якщо , то будь-яка Парето-ефективна, незалежна від сторонніх альтернатив функція суспільного добробуту має диктатора.
Доказ проведемо в 4 етапи.
- Етап 1.
- Якщо кожен агент розміщує результат нагору або до самого низу свого списку переваг (при цьому не потрібно, щоб все агенти діяли однаково), то і в результат теж буде або вгорі, або внизу списку.
Візьмемо довільний профіль такий, що в ньому для всіх агентів результат знаходиться або зверху, або знизу списку вподобань . Тепер припустимо, що наше твердження неправильне, тобто існують такі , що и . Тоді змінимо профіль так, щоб для всіх агентів виконувалось , не змінюючи при цьому ранжування інших результатів. Позначимо отриманий профіль . Так як після такої модифікації результат b для кожного агента все одно залишиться або на найвищій, або на найнижчій позиції в списку його переваг, то з незалежності W від сторонніх альтернатив можна зробити висновок, що і в новому профілі і . Отже, в силу транзитивності отримаємо . Але ми припустили, що для всіх агентів , тоді в силу Парето-ефективності повинно бути . Отримане протиріччя доводить твердження.
- Етап 2.
- Для будь-якого результату існує агент, який є центральним у тому сенсі, що, змінивши свій голос, він може перемістити результат з найнижчої позиції в списку до найвищої. Іншими словами, знайдуться два профілі и , що відрізняються тільки вподобаннями агента , що знаходиться в кінці списку для і на початку списку для .
Розглянемо будь-який профіль переваг, у якому все агенти розташували результат унизу свого списка вподобань . Зрозуміло, що і в результат знаходиться на найнижчій позиції (в силу Парето-ефективності). Нехай все агенти почали по черзі переставляти результат з найнижчої на найвищу позицію в своїх списках переваг, не змінюючи при цьому ранжування інших результатів. Коли все агенти поставлять результат першим в своєму списку переваг, він буде першим і для . Таким чином, у якийсь момент зміниться. Нехай — агент, який, переставив таким чином , змінив (уперше). позначимо — профіль переваг як раз до того, як переміщень , а — профіль переваг відразу ж після того, як перемістив . Таким чином, в результат змінив позицію в , при цьому для всіх агентів знаходиться або на самому верхньому, або на найнижчій позиції . Отже, в силу твердження, доведеного на Етапі 1, в результат займає найвищу позицію.
- Етап 3.
- — диктатор над усіма парами , що не включає в себе .
Виберемо з пари будь-який елемент. Без втрати спільності, виберемо a. Далі з профілю побудуємо наступним чином: в ,перемістимо результат a на першу позицію, залишивши інше ранжування незмінним; довільним чином для всіх інших агентів поміняємо місцями один з одним і . Тоді, як і в отримаємо, що (В силу незалежності від сторонніх альтернатив) і, як і в отримаємо, що . Тоді . Тепер побудуємо профіль переваг наступним чином: для всіх агентів помістимо результат на довільну позицію в списку вподобань , для агента помістимо результат в довільну позицію до результату . Зрозуміло, що в силу незалежності від сторонніх альтернатив . Ми отримали, що всі агенті, крім мають абсолютно довільні профілі вподобань, а результат вийшов виходячи тільки лише з припущення, що .
- Етап 4.
- — диктатор над усіма парами .
Розглянемо який-небудь результат с. В силу Етапу 2 існує деякий центральний агент для цього результату, він же є диктатором для всіх пар , де, зокрема, . Якби агент був диктатором над , ніяка заміна переваг агента не могла б поміняти ранжування і в . Але на Етапі 2 агент переставив з останнього місця на перше в , і таким чином був зобов'язаний поміняти місцями і . Отже, можна зробити висновок, що Зівпадає з , тобто і є диктатором.
Доказ завершено.
Див. також
- Парадокс Кондорсе — парадокс виборів, узагальненням якого стала теорема Ерроу.
Посилання
- Теорема о невозможности в задаче пропорционального представительства
Примітки
- Kenneth J. Arrow, 1951, 2nd ed., 1963. Social Choice and Individual Values, Yale University Press.
- Cardinal Voting: The Way to Escape the Social Choice Impossibility (англ.)
- The Possibility of Social Choice, p.189 (англ.)
Вікіпедія, Українська, Україна, книга, книги, бібліотека, стаття, читати, завантажити, безкоштовно, безкоштовно завантажити, mp3, відео, mp4, 3gp, jpg, jpeg, gif, png, малюнок, музика, пісня, фільм, книга, гра, ігри, мобільний, телефон, android, ios, apple, мобільний телефон, samsung, iphone, xiomi, xiaomi, redmi, honor, oppo, nokia, sonya, mi, ПК, web, Інтернет
Cya stattya potrebuye dodatkovih posilan na dzherela dlya polipshennya yiyi perevirnosti Bud laska dopomozhit udoskonaliti cyu stattyu dodavshi posilannya na nadijni avtoritetni dzherela Zvernitsya na za poyasnennyami ta dopomozhit vipraviti nedoliki Material bez dzherel mozhe buti piddano sumnivu ta vilucheno gruden 2019 Teorema Errou takozh vidoma yak Paradoks Errou angl Arrow s paradox teorema pro nemozhlivist kolektivnogo viboru Sformulovana amerikanskim ekonomistom Kennetom Errou v 1951 roci Kennet Errou Zmist ciyeyi teoremi polyagaye v tomu sho v ramkah ordinalistskogo pidhodu ne isnuye metodu ob yednannya individualnih vpodoban dlya troh chi bilshe alternativ yakij zadovolnyav bi deyaki povnistyu spravedlivi umovi ta zavzhdi davav bi logichno nesuperechlivij rezultat Ordinalistskij pidhid bazuyetsya na tomu sho vpodobannya individuuma vidnosno zaproponovanih dlya viboru alternativ ne mozhut vimiryatis kilkisno a tilki yakisno tobto odna alternativa krasha chi girsha za inshu U ramkah kardinalistskogo pidhodu sho proponuye kilkisne vimiryuvannya vpodoban teorema Errou v zagalnomu vipadku ne pracyuye FormulyuvannyaFormulyuvannya 1951 roku Nehaj ye N 2 viborciv yaki golosuyut za n 3 kandidativ v terminah teoriyi prijnyattya rishen kandidativ prijnyato nazivati alternativami U kozhnogo viborcya ye uporyadkovanij spisok alternativ Sistema viboriv funkciya sho peretvoryuye nabir z N takih spiskiv profil golosuvannya do zagalnogo uporyadkovanogo spisku Sistema viboriv mozhe mati taki vlastivosti Universalnist Dlya bud yakogo profilyu golosuvannya isnuye rezultat vporyadkovanij spisok z n alternativ Povnota Sistema golosuvannya mozhe davati yak rezultat usi n perestanovok alternativ Monotonnist Yaksho u vsih N spiskah deyaka alternativa x zalishitsya na misci abo pidnimetsya vishe a poryadok inshih ne zminitsya v zagalnomu spisku x povinen zalishitisya na misci abo pidnyatisya Vidsutnist diktator a Nemaye viborcya perevagu yakogo viznachav bi rezultat viboriv nezalezhno vid upodoban inshih viborciv Nezalezhnist vid storonnih alternativ Yaksho profil golosuvannya zminitsya tak sho alternativi x i y u vsih N spiskah zalishatsya v tomu zh poryadku to ne zminitsya yih poryadok i v ostatochnomu rezultati Dlya N 2 i n 3 ne isnuye sistemi golosuvannya yaka vidpovidaye vsim p yati umovam Formulyuvannya 1963 roku U formulyuvanni 1963 roku umovi Errou taki universalnist Vidsutnist diktatora Nezalezhnist vid storonnih alternativ Optimum Pareto abo princip odnogolosnosti yaksho u kozhnogo viborcya alternativa x v spisku stoyit vishe y ce zh maye buti i v ostatochnomu rezultati Dlya N 2 i n 3 ne isnuye sistemi golosuvannya yaka vidpovidaye vsim chotirom umovam Dokaz teoremi ErrouO displaystyle O mnozhina vipadkiv yaki kozhen agent ranzhuye vidpovidno do svoyih upodoban Li displaystyle L i linijnij poryadok vpodoban i displaystyle i go agenta na mnozhini O displaystyle O zadanij vidnoshennyam i displaystyle succ i displaystyle succ profil vpodoban kortezh elementami yakogo ye perevagi vsih agentiv W LN LW displaystyle W L N to L W funkciya suspilnogo dobrobutu W displaystyle succ W kolektivni vpodobannya Damo formalni viznachennya Pareto efektivnist W displaystyle W pareto efektivna yaksho dlya bud yakih vipadkiv o1 o2 O i o1 io2 o1 Wo2 displaystyle o 1 o 2 in O forall i o 1 succ i o 2 Rightarrow o 1 succ W o 2 Nezalezhnist vid storonnih alternativ W displaystyle W nezalezhna vid storonnih alternativ yaksho dlya bud yakih vipadkiv o1 o2 O displaystyle o 1 o 2 in O i dlya bud yakih dvoh profiliv vpodoban displaystyle succ i Ln i o1 i o2 o1 i o2 o1 W o2 01 W o2 displaystyle succ in L n forall i o 1 succ i o 2 Leftrightarrow o 1 succ i o 2 Rightarrow o 1 succ W succ o 2 Leftrightarrow 0 1 succ W succ o 2 Vidsutnist diktatora vvazhayemo sho dlya W displaystyle W vidsutnij diktator yaksho ne isnuye takogo i displaystyle i sho o1 o2 O o1 io2 o1 Wo2 displaystyle forall o 1 o 2 in O o 1 succ i o 2 Rightarrow o 1 succ W o 2 Teorema Errou yaksho O 3 displaystyle O geq 3 to bud yaka Pareto efektivna nezalezhna vid storonnih alternativ funkciya suspilnogo dobrobutu W displaystyle W maye diktatora Dokaz provedemo v 4 etapi Etap 1 Yaksho kozhen agent rozmishuye rezultat b displaystyle b nagoru abo do samogo nizu svogo spisku perevag pri comu ne potribno shob vse agenti diyali odnakovo to i v W displaystyle succ W rezultat b displaystyle b tezh bude abo vgori abo vnizu spisku Vizmemo dovilnij profil displaystyle succ takij sho v nomu dlya vsih agentiv i displaystyle i rezultat b displaystyle b znahoditsya abo zverhu abo znizu spisku vpodoban i displaystyle succ i Teper pripustimo sho nashe tverdzhennya nepravilne tobto isnuyut taki a c O displaystyle a c in O sho a Wb displaystyle a succ W b i b Wc displaystyle b succ W c Todi zminimo profil displaystyle succ tak shob dlya vsih agentiv vikonuvalos c ia displaystyle c succ i a ne zminyuyuchi pri comu ranzhuvannya inshih rezultativ Poznachimo otrimanij profil displaystyle succ Tak yak pislya takoyi modifikaciyi rezultat b dlya kozhnogo agenta vse odno zalishitsya abo na najvishij abo na najnizhchij poziciyi v spisku jogo perevag to z nezalezhnosti W vid storonnih alternativ mozhna zrobiti visnovok sho i v novomu profili a Wb displaystyle a succ W b i b Wc displaystyle b succ W c Otzhe v silu tranzitivnosti W displaystyle succ W otrimayemo a Wc displaystyle a succ W c Ale mi pripustili sho dlya vsih agentiv c ia displaystyle c succ i a todi v silu Pareto efektivnosti povinno buti c Wa displaystyle c succ W a Otrimane protirichchya dovodit tverdzhennya Etap 2 Dlya bud yakogo rezultatu b displaystyle b isnuye agent yakij ye centralnim u tomu sensi sho zminivshi svij golos vin mozhe peremistiti rezultat b displaystyle b z najnizhchoyi poziciyi v spisku W displaystyle succ W do najvishoyi Inshimi slovami znajdutsya dva profili 1 displaystyle succ 1 i 2 displaystyle succ 2 sho vidriznyayutsya tilki vpodobannyami agenta i displaystyle i sho b displaystyle b znahoditsya v kinci spisku dlya W1 displaystyle succ W 1 i na pochatku spisku dlya W2 displaystyle succ W 2 Rozglyanemo bud yakij profil perevag u yakomu vse agenti roztashuvali rezultat b displaystyle b unizu svogo spiska vpodoban i displaystyle succ i Zrozumilo sho i v W displaystyle succ W rezultat b displaystyle b znahoditsya na najnizhchij poziciyi v silu Pareto efektivnosti Nehaj vse agenti pochali po cherzi perestavlyati rezultat b displaystyle b z najnizhchoyi na najvishu poziciyu v svoyih spiskah perevag ne zminyuyuchi pri comu ranzhuvannya inshih rezultativ Koli vse agenti postavlyat rezultat b displaystyle b pershim v svoyemu spisku perevag vin bude pershim i dlya W displaystyle succ W Takim chinom u yakijs moment W displaystyle succ W zminitsya Nehaj n displaystyle n agent yakij perestaviv takim chinom b displaystyle b zminiv W displaystyle succ W upershe poznachimo 1 displaystyle succ 1 profil perevag yak raz do togo yak n displaystyle n peremishen b displaystyle b a 2 displaystyle succ 2 profil perevag vidrazu zh pislya togo yak n displaystyle n peremistiv b displaystyle b Takim chinom v 2 displaystyle succ 2 rezultat b displaystyle b zminiv poziciyu v W displaystyle succ W pri comu dlya vsih agentiv b displaystyle b znahoditsya abo na samomu verhnomu abo na najnizhchij poziciyi i displaystyle succ i Otzhe v silu tverdzhennya dovedenogo na Etapi 1 v W displaystyle succ W rezultat b displaystyle b zajmaye najvishu poziciyu Etap 3 n displaystyle n diktator nad usima parami lt a c gt displaystyle lt a c gt sho ne vklyuchaye v sebe b displaystyle b Viberemo z pari lt a c gt displaystyle lt a c gt bud yakij element Bez vtrati spilnosti viberemo a Dali z profilyu 2 displaystyle succ 2 pobuduyemo 3 displaystyle succ 3 nastupnim chinom v n displaystyle succ n peremistimo rezultat a na pershu poziciyu zalishivshi inshe ranzhuvannya nezminnim dovilnim chinom dlya vsih inshih agentiv pominyayemo miscyami odin z odnim a displaystyle a i c displaystyle c Todi yak i v 1 displaystyle succ 1 otrimayemo sho a Wb displaystyle a succ W b V silu nezalezhnosti vid storonnih alternativ i yak i v 2 displaystyle succ 2 otrimayemo sho b Wc displaystyle b succ W c Todi a Wc displaystyle a succ W c Teper pobuduyemo profil perevag 4 displaystyle succ 4 nastupnim chinom dlya vsih agentiv pomistimo rezultat b displaystyle b na dovilnu poziciyu v spisku vpodoban i displaystyle succ i dlya agenta n displaystyle n pomistimo rezultat a displaystyle a v dovilnu poziciyu do rezultatu c displaystyle c Zrozumilo sho v silu nezalezhnosti vid storonnih alternativ a Wc displaystyle a succ W c Mi otrimali sho vsi agenti krim n displaystyle n mayut absolyutno dovilni profili vpodoban a rezultat a Wc displaystyle a succ W c vijshov vihodyachi tilki lishe z pripushennya sho a n c displaystyle a succ n c Etap 4 n displaystyle n diktator nad usima parami lt a b gt displaystyle lt a b gt Rozglyanemo yakij nebud rezultat s V silu Etapu 2 isnuye deyakij centralnij agent n displaystyle n dlya cogo rezultatu vin zhe ye diktatorom dlya vsih par lt A B gt displaystyle lt A B gt de zokrema A a B b displaystyle A a B b Yakbi agent n n displaystyle n neq n buv diktatorom nad lt a b gt displaystyle lt a b gt niyaka zamina perevag agenta n displaystyle n ne mogla b pominyati ranzhuvannya a displaystyle a i b displaystyle b v W displaystyle succ W Ale na Etapi 2 agent n displaystyle n perestaviv b displaystyle b z ostannogo miscya na pershe v W displaystyle succ W i takim chinom buv zobov yazanij pominyati miscyami a displaystyle a i b displaystyle b Otzhe mozhna zrobiti visnovok sho n displaystyle n Zivpadaye z n displaystyle n tobto n displaystyle n i ye diktatorom Dokaz zaversheno Div takozhParadoks Kondorse paradoks viboriv uzagalnennyam yakogo stala teorema Errou PosilannyaTeorema o nevozmozhnosti v zadache proporcionalnogo predstavitelstvaPrimitkiKenneth J Arrow 1951 2nd ed 1963 Social Choice and Individual Values Yale University Press ISBN 0 300 01364 7 Cardinal Voting The Way to Escape the Social Choice Impossibility angl The Possibility of Social Choice p 189 angl