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