- Codice:
\times
.
Comunque, modulo un po' di confusione, mi pare che ci sei:
\[ \{ 0 \} \times E \subset \{0 \} \times \mathbb{R} \]
e \( \mathcal{L}^2(\{0 \} \times \mathbb{R} ) =0 \). Siccome \( \mathcal{L}^2 \) è completa, allora anche \( \{ 0 \} \times E \) è \( \mathcal{L}^2\)- misurabile e \( \mathcal{L}^2(\{0 \} \times E ) =0 \).
Tuttavia \( E \subset \mathbb{R} \) non è \(\mathcal{L}^1\)-misurabile.