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{∑Vol(Ik)∣E⊆∪Ik} y para cada ϵ>0 existe un conjunto abierto G que contiene E tal que μ∗(G−E)<ϵ ( μ∗ 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.