משפט גיבארד-סטרת'ווייט

משפט גיבארד-סטרת'ווייט (על-שם Allan Gibbard ו- Mark Satterthwaite) הוא משפט בתורת ההצבעות, המתייחס למערכת שבה כל מצביע מדרג את המועמדים ותוצאת ההצבעה היא בחירה של מועמד אחד. המשפט קובע שאם יש יותר משני מועמדים, כל שיטת בחירות שאינה דיקטטורית והנותנת לכל מועמד אפשרות לזכות, חשופה להצבעה טקטית; כלומר, בתנאים מסוימים, יש מצביעים שכדאי להם להצביע אחרת מן ההעדפה האמיתית שלהם.

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

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

==הכנה להוכחה==
===המשפט===
תהי A קבוצת האפשרויות לבחירה, ויהי <math>\ P^N </math> וקטור בחירות, כאשר <math>N=\{1,2,\cdots,n\}</math> היא קבוצת הבוחרים.
אם <math>\left| A \right| \ge 3</math>, ואם <math>\,G : P^N \rightarrow A</math> היא פונקציית בחירה חברתית המקיימת את עקרונות המונוטוניות ואת עקרון הפה אחד, אז <math>G</math> דיקטטורית.

===רעיון ההוכחה===
לפי <math>G</math> נגדיר פונקציית רווחה חברתית <math>F</math>. נראה ש-<math>F</math> מקיימת את עקרונות האי תלות באפשרויות לא רלוונטיות, ופה אחד. לפי משפט ארו נקבל ש- <math>F</math> היא דיקטטורה, ובעזרתה נראה שגם <math>G</math> היא דיקטטורה.

===סימוני עזר===
יהיו <math>P</math>, <math>Q</math> שני יחסי העדפות חזקים.
<math>R\subseteq A</math> תת-קבוצה של אפשרויות.
נסמן ב <math>Z\left(P,Q;R\right)</math> את יחס ההעדפות המוגדר באופן הבא:
* כל האפשרויות ב <math>R</math> מדורגות לפני האפשרויות שאינן ב <math>R</math>.
* את האפשרויות ב <math>R</math> מדרגים לפי <math>P</math>.
* את האפשרויות שאינן ב <math>R</math> מדרגים לפי <math>Q</math>.
בנוסף נסמן: <math>P^N= \left(P_i\right)_{i\in N} </math>, <math>Q^N= \left(Q_i\right)_{i\in N} </math>, <math>Z\left(P^N,Q^N;R\right) = \left(Z\left(P_i,Q_i;R\right)\right)_{i\in N} </math>

דוגמה: נניח שקבוצת האפשרויות היא <math>A=\left\{a_1, a_2, a_3, a_4\right\}</math>, ו- <math>R=\left\{a_1,a_4\right\}</math>.
אם יחסי ההעדפות <math>P</math>ו- <math>Q</math>מוגדרים באופן הבא:
<math>P: a_1> a_2> a_3> a_4</math>
<math>Q: a_2> a_4> a_1> a_3</math>
אז היחס <math>Z\left(P,Q;R\right)</math> יהיה מוגדר כך:
<math> Z\left(P,Q;R\right): a_1> a_4> a_2> a_3</math>

===משפט עזר 1===
תהי <math>G</math> פונקציית בחירה חברתית מונוטונית.
יהיו <math>P^N</math>, <math>Q^N</math> נתונים. יהי <math>R\subseteq A</math>. נסמן <math>a=G\left(P^N\right)</math>, ונניח <math>a\in R</math>, אז נקבל ש- <math> G\left(Z\left(P_i,Q_i;R\right)\right)=a</math>.
זה נובע מהגדרת המונוטוניות (לא הרענו את מצבו של <math>a</math> ב- <math> Z\left(P^N,Q^N;R\right)</math> ביחס למצבו ב- <math>P^N</math> ).

מסקנה: אם <math>a\in R</math> וגם <math> G\left(Z\left(P^N,Q^N;R\right)\right)\ne a</math>, אז נקבל ש- <math>G\left(P^N\right)\ne a</math>.

===משפט עזר 2===
תהי <math>G</math> פונקציית בחירה חברתית המקיימת את עקרונות המונוטונית והפה אחד.
יהיו נתונים <math>P^N</math>,<math>a,b\in A</math> (יש עוד מועמדים).
אם <math>a>_{P_i}b</math> <math> \forall i</math> <math>\Leftarrow</math> <math>G\left(P^N\right)\ne b</math>.

הוכחה: נסמן <math>R=\left\{a,b\right\}</math>, ונסתכל על <math>Z\left(P^N,Q^N;R\right)</math>.
אז בגלל עקרון הפה אחד: <math> G\left(Z\left(P^N,Q^N;R\right)\right)=a \ne b</math>.
מהמסקנה של משפט עזר 1, נסיק ש- <math>G\left(P^N\right)\ne b</math>.

==הוכחת משפט גיבארד–סטרת'ווייט==
===הגדרה פונקציית הרווחה החברתית <math>F</math>===
יהי <math>W^N\in\left(P\left(A\right)\right)^N</math> פרופיל העדפות חזקות כלשהו, קבוע לאורך כל ההוכחה.
לכל פרופיל העדפות חזקות <math>P^N</math> נגדיר יחס בינארי <math>F\left(P^N\right)</math> באופן הבא:

לכל שתי אפשרויות שונות <math>a, b \in R</math> מתקיים:

<math> G\left(Z\left(P^N,W^N;\left\{a,b\right\}\right)\right)=a</math> <math>\Leftarrow</math> <math>a>_{F\left(P^N\right)}b</math>
<math> G\left(Z\left(P^N,W^N;\left\{a,b\right\}\right)\right)=b</math> <math>\Leftarrow</math> <math>b>_{F\left(P^N\right)}a</math>

כדי שהיחס יהיה רפלקסיבי, נגדיר בנוסף:
<math>a\ge_{F\left(P^N\right)}a</math>, <math> \forall a \in A</math>.

====נראה ש-<math>F</math> היא פונקציית רווחה חברתית====
על מנת להראות ש <math>F</math> היא פונקציית רווחה חברתית, יש להראות שהיחס <math>F\left(P^N\right)</math> הוא שלם וטרנזיטיבי.

=====היחס שלם=====
כל האפשרויות השונות מ- <math>a</math> ו- <math>b</math> מועדפת פחות מ- <math>a</math> על ידי כל הבוחרים, לכן לפי משפט עזר 2, אף אחת מאפשרויות אלה אינה יכולה להיות <math> G\left(Z\left(P^N,W^N;\left\{a,b\right\}\right)\right) </math> . לכן <math> G\left(Z\left(P^N,W^N;\left\{a,b\right\}\right)\right)\in \left\{a,b\right\} </math> .
לפי הגדרת היחס הבינארי <math>F\left(P^N\right)</math> נקבל שלכל זוג אפשרויות <math>a</math> ,<math>b</math> שונות זו מזו ב <math>R</math>, מתקיים: <math>b>_{F\left(P^N\right)}a</math> או <math>a>_{F\left(P^N\right)}b</math>, כלומר, <math>F\left(P^N\right)</math> הוא יחס העדפות שלם על <math>R</math>.
נשים לב גם שאין אדישות ב- <math>F\left(P^N\right)</math>, כלומר, או שהחברה מעדיפה ממש את <math>b</math> על <math>a</math>, או שהחברה מעדיפה ממש את <math>a</math> על <math>b</math>.

=====היחס טרנזיטיבי=====
נניח בשלילה כי היחס אינו טרנזיטיבי, כלומר קיימים <math>a, b, c \in R</math> כך ש:
<math>a>_{F\left(P^N\right)}b</math>, ו- <math>b>_{F\left(P^N\right)}c</math> אבל <math>c>_{F\left(P^N\right)}a</math>.
(האפשרות <math>c\approx_{F\left(P^N\right)}a</math> לא תיתכן, משום שלפי הגדרת <math>F\left(P^N\right)</math>, שני איברים הם שקולים אם ורק אם הם שווים, ובמקרה זה נקבל שגם <math>a>_{F\left(P^N\right)}b</math> וגם <math>b>_{F\left(P^N\right)}a</math> מתקיימים ביחד, וזו סתירה להגדרה <math>F\left(P^N\right)</math>.)

נשים לב לזהות הבאה: <math> Z\left(P^N,W^N;\left\{a,b\right\}\right)=Z\left(Z\left(P^N,P^N;\left\{a,b,c\right\}\right),W^N;\left\{a,b\right\}\right)</math>.
על <math>\left\{a, b\right\}</math> יחס הסדר נקבע בשני המקרים על ידי <math>P^N</math>, ועל המשלים של <math>\left\{a, b\right\}</math> יחס הסדר נקבע בשני המקרים על ידי <math>W^N</math>. לכן השוויון הנ"ל מתקיים.

מכך ש- <math>a>_{F\left(P^N\right)}b</math> נובע כי <math> G\left(Z\left(P^N,W^N;\left\{a,b\right\}\right)\right)=a</math>, ולפי הזהות הקודמת, נקבל ש- <math> G\left(Z\left(Z\left(P^N,P^N;\left\{a,b,c\right\}\right),W^N;\left\{a,b\right\}\right)\right)=a</math>.
בפרט נקבל ש- <math> G\left(Z\left(Z\left(P^N,P^N;\left\{a,b,c\right\}\right),W^N;\left\{a,b\right\}\right)\right) \ne b </math>, ולפי משפט עזר 1, נסיק כי <math> G\left(Z\left(P^N,P^N;\left\{a,b,c\right\}\right)\right) \ne b </math>.

כלומר, הראינו ש- <math> G\left(Z\left(P^N,P^N;\left\{a,b,c\right\}\right)\right) \ne b </math> <math>\Rightarrow</math> <math>a>_{F\left(P^N\right)}b</math>.

באופן דומה, מכך ש <math>b>_{F\left(P^N\right)}c</math>, נקבל ש- <math> G\left(Z\left(P^N,P^N;\left\{a,b,c\right\}\right)\right) \ne c </math>.

כמו כן, מכך ש <math>c>_{F\left(P^N\right)}a</math>, נקבל ש- <math> G\left(Z\left(P^N,P^N;\left\{a,b,c\right\}\right)\right) \ne a </math>.

סך הכל קיבלנו ש- <math> G\left(Z\left(P^N,P^N;\left\{a,b,c\right\}\right)\right) \not\in \left\{a, b,c\right\} </math>.

מצד שני, לכל <math>d \in A \ \left\{a, b, c\right\}</math>, מתקיים: <math> G\left(Z\left(P^N,P^N;\left\{a,b,c\right\}\right)\right) \ne d </math>.
הסבר: לכל <math>d</math> כזה מתקיים <math>a>_{G\left(Z\left(P^N,P^N;\left\{a,b,c\right\}\right)\right)}d</math>, ולפי משפט עזר 2 נקבל ש- <math> G\left(Z\left(P^N,P^N;\left\{a,b,c\right\}\right)\right) \ne d </math>.

אבל אם כך, מתקבל ש- <math> G\left(Z\left(P^N,P^N;\left\{a,b,c\right\}\right)\right) \not\in A </math>, וזה בסתירה להגדרת הבחירה החברתית <math>G</math>. מכאן שהנחת השלילה שהיחס <math>F\left(P^N\right)</math> אינו טרנזיטיבי אינה נכונה, ולכן היחס כן טרנזיטיבי.

הראינו שהיחס <math>F\left(P^N\right)</math> הוא שלם וטרנזיטיבי, לכן <math>F</math> היא פונקציית רווחה חברתית.

נותר להראות ש- <math>F</math> מקיימת את עקרון הפה אחד, ואי תלות באפשרויות לא רלוונטיות.

=====נראה ש- <math>F</math> מקיימת את עקרון הפה אחד=====

יהי <math>P^N</math> המקיים <math>a>_{P_i}b</math>, <math>\forall i \in N</math>. צריכים להראות ש- <math>a>_{F\left(P^N\right)}b</math>.
לשם כך יש להוכיח ש- <math> G\left(Z\left(P^N,W^N;\left\{a,b\right\}\right)\right)=a </math>.
אכן, נשים לב שביחסים <math>Z\left(P^N,W^N;\left\{a,b\right\}\right) </math>, <math>a</math> ממוקם במקום הראשון לכל <math>i</math>. כיוון ש-<math>G</math> מקיימת את עקרון הפה אחד, אז השוויון <math> G\left(Z\left(P^N,W^N;\left\{a,b\right\}\right)\right)=a </math> מתקיים.
לכן <math>F</math> מקיימת את עקרון הפה אחד.

=====נראה ש- <math>F</math> מקיימת את עקרון האי תלות באפשרויות לא רלוונטיות=====

יהיו <math>P^N</math>, <math>Q^N</math>, <math>a</math>, <math>b</math> המקיימים:
<math>\forall i \in N</math> <math>a>_{P_i}b</math> <math>\Leftrightarrow</math> <math>a>_{Q_i}b</math>.
יש להוכיח ש- <math>a>_{F\left(P^N\right)}b</math> <math>\Leftrightarrow</math> <math>a>_{F\left(Q^N\right)}b</math>, או באופן שקול: <math> G\left(Z\left(P^N,W^N;\left\{a,b\right\}\right)\right)= G\left(Z\left(Q^N,W^N;\left\{a,b\right\}\right)\right) </math>.
ואכן זה מתקיים משום ש- <math>Z\left(P^N,W^N;\left\{a,b\right\}\right)= Z\left(Q^N,W^N;\left\{a,b\right\}\right) </math>, ולכן <math>F</math> מקיימת את עקרון האי תלות באפשרויות לא רלוונטיות.

ממשפט ארו, נקבל ש- <math>F</math> היא דיקטטורית, כלומר קיים <math>i</math> כך ש- <math>\forall P^N</math> מתקיים <math>F\left(P^N\right)=P_i</math>.

===סיום ההוכחה – נראה ש- <math>G</math> היא דיקטטורית, עם אותו דיקטטור <math>i</math>===
יהי <math>P^N</math> כלשהו, ותהי <math>a</math> האפשרות בעדיפות ראשונה לפי <math>P_i</math> של בוחר <math>i</math>.
יש להוכיח כי <math>G\left(P^N\right)=a</math>.

נניח בשלילה ש- <math>G\left(P^N\right)=b \ne a</math>, אז לפי משפט עזר 1 מתקיים ש- <math> G\left(Z\left(P^N,W^N;\left\{a,b\right\}\right)\right)=b \ne a </math>.
לכן, לפי הגדרת <math>F</math> נקבל שהחברה כולה מעדיפה את <math>b</math> על פני <math>a</math>, או באופן שקול: <math>b>_{F\left(P^N\right)}a</math>, וזאת בסתירה לכך ש- <math>i</math> דיקטטור לפי <math>F</math>.
לכן קיבלנו שגם <math>G</math> היא דיקטטורית, עם אותו דיקטטור <math>i</math>.

== ראו גם ==
* משפט ארו

== לקריאה נוספת ==
*

גיבארד-סטרת'ווייט