数学是什么
数学是绝大多数人学得最多的一门功课,但对于"数学是什么?"这一看来很普通的问题,却很难一下子给出一个使公众满意的回答。按照恩格斯的说法,数学是以现实世界的空间形式和数量关系为研究对象的。尽管人们现在对空间形式和数量关系的理解已经大大深化和拓展了,但作为一种哲学的概括,恩格斯的这一论断应该说并没有过时,也便于向公众表述并为公众所接受。然而,要真正深入地回答"数学是什么?"这个问题,不能仅仅从定义出发,而必须涉及数学的具体内涵,作一些比较深入的解释和说明,才能达到使人信服的效果。但是,要这样做,会常常碰到下面两个似乎难以克服的技术上的困难。
两个难点
- 数学内涵的展现离不开众多的术语、记号和公式。在公众对有关的数学内涵产生兴趣并开始有所领悟之前,很可能早已为这些术语、记号和公式搞得晕头转向甚至望而却步了。
- 数学内涵的展现同样离不开必要的逻辑推理。推理若过分严密,很难引起公众的兴趣;但若过于粗疏,语焉不详,则又易使人不得要领。
本专栏前期更新内容
前期不会更新太多的术语、记号和公式,对有用的数学概念及内涵一律用简明而生动的语言来介绍,看似如数学家珍,娓娓道来,但举重若轻,高层建筑,反而更好地揭示了本质。一开始会讲数学建模,指出数学研究的对象只是有关现实世界的数学模型,同时,指出有关的数学模型并不真正是相应的现实世界,而只是它的一个近似的代表与反映。本专栏反复强调并解释的是他的一个基本的观点:对于数学,不要间它是什么,而只要问它能做什么。这一抽象化的思考方法,将重点放在数学内部体系的相容性,强调新的数学概念、方法与内容和已有的数学体系应自然地融为一体,强调要将有关的数学内容脱离其物理上的实在、变为符合一些特定规则的记号,就会更利于应用,更利于正确地理解高等的数学。
希尔伯特空间
20世纪初,伟大的数学家大卫•希尔伯特发现,有很多数学中的重要论点在结构上十分类似。他意识到,在适当的广义范畴下,这些论点事实上可以视为等同。与此类似的一系列发现为一个崭新的数学分支开启了大门。而这一新领域中的一个核心概念---希尔伯特空间一-正是以希尔伯特的名字来命名的,这一概念使许许多多的现代数学研究变得清晰,范围之广包括了从数论直到量子力学各个分支,以至于如果你对希尔伯特空间的基本理论一无所知,你就根本不能算是一名受过良好教育的数学家。
什么是希尔伯特空间
在典型的高校数学课程中,它被定义为"完备的内积空间"。修读这样一门课程的学生,理应从先修课程中了解到,所谓"内积空间"是指配备了内积的向量空间,而所谓"完备"是指空间中任意柯西列都收敛。当然,要想理解这样的定义,学生还必须知道"向量空间"、"内积"、"柯西列"和"收敛"的定义。就拿其中一个举例来说(这还并不是最长的一个):序列X1,X2,X3,...若满足对于任意正数 ∈ \in ∈,总存在整数N,使得对于任意大于N的整数p和g, x p x_p xp与 x q x_q xq,间的距离不大于 ∈ \in ∈,则称这个序列为柯西列。
怎么快速了解希尔伯特空间
你就必须首先学习并且消化一系列由低到高、等级分明的较低级概念。毫无疑问这需要耗费时间和精力。对于许多最重要的数学思想来说都是这样。有鉴于此,要写一本书提供对数学的简单易懂的介绍,其所能达到的目标就极为有限,更何况这本书还需要写得很短,本专栏前期内容为笔者阅读数学这本书的理解,部分内容为书上原文。
两种人
我没有选择用更聪明的办法绕着这个难题走,而是集中关注数学交流中另一重完全不同的障碍。这重障碍并非技术性的,而更多属于哲学性质的。它区分开了两种人:一种人乐于接受诸如无穷大、负一的平方根、第二十六维和弯曲空间这样的概念,另一种人则觉得这些概念荒诞不经。其实无须沉浸在技术细节中,依然有可能坦然接受这些思想,我将努力表明如何做到这一点。