Zygmund 실함수론 3단원 문제입니다.
E1xE2가 measurable함은 E1, E2보다 약간 큰 open sets G1, G2를 잡아서 해결할 수 있겠는데요
lE1xE2l=lE1llE2l임은 어떻게 보일지를 모르겠네요.. lE1xE2l≤lE1llE2l까지는 보였어요
이 문제는 두 번째 show는 보일 수 있겠는데
처음 show를 못 보이겠어요 ㅠㅠ
thm 3.38 증명에 나오는 non measurable set을 이용해서 풀어보려 했는데 lEkl_e
조금 조작하면 될 것 같은데 잘 모르겠음..
21번 해결했습니다
12번은 푸비니나 토넬리 배웠으면 그거 쓰셈
처음 들어보는 걸 보니 그건 안 배운 내용인 듯..
folland 2.5인가 6 참조
그리고 15번은 13번을 보여줘야하잖음?
13번은 풀었음 ㅇㅋ
아니 |A|_i의 정의가 13번에 있는데 그걸 보여달라는 말.
추가함 ㄱㄱ
15번 풀어서 올려줌
12번도 풀어서 올려놨음
감사합니다 12번은 안 보이네요 ㅠ