Dejemos que $u$ sea una función de utilidad continua sobre $\mathbb R^2_+\setminus\{0\}$ . Considere las tres condiciones siguientes:
- Local no saciedad dice que para cualquier $x \in X$ y $\epsilon > 0$ existe $y \in X$ tal que $d(x,y) < \epsilon$ y $U(x) < U(y)$ .
- La no saciedad local* dice que para cualquier $x \in X$ y $\epsilon > 0$ existe $y \in X$ tal que $d(x,y) < \epsilon$ y $U(x) \neq U(y)$ .
- Los conjuntos de indiferencia de $U$ son curvas.
Como resultado estándar, (1) implica (3) y (3) implica(1).
Obviamente, (1) implica (2) por lo que (3) también implica (2).
¿Puede (2) implicar también (1) y (3)