实变函数与泛函分析

非刷题不足以言学习。
课程：PKU数学双学位——实变函数与泛函分析
授课：刘和平教授
教材：郭懋正《实变函数与泛函分析》
双学位的课面向非数学系的其他院系学生，总体要求较数学科学学院低。实变函数和泛函分析在数学系是两门单独的课，在双学位课程设置里合并为一个学期的内容。但是实变函数和泛函分析本身难度不小，想要掌握好这一部分内容非下一点力气是不行的。所谓“实变函数学十遍，泛函分析心犯寒”也。
本打算把所有的课后题都刷一遍，写一份答案，后来想把作业题都做一份答案，结果都是flag.现在没有心思和精力做这件事，姑且搁置了。

集合与运算

集合及其运算

1. 设有集合$A,B,C,D$，满足$A\cup B=C\cup D$，证明：
   (1)令$A_1=A\cap C,A_2=A\cap D$，则$A=A_1\cup A_2$；
   (2)令$A\cap C=\emptyset,B\cap D=\emptyset$，则$A=D,B=C$.

   证：
   (1)$A_1\cup A_2=(A\cap C)\cup(A\cap D)=A\cap(C\cup D)=A\cap(A\cup B)=A$

   (2)$A=(A\cap C)\cup(A\cap D)=\emptyset\cup(A\cap D)=A\cup D\Rightarrow D\subset A$
   $D=(D\cap A)\cup(D\cap B)=(D\cap A)\cup\emptyset=A\cap D\Rightarrow A\subset D$
   $\Rightarrow A=D$
   同理可证$B=C$
   注：主要用到集合交并运算的分配律

2. 设$A,B,D\subset X$，求证：

   $$B=(D\cap A)^c\cap(D^c\cup A)\Leftrightarrow B^c=D$$

   证：

   $$\begin{align*}B=&(D\cap A)^c\cap(D^c\cup A)\\ =&(D^c\cup A^c)\cap(D^c\cup A)\\ =&D^c\cup(A^c\cap A)\\ =&D^c\cup \emptyset\\ =&D^c\\ \Rightarrow&B^c=D\end{align*}$$
   注：主要用到摩根律和分配律

3. 设$A,B$是集合，定义$A\Delta B=(A\backslash B)\cup(B\backslash A)$为$A$与$B$的对称差。证明对称差具有以下性质：

   $$A\Delta B=B\Delta A;A^c\Delta B^c=A\Delta B;A\Delta(B\Delta C)=(A\Delta B)\Delta C$$
   并证明对于给定的集合$A$与$B$，存在唯一的集合E，使得
   $$E\Delta A=B$$

   证：
   (1)(交换律)$\begin{align*}A\Delta B=&(A\backslash B)\cup(B\backslash A)=(B\backslash A)\cup(A\backslash B)=B\Delta A\end{align*}$(并运算的交换律)
   (2)

映射

n维欧式空间$\mathbb R^n$

Lebegue测度

Lebesgue外侧度与可测集

Lebesgue可测函数

Lebesgue可测函数列的收敛性

Lebesgue积分

Lebesgue可测函数的积分

Lebesgue积分的极限定理

重积分与累次积分

$L^p$空间

$L^p$空间

$L^2$空间

1. (第1题)$f\in \mathfrak{M},c>0.$若对于任意的函数$g\in L^2(E)$，有$\|fg\|_2\leq c\|g\|_2$，试证明$f\in L^{\infty}(E)$，且$\|f\|_{\infty}\leq c$.

   proof
   若$|\{x\in E:|f|>c\}|=m(F)>0,$取$g=\chi_{F}$
   则

   $$\begin{align}\|fg\|_2=&\left(\int _{E}|f\cdot\chi_F|^2dx\right)^{\frac 12}\\=&\left(\int _{F}|f|^2dx\right)^{\frac 12}\\&>c\left(\int _{F}1^2dx\right)^{\frac 12}\\&=c\|g\|_2\end{align}$$
   矛盾，所以 $m(F)=0$,所以 $|f|\leq c,a.e.[E]$
   即 $f\in L^{\infty}(E)$，且 $\|f\|_{\infty}\leq c$.

2. (第5题)设$k(x,y)\in L^2(\mathbb R^n\times \mathbb R^n)$，对于$f\in L^2(\mathbb R^n)$证明下述积分
   

   $$Tf(x)=\int_{\mathbb R^n}k(x,y)f(y)dy$$
   有意义，且$Tf\in L^2(\mathbb R^n)$

   proof
   因为$k(x,y)\in L^2(\mathbb R^n\times \mathbb R^n)$,所以$k(x,y)\in L^2(\mathbb R^n)$.
   由Hölder不等式，

   $$\begin{align}Tf(x)=&\int_{\mathbb R^n}k(x,y)f(y)dy\\\leq &\left(\int_{\mathbb R^n}k^2(x,y)dy\right)^{\frac 12}\|f(y)\|\\<&\infty\end{align}$$
   所以该积分有意义。
   

   ∥Tf(x)∥2≤≤=≤∫Rn⎛⎝(∫Rnk2(x,y)dy)12∥f(y)∥⎞⎠2dx∥f(y)