弘毅:如何理解极限的精确定义?
我:你问的是个很深刻,有代表性的问题。
这是一个好问题。相信九成以上初学者在第一次接触极限的严格定义的时候,都会感到不舒服。
实际上,有人真的很夸张。
前几年有新闻报道国内最好的大学之一的一位大一新生因为无法适应极限的严格定义而自杀身亡的,高考时的成绩都是全省前几十名的,可悲!因此主要还是心理障碍的问题。
首先,对于数学系学生或者数学科研人员搞懂其严格定义是十分必要的,但对于物理,通信,金融工程等非数学系专业学生搞懂极限的思想和直观含义是更加重要的,能计算和应用到其它学科才是重点。
0. 与极限有关的一点数学史
首先,函数极限的定义是这样的:
直观一点的表达就是:
只要无限靠近, 函数值就无限靠近。
这是为微积分的发展服务的,因为这样做才能精确定义微分和积分等。
牛顿,莱布尼茨最早发现微积分的动机主要是要解决物理和几何的一些问题。
牛顿考虑的是物理问题,把函数看成物体随时间的运动速度,那其导数就是加速度,积分就是位移。
莱布尼茨考虑的是几何问题,其使用的记号更加直观,就是我们现在用的这一套。
比如 微分,导数的定义,。
同时其几何含义也是非常清楚的,即函数在x处的切线斜率。 积分也是如此,它是函数相应求和的极限,.(留意两边记号的相似性。)
同样的,其几何含义是函数图像与以及横轴围成的封闭图像的面积。
但是牛顿和莱布尼茨并没有给出严格的定义,一直那么用了很长时间,直到柯西等人才完成,其中最重要的就是极限的严格定义。
1. 心理障碍与逻辑语言
其实,极限定义的难,不是在于
就是不说人话!
极限的定义不是抽象,点集拓扑,抽象代数等这些课才适合用抽象来形容,极限的定义应该叫繁琐,原因就是它用了‘任意-存在’这种逻辑结构。
多数人有心理障碍的原因有两点:
1. 大家更加适应和习惯自然语言,而第一次认真的接触逻辑语言是会不适应的,就像你第一次学习编程一样,肯定既兴奋又不太适应;
2. 练习或是接触的频率不够,接触多了你就会觉得相对直观和舒服多了。其实我们学习中文或是英文这种自然语言也是如此啊,中文从小到大一直学习和使用你就觉得亲切,英文要是接触少一些你自然就会有不少心理障碍,逻辑语言就更是了。
因此多练习就好。你可以举些生活中的例子来让你看上去更直观一点。
比如,对世界上的 任意两个人,都存在正整数,使得这两个人可以通过这些人打通认识桥梁,即, 其中表示a与b认识。
这很有意思吧?比较符合你的直观认识吧?
我们把任意和存在对调下顺序:
存在正整数,对世界上的任意两个人,都能找到,使得这两个人可以通过这些人打通认识桥梁,即。
如果这个命题是对的,那么上述正整数
2. 拓扑语言
等你经过一些练习,已经摆脱了极限严格定义的心理障碍之后。(其实没那么难)
你就进阶到一个新的水平。这时候,你会发现大家是这么描述极限的:
,即对的任意小的邻域内,都包含着的某个邻域的象。,即对的任意小的邻域内,都包含着数列的几乎所有项。
再到后来:
, 即只要无限靠近, 函数值就无限靠近。, 即只要无限靠近正无穷 ,数列就无限靠近。
所以,你看到最后又返璞归真了。
没有人想要一直拖着重重的壳,你拖着重重的壳肯定是为了训练自己啊,直到你把重重的壳轻易的装入口袋。
这就是华罗庚先生说的,把专业书读厚再读薄的意思。
你此时的看似接近自然语言的表达:
只要无限靠近, 函数值就无限靠近,
已经不再是你没学极限严格定义前的懵懂臆想了,而是
对的任意小的邻域内,都包含着的某个邻域的象
的凝练,专业,严格的逻辑含义。
到此,你大概能初步感受数学的逻辑之美了!