《Strongart数学笔记：数学哲学三篇（论数学中的differance等）》.pdf

论数学中的differance 数学中没有不动点。 ——Strongart 要说数学的本质是什么，非专业人士一般可能会说是计算，而专 业人士则说是证明，但数学家Hardy却说数学中无所谓证明。我们只 是在指指点点而已，这个见解不错，只是稍微弱了一点，数学家 Strongart发现法国哲学家Derrida提出的differance更适合作为 数学的本质。 所谓differance是哲学家Derrida创造的一个新词，中文一般 翻译成延异或异延。Derrida并不是数学家。他主要是从文本解释学 的角度来谈的，大意就是说一种涵义的差别，但这个差别又不是纯粹 的不同，而是包含着一种意义的延续性关系，因此他便把difference 中的第二个e换成a，生造出了一个新词differance. 这个 differance的重要效果就是去中心化，原始文本中的任何一点都可 以做为新的意义中心进行展开，而理论的发展就是一个不断展开的过 程。 打个通俗的比方，这就好比是一部小说，你不但可以写的它续作 或前传，还可以随便选个人物X，哪怕他次要到连出场机会都没有， 只是被角色对话中被随口提及，都可以写一部与原作若即若离的关于 X的外传，只要这个外传充分完美，甚至还可能取代原作的中心地位。 在数学中的情况也是类似的，随便哪一个概念，哪怕只是一个非常边 缘化的例子，只要有数学家能够发展处新的含义，那么在理论上都可 以重新复活，成为数学发展的新的中心。在数学史也确实有很多类似 的例子，Grothendieck用scheme语言重新代数几何就是一个典型， Robinson用现代数理逻辑复活了极限理论无穷小方法创立非标准分 析也是一个跨越历史的实例。 我们可以重新对传统的数学发展观做一番考察，传统观念认为数 学就是一种直线式的发展，所有的分叉都是在公认的岔道口上，最后 的成就就只是百尺竿头更进一步而已。在这个传统下的数学老师，总 是会提醒学生要抓关键追前沿，不要钻牛角尖误入歧途，甚至常常因 为冒进使得竹竿处在脆弱的中空状态。可实际上，很多创新都是从侧 面诞生的，在大多数人不太留意的地方，数学家就能够发现新的意义 中心，然后延出新的概念来，比如数学家Strongart提出的S-divisor 就属于此类。遗憾的是，这一点往往被传统学者忽视，他们就是视觉 范围就仅限于一个狭隘的角落，常常把侧面的新发现当成了基础不 好，没有抓不住理论中的关键点。 最后来谈一下高级数学观，在数学家Strongart的眼中，所有的 数学理论都是可以推敲的乃至重构，数学中是没有不动点的。所有的 数学理论都在不停的发展着，这个发展过程的本质可以用differance 来概括，一般新的理论发展得比较快，可以说是晶体般的生长的，旧 理论哪怕已经成为化石，也还保留着重新生长的可能。 论现代数学中的公理化方法 很多人想必都知道，现代数学的一个特点就是它非常抽象，已经 远远脱离了原先的直观意义，那么它是如何达到这个抽象境界的呢？ 我想，其中一个最重要的方法就是公理化，它不只是对既成成果的总 结，而且还是创造新概念的一个动机。 公理化方面的最常见的版本就是从性质到公理，先发掘某个问题 的典型性质，然后把它当成公理，这样就得到一个更高层次的概念， 可以包容更多具有此性质的对象。我们对乘法进行公理化，就可以得 到群的概念，要是再引入加法，那就可以得到环。事实上，几乎整个 抽象代数都是公理化的产物，它把公理当成通常的数学对象来处理， 反倒是不那么引人注目了。可像泛函分析这样的学科，恰恰位于公理 对象与具体对象之间，因此我们经常在这两个方面徘徊。比如说对于 一个Hilbert space，当它无穷维可分的时候，既可以作为一个可数 集上的抽象Hilbert space进行处理，又可以用它的模型l2来替代。 公理化在升华数学概念的时候，常常会丢掉一些不便处理的东 西。这里我以度量空间作为例子做个说明，它实际是距离这个概念的 公理化，把非负、对称与三角性这三个典型性质直接定义为公理，但 作为公理化的度量空间是否包括了所有的距离呢？请看一个单位立 方体，取不共面的两条棱，它们所在的直线间的距离是1，再找第三 条之间与它相交（或者充分靠近），显然这里直线之间的距离并不满 足三角不等式！仔细体会一下的话，可以发现度量空间中升华出来的 距离只是点点距离，而不能包含集合之间的距离。 事实上，数学概念的公理化过程在不断升华的同时，也在不断抛 弃一下枝节概念，前者