陶哲轩实分析 推论 13.4.7
2013-03-09 16:30
155 查看
(中值定理) 设 $f:X\to \mathbf{R}$ 是从度量空间 $(X,d_X)$ 到实直线的连续映射.设 $E$ 是 $X$ 的连通子集合,并设 $a,b\in X$.设 $y$ 是介于 $f(a)$ 和 $f(b)$ 之间的实数.那么存在 $c\in E$,使得 $f(c)=y$.
证明:由于 $E$ 在 $X$ 中是连通的,因此根据陶哲轩实分析 定理 13.4.6, $f(E)$ 在 $\mathbf{R}$ 中也是连通的,因此根据陶哲轩实分析 定理 13.4.5,$f(E)$ 是 $\mathbf{R}$ 中的区间.因此命题成立.
相关文章推荐
- 陶哲轩实分析 推论 13.4.7
- 陶哲轩实分析 推论 7.3.2 (比较判别法) 证明
- 陶哲轩实分析 推论 12.5.6 注: 完备且有界的度量空间不一定是紧致度量空间
- 陶哲轩实分析 推论 12.5.6 注: 完备且有界的度量空间不一定是紧致度量空间
- 陶哲轩实分析 习题 13.4.7
- 陶哲轩实分析 推论 12.5.9
- 陶哲轩实分析 习题 13.4.7
- 陶哲轩实分析 推论 12.5.9
- 陶哲轩实分析 推论 7.5.3 (比例判别法) 证明
- 陶哲轩实分析 推论 7.5.3 (比例判别法) 证明
- 陶哲轩实分析 推论 7.3.2 (比较判别法) 证明
- WHEN-CREATE-RECORD的三大定律一大推论
- 陶哲轩实分析_习题10.1.3
- 陶哲轩实分析习题17.3.4
- 《陶哲轩实分析》习题10.4.2
- 陶哲轩实分析 命题7.1.11 (在有限集合上求和的基本性质) 证明
- 陶哲轩实分析 引理 7.5.2 证明
- 《陶哲轩实分析》——给读者的一点建议
- 陶哲轩实分析习题8.5.11
- 陶哲轩实分析习题9.8.5 : 在有理点间断,无理点连续的严格单调函数