数学中的直观、定义与表达

作者: 姜树生

来源: 返朴

发布日期: 2021-11-25 08:00:00

本文讨论了数学教育中定义的重要性,强调好的定义应该揭示概念的本质,而不是仅仅描述如何操作。文章分析了从小学到大学数学教程中定义的使用和误解,特别是关于无理数、实数、向量和张量的定义。作者指出,尽管严谨的定义对于数学家至关重要,但对于大多数学生来说,直观和适当的表达方式更为重要。文章还强调了教育者在教授抽象概念时需要有耐心,并鼓励学生在理解基础概念后进一步探索更复杂的数学结构。

在数学教程中如何给出定义,经常是值得研究的。好的定义应当揭示概念的本质,是“what”层面的,而不是“how”层面的。对于一个数学概念的理解,直观、定义与表达这三个方面都是需要的,但有各不相同的作用。在小学数学的初级教程中,这三个方面是混合在一起的,既要有直观,又要学记数法,最终要形成自然数的概念。然而近年来,有些自以为高明的教学法,从很小就教孩子学习记数和计算,不重视甚至忽略直观。

其结果可能使得孩子在速算比赛中获奖,但却不能自觉地应用数学解决生活中的问题,更没有培养创新能力。到了中学数学教程中,上述三个方面逐渐分开,教学法与小学有显著的不同。首先来看无理数的概念。在早年的大多数教科书以及当今的一些教科书中基本上是这样讲的:首先以例子说明无理数存在,具体说就是有的“数”不等于两个整数的比,最常见的是边长为1的正方形的对角线的长度。

认识到无理数的存在,就可以进一步形成实数的概念,即有理数与无理数的全体。至于无理数表达为无限不循环小数,很多教科书是不讲的,或者仅举具体的例子让学生体会。这样的讲法尽管没有给出实数的定义,却是适合大多数学生。实际上大多数人一辈子也没见过实数的定义,但这并不妨碍他们在工作中使用实数,因为数学的严谨性是由数学家保证的,一般人尽可以放心大胆地使用。

但是,如果有学生问“什么是无理数”,准确地说就是不满足于直观,希望从根本上搞清楚实数的概念,教师应该怎样回答呢?这样的学生是千里挑一,而能回答这样问题的中学教师也是千里挑一。问题仅在于千里挑一的学生能否遇到千里挑一的老师。有的老师会回答说:“无理数就是无限不循环小数”,在有些教科书或课外书中也看到这样的“定义”。然而,“无限不循环小数”只是无理数的一种表达方式,而不能作为定义。

从哲学上说,任何一个定义必须是针对一个客观存在的对象,否则就可能落入逻辑陷阱。首先需要明白实数是一种客观存在,然后才能谈它的表达。有效的实数定义至少有两个,一是用戴德金分割,一是用基本叙列。两个定义是相互等价的,但风格迥异,前者几何味较浓,后者代数味较浓。要想理解实数的实质,最好两个定义都读懂。但这两个定义都颇不简单,而且定义后还要建立各种运算、大小关系、极限等。

对于一般的中学生甚至大学生,难度都是相当高的。因此,在中学数学教程和大学高等数学教程中不引入实数的定义,是明智的。但若在中学或大学数学教程中以“无限不循环小数”作为无理数的定义,则是非常不明智的,非但不能使学生明白,反而会使很多学生误以为懂了。再来看平面几何。在几何教科书中有很多定义,但这些定义都不是“原始”的,原始的概念如点、直线、平面等都是只有直观没有定义的,但它们由公理体系界定。

用现代的语言,几何对象可以定义为满足一些条件(公理)的若干集合所组成的体系。硬要定义直线、平面等是不会有好结果的,所幸还没听说有这样的教科书。不过在现行中学数学统编教科书中,很多几何概念的定义有严重缺陷,例如把直观当作定义,或语义含混。回过头来再看实数的概念。非常值得一提的是数轴的直观。将实数理解为数轴上的点,对于大多数学生是理解实数(包括无理数)的一个有效途径。

有了无理数的例子,再有数轴的直观,对于普通学生就可以有效地讲授实数概念。换言之,几何直观是理解实数的一个有效途径,对于中学生是不可或缺的。对于多数学生有较高难度的定义还有一些,如概率。对于这类概念,只讲直观而不讲定义,常常是明智的。但常常还需要给出表达方式,并进一步给出“操作”(如计算)方法。这样学生就能够运用这些概念,做出有创新性的工作,尽管可能最终也没有完全搞懂某个概念。

此外,通过应用也有可能提升对于概念的理解。简言之,如果学生能理解,直接讲定义对于建立数学概念最有效;而若大多数学生不能理解,最起码也不应该讲假的定义,或者忽悠学生。在大学数学教程中也有定义方面的问题。先来看微积分教程。随便找一本微积分(或数学分析)教科书,就会看到其中积分的定义颇不简单。在数学分析教程中,一元函数的积分定义为一个颇不平凡的极限,判别其存在性还要用到达布和等,相当复杂而费解。

在非数学专业的微积分教程中,这部分内容只是简化了些,复杂度基本未变,所以未必比数学分析教科书容易懂;但另一方面,对这些内容都不会布置作业,更不会考试,徒然浪费时间且让学生头疼。顺便指出,各版本中学教科书中的积分概念也是这样写的,对于中学生当然就更头疼了,甚至很多中学教师也看不懂。学过实变函数论就知道,一元函数黎曼可积等价于几乎处处连续,直观地说,其实离连续函数没多远。

在黎曼积分的应用中实际上主要是针对连续函数,至多是分段连续函数。对于一般的学生,由黎曼积分其实只是学到面积的一个定义,何况这还不是一般的定义,例如一条一般的约当单闭曲线所围成的区域的面积,就不能用黎曼积分来定义。所以,花了那么多的时间那么大的功夫学黎曼积分,只是学到一个特殊情形的面积定义而已。然而,一般人都有面积的直观,并不需要面积的定义。

因此,为了理解积分的概念,至少对大多数学生,不如局限于连续函数的积分。如果将连续函数的积分定义为“有向面积”,就很容易理解且不需要花多少功夫。具体说,对于闭区间上的连续函数,由直线和曲线围成的图形具有面积,将直线上方的面积看作正的,下方的面积看作负的,这样得到的总面积称为有向面积。将在闭区间上给出的有向面积称为它的积分,记为。由此定义不难证明牛顿-莱布尼兹公式。再来看线性代数教程。

“向量”是最重要的基本概念之一。在目前所见到的很多教科书中,向量定义为有序数组。这样的定义不仅费解,而且向量的运算还要另外定义。一般说来,要直到学了很多内容后才明白向量是什么。这样的定义有明显的缺陷,没有揭露向量的本质。详言之,有序数组是向量在取定的坐标系下的表达,是“how”层面的,而好的定义应该是“what”层面的。

从“what”层面看,向量就是向量空间的元素,脱离向量空间来讨论向量是没有意义的。向量的运算,都涉及多个向量以及它们之间的关系。所以,要明白什么是向量,归根结底要明白向量空间。然而,很多线性代数教科书中根本就没有向量空间。即使有,很多教师也不讲。常见的理由是,向量空间太“抽象”,学生难以理解。那么,基于向量空间的很多概念和定理,当然就更不能讲了。

其实向量空间的概念并不算很“抽象”,国外一些大学本科代数教科书是先讲群论后讲线性代数,显然比我国的线性代数或高等代数教科书更“抽象”。另一方面,我国现在的中学生都要花很多工夫学集合,但从教科书上看不到有什么用。若是对于向量空间概念的高明之处有所领悟,至少会觉得集合是有用的。所以,至少有一部分学生理解向量空间并无困难。而对于有困难的学生,需要教育者的耐心,例如可以采取如下的途径讲授。

注意学生在解析几何中学过平面向量和空间向量,而且知道一些物理应用。在初等的数学和物理教科书中一般会讲向量的直观,即“既有大小又有方向的量”,而且较好的教科书中还会指出,这只是一种直观,并非既有大小又有方向就是向量。学生通过物理意义可以对向量有正确的理解,尽管还没有向量空间的概念。那么,从向量的这些直观概念推进到一般的向量空间,本质上只是维数可以不受限制。

因此,可以先复习解析几何中的平面向量和空间向量,包括它们的直观意义和物理应用,然后系统地复习和整理向量的运算,再复习和整理向量在直角坐标系下的表达。然后举例说明高维的向量也是有数学和物理意义的。由此引导到一般的向量空间,就不很“抽象”和难于理解了。当然这需要多花费一些时间,但对于后面的学习是有利的。也许您会反驳说:“把向量定义为有序数组,我没觉得费解呀,而且很容易很方便。”好的,那我们接着往下看。

您总不至于停留在向量水平吧,那么下面要理解张量。按照“有序数组”这个路子,很多教科书是这样定义张量的:一个n维r阶张量由一组数组成,其中每个脚标取1至n的整数,所以共有n^r个数;如果用一个n×n-矩阵改变坐标系,则各需要做一个以a_ij的函数为系数的坐标变换。您还觉得这样的定义不难理解且方便吗?

如果理解了向量空间,那么要理解张量只需要再往前走一步,例如将域K上的两个向量空间V, W的张量积定义为它们的对偶空间上的所有K-双线性函数组成的空间,它同构于,也同构于。有了张量积就很容易定义张量了。这样直接从“what”层面理解,显然容易得多也简单得多。还值得指出,一般不能说定义的对错,只能说定义的优劣。一个好的定义能够揭示客观存在或自然规律,启迪思维,引导有意义的研究方向。

在极端的情形,甚至一个好的定义就解决了问题。遗憾的是很多定义有缺陷。有的教科书将直观当作定义,毫无科学严谨性可言,有些还颇为费解,或语义含混,或几乎是同义反复,这些都是误人子弟。有些定义虽然严谨,但没有背景,不自然,在极端的情形甚至所定义的东西根本不存在。尽管由这样的定义可以推导出一些定理,可以写论文发表,但对科学并无贡献,也不会有应用,只是逻辑游戏而已。

还有一类情形,虽然所定义的对象是客观存在且值得研究的,但定义的条件复杂或费解,尤其不利于初学者。其中有些还可能导致偏见或心理障碍。由上所述可见,在数学教程中如何给出定义,经常是值得研究的。这是张景中先生所说的“教育数学”的一个课题。

UUID: bb9a4209-db31-4095-bd03-789c739bff66

原始文件名: /home/andie/dev/tudou/annot/AI语料库-20240917-V2/AI语料库/返朴公众号-pdf2txt/2021/返朴_2021-11-25_数学中的直观、定义与表达.txt

是否为广告: 否

处理费用: 0.0098 元