|

楼主 |
发表于 2020-8-15 04:43
|
显示全部楼层
在实分析中,序列通常指映射(函数)\(\{a_n\}:\mathbb{N}^+\to\mathbb{R}\small\,(n\mapsto a_n)\)
序列极限式\(\,\displaystyle\lim_{n\to\infty}a_n=A\,\)被定义为
\((\dagger)\quad\qquad\forall\varepsilon>0\,\exists N\in\mathbb{N}\,\forall n>N:\,|a_n-A|< \varepsilon\)
陈述\(\small\,(\dagger)\,\)可用普通语言重述为: 对任给正数\(\,\varepsilon,\)存在正整数\(\,N,\)
对任意\(\,n>N\,\),\(|a_n-A|< \varepsilon\,\)均成立. 直观地就是说,当\(\,n\,\)充
分大后\(\,a_n\,\)与\(\,A\,\)的差均小于事先任意给定的误差\(\,\varepsilon>0.\) 可见
这样定义序列极限是很合情理的.
我们更乐意说,当\(\,n\,\)趋于\(\infty\)(无穷大)时\(\,a_n\,\)趋于\(\,A.\) 记作
\(a_n\to A\;(n\to\infty).\)但此说法的可证伪(可检验)形式还是\((\dagger).\)
jzkyllcjl认为极限是过程的终点. 所以对于无法定义终点
的过程的极限无法信任. 换句话说,他希望说\(\,n\,\)等于无穷大
时序列的极限等于\(A.\,\)这就过程达到了极限(终点).当这种
"终点"成见具有某种非法性时(例如\(\,a_n\,\)是\(\,\frac{0}{0},\,或\,0\infty\)不定式
时,也就是过程状态有了质变时,jzkyllcjl倾向于问责极限
理论.其实真正应该放弃的是极限的这种过程终点解读.
用形式语言定义数学概念和关系的又一好处是逻辑运算可以
用命题代数实现.例如\(\,\displaystyle\lim_{n\to\infty}a_n\ne A\,\)的定义是
\((\ddagger)\quad\qquad\exists\varepsilon>0\,\forall N\in\mathbb{N}\,\exists n>N:\,|a_n-A|\ge \varepsilon\)
换句话说,要否证\(\,\displaystyle\lim_{n\to\infty}a_n= A,\,\)只要找到一个正数\(\,\varepsilon>0,\)
并证明存在无穷多正整数\(\,n\,\)使得\(\,|a_n-A|\ge\varepsilon\underset{\,}{.}\)
\(\small(\dagger),(\ddagger)\,\)的关系,就是将全称量词与存在量词互换,把所有量词
后的命题与其否命题互换. |
|