|

楼主 |
发表于 2021-3-26 17:30
|
显示全部楼层
标准分析中的“无穷次”运算.
本帖最后由 elim 于 2021-3-26 09:30 编辑
标准分析中的形式表达式必须是有释义的合式公式.例如 \(0.1=\large\frac{1}{10}\),
\(\displaystyle\sum_{n=1}^{m+1} a_n=\big(\sum_{n=1}^m a_n\big)+a_{m+1},\;\prod_{n=1}^{m+1}r_n=\big(\prod_{n=1}^{m}r_n\big)\times r_{m+1}.\) 但"无穷次运算",
如 \(\displaystyle\sum_{n=1}^\infty a_n,\;\prod_{n=1}^{\infty}r_n\) 等是无法用上述递归方法定义的. 否则会进入循环定义.
所以它们必须被视为能吸收无穷序列的分析运算即有限运算的极限
\(\displaystyle\sum_{n=1}^\infty a_n:=\lim_{n\to\infty}\sum_{k=1}^n a_k,\;\;\prod_{n=1}^\infty r_n=\lim_{n\to\infty}\prod_{k=1}^n r_k\). 这里收敛不是无条件的。
注意极限不涉及”无穷次”操作.其合理性表现为按此定义下式成立:
\(\displaystyle\sum_{n=1}^\infty a_n=\sum_{n=1}^m a_n+\sum_{n=m+1}^\infty a_n,\;\;\prod_{n=1}^\infty a_n=\prod_{n=1}^m a_n\times\prod_{n=m+1}^\infty a_n\;\;(\forall m\in\mathbb{N})\)
类似的定义在非标准分析中仍为必须.尽管两个系统对极限的定义有所不同。
标准分析作为一个形式系统的严密性, 不是老中青混混们可以想象的.
把数学的 【Formalism 】望文生义成中文语境下的【形式主义】特别搞笑. |
|