Como sugiere el título, estoy interesado en un subconjunto de la recta real que no es ni escasos ni comeagre en cualquier intervalo de tiempo. ¿Alguien tiene un ejemplo?
Añadido. Ver los comentarios de algunos de discusión acerca de Bernstein conjuntos, que puede proporcionar una solución. No sé nada acerca de estos conjuntos, por lo que una respuesta detallada o de referencia en relación a esto, sin duda sería bienvenida.
Aquí están algunos pensamientos míos y de uno de mis compañeros de clase sobre el problema. Mi idea original era la siguiente: Vamos a $\mathcal V$ ser un conjunto de Vitali (es decir, $\mathcal V$ contiene exactamente un elemento de cada aditivo coset de $\mathbb Q$), seleccione el subconjunto denso $S$ $\mathbb Q$ cuyo complementar $\mathbb Q \setminus S$ $\mathbb Q$ también es denso, y deje $E = \mathcal{V} + S$. A continuación,$E^c = \mathcal{V} + \mathbb{Q}\setminus S$, y parece que $E$ debe tener la propiedad requerida, pero he sido incapaz de demostrar que esto es así.
Mi compañero tenía otra idea. Trabajó en $[-1,1]\setminus\{0\}$, buscando un conjunto $E$ con las siguientes propiedades.
- El complemento de $E$ se obtiene a partir de a $E$ a través de la reflexión que pasa por el origen, es decir, $E^c = -E$.
- Si $E \cap I$ es la intersección de a $E$ con algunos diádica subinterval $I \subset [-1,1]$ de la $k$th generación, $E$ es similar a esta intersección, en el sentido de que $E = 2^k(E\cap I) + a$ para algún número real $a$; es decir, la intersección de a $E$ con cualquier diádica subinterval es una escala de traducir de $E$.
Si no me equivoco, es relativamente sencillo comprobar que cualquier conjunto $E$ satisfactorio 1. y 2. proporciona un ejemplo. En cuanto a la existencia de dicho conjunto se refiere, mi compañero hizo un argumento, pero era bastante complicado, y no recuerdo bien la parte superior de mi cabeza para comprobar su exactitud.