14 votos

Si $E$ tiene medida de Lebesgue $0$, deben existir un traducir tal que $E\cap E+x=\varnothing$?

Si $y\in E\cap E+x$$y=h=h'+x \implies x=h-h'$$h,h'\in E$. Del mismo modo, si $x=h-h'$,$h\in E\cap E+x$. De modo que $E\cap E+x$ es no vacío iff $x=h-h'$ donde $h,h'\in E$. Por lo tanto, si existe una real $x$ que no puede ser expresado como el anterior, el resultado es probada. El problema es que no puedo probar que tal $x$ debe existir. He intentado suponiendo que todos los verdaderos $x$ son de esa forma, pero que me da nada, excepto que $E$ debe ser innumerables y sin límites. Cualquier sugerencias?

18voto

Deje $C$ será el habitual conjunto de Cantor: una medida cero subconjunto de $[0,1]$.

Deje $C_\infty=\bigcup_{k=-\infty}^\infty(C+k)$, que es la unión de la traduce de $C$ por números enteros. También se $C_\infty$ tiene medida cero. Ahora $C$ tiene la propiedad de que $C+C=[0,2]$; cada real en $[0,2]$ es la suma de dos elementos de la $C$. Por lo tanto $C_\infty+C_\infty=\Bbb R$. Así que si $x\in R$ hay $a$, $b\in C_\infty$ con $x=a+b$. A continuación,$-a\in C_\infty$, e $b=x-a\in C_\infty\cap(C_\infty +x)$.

14voto

PhoemueX Puntos 19354

La afirmación es falsa, es decir, en general no hay tal $x$.

Para ver esto, me gusta el ejemplo siguiente, que utiliza la categoría de Baire teorema. Probablemente hay otros (más fácil?) los ejemplos que usar algo como el conjunto de Cantor.

Desde $\Bbb{Q}$ es un valor nulo, no es por la regularidad de la medida de Lebesgue para cada una de las $n \in \Bbb{N}$ un conjunto abierto $U_n \supset \Bbb{Q}$$\mu(U_n) < 1/n$. Está claro que $E := \bigcap_n U_n$ es un valor nulo.

Queremos mostrar que hay no $x$ tal que $E \cap (E + x) = \emptyset$. Desde el mapa de $\Bbb{R} \to \Bbb{R}, y \mapsto y + x$ es un homeomorphism, es suficiente para demostrar el (mucho) más fuerte afirmación de que no hay homeomorphism $\varphi : \Bbb{R} \to \Bbb{R}$$\varphi(E) \cap E = \emptyset$.

Pero $\varphi(E) \cap E = \bigcap_{n,m} (\varphi(U_n) \cap U_m )$ es una contables intersección de abrir, denso subconjuntos de a $\Bbb{R}$, por lo que de categoría de Baire teorema implica que $\varphi(E) \cap E \neq \emptyset$.

i-Ciencias.com

I-Ciencias es una comunidad de estudiantes y amantes de la ciencia en la que puedes resolver tus problemas y dudas.
Puedes consultar las preguntas de otros usuarios, hacer tus propias preguntas o resolver las de los demás.

Powered by:

X