הצגת המקור של הדף "משפט ארו"

'''משפט אי-האפשרות של ארו''' (או '''[[פרדוקס]] ארו''') הוא [[משפט (מתמטיקה)|משפט מתמטי]] בתחום ה[[בחירה חברתית|בחירה החברתית]] (שמהווה חלק מ[[תורת המשחקים]]) שהוכח על ידי הכלכלן [[קנת' ארו|קנת' ג'וזף ארו]]. לפי המשפט, לא קיימת שיטה הוגנת לשקלול בחירתם של מספר מצביעים הבוחרים בין שלוש אפשרויות או יותר.

==ניסוח מפורט==
המערכת שבה דן משפט ארו כוללת [[פרלמנט]] בן מספר מצביעים, המבקשים לבחור אחת מבין כמה אפשרויות. כל מצביע מדרג את האפשרויות מן הטובה ביותר לגרועה ביותר. '''חוקה''' היא מנגנון המשקלל את הדירוגים הפרטיים, בדרך כלשהי, ומחזיר דירוג משלו. דירוג זה הוא הדירוג הקיבוצי, על-פי החוקה.

בלשון מתמטית, כאשר N מצביעים בוחרים בין m אפשרויות, המנגנון הוא [[פונקציה]] <math>\ S_m\times \dots\times S_m \rightarrow S_m</math>, כאשר דירוג הוא [[תמורה (מתמטיקה)|תמורה]] של האפשרויות הנתונות.

חוקה (מנגנון שקלול) המקיימת את שלוש הדרישות הבאות תוגדר כ'''חוקה הוגנת''':
* החוקה תכבד [[קונצנזוס]]: אם כל הפרטים מעדיפים את אפשרות A על-פני אפשרות B, מן הדין שגם הדירוג הקיבוצי יעדיף את A על B (לדרישה זו קוראים "[[יעילות פארטו]]").
* [[אי-תלות באפשרויות לא רלוונטיות]]: מקומן היחסי של האפשרויות A ו-B בדירוג הקיבוצי תלוי רק במקומן היחסי בדירוגים הפרטיים (ולא במקומן בהשוואה לאפשרויות אחרות).
* אין '''דיקטטור''': לאף אדם אין כוח לקבוע את הדירוג הקיבוצי לבדו.

אין דרישה מהחוקה שתעניק לכל המצביעים מעמד שווה, כדי שתקרא '''הוגנת'''; קרי, מותר לחוקה לאפשר התחשבות בגורמים כמו [[ותק]], או מבנה מדורג של ועדות.

משפט ארו התקבל בהפתעה רבה:
:'''משפט ארו''': לא קיימת חוקה הוגנת לבחירה בין שלוש אפשרויות או יותר.

===דוגמה===
נניח כי שלושה חברים: אבי, בני וגלית מעוניינים להזמין [[פיצה]]. באפשרותם לבחור רק אחת מבין שלוש תוספות: [[פטריות]], [[זית]]ים או [[תירס]]. כמו כן, יכול להיות שחלק מהתוספות אזלו, ושלא ניתן להזמין אותן. שלושת החברים מעוניינים לגבש סדר העדפות מסוים, שיבטא את העדפותיהם.

נסתכל על מספר שיטות לשקלול ההעדפות של החברים:
* '''[[סדר לקסיקוגרפי|סידור אלפביתי]]''': ניתן לקבוע את סדר ההעדפות של הקבוצה לפי סדר הופעת שמות התוספות במילון, כלומר זיתים, אחר-כך פטריות ולבסוף תירס.

:שיטה זו אינה מוצלחת, כי היא מתעלמת מרצונותיהם של החברים. בפרט, היא לא עונה על ההגדרה של "שיטה הוגנת", משום שהיא אינה מכבדת קונצנזוס: אפילו אם כל החברים מעדיפים תירס על זיתים, השיטה האלפביתית בחרה עבורם זיתים ולא תירס.
* '''שיטת האפשרות הראשונה''': ניתן לקבוע את סדר ההעדפות של הקבוצה לפי האפשרות הרצויה ביותר בעיני כל פרט. למשל, אם שני חברים בוחרים בתירס כאפשרות המועדפת עליהם, ואחד בחר בפטריות, סדר ההעדפות המשוקלל יהיה: תירס, אחר-כך פטריות, ואחר-כך זיתים.

:שיטה זו חשופה למניפולציות, משום שחבר שלטעמו זיתים עדיפים על תירס העדיף על פטריות, הרואה שלזיתים אין סיכוי להיבחר, עשוי להחליף את סדר העדיפויות של תירס וזיתים, על-מנת להבטיח את מקומו של התירס על-פני הפטריות שנואות נפשו. השיטה מתחשבת במקומה של האפשרות השלישית בבואה לדרג שתי אפשרויות אחרות.
: מלבד זה, שיטת האפשרות הראשונה אינה מכריעה בכל המקרים: אם כל חבר מעדיף תוספת אחרת, השיטה תותיר אותם בלי הכרעה.
* '''דיקטטורה (של אבי)''': אבי, שבידיו ה[[טלפון]], יכול לבצע את ההזמנה לפי רצונותיו, בלי להתחשב בחבריו כלל.

:שיטה זו איננה הוגנת כלפי בני וגלית שאינם יכולים להשפיע על הזמנת הפיצה.

==הוכחת המשפט==
נניח כי אנו משתמשים בשיטה לשקלול העדפות שעומדת בשני התנאים הראשונים, ונוכיח כי קיים בה דיקטטור. את המשפט נוכיח באמצעות שני [[למה (מתמטיקה)|משפטי עזר]].

===משפט העזר הראשון===
'''המשפט:''' אם כל אחד מהפרטים ממקם את אפשרות <math>\ b</math> בראש או בתחתית סדר ההעדפות שלו, אפשרות <math>\ b</math> תהיה בראש או בתחתית סדר ההעדפות החברתי.

'''הוכחה:''' [[הוכחה בדרך השלילה|נניח בשלילה]] כי הטענה איננה נכונה. אזי קיימות שתי אפשרויות <math>\ a,c</math> שעבורן מתקיים בסדר ההעדפות החברתי: <math>\ a>b>c</math> (כאשר משמעות הסימון <math>\ x>y</math> היא: אפשרות <math>\ x</math> רצויה יותר מאפשרות <math>\ y</math>).

נבנה חתך העדפות דומה לחתך הנתון, שבו אצל כל פרט, <math>\ c>a</math> (ניתן להשיג זאת תוך שימוש רק בהחלפות בין שתי אפשרויות אלה, שלא משפיעות על הדירוג היחסי של כל אחת מהן לעומת <math>\ b</math>, מאחר שאפשרות <math>\ b</math> נמצאת בראש או בתחתית סדר ההעדפות). נשקלל את ההעדפות בחתך ההעדפות החדש באמצעות השיטה ההוגנת שלנו.
* הדירוג היחסי של <math>\ a</math> לעומת <math>\ b</math> נשאר זהה אצל כל פרט. לפי דרישת האי-תלות בין אפשרויות לא רלוונטיות, עדיין <math>\ a>b</math>.
* הדירוג היחסי של <math>\ c</math> לעומת <math>\ b</math> נשאר זהה אצל כל פרט. לפי דרישת האי-תלות בין אפשרויות לא רלוונטיות, עדיין <math>\ b>c</math>.
* לפי דרישת הקונצנזוס, בשקלול ההעדפות בחתך החדש <math>\ c>a</math>.

בכך הגענו לסתירה, ומכאן שהטענה נכונה.

===משפט העזר השני===
'''המשפט:''' קיים פרט <math>\ n^*=n(b)</math> שבחתך מסוים יכול לשנות את הצבעתו כך שאפשרות <math>\ b</math> תעלה מתחתית סדר ההעדפות החברתי לראש סדר ההעדפות החברתי.

'''הוכחה:''' נבנה חתך העדפות שבו כל פרט מציב את אפשרות <math>\ b</math> בתחתית סדר ההעדפות. [[מספור|נמספר]] את הפרטים בקבוצה. כעת נבחן את המצבים שמתקבלים כאשר כל אחד מהפרטים מעביר את <math>\ b</math> לראש סדר ההעדפות, לפי הסדר. לפני שהפרט הראשון יעשה זאת, לפי כלל הקונצנזוס, <math>\ b</math> יהיה בתחתית סדר ההעדפות החברתי. לעומת זאת, לאחר שהאחרון יעשה זאת, <math>\ b</math> יהיה בראש סדר ההעדפות החברתי. בכל שלב, <math>\ b</math> יהיה בראש או בתחתית סדר ההעדפות החברתי. לכן קיים פרט <math>\ n(b)</math> שכאשר הוא זה שיבצע את ההעברה, הוא ישנה את מקומו של <math>\ b</math>.

בהמשך ההוכחה, נקרא לחתך ההעדפות שהיה לפני ההעברה של <math>\ n(b)</math> בשם '''חתך I''', ולחתך ההעדפות שנוצר בעקבות ההעברה - '''חתך II'''.

===השלמת ההוכחה===
ראשית, נראה שעבור שתי אפשרויות שונות <math>\ a,c</math> שאף אחת מהן איננה <math>\ b</math>, אם בסדר ההעדפות של <math>\ n(b)</math> מתקיים <math>\ a>c</math> - כך גם בסדר ההעדפות החברתי. לפי כלל האי-תלות, הדירוג היחסי של שתי האפשרויות בסדר ההעדפות החברתי תלוי אך ורק בדירוג היחסי שלהן אצל כל פרט. לכן, דירוג זה לא ישתנה גם אם נניח ש-<math>\ b</math> נמצא בראש סדר ההעדפות של כל פרט לפני <math>\ n(b)</math>, בתחתית סדר ההעדפות של כל פרט אחרי <math>\ n(b)</math>, ואצלו עצמו נמצא בין <math>\ a</math> ל-<math>\ c</math>, כלומר: <math>\ a>b>c</math>.

אם נבחן את הדירוג היחסי של <math>\ a,b</math>, נראה שאצל כל פרט הוא זהה לדירוג היחסי ביניהם בחתך I, ולכן בסדר ההעדפות החברתי <math>\ a>b</math>, כפי שקורה בחתך I.

אם נבחן את הדירוג היחסי של <math>\ b,c</math>, נראה שאצל כל פרט הוא זהה לדירוג היחסי ביניהם בחתך II, ולכן בסדר ההעדפות החברתי <math>\ b>c</math>, כפי שקורה בחתך II.

מכאן, <math>\ a>c</math>.

כעת, נראה שעבור כל אפשרות <math>\ a</math> שאיננה <math>\ b</math>, הדירוג היחסי בינה לבין <math>\ b</math> בסדר ההעדפות החברתי זהה לדירוג היחסי ביניהן בסדר ההעדפות של <math>\ n(b)</math>. על פי משפט העזר השני, נמצא את <math>\ n(c)</math>, עבור <math>\ c</math> כלשהו שאיננו <math>\ a</math> או <math>\ b</math>. הוא קובע לבדו את הדירוג היחסי של כל שתי אפשרויות <math>\ \alpha,\beta</math> שאף אחת מהן איננה <math>\ c</math>, לרבות האפשרויות <math>\ a,b</math>. אך מכיוון שבהוכחת משפט העזר השני ראינו כיצד בחתך מסוים הדירוג היחסי בין שתי אפשרויות אלה משתנה כאשר רק <math>\ n(b)</math> משנה את העדפותיו, נובע מכך: <math>\ n^*=n(b)=n(c)</math>.

מכאן נובע, כי <math>\ n^*</math> הוא דיקטטור.

==הרחבת המשפט לבחירה חלקית של המועמדים==
נרחיב את המשפט לפונקציות שבוחרות רק K מהמועמדים, כלומר, מחזירות דירוג על קבוצה בגודל קבוע של מועמדים.

'''משפט''':
נניח שישנם לפחות שלושה מועמדים. כל פונקציה המתאימה יחס על תת-קבוצה של אפשרויות לכל וקטור של יחסי העדפות שמקיימת את הדרישות הבאות היא דיקטטורה.
* פה אחד: אם כולם מעדיפים את A במקום ראשון אז A נבחר במקום ראשון (חזק)
* מונוטוניות: אם A נבחר ביחס ההעדפות p ויש יחס ההעדפות שני q שבו מצבו של A אינו נגרע אז מצבו לא נגרע בדירוג של הפונקציה. כלומר אם מתקיים שלכל שחקן ולכל אפשרות B אם שחקן העדיף את A על B ב-p אז גם ב-q, גורר שמצבו לא נגרע בדירוג של הפונקציה.
'''הוכחה'''
עבור <math>\ K = 1</math> זהו [[משפט גיבארד-סתרסוויט]], ואם K הוא מספר המועמדים זהו משפט ארו.

נוכיח תחילה את המשפט באינדוקציה על K כאשר הטווח של הפונקציה הוא קבוצת יחסי העדפות חזקים על קבוצות בנות K אפשרויות. בסיס האינדוקציה <math>\ K = 1</math> כבר נתון.
נניח שהמשפט נכון עבור K ונוכיח אותו עבור <math>\ K + 1</math>.
פונקציה f מחזירה דירוג על <math>\ K + 1</math> איברים נגדיר את הפונקציה g להיות הפונקציה שמחזירה את K האיברים הראשונים שנבחרו לפי f (ניתן לבחור אותם כי f מחזירה יחס חזק על המועמדים).
הפונקציה g גם מקיימת את הדרישות מכיוון ש f מקיימת אותם ולכן g דיקטטורה .

אז f היא דיקטטורה ב-K האיברים הראשונים של שחקן i נניח בשלילה ש i לא דיקטטור באיבר האחרון
כלומר יש יחס ההעדפות p שבו i מעדיף את A במקום ה <math>\ K + 1</math> אבל B נבחר במקום הזה. כיוון ש i דיקטטור של K
האיברים הראשונים i מעדיף את A על B אחרת B נבחר במקום יותר טוב מ <math>\ K + 1</math>, ובנוסף A לא נבחר.

אם i מחליף בסדר ההעדפות שלו בין A לאיבר ה K שלו אז A נבחר במקום ה K,
וB עדיין לא יכול להיבחר במקום טוב מ<math>\ K + 1</math>.
מצב B לא נגרע ולכן ממונוטוניות אין איברים חדשים שמנצחים אותו, אבל A מנצח את B בדירוג הפונקציה לכן סתירה ו f דיקטטורה.

עכשיו נוכיח לפונקציה f כלשהי כזאת שמקיימת את הדרישות.
נגדיר יחס ההעדפות קבוע W על קבוצת המועמדים ונגדיר g שמחזירה יחס ההעדפות כמו f אבל מפרידה בין איברים שווים על ידי W
אז g מקיימת את הדרישות, כי f מקיימת את הדרישות, והיא מחזירה דירוג חזק ולכן היא דיקטטורה של שחקן i
ולכן f היא דיקטטורה של שחקן i (שומרת על הסדר של יחס ההעדפות של שחקן i) אבל אולי מאפשרת לחברה להיות אדישה בין אפשרויות שלו.

נניח בשלילה שיש יחס ההעדפות p בו i מעדיף את A על B ושניהם במקומות ה-K ראשונים אבל החברה אדישה בין A ל-B.
מכיוון שלא בוחרים את כל המועמדים, כי אז זה משפט ארו והוכחנו, יש אפשרות אחרת C שלא נבחרה ולכן i ממקם אותה במקום גרוע מהמקום ה K,
נסתכל על יחס ההעדפות חדש בו i מחליף את מיקום C ,B ושם B לא נבחר כי i דיקטטור חלש.
אבל אם נחליף חזרה אז שוב <math>\ A = B</math> כי חזרנו למצב הקודם בסתירה למונוטוניות כי מצב A לא נגרע אצל אף בוחר
אבל מצבו נגרע בדירוג של הפונקציה. ולכן גם g דיקטטורה.

==משמעויות נוספות==
בנוסף להשלכותיו של משפט ארו בתחום קבלת ההחלטות בקבוצה, למשפט השלכות גם בתחום קבלת ההחלטות על ידי אדם יחיד, כאשר מתייחסים אל [[קריטריון|קריטריונים]] במקום לפרטים בקבוצה. פרשנות זו של המשפט, עוסקת במקרה שבו אדם רוצה לקבוע סדר העדפות כללי בין מספר אפשרויות, על ידי שקלול סדרי העדפות בין אותן אפשרויות על פי קריטריונים שונים. טבעי שהאדם ירצה שהשקלול יענה על שתי הדרישות הבאות:
* '''כלל העליונות המוחלטת''': אם אפשרות א' עדיפה על אפשרות ב' לפי כל קריטריון, אזי אפשרות א' עדיפה על אפשרות ב' גם באופן כללי.
* '''אי-תלות בין אפשרויות לא רלוונטיות''': הדירוג היחסי של אפשרות א' לעומת אפשרות ב' בסדר ההעדפות הכללי יהיה תלוי אך ורק בדירוג היחסי של אפשרות א' לעומת אפשרות ב' לפי כל קריטריון (ולא בדירוגן ביחס לאפשרויות אחרות, למשל).

לפי משפט ארו, השקלול היחיד שמקיים את שתי הדרישות הוא שקלול שלוקח בחשבון קריטריון אחד בלבד.

פרשנות זו של המשפט שקולה לפרשנות שמובאת בתחילת הערך.

===דוגמה===
אם משה רוצה לקנות מכונית, והוא מתלבט בין מכוניות שמספריהן בין 1 ל-4, חתך ההעדפות שלו יכול להיראות כך:

<div style="text-align: center;">

{| class="wikitable" border="1"
! width="20%" | צבע
! width="20%" | בטיחות
! width="20%" | נוחות הנהיגה
! width="20%" | עלות התחזוקה
! width="20%" | מחיר
|-
| 1
| 1
| 4
| 2
| 3
|-
| 2
| 3
| 1
| 3
| 4
|-
| 4
| 2
| 3
| 1
| 1
|-
| 3
| 4
| 2
| 4
| 2
|}
</div>

בטבלה זו, כל עמודה מייצגת את סדר ההעדפות על פי קריטריון מסוים. טבלה זו בנויה באותו אופן כמו חתך ההעדפות של שלושת החברים לגבי התוספת לפיצה, לעיל.

==מגבלות המשפט==
על אף ניסוחו הקיצוני של המשפט, יש לשים לב למגבלותיו. המגבלה העיקרית של המשפט היא שההגדרה הפורמלית ל"הוגנות" שבה משתמש המשפט, לא מתלכדת עם מה שמקובל להגדיר כ"הוגן" בשפה הטבעית. הסיבה העיקרית לכך היא ההגדרה של "שיטה לשקלול העדפות". על פי הגדרה זו, שיטה משקללת את סדר ההעדפות החברתי אך ורק על סמך '''סדר''' ההעדפות של כל פרט, ומתעלמת מפרמטרים נוספים. אחד הפרמטרים האלה, למשל, הוא '''מידת ההעדפה'''.

אם על שני חברים לבחור אם לקנות לארוחה [[גבינה]] או [[סלט]], כאשר אחד מהם מעדיף לקנות גבינה בגלל טעמה (אך מוכן לאכול גם סלט), ואילו האחר [[אלרגיה|אלרגי]] ל[[חלב]] ולא יכול לאכול גבינה כלל, רובנו היינו מגדירים התחשבות יתרה בחבר האלרגי כהוגנת. עם זאת, שיטה שמתחשבת ב'''מידה''' שבה הוא מעדיף סלט על גבינה לא עונה על ההגדרה הפורמלית של "שיטה הוגנת", ולמעשה איננה נחשבת כלל לשיטה לשקלול העדפות.

באופן דומה, שיטה לשקלול העדפות של פרט עשויה להתחשב בסדר העדפותיו לפי כל קריטריון, אך לא במידת ההעדפה. בדוגמה שהוצגה לעיל - קניית מכונית - השיטה יכולה להתחשב בכך שמכונית אחת יקרה יותר מחברתה, אך לא ב[[הפרש]] בין המחירים. מאחר שכל שיטה מעשית לשקלול הנתונים כן תתחשב במחירים עצמם ובהפרש ביניהם, למשפט אין בהקשר זה השלכות מעשיות.

שיטות שקלול שמתבססות על מתן נקודות לאפשרויות ייחשבו לרוב כשיטות הוגנות, אף על פי שאינן עונות להגדרה של "שיטה הוגנת". על כן, משפט ארו לא חל לגביהן.

== ראו גם ==
* [[פונקציית רווחה חברתית]]
* [[הקול היחיד הנייד]]
* [[משפט גיבארד-סתרסוויט]]

==קישורים חיצוניים==
{{ויקישיתוף בשורה}}
* {{לא מדויק|2008/11/19/arrows_theorem/|בחר לך דיקטטור}}
* {{בריטניקה}}
* {{MathWorld}}

[[קטגוריה:משפטים בתורת המשחקים|ארו]]
[[קטגוריה:משפטי אי היתכנות]]
[[קטגוריה:תכנון מכניזמים]]
[[קטגוריה:בחירות]]
[[קטגוריה:הוכחות]]