Hola, que tal? Quería ver si me podían ayudar con el siguiente ejercicio:
Llamando m a la medida exterior de Lebegue, quiero probar que:
m(\( A\times{B} \))=m(A)m(B) para todo par de conjuntos \( A \subseteq{R^n} \) y \( B \subseteq{R^m} \)
Me salio la desigualdad \( \leq{} \) y para ver \( \geq{} \), hice lo siguiente:
m(\( A\times{B} \)) \( \geq{m(A*\times{B*}}) \) - \( \epsilon \) para un \( \epsilon \) dado, con A*\( \times{B*} \) un abierto que contiene a AxB (editado)
Entonces, A* y B* son abiertos con \( A\subseteq{A*} \) y \( B\subseteq{B*} \).
Aquí uso que productos de medibles es medible (lo probé con el Principio de Cavalieri) y la montonía de la medida de Lebesgue. Así, como \( \epsilon \) es arbitrario, se tiene lo pedido.
Está bien? Me hace un poco de ruido tomar que cualquier abierto que cubre a \( A\times{B} \) sea de la pinta \( A*\times{B*} \)