陶哲轩实分析-第16章 傅里叶级数

$\sqrt x$不是实解析函数吗？感觉是啊，在任意x>0点都是呀，感觉作者的意思是不能在整个定义域上表示成某个幂级数，那当然是不行的。

这一章感觉不是学习傅里叶分析的很好资料。

16.1 周期函数

习题
16.1.1
令$k:=\sup\{l\in Z:l\le x\}$，y=x-k

16.1.2
(a)f在闭区间[0,1]上连续，所以有界。又由于周期性，所以在R上有界
(b)需要证明连续和周期，连续性为命题9.4.9。周期性容易证明，例如$f(x+1)+g(x+1)=f(x)+g(x)$。

16.1.3
$C(R/Z;C)$为$C(R,C)$的子空间，所以在[0,1]上一致收敛，所以在R上是一致度量空间。
设函数序列$f_n$收敛到f，那么根据定理14.4.5，f是收敛的，那么只要证明是周期的即可完成完备的证明。$|f(x+1)-f(x)|\le|f_n(x+1)-f(x+1)|+|f_n(x)-f(x)|+|f_n(x+1)-f_n(x)|\le 3\varepsilon$，证明完成

16.2 周期函数的内积

习题
16.2.1
(a)$f\overline g=\overline{\overline f g}$
(b)$|f|\ge 0$，后面的当且仅当主要是由于C是连续的，如果不连续不能保证。
(c)(d)根据定义和引理15.6.9。

16.2.2 $d(f,g)=<f-g,f-g>$
d(x,x)=0 引理16.2.7
d(x,y)>0 引理16.2.7
d(x,y)=d(y,x) |x|=|