数学体系简单版

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

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

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

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

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

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

6、择公理： 拓扑学：Baire Category Theorem 实分析（测度理论） ：Lebesgue 不可测集的存在性 泛函分析四个主要定理： Hahn-Banach Extension Theorem, Banach-Steinhaus Theorem (Uniform boundedness principle), Open Mapping Theorem, Closed Graph Theorem 在集合论的基础上，现代数学有两大家族：分析(Analysis)和代数(Algebra)。至于其它的，比 如几何和概率论，在古典数学时代，它们是和代 数并列的，但是它们的现代版本则基本是 建立

7、在分析或者代数的基础上，因此从现代意义说，它们和分析与代数并不是平行的关系。 分析：在极限基础上建立的宏伟大厦 微积分：分析的古典时代从牛顿到柯西 先说说分析(Analysis)吧， 它是从微积分(Caculus)发展起来 的这也是有些微积分教材名字 叫“数学分析”的原因。不过，分析的范畴远不只是这些，我们在大学一年级学习的微积分只 能算是对古典分析的入门。分析研究 的对象很多，包括导数(derivatives)，积分(integral)， 微分方程(differential equation)，还有级数(infinite series)这些基本的概念，在初等的微积 分里面都有介绍。如果说有一

8、个思想贯穿其中，那就是极限这是整个分析（不仅仅是微 积分）的灵魂。 一个很多人都听说过的故事， 就是牛顿(Newton)和莱布尼茨 (Leibniz)关于微积分发明权的争 论。事实上，在他们的时代，很多微积分的工具开始运用在科学和工程之中，但是，微积分 的基础并没有真正建立。那个 长时间一直解释不清楚的“无穷小量”的幽灵，困扰了数学界 一百多年的时间这就是“第二次数学危机”。直到柯西用数列极限的观点重新建立了微积 分的基本 概念，这门学科才开始有了一个比较坚实的基础。直到今天，整个分析的大厦还 是建立在极限的基石之上。 柯西(Cauchy)为分析的发展提供了一种严密的语言，但是他并没有解决微

9、积分的全部问题。 在 19 世纪的时候，分析的世界仍然有着一些挥之不去的乌云。而其中最重要的一个没有解 决的是“函数是否可积的问题”。 我们在现在的微积分 课本中学到的那种通过“无限分割区间， 取矩阵面积和的极限”的积分，是大约在 1850 年由黎曼(Riemann)提出的，叫做黎曼积分。 但是，什么函数存 在黎曼积分呢（黎曼可积）？数学家们很早就证明了，定义在闭区间内 的连续函数是黎曼可积的。可是，这样的结果并不令人满意，工程师们需要对分段连续函数 的 函数积分。 实分析：在实数理论和测度理论上建立起现代分析 在 19 世纪中后期， 不连续函数的可积性问题一直是分析的重要课题。 对于定义在

10、闭区间上 的黎曼积分的研究发现，可积性的关键在于“不连续的点足够少”。只有有限处不连续的函数 是可积的，可是很多有数学家们构造出很多在无限处不连续的 可积函数。显然，在衡量点 集大小的时候，有限和无限并不是一种合适的标准。在探讨“点集大小”这个问题的过程中， 数学家发现实数轴这个他们曾经以为已 经充分理解的东西有着许多他们没有想到 的特性。在极限思想的支持下，实数理论在这个时候被建立起来，它的标志是对实数完备性 进行刻画的几条等价的定理 （确界定理，区间套定理，柯西收敛定理，Bolzano-Weierstrass Theorem 和 Heine-Borel Theorem 等等）这些定理明确表

11、达出实数和有理数的根本区别： 完备性（很不严格的说，就是对极限运算封闭） 。随着对实数认识的深入，如何测量“点 集 大小”的问题也取得了突破，勒贝格创造性地把关于集合的代数，和 Outer content（就是“外 测度”的一个雏形）的概念结合起来，建立了测度理论(Measure Theory)，并且进一步建立了 以测度为基础的积分勒贝格(Lebesgue Integral)。在这个新的积分概念的支持下，可积性 问题变得一目了然。 上面说到的实数理论，测度理论和勒贝格积分，构成了我们现在称为实分析 (Real Analysis) 的数学分支，有些书也叫实变函数论。对于应用科学来说，实分析似乎没

12、有古典微积分那么 “实用”很难直接基于它得到什么算法。而且， 它要解决的某些“难题”比如处处不连 续的函数，或者处处连续而处处不可微的函数在工程师的眼中，并不现实。但是，我认 为，它并不是一种纯数学概念 游戏，它的现实意义在于为许多现代的应用数学分支提供坚 实的基础。下面，我仅仅列举几条它的用处： 黎曼可积的函数空间不是完备的，但是勒贝格可积的函数空间是完备的。简单的 说，一个 黎曼可积的函数列收敛到的那个函数不一定是黎曼可积的， 但是勒贝格可积的函数列必定收 敛到一个勒贝格可积的函数。 在泛函分析， 还有逼近理论中， 经 常需要讨论“函数的极限”， 或者“函数的级数”， 如果用黎曼积分的概念

13、， 这种讨论几乎不可想像。 我们有时看一些 paper 中提到 Lp 函数空间，就是基于勒 贝格积分。 勒贝格积分是傅立叶变换（这东西在工程中到处都是）的基础。很多关于信号处理的初等教 材，可能绕过了勒贝格积分，直接讲点面对实用的东西而不谈它的数学基础，但是，对于深 层次的研究问题特别是希望在理论中能做一些工作这并不是总能绕过去。 在下面，我们还会看到，测度理论是现代概率论的基础。 拓扑学：分析从实数轴推广到一般空间现代分析的抽象基础 随着实数理论的建立，大家开始把极限和连续推广到更一般的地方的分析。事实 上，很多 基于实数的概念和定理并不是实数特有的。 很多特性可以抽象出来， 推广到更一般的

14、空间里 面。对于实数轴的推广，促成了点集拓扑学(Point- set Topology)的建立。很多原来只存在于 实数中的概念， 被提取出来， 进行一般性的讨论。 在拓扑学里面， 有 4 个 C 构成了它的核心： Closed set（闭集合） 。在现代的拓扑学的公理化体系中，开集和闭集是最基本的概念。一切 从此引申。这两个概念是开区间和闭区间的推广，它们的根本地位，并不是 一开始就被认 识到的。经过相当长的时间，人们才认识到：开集的概念是连续性的基础，而闭集对极限运 算封闭而极限正是分析的根基。 Continuous function （连续函数） 。 连续函数在微积分里面有个用 epsil

15、on-delta 语言给出的定 义，在拓扑学中它的定义是“开集的原像是开集的函数”。第二个定义和第 一个是等价的， 只是用更抽象的语言进行了改写。我个人认为，它的第三个（等价）定义才从根本上揭示连 续函数的本质“连续函数是保持极限运算的函数” 比如y是数列x1, x2, x3, 的极限， 那么如果 f 是连续函数，那么 f(y) 就是 f(x1), f(x2), f(x3), 的极限。连续函数的重要性，可 以从别的分支学科中进行类比。比如群论中，基础的运算是“乘法”，对于群，最重要的映射 叫“同态映射”保持“乘法”的 映射。在分析中，基础运算是“极限”，因此连续函数在分析 中的地位，和同态映射

16、在代数中的地位是相当的。 Connected set （连通集合） 。比它略为窄一点的概念叫(Path connected)，就是集合中任意两 点都存在连续路径相连可能是一般人理解的概念。 一般意义下的连通概念稍微抽象一些。 在我看来，连通性有两个重 要的用场：一个是用于证明一般的中值定理(Intermediate Value Theorem)，还有就是代数拓扑，拓扑群论和李群论中讨论根本群(Fundamental Group)的阶。 Compact set（紧集） 。Compactness 似乎在初等微积分里面没有专门出现，不过有几条实数 上的定理和它其实是有关系的。比如，“有界数列必然存在收敛子 列”用 compactness 的语言来说就是“实数空间中有界闭集是紧的”。它在拓扑学中的一般定义是一个听上去 比较抽象的东西“紧集的任意 开覆盖存在有限子覆盖”。这个定义在讨论拓扑学的定理 时很方便，它在很多时候能帮助实现从无限到有限的转换。对于分析来说