La debilidad de la monotonicidad en mi caso se define de la siguiente manera: Si x es débilmente mayor que y, entonces x debe ser débilmente preferido sobre y. La monotonicidad se define de la siguiente manera: Si x es estrictamente mayor que y, entonces x debe ser estrictamente preferido sobre y.
Por lo tanto, mi proceso de pensamiento fue el siguiente (para demostrar que la debilidad de la monotonicidad + LNS (Satisfacción no local) implica monotonicidad):
LNS nos dice que debe existir un y que sea estrictamente preferido sobre x si este x está en la distancia euclidiana < a x. Sabemos que si al lado de x hay otro conjunto que es débilmente mayor que x. Debido a la debilidad de la monotonicidad este conjunto es débilmente preferido sobre x. Junto con LNS, la monotonicidad debería cumplirse, lo cual tiene sentido intuitivamente pero no tengo idea de cómo demostrarlo analíticamente.
¿Alguien puede ayudarme?
Gracias