Zygmund 실함수론 3단원 문제입니다.

viewimage.php?id=20bcc42e&no=24b0d769e1d32ca73ced81fa11d02831edca684dcd73c50d611ea9794e05f84ecbbd005b583700504d58d003a34641885f98beda7cf0abb3670cd5220142fb

E1xE2가 measurable함은 E1, E2보다 약간 큰 open sets G1, G2를 잡아서 해결할 수 있겠는데요

lE1xE2l=lE1llE2l임은 어떻게 보일지를 모르겠네요.. lE1xE2l≤lE1llE2l까지는 보였어요


viewimage.php?id=20bcc42e&no=24b0d769e1d32ca73ced81fa11d02831edca684dcd73c50d611ea9794e05f84ecbbd005b583700504d58d003a34641885f98beda7fa3ace63300db220142fb

이 문제는 두 번째 show는 보일 수 있겠는데

처음 show를 못 보이겠어요 ㅠㅠ


viewimage.php?id=20bcc42e&no=24b0d769e1d32ca73ced81fa11d02831edca684dcd73c50d611ea9794e05f84ecbbd005b583700504d58d003a34641885f98be8d78f6f8b76658d9220142fb

thm 3.38 증명에 나오는 non measurable set을 이용해서 풀어보려 했는데 lEkl_e

조금 조작하면 될 것 같은데 잘 모르겠음..


viewimage.php?id=20bcc42e&no=24b0d769e1d32ca73ced81fa11d02831edca684dcd73c50d611ea9794e04f84e67a2a8b0277d148cbecf32be0fd54e511e1a2cc08dff50c0de4866fa4b267f