2 votos

Prueba del teorema de Gibbard-Satterthwaite en Osborne y Rubinstein

Estoy estudiando por mi cuenta el libro Models in Microeconomic Theory de Osborne y Rubinstein y estoy luchando por entender un paso en su prueba del teorema de Gibbard-Satterthwaite. No proporcionaré la prueba completa, pero los pasajes de interés son los dos siguientes pasos ($f$ denota una regla de elección social):

Paso 1: Si $f((\succsim^i)_{i \in N}) = x$ y $(\trianglerighteq^i)_{i \in N}$ difiere de $(\succsim^i)_{i \in N}$ solo en que para algún individuo $j$ la clasificación de alguna alternativa $y$ es mayor en $\trianglerighteq^j$ que en $\succsim^j$, entonces $f((\trianglerighteq^i)_{i \in N}) \in \{x, y \}$.

Paso 2: Sea $f((\succsim^i)_{i \in N}) = x$ y sea $y$ otra alternativa. Por el Paso 1 tenemos que $f((\trianglerighteq^i)_{i \in N}) = x$, donde $\trianglerighteq^i$ se obtiene de $\succsim^i$ moviendo todas las alternativas excepto $x$ y $y$ debajo de estas dos alternativas (conservando el orden de $x$ y $y$).

En el Paso 2, ¿qué nos permite concluir que $f((\trianglerighteq^i)_{i \in N}) = x$ en lugar de $f((\trianglerighteq^i)_{i \in N}) = y$?

0voto

laurent Puntos 1439

Creo que tengo una respuesta. Anteriormente se había demostrado que existe un individuo $i^*$ tal que $F((\succsim^i)_{i \in N}) = \succsim^{i^*}$ para cualquier perfil de preferencias $(\succsim^i)_{i \in N}$. Ahora, si dejamos que $f((\succsim^i)_{i \in N}) = x$, eso significa que la única restricción que estamos imponiendo en $(\succsim^i)_{i \in N}$ es que no todos los individuos clasifiquen $y$ como la mejor alternativa, porque entonces por unanimidad la regla de elección social seleccionaría $y$. En particular, estamos permitiendo que $(\succsim^i)_{i \in N}$ sea un perfil de preferencias en el que todos los individuos clasifiquen $x$ como la mejor alternativa. Ahora considera el perfil $(\trianglerighteq)_{i \in N}$, que por definición deja el orden relativo de $x$ y $y$ igual que en $(\succsim^i)_{i \in N}$. Por Paso 1 $f((\trianglerighteq)_{i \in N}) \in \{x, y \}$. Si $f((\trianglerighteq)_{i \in N}) = y$, entonces eso tendría que mantenerse incluso en el caso en el que todos los individuos clasifican $x$ como la mejor alternativa, violando así la unanimidad. Por lo tanto, $f((\trianglerighteq)_{i \in N})$.

¿Tiene sentido para ti?

Finanhelp.com

FinanHelp es una comunidad para personas con conocimientos de economía y finanzas, o quiere aprender. Puedes hacer tus propias preguntas o resolver las de los demás.

Powered by:

X