Sea $\succsim$ una relación binaria completa, reflexiva y transitiva definida sobre $X$ un subconjunto compacto convexo no degenerado (es decir, no idéntico a un singleton) de $\mathbb{R}^n_{++}$ (el conjunto de vectores n-dimensionales con componentes positivas). Supongamos que $\succsim$ es continua para la topología de orden y estrictamente monótona (es decir, preserva el orden parcial habitual de $\mathbb{R}^n_{++}$ ).
¿Están conectados los conjuntos de indiferencia asociados?
Para una relación de preferencia definida en todo el cono convexo $\mathbb{R}^n_{++}$ las propiedades que introduje son efectivamente suficientes, como se muestra en este post ¿Son continuos los gráficos de curvas de indiferencia dada la definición preferente de continuidad?
¿Se le ocurre algún contraejemplo o, por el contrario, puede aportar la prueba de la suficiencia de estas condiciones?
Muchas gracias.