陶哲轩实分析 习题 12.5.14
2013-03-05 16:19
190 查看
设 $(X,d)$ 是度量空间,$E$ 是 $X$ 的非空紧致子集合,并设 $x_0$ 是 $X$ 的点.证明:存在 $x\in E$,使得 $$ d(x_0,x)=\inf\{d(x_0,y):y\in E\} $$
\begin{proof} 由于 $\forall y\in E$,$d(x_0,y)\geq 0$,因此集合 $\{d(x_0,y):y\in E\}$有下确界.下面证明存在 $x\in E$,使得 $d(x_0,x)$ 就是这个下确界.否 则,会有序列 $$ d(x_0,x_1),d(x_0,x_2),d(x_0,x_3),\cdots,d(x_0,x_n),\cdots $$ 其中 $x_1,x_2,x_3,\cdots,x_n,\cdots$ 都属于 $E$.该序列的每一项都大于 $\inf\{d(x_0,y):y\in E\}$,且该序列的极限是$\inf\{d(x_0,y):y\in E\}$.则根据度量空间里的绝对值不等式,易得序列 $$ d(x_1,x_2),d(x_2,x_3),\cdots,d(x_n,x_{n+1}),\cdots $$ 的极限是0.可见序列 $x_1,x_2,x_3,\cdots,x_{n},\cdots$ 是柯西列,由于 $E$ 的紧致性,该柯西列收敛到 $E$ 中的一个元素,设该元素是 $a$.易得 $d(x_0,a)=\inf\{d(x_0,y):y\in E\}$(为什么?). \end{proof}
相关文章推荐
- 陶哲轩实分析 习题 12.5.14
- 陶哲轩实分析 习题 7.1.5
- 陶哲轩实分析 3.3 节习题试解
- 陶哲轩实分析 附录 A 习题解答
- 陶哲轩实分析习题8.5.9
- 陶哲轩实分析习题9.1.1
- 陶哲轩实分析习题8.5.19
- 陶哲轩实分析 习题 12.5.13
- 陶哲轩实分析 5.4 节习题试解(5.4.1—5.4.4)
- 陶哲轩实分析 习题 13.5.5
- 陶哲轩实分析 6.2 节习题试解
- 陶哲轩实分析习题17.3.4
- 陶哲轩实分析习题18.4.10
- 陶哲轩实分析 习题 7.1.5
- 陶哲轩实分析 习题 7.5.2
- 陶哲轩实分析 3.3 节习题试解
- 陶哲轩实分析 附录 A 习题解答
- 陶哲轩实分析习题8.5.11
- 陶哲轩实分析习题9.1.1
- 陶哲轩实分析 4.1 节习题试解