אי-תלות באפשרויות לא רלוונטיות

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

התכונה אומרת שאם בין מועמדים א' ו-ב' אף בוחר לא שינה את העדפתו (מעדיף את א' על ב' או להפך), גם התוצאה בין א' ל-ב' לא תשתנה, גם אם בוחרים שינו את שאר ההעדפות שלהם.

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

הגדרה פורמלית

פונקציית רווחה חברתית F, על קבוצת מועמדים A וקבוצת בוחרים N, מקיימת את תכונת האי-תלות באפשרויות לא רלוונטיות,תבנית:ש אם לכל $a,b\in A$, ולכל שני וקטורי-העדפות P,Q,תבנית:ש שמקיימים $\mathrm{\forall }i\in N,(a{\succ }_{P_i}b)\leftrightarrow (a{\succ }_{Q_i}b)$תבנית:הערהתבנית:ש מתקיים $(a{⪰}_{F(P)}b)\leftrightarrow (a{⪰}_{F(Q)}b)$.

דוגמאות

• דיקטטורה מקיימת אי-תלות, מכיוון שאם אף בוחר לא שינה את העדפותיו בין א' ל-ב', אז בפרט הדיקטטור לא שינה את העדפותיו ביניהם.
• עבור $\left|A\right|=2$תבנית:הערה, כל פונקציית רווחה חברתית מקיימת את תכונת האי-תלות, כי אם לא השתנו ההעדפות בין א' ל-ב', ההעדפות כלל לא השתנו.
• עבור $\left|A\right|\ge 3$, שיטת בורדהתבנית:הערה מקיימת את תכונת הפה-אחד, אך לא מקיימת את תכונת האי-תלות, למשל עבור וקטורי-ההעדפות הבאים:

בוחר	מקום ראשון	מקום שני	מקום שלישי
רונן	a	b	c
זרובבלה	b	c	a
תוצאה	b	a	c

בוחר	מקום ראשון	מקום שני	מקום שלישי
רונן	a	c	b
זרובבלה	b	a	c
תוצאה	a	b	c

היחסים בין a ל-b לא השתנו אצל כל בוחר, אבל היחסים ביניהם בתוצאה הסופית השתנו.

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

ראו גם

• מונוטוניות

לקריאה נוספת

• תבנית:צ-ספר