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

<math>a\ge_{F\left(P^N\right)}a</math> , <math> \forall a \in A</math>. <br>

 

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

 

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

 

 

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

 

[[קטגוריה:תורת המשחקים]]