大学数学重新理解系列之二现代数学的体系文档格式.docx
- 文档编号:15972038
- 上传时间:2022-11-17
- 格式:DOCX
- 页数:9
- 大小:26.63KB
大学数学重新理解系列之二现代数学的体系文档格式.docx
《大学数学重新理解系列之二现代数学的体系文档格式.docx》由会员分享,可在线阅读,更多相关《大学数学重新理解系列之二现代数学的体系文档格式.docx(9页珍藏版)》请在冰豆网上搜索。
【数学能交给人抽象思维,能抓住问题的本质和共性,而学习理解抽象代数就是非常好的方式,可惜哥不懂抽象代数啊。
。
说起来,我在刚来这个学校的时候,并没有预料到我将会有一个深入数学的旅程。
我的导师最初希望我去做的题目,是对appearance和motion建立一个unified的model。
这个题目在当今ComputerVision中百花齐放的世界中并没有任何特别的地方。
事实上,使用各种GraphicalModel把各种东西联合在一起framework,在近年的论文中并不少见。
我不否认现在广泛流行的GraphicalModel是对复杂现象建模的有力工具,可是,我认为它不是panacea,并不能取代对于所研究的问题的深入的钻研。
如果统计学习包治百病,那么很多“下游”的学科也就没有存在的必要了。
事实上,开始的时候,我也是和Vision中很多人一样,想着去做一个GraphicalModel——我的导师指出,这样的做法只是重复一些标准的流程,并没有很大的价值。
经过很长时间的重复,另外一个路径慢慢被确立下来——我们相信,一个图像是经过大量“原子”的某种空间分布构成的,原子群的运动形成了动态的可视过程。
微观意义下的单个原子运动,和宏观意义下的整体分布的变换存在着深刻的联系——这需要我们去发掘。
【她给出了需要解决研究问题,怎么用数学刻画这些问题。
在深入探索这个题目的过程中,遇到了很多很多的问题,如何描述一个一般的运动过程,如何建立一个稳定而且广泛适用的原子表示,如何刻画微观运动和宏观分布变换的联系,还有很多。
在这个过程中,我发现了两个事情:
∙我原有的数学基础已经远远不能适应我对这些问题的深入研究。
【数学在“高精尖”中的作用非常之大。
如果把数学比作一种编程语言,没有学习数学的人只会机器语言和汇编语言,而掌握了数学这一工具的人会c、java、matlab等,解决问题的效率和手段不可同日而语。
用汇编语言写出一个操作系统是多么不可思议的事情。
编程语言在进化,数学也是。
∙在数学中,有很多思想和工具,是非常适合解决这些问题的,只是没有被很多的应用科学的研究者重视。
【能够看看我之前的一篇日志“数学有什么用处?
【转】
(写这篇文章的人视眼很宽广)”】
于是,我决心开始深入数学这个浩瀚大海,希望在我再次走出来的时候,我已经有了更强大的武器去面对这些问题的挑战。
【数学能给她的研究工作提供强有力的武器。
我的游历并没有结束,我的视野相比于这个博大精深的世界的依旧显得非常狭窄。
在这里,我只是说说,在我的眼中,数学如何一步步从初级向高级发展,更高级别的数学对于具体应用究竟有何好处。
【数学的抽象(进化)与应用】
集合论:
现代数学的共同基础
现代数学有数不清的分支,可是,它们都有一个共同的基础——集合论——因为它,数学这个庞大的家族有个共同的语言。
集合论中有一些最基本的概念:
集合(set),关系(relation),函数(function),等价(equivalence),是在其它数学分支的语言中几乎必然存在的。
对于这些简单概念的理解,是进一步学些别的数学的基础。
我相信,理工科大学生对于这些都不会陌生。
【集合论是现代数学的基础,数学研究空间与关系,而空间是集合+结构,关系是空间到空间的映射(或推广)】
不过,有一个很重要的东西就不见得那么家喻户晓了——那就是“选择公理”(AxiomofChoice)。
这个公理的意思是“任意的一群非空集合,一定能够从每个集合中各拿出一个元素。
”——似乎是显然得不能再显然的命题。
不过,这个貌似平常的公理却能演绎出一些比较奇怪的结论,比如巴拿赫-塔斯基分球定理——“一个球,能分成五个部分,对它们进行一系列刚性变换(平移旋转)后,能组合成两个一样大小的球”。
正因为这些完全有悖常识的结论,导致数学界曾经在相当长时间里对于是否接受它有着激烈争论。
现在,主流数学家对于它应该是基本接受的,因为很多数学分支的重要定理都依赖于它。
在我们后面要回说到的学科里面,下面的定理依赖于选择公理:
1.拓扑学:
BaireCategoryTheorem
2.实分析(测度理论):
Lebesgue不可测集的存在性
3.泛函分析四个主要定理:
Hahn-BanachExtensionTheorem,Banach-SteinhausTheorem(Uniformboundednessprinciple),OpenMappingTheorem,ClosedGraphTheorem
【选择公理的强大之处,没有选择公理很多漂亮的定理就没有依据,但选择公理只是充分条件,不是必要条件;
如果能找到一个稍微弱一点的条件,也能建立这些体系,而不至于引入悖论,就很精彩了。
哥德尔不完备定理说了任何一个公理体系不能包含所有知识?
在集合论的基础上,现代数学有两大家族:
分析(Analysis)和代数(Algebra)。
至于其它的,比如几何和概率论,在古典数学时代,它们是和代数并列的,可是它们的现代版本则基本是建立在分析或者代数的基础上,因此从现代意义说,它们和分析与代数并不是平行的关系。
【代数和分析是现代数学的主流,概率和几何使用代数和分析的工具来解决其问题。
分析:
在极限基础上建立的宏伟大厦
微积分:
分析的古典时代——从牛顿到柯西
先说说分析(Analysis)吧,它是从微积分(Caculus)发展起来的——这也是有些微积分教材名字叫“数学分析”的原因。
不过,分析的范畴远不只是这些,我们在大学一年级学习的微积分只能算是对古典分析的入门。
分析研究的对象很多,包括导数(derivatives),积分(integral),微分方程(differentialequation),还有级数(infiniteseries)——这些基本的概念,在初等的微积分里面都有介绍。
如果说有一个思想贯穿其中,那就是极限——这是整个分析(不但仅是微积分)的灵魂。
【再强调一下:
极限是分析的灵魂!
!
也能够说分析的本质就是极限,欧拉的“无穷小分析引论”是数学的七大名著!
一个很多人都听说过的故事,就是牛顿(Newton)和莱布尼茨(Leibniz)关于微积分创造权的争论。
事实上,在她们的时代,很多微积分的工具开始运用在科学和工程之中,可是,微积分的基础并没有真正建立。
那个长时间一直解释不清楚的“无穷小量”的幽灵,困扰了数学界一百多年的时间——这就是“第二次数学危机”。
直到柯西用数列极限的观点重新建立了微积分的基本概念,这门学科才开始有了一个比较坚实的基础。
直到今天,整个分析的大厦还是建立在极限的基石之上。
【微积分的认识从莱布尼兹的无穷小=>
柯西数列序列=>
威尔斯特拉斯的epsilon,delta=>
罗宾逊的非标准分析(类似无穷小),一直都在围绕着无穷和极限来展开和前进。
柯西(Cauchy)为分析的发展提供了一种严密的语言,可是她并没有解决微积分的全部问题。
在19世纪的时候,分析的世界依然有着一些挥之不去的乌云。
而其中最重要的一个没有解决的是“函数是否可积的问题”。
我们在现在的微积分课本中学到的那种经过“无限分割区间,取矩阵面积和的极限”的积分,是大约在1850年由黎曼(Riemann)提出的,叫做黎曼积分。
可是,什么函数存在黎曼积分呢(黎曼可积)?
数学家们很早就证明了,定义在闭区间内的连续函数是黎曼可积的。
可是,这样的结果并不令人满意,工程师们需要对分段连续函数的函数积分。
【什么函数黎曼可积?
黎曼可积的充要条件是什么?
在实变函数中回答了此问题。
实分析:
在实数理论和测度理论上建立起现代分析
在19世纪中后期,不连续函数的可积性问题一直是分析的重要课题。
对于定义在闭区间上的黎曼积分的研究发现,可积性的关键在于“不连续的点足够少”。
只有有限处不连续的函数是可积的,可是很多有数学家们构造出很多在无限处不连续的可积函数。
显然,在衡量点集大小的时候,有限和无限并不是一种合适的标准。
在探讨“点集大小”这个问题的过程中,数学家发现实数轴——这个她们曾经以为已经充分理解的东西——有着许多她们没有想到的特性。
在极限思想的支持下,实数理论在这个时候被建立起来,它的标志是对实数完备性进行刻画的几条等价的定理(确界定理,区间套定理,柯西收敛定理,Bolzano-WeierstrassTheorem和Heine-BorelTheorem等等)——这些定理明确表示出实数和有理数的根本区别:
完备性(很不严格的说,就是对极限运算封闭)。
随着对实数认识的深入,如何测量“点集大小”的问题也取得了突破,勒贝格创造性地把关于集合的代数,和Outercontent(就是“外测度”的一个雏形)的概念结合起来,建立了测度理论(MeasureTheory),而且进一步建立了以测度为基础的积分——勒贝格(LebesgueIntegral)。
在这个新的积分概念的支持下,可积性问题变得一目了然。
【实变函数的基础是实数理论和测度类似集合的面积,实数的几个基本定理从拓扑上看将更加清晰。
实变函数研究的内容就是测度和可测函数的积分。
上面说到的实数理论,测度理论和勒贝格积分,构成了我们现在称为实分析(RealAnalysis)的数学分支,有些书也叫实变函数论。
对于应用科学来说,实分析似乎没有古典微积分那么“实用”——很难直接基于它得到什么算法。
而且,它要解决的某些“难题”——比如处处不连续的函数,或者处处连续而处处不可微的函数——在工程师的眼中,并不现实。
可是,我认为,它并不是一种纯数学概念游戏,它的现实意义在于为许多现代的应用数学分支提供坚实的基础。
下面,我仅仅列举几条它的用处:
1.黎曼可积的函数空间不是完备的,可是勒贝格可积的函数空间是完备的。
简单的说,一个黎曼可积的函数列收敛到的那个函数不一定是黎曼可积的,可是勒贝格可积的函数列必定收敛到一个勒贝格可积的函数。
在泛函分析,还有逼近理论中,经常需要讨论“函数的极限”,或者“函数的级数”,如果用黎曼积分的概念,这种讨论几乎不可想像。
我们有时看一些paper中提到Lp函数空间,就是基于勒贝格积分。
2.勒贝格积分是傅立叶变换(这东西在工程中到处都是)的基础。
很多关于信号处理的初等教材,可能绕过了勒贝格积分,直接讲点面对实用的东西而不谈它的数学基础,可是,对于深层次的研究问题——特别是希望在理论中能做一些工作——这并不是总能绕过去。
3.在下面,我们还会看到,测度理论是现代概率论的基础。
【实变函数的最重要的作用是为许多现代的应用数学分支提供坚实的基础。
完备性(极限运算的封闭性)是其目的】
拓扑学:
分析从实数轴推广到一般空间——现代分析的抽象基础
随着实数理论的建立,大家开始把极限和连续推广到更一般的地方的分析。
事实上,很多基于实数的概念和定理并不是实数特有的。
很多特性能够抽象出来,推广到更一般的空间里面。
对于实数轴的推广,促成了点集拓扑学(Point-setTopology)的建立。
很多原来只存在于实数中的概念,被提取出来,进行一般性的讨论。
在拓扑学里面,有4个C构成了它的核心:
1.Closedset(闭集合)。
在现代的拓扑学的公理化体系中,开集和闭集是最基本的概念。
一切从此引申。
这两个概念是开区间和闭区间的推广,它们的根本地位
- 配套讲稿:
如PPT文件的首页显示word图标,表示该PPT已包含配套word讲稿。双击word图标可打开word文档。
- 特殊限制:
部分文档作品中含有的国旗、国徽等图片,仅作为作品整体效果示例展示,禁止商用。设计者仅对作品中独创性部分享有著作权。
- 关 键 词:
- 大学 数学 重新 理解 系列 现代 体系