8 votos

¿Un conjunto de medida positiva contiene un conjunto de producto de medida positiva?

La siguiente pregunta surgió en mi investigación sobre las variaciones en el teorema de Bell. He intentado resolverlo por mi cuenta, pero mi débil en la teoría de la medida aparentemente no me permiten hacerlo dentro de un período razonable de tiempo.

Este es mi primer post en cualquier sitio SE. Ya que la pregunta no es probablemente la investigación de nivel, estoy publicando aquí en lugar de en MO.

Deje $(\Omega_1,\mathcal{F}_1,P_1)$ $(\Omega_2,\mathcal{F}_2,P_2)$ probabilidad de espacios. El producto $\Omega_1\times\Omega_2$ viene equipado con el estándar de producto $\sigma$-álgebra y el producto de la medida.

Si $A\subseteq \Omega_1\times\Omega_2$ es de medida positiva, ¿ no existir $B_1\subseteq\Omega_1$ $B_2\subseteq\Omega_2$ de medida positiva tal que $B_1\times B_2\subseteq A$?

Si esto resulta ser falsa, entonces, ¿qué acerca de la misma cuestión con $B_1\times B_2\subseteq_{a.s.} A$ lugar exacto de contención?

Edit: he aceptado @leslie la respuesta de como se resuelve el problema original. Todavía espero una respuesta positiva a la revisión de la pregunta, donde puedo permitir $A$ a ser modificado por un conjunto de medida cero. ¿Alguien puede decir algo sobre esto?

8voto

OracleOfNJ Puntos 31

Un contraejemplo es el subconjunto de a $[0,1] \times [0,1]$ (con la habitual Lebesgue $\sigma$-álgebras en ambas copias de $[0,1]$) dada por $$ E = \{(x,y) \in [0,1] \times [0,1]: y - x \no \in \mathbb{Q}\}. $$ Resulta que $E$ ha plana de medida $1$, pero $E$ no contiene ningún cilindro conjunto de la forma $A \times B$ $A,B$ Lebesgue medibles conjuntos de medida positiva. Una forma de ver esta es la apelación a la trivial pero mejor conocido hecho de que si $A$ $B$ son Lebesgue medibles subconjuntos de a $\mathbb{R}$ con medida positiva, la diferencia set $A - B = \{a - b: a \in A, b \in B\}$ debe contener un trivial intervalo abierto (así, en particular, los números racionales). El caso especial de esta afirmación cuando los conjuntos de $A$ $B$ son de la misma es muy conocido y, al parecer, originalmente debido a Steinhaus.

Me recordó este ejemplo de Falconer de La Geometría de Fractales Conjuntos, donde es el Ejercicio 5.4 (y la generalización de Steinhaus la observación de Ejercicio 1.7).

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