陶哲轩实分析-第12章 度量空间

5.4-6.7上册看完了，开始下册

12.1 定义和例

这本书有时候就是觉得过于细了，比如注12.1.3
例12.1.12中不适用球面几何怎么验证三角不等式呢
例12.1.13中最短路径问题，$d(x,y)\le d(x,z)+d(y,z)$，否则如果大于，那么d(x,y)就不是x和y之间最短距离
命题12.1.18(d)中实数序列不就是$R^n$中点吗？

习题看着多，其实都很简单，不像序偶那一节
习题中证明度量空间大部分只需要证明不等式即可，其它3个一般都是自然成立的
习题
12.1.1
=>
$x_n$收敛到x，那么对于任意$\varepsilon$，存在N，当$n\ge N$则$|x_n-x|\le \varepsilon$，根据实数的定义，$d(x_n,x)=0$。
<=
如果$d(x_n,x)=0$，那么对于任意$\varepsilon$，存在N，当$n\ge N$则$|x_n-x|\le \varepsilon$，这就是序列收敛的定义。

12.1.2
(a)(b)(c)都显然，(d)根据命题4.3.3

12.1.3
(a) 修改离散度量为所有值都为1
(b) 修改离散度量为所有值都为0
(c) 考虑现实里面3个地方只能A->B->C->A
(d) 有限集合随便定义很容易构造
比如
a
b
c
a-b=b-a=3
a-c=c-a=4
b-c=c-b=50

12.1.4
对于任意$x,y\in Y$，满足$x,y\in X$，所以定义12.1.2中的4条性质都满足

12.1.5

12.1.6$(\mathbb R^n, d_{l^2})$
(a) d(x,x)=0
(b) d(x,y)>0
(c) d(x,y)=d(y,x)
a，b，c都显然
(d) 根据12.1.5

12.1.7
(a) d(x,x)=$\sum 0$=0
(b) d(x,y)，如果xy不同，比如有一个分量不同，那么必然大于0
(c) d(x,y)=d(y,x)，因为$|x-y|=|y-x|$
(d) $|x-z|=|x-y+y-z|\le |x-y|+|y-z|$

12.1.8需要证明$(\sum_{i=1}^n(x_i-y_i)^2)^{\frac 12}\le \sum|x_i-y_i|\le \sqrt n(\sum_{i=1}^n(x_i-y_i)^2)^{\frac 12}$
令$|x_i-y_i|=z_i$，那么$(\sum z_i)^2=\sum z_i^2+\sum_{i\ne j} z_iz_j\ge \sum z_i^2$，第一个不等式证明完成
第二个不等式
∑|xi−yi|≤n−−√(∑ni=1(xi−y