פונקציית רווחה חברתית

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

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

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

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

משפט ארו מראה שפונקציית הרווחה החברתית היחידה המקיימת את תכונות הפה אחד והאי תלות באפשרויות לא רלוונטיות, ושהטווח שלה מכיל לפחות שלוש אפשרויות, היא פונקציית הרווחה החברתית הדיקטטורית.

ראו גם 

 משפט ארו
 הקול היחיד הנייד

לקריאה נוספת 

תורת המשחקים