Supongamos $F \subset R^n$$|F|>0$. Deje $F_x = \{ y \in R^{n-1} | (x, y) \in F\}$. Entonces, ¿es verdad que para casi todos los $(x,y) \in F$, $F_x$ ha positivos $n-1$ dimensiones de la medida?
Por el Teorema de Fubini, sabemos que $|F| = \int_{R} |F_x| dx$, pero no puedo ver por qué esto implica la verdad de los hechos. Todo lo que puedo recoger de esto es que $|F_x|$ es positivo en un subconjunto de a $R$ que ha lineal positiva de la medida.