Si E es medible por Lebesgue en Rn y I=[a,b] ¿Cómo puedo demostrar que E×I es medible en Rn+1 ?
Jonas:
Estoy usando μ∗(E)=inf y para cada \epsilon \gt 0 existe un conjunto abierto G que contiene E tal que \mu^*(G-E)\lt\epsilon ( \mu^* es la medida exterior).
He intentado utilizar la primera definición ya que creo que sería más fácil, pero no sé cómo hacer que encaje.