陶哲轩实分析-第13章 度量空间上的连续函数

13.1 连续函数

习题
13.1.1
完全类似命题9.4.7证明

13.1.2
根据定理13.1.4，(a)<=>(b)
a->c
假设$y\in V$，那么存在$f(x_0)=y$。对于任意$\varepsilon$，存在$\delta$，根据13.1.4(c)，只要$x\in B(x_0,\delta)$，就有$f(x)\in B(y,\varepsilon)$，所以每个x都是内点，所以$f^{-1}(V)$是开集。
c->d
F是闭集，那么$Y\setminus F$是开集，那么$f^{-1}(Y\setminus F)$是开集，那么$f^{-1}(Y)\setminus f^{-1}(Y\setminus F)=f^{-1}(F)$是闭集。
d->c类似
c->b(看了数学分析原理Theorem4.8)
如果对于任意Y中开集V满足$f^{-1}(V)$在X中开，那么对于任意$p\in X,\varepsilon$，令$V=B(f(p),\varepsilon)$为开集，那么$f^{-1}(V)$为开集，所以存在$\delta$满足$B(p,\delta)\subseteq f^{-1}(V)$，那么如果$x\in B(p,\delta)$则$f(x)\in V$，这就是连续性的定义，我们证明了f在p点连续，而p是任意点。

13.1.3
有2种证明方法：
1.用连续性定义
2.用13.1.5(c)

13.1.4
(a)f 任意不连续函数, g(x)=0
(b)f符号函数，g(x)=0
(c)
f符号函数
g(x)=
3 x<3
0 x>=3

推论13.1.7的逆命题不成立

13.1.5E中任意收敛序列，对应的函数值序列都收敛。

13.1.6 $f|_E=f\circ \tau _{E\to X}$

13.1.7 f连续 <=>
X中收敛序列收敛到E中对应函数值<=>
g连续

13.2 连续性与成绩空间

习题
13.2.1相当于12.1.18中n=2

13.2.2 结合13.1.5和定理6.1.19

13.2.3$|f|(x):=|f(x)|=max(f(x),-f(x))$

13.2.4
$\pi_1$连续：令f(x)=x，g(y)=0。$\pi_2$类似。
$g_1(x,y):=f(x)=f\circ \pi_1(x,y)$，所以连续。

13.2.5
如果ij都不为0，那么根据引理13.2.2，乘法函数连续
如果i=j=0，那么常数值连续
如果i或j为0，比如i=0，j!=0，那么$g(x,y)=cx^i=f(x)$，根据习题13.2.4，连续
而连续函数的和是连续的。

13.2.6
考察任意点$f(x_0)=y^{(m)},g(x_0)=y^{(n)}$
根据连续定义，对于任意$\varepsilon$，存在$\delta_1$，$|x-x_0|\le\delta_1$则$|f(x)-f(x_0)|\le \varepsilon/2$，同理存在$\delta_2$， |x−x0|≤δ<