Tengo una duda respecto a los conceptos bien conocidos de la optimalidad de Pareto débil y la monotonía.
Sea $N$ un conjunto finito de jugadores, sea $A$ un conjunto finito de alternativas, sea $\mathcal{P}$ el conjunto de todos los perfiles de orden lineal en $A$, y sea $F:\mathcal{P}\to 2^A\backslash\{\emptyset\}$ una correspondencia de elección social.
Sea $F^*:\mathcal{P}\to 2^A\backslash\{\emptyset\}$ la correspondencia de Pareto débil: es decir, para todos los perfiles de orden lineal $P\in\mathcal{P}$, \begin{gather} F^*(P)=\{x\in A\mid(\nexists y\in A)[(\forall i\in N)(yP_ix)]\} \end{gather}
Dado cualquier jugador $i\in N$, cualquier alternativa $x\in A$ y cualquier perfil de orden lineal $P\in\mathcal{P}$, sea $L_i(x,P)=\{y\in A\mid xP_iy\}$ el conjunto de contorno inferior del jugador $i$ en $x$.
Una regla de elección social $F:\mathcal{P}^N\to 2^A\backslash\{\emptyset\}$ es monotónica si y solo si para todas las alternativas $x\in A$ y todos los perfiles de orden lineal $P,P'\in\mathcal{P}$, lo siguiente es cierto: si $x\in F(P)$ y $L_i(x,P)\subseteq L_i(x,P')$ para todos los $i\in N$, entonces $x\in F(P')$.
Sabemos por Maskin & Sjöström (Nota al pie 15, p. 248, 2002) que la correspondencia de Pareto débil es monótona en el dominio no restringido de órdenes lineales.
Lo que me pregunto es si todas las subcorrespondencias de la correspondencia de Pareto débil también son monótonas en el dominio no restringido de órdenes lineales.
