数学体系小结

《数学体系小结》由会员分享，可在线阅读，更多相关《数学体系小结（8页珍藏版）》请在金锄头文库上搜索。

1、在过去的一年中，我一直在数学的海洋中游荡，research 进展不多，对于数学世 界的阅历算是有了一些长进。 为什么要深入数学的世界为什么要深入数学的世界 作为计算机的学生，我没有任何企图要成为一个数学家。我学习数学的目的，是 要 想爬上巨人的肩膀，希望站在更高的高度，能把我自己研究的东西看得更深 广一些。说起来，我在刚来这个学校的时候，并没有预料到我将会有一个深入数 学的旅 程。我的导师最初希望我去做的题目，是对 appearance 和 motion 建立 一个 unified 的 model。这个题目在当今 Computer Vision 中百花齐放的世界中 并没有任何特别的地方。事实上

2、，使用各种 Graphical Model 把各种东西联合在 一起 framework，在近年的论文中并不少见。 我不否认现在广泛流行的 Graphical Model 是对复杂现象建模的有力工具， 但是， 我认为它不是 panacea，并不能取代对于所研究的问题的深入的钻研。如果统计 学习包治百病，那么很多 “下游”的学科也就没有存在的必要了。事实上，开始 的时候，我也是和 Vision 中很多人一样，想着去做一个 Graphical Model我 的导师指出，这样的做法只是重复一些标准的流程，并没有很大的价值。经过很 长时间的反复，另外一个路径慢慢被确立下来我们相信，一个 图像是通过 大量

3、“原子”的某种空间分布构成的，原子群的运动形成了动态的可视过程。微观 意义下的单个原子运动，和宏观意义下的整体分布的变换存在着深刻的 联系 这需要我们去发掘。 在深入探索这个题目的过程中，遇到了很多很多的问题，如何描述一个一般的运 动过程，如何建立一个稳定并且广泛适用的原子表达，如何刻画微观运动和宏观 分布变换的联系，还有很多。在这个过程中，我发现了两个事情： 我原有的数学基础已经远远不能适应我对这些问题的深入研究。 在数学中，有很多思想和工具，是非常适合解决这些问题的，只是没有被 很多的应用科学的研究者重视。 于是，我决心开始深入数学这个浩瀚大海，希望在我再次走出来的时候，我已经 有了更强大

4、的武器去面对这些问题的挑战。 我的游历并没有结束， 我的视野相比于这个博大精深的世界的依旧显得非常狭窄。 在这里，我只是说说，在我的眼中，数学如何一步步从初级向高级发展，更高级 别的数学对于具体应用究竟有何好处。 集合论：现代数学的集合论：现代数学的共同基础共同基础 现代数学有数不清的分支，但是，它们都有一个共同的基础集合论因为 它，数学这个庞大的家族有个共同的语言。集合论中有一些最基本的概念：集合 (set)，关系(relation)，函数(function)，等价 (equivalence)，是在其它数学分支 的语言中几乎必然存在的。对于这些简单概念的理解，是进一步学些别的数学的 基础。我

5、相信，理工科大学生对于 这些都不会陌生。 不过，有一个很重要的东西就不见得那么家喻户晓了那就是“选择公理” (Axiom of Choice)。这个公理的意思是“任意的一群非空集合，一定可以从每个 集合中各拿出一个元素。”似乎是显然得不能再显然的命题。不过，这个貌 似平常 的公理却能演绎出一些比较奇怪的结论，比如巴拿赫-塔斯基分球定理 “一个球，能分成五个部分，对它们进行一系列刚性变换（平移旋转）后， 能组合成两个一样大小一样大小的球”。正因为这些完全有悖常识的结论，导致数学界曾 经在相当长时间里对于是否接受它有着激烈争论。现在，主流数学家对于它应该 是基本接受的，因为很多数学分支的重要定理都

6、依赖于它。在我们后面要回说到 的学科里面，下面的定理依赖于选择公理： 1. 拓扑学：Baire Category Theorem 2. 实分析（测度理论）：Lebesgue 不可测集的存在性 3. 泛函分析四个主要定理：Hahn-Banach Extension Theorem, Banach-Steinhaus Theorem (Uniform boundedness principle), Open Mapping Theorem, Closed Graph Theorem 在集合论的基础上，现代数学有两大家族：分析在集合论的基础上，现代数学有两大家族：分析(Analysis)和代数和代数

7、(Algebra)。 至于其它的，比如几何和概率论，在古典数学时代，它们是和代数并列的，但是 它们的现代版本则基本是建立在分析或者代数的基础上，因此从现代意义说，它 们和分析与代数并不是平行的关系。 分析：在极限基础上建立的宏伟大厦分析：在极限基础上建立的宏伟大厦 微积分：分析的古典时代微积分：分析的古典时代从牛顿到柯西从牛顿到柯西 先说说分析(Analysis)吧，它是从微积分(Caculus)发展起来 的这也是有些微 积分教材名字叫“数学分析”的原因。不过，分析的范畴远不只是这些，我们在大 学一年级学习的微积分只能算是对古典分析的入门。分析研究 的对象很多，包 括导数(derivative

8、s)，积分(integral)，微分方程(differential equation)，还有级 数(infinite series)这些基本的概念，在初等的微积分里面都有介绍。如果说 有一个思想贯穿其中， 那就是极限这是整个分析 （不仅仅是微积分） 的灵魂。 一个很多人都听说过的故事，就是牛顿(Newton)和莱布尼茨 (Leibniz)关于微积 分发明权的争论。事实上，在他们的时代，很多微积分的工具开始运用在科学和 工程之中，但是，微积分的基础并没有真正建立。那个 长时间一直解释不清楚 的“无穷小量”的幽灵，困扰了数学界一百多年的时间这就是“第二次数学危 机”。直到柯西用数列极限的观点重新建

9、立了微积分的基本 概念，这门学科才开 始有了一个比较坚实的基础。直到今天，整个分析的大厦还是建立在极限的基石 之上。 柯西(Cauchy)为分析的发展提供了一种严密的语言，但是他并没有解决微 积分 的全部问题。在 19 世纪的时候，分析的世界仍然有着一些挥之不去的乌云。而 其中最重要的一个没有解决的是“函数是否可积的问题”。我们在现在的微积分 课本中学到的那种通过“无限分割区间，取矩阵面积和的极限”的积分，是大约在 1850 年由黎曼(Riemann)提出的，叫做黎曼积分。但是，什么函数存 在黎曼积 分呢（黎曼可积）？数学家们很早就证明了，定义在闭区间内的连续函数是黎曼 可积的。可是，这样的结

10、果并不令人满意，工程师们需要对分段连续函数的 函 数积分。 实分析：在实数理论和测度理论上建立起现代分析实分析：在实数理论和测度理论上建立起现代分析 在 19 世纪中后期，不连续函数的可积性问题一直是分析的重要课题。对于定义 在 闭区间上的黎曼积分的研究发现，可积性的关键在于“不连续的点足够少”。 只有有限处不连续的函数是可积的， 可是很多有数学家们构造出很多在无限处不 连续的 可积函数。显然，在衡量点集大小的时候，有限和无限并不是一种合适 的标准。在探讨“点集大小”这个问题的过程中，数学家发现实数轴这个他们 曾经以为已 经充分理解的东西有着许多他们没有想到的特性。在极限思想 的支持下，实数理

11、论在这个时候被建立起来，它的标志是对实数完备性进行刻画 的几条等价的定理 （确界定理， 区间套定理， 柯西收敛定理， Bolzano-Weierstrass Theorem 和 Heine-Borel Theorem 等等） 这些定理明确表达出实数和有理数 的根本区别：完备性（很不严格的说，就是对极限运算封闭）。随着对实数认识 的深入，如何测量“点 集大小”的问题也取得了突破，勒贝格创造性地把关于集 合的代数，和 Outer content（就是“外测度”的一个雏形）的概念结合起来，建 立了测度理论(Measure Theory)，并且进一步建立了以测度为基础的积分勒 贝格(Lebesgue

12、Integral)。在这个新的积分概念的支持下，可积性问题变得一目 了然。 上面说到的实数理论，测度理论和勒贝格积分，构成了我们现在称为实分析 (Real Analysis)的数学分支，有些书也叫实变函数论。对于应用科学来说，实分 析似乎没有古典微积分那么“实用”很难直接基于它得到什么算法。 而且， 它 要解决的某些“难题”比如处处不连续的函数，或者处处连续而处处不可微的 函数在工程师的眼中，并不现实。但是，我认为，它并不是一种纯数学概念 游戏，它的现实意义在于为许多现代的应用数学分支提供坚实的基础。下面，我 仅仅列举几条它的用处： 1. 黎曼可积的函数空间不是完备的，但是勒贝格可积的函数空间

13、是完备的。 简单的 说，一个黎曼可积的函数列收敛到的那个函数不一定是黎曼可积 的，但是勒贝格可积的函数列必定收敛到一个勒贝格可积的函数。在泛函 分析， 还有逼近理论中， 经 常需要讨论“函数的极限”， 或者“函数的级数”， 如果用黎曼积分的概念，这种讨论几乎不可想像。我们有时看一些 paper 中提到 Lp 函数空间，就是基于勒 贝格积分。 2. 勒贝格积分是傅立叶变换（这东西在工程中到处都是）的基础。很多关于 信号处理的初等教材，可能绕过了勒贝格积分，直接讲点面对实用的东西 而不谈它的数学基础，但是，对于深层次的研究问题特别是希望在理 论中能做一些工作这并不是总能绕过去。 3. 在下面，我们

14、还会看到，测度理论是现代概率论的基础。 拓扑学：分析从实数轴推广到一般空间拓扑学：分析从实数轴推广到一般空间现代分析的抽象基础现代分析的抽象基础 随着实数理论的建立，大家开始把极限和连续推广到更一般的地方的分析。事实 上，很多基于实数的概念和定理并不是实数特有的。很多特性可以抽象出来，推 广到更一般的空间里面。对于实数轴的推广，促成了点集拓扑学(Point- set Topology)的建立。很多原来只存在于实数中的概念，被提取出来，进行一般性 的讨论。在拓扑学里面，有 4 个 C 构成了它的核心： 1. Closed set（闭集合）。在现代的拓扑学的公理化体系中，开集和闭集是 最基本的概念

15、。一切从此引申。这两个概念是开区间和闭区间的推广，它 们的根本地位，并不是 一开始就被认识到的。经过相当长的时间，人们 才认识到：开集的概念是连续性的基础，而闭集对极限运算封闭而极 限正是分析的根基。 2. Continuous function （连续函数）。连续函数在微积分里面有个用 epsilon-delta 语言给出的定义，在拓扑学中它的定义是“开集的原像是开 集的函数”。第二个定义和第 一个是等价的，只是用更抽象的语言进行了 改写。我个人认为，它的第三个（等价）定义才从根本上揭示连续函数的 本质“连续函数是保持极限运算的函数” 比如 y 是数列 x1, x2, x3, 的极限， 那么

16、如果 f 是连续函数，那么 f(y) 就是 f(x1), f(x2), f(x3), 的极限。连续函数的重要性，可以从别的分支学科中进行类比。 比如群论中，基础的运算是“乘法”，对于群，最重要的映射叫“同态映 射”保持“乘法”的 映射。在分析中，基础运算是“极限”，因此连续函 数在分析中的地位，和同态映射在代数中的地位是相当的。 3. Connected set （连通集合） 。 比它略为窄一点的概念叫(Path connected)， 就是集合中任意两点都存在连续路径相连可能是一般人理解的概念。 一般意义下的连通概念稍微抽象一些。在我看来，连通性有两个重 要的 用场：一个是用于证明一般的中值定理(Intermediate Value Theorem)， 还有就是代数拓扑， 拓扑群论和李群论中讨论根本群(Fundamental Group) 的阶。 4. Compact set（紧集）。Compa