“连续性把连通空间送到连通像,实数中的连通集结构便导出介值性质。证明根存在还依赖实数完备性保证嵌套区间或上确界落在实数中;算法层面,序列收敛解释二分端点怎样逼近实际根,而具体的区间不变量、误差…”
形式陈述 ​
实数序列
极限若存在则唯一。在度量空间中,只需把绝对值替换为距离
直觉
“最终全部进入”比“无穷多次进入”强:前者不允许序列在靠近极限后又不断远离。收敛只关心尾部,所以修改有限多项不改变极限。误差阈值越小,允许选择越晚的起始位置;定义并不要求存在统一的收敛速度公式。
例子与边界
对
给定
推论与应用
序列配合极限得到收敛,Cauchy 性则只比较尾部各项而不预知极限。每个收敛实数序列都有界,和、积及连续函数在相应条件下保持极限。实数完备性保证实 Cauchy 序列确有极限;级数、迭代算法、函数逼近和离散时间随机过程都把复杂对象转化为部分和或状态序列后研究这一尾部稳定性。
数值分析还要在这个拓扑定义之上说明收敛怎样发生。Q 收敛与 R 收敛描述误差序列的渐近速度,网格收敛则研究离散尺度
参考资料
- Stephen Abbott, Understanding Analysis, 2nd ed., Springer, 2015, Chapter 2.
- Walter Rudin, Principles of Mathematical Analysis, 3rd ed., McGraw-Hill, 1976, Chapter 3.