五千年(敝帚自珍)

主题:【原创】我们不谈数学(3)(草稿) -- jungleford

共:💬29 🌺112
全看树展主题 · 分页首页 上页
/ 2
下页 末页
家园 【原创】我们不谈数学(3)(草稿)

这个系列本来是打算明年有空才开始写,昨天突然吃饱了撑的心血来潮就胡扯了一通,算是个草稿,先预览一下。之所以编号是(3),因为前面有两篇处于只码了几个字的烂尾阶段。

声明几点,以下内容纯属低水平民科的粗制滥造作品,而且还是未完工的,未经认真考据,仅供娱乐八卦之用,千万不要传出去误人子弟。本版有好几位如“我爱莫扎特”等河友的比较严肃而出色的作品,请移步参观。

===================华丽的分割线===================

集合、逻辑与悖论

我注意到,西西河有个网友注册了个ID叫“肯定没有被注册”。这是个很有意思的现象。有意思在,一个本来没有任何实际意义,仅仅用来区别不同用户的ID,被赋予了“内容”:“肯定没有被注册”这是一个ID,就好比我在西西河或者的ID叫“jungleford”一样,本来应该是跟别的ID地位完全平等的符号,居然描述了这个ID的意义!我宣布,“肯定没有被注册”河友是河里的一条大鲨鱼,太可怕鸟……

(下面开始跑题,省略1K字……)

电影《黑客帝国》(The Matrix)描绘了“真相党”们所为之泪流满面的一个“真相世界”:我们看到的一切都是unreal,我们都被洗脑了,“信Neo,得真相;信真相,得永生”。然而另有一部知道的人可能远少于《黑客帝国》的电影,叫《第十三层楼》(The 13th Floor,港台翻译为《异次元骇客》),没看过的朋友请原谅jungleford稍微剧透一下下(因为刚看完马亲王的“再谈剧透的艺术”,1,2,3,大家跟我一起默念:“祥——瑞——御——免——”):某高科技实验室有一套无比牛B的虚拟现实系统(或者叫梦境系统,灵境系统),某天该实验室的一个科学家被杀,某帅哥成为嫌疑犯,帅哥发现科学家留下的字条说他发现了一个惊天秘密,他把秘密藏在实验室的虚拟系统当中,帅哥跑到装置中催眠,进入了虚拟系统,穿越到20世纪30年代,并且发现了两个人跟科学家及其老婆长得一模一样的两个人,经过多次穿越,帅哥知道了这个“惊天秘密”,他及其他所生活的这个世界也是虚拟出来的!帅哥绝望地开车来到了科学家“生前”所暗示的某个地点,在这个世界里,军方设置了一个障碍在这个地点说是“军事禁区”,任何人不得进入,然而当帅哥无视这一警告翻过去的时候,真的就看到了他所在的这个“世界”的边界!帅哥崩溃了,开始追杀科学家的老婆,当他就要得手的时候,突然穿越回了这个“世界”的创造者所在的那个高层世界,在这个高层世界里,他、科学家和科学家的老婆都活得好好的,就当一切尽在和谐中的时候,影片突然像显示器断电一般停止了,似乎在暗示这个“高层世界”也不过是另一个“更高层的世界”的虚拟作品而已。这个片我也大概是八九年前看的,细节记得不是很准确,请原谅。类似的故事还一再被小说家们演绎着,古龙在《萧十一郎》当中也构造了一个异曲同工的“玩偶世界”:萧十一郎在山庄的一个屋子里看到一个大型的盆景模型,有什么什么样的风景和人物,然后当他第二天醒过来推开房门一看傻眼了,外面的风景人物跟那个盆景模型一模一样,还以为自己真是格列佛到小人国来了,结果男猪脚经过冷静的分析,找到某个房间,推开门一看,盆景就原样摆在那儿,只不过是故意布置成外景的缩微罢了。

点看全图

外链图片需谨慎,可能会被源头改

(《第十三层楼》的海报)

按照这两部(或许还有其它若干部)片子,尤其是后一部片子的观点,所有“世界”都有一个超自然(这里的“自然”是指前面那个“世界”意义当中的自然)的“监视者世界”存在。类似地,对于一维空间(或者叫“一维世界”,“线世界”)中的没有大小“点生物”来说,它的意识里只有“前”“后”两个方向,“左”“右”对他们来说是无法理解的。如果这条“线”恰好位于某个二维空间上,一个不在这条线上的有长度的“线生物”或有面积但无厚度的“面生物”穿越这个“线空间”的时候,“点生物”将惊奇地宣布发现了一个超自然现象:有一个UFO如崂山道士般穿墙,对不起,应该是穿线而过,平白无故地出现,又平白无故地消失了!二维空间的“面生物”对着背后“点生物”窃笑,“嘿嘿,真是低等物种”,可是还没等它得意完,它又可能看到前方也出现了跟“点生物”看到的相似的景象:一个圆圈平白无故地出现了,慢慢变大,然后又慢慢变小,最后又平白无故地消失了!“面生物”惊呼:“哇靠!真的有UFO耶!”而一个“球生物”在这个二维世界的生物所不能理解的“上”方也在窃笑着……

(跑题结束,开始言归正传)

对于一个集合系统或者公理系统,数学家们也有类似的担忧:

※ 集合系统——“集合的集合”也被纳入(可数)集合的范畴,那么这么一直“集合”下去,到底有没有个头?有人说总有一个“所有集合的集合”,那么这个玩意算不算集合,如果算,那么它描述的内容和它自身是一个东西吗?有人说我要发疯再“集合”一次……NG!打住,你刚刚不是说了这是个头吗?都“所有集合的集合”了耶!哼哼,要你管,“集合”的定义没说不让我这么干,我偏就要来个

{“所有集合的集合”}

那这个玩意算什么,按照“所有集合的集合”的内容或者说意义,这个玩意应该也在里面呀,也就是这个玩意如果是个集合的话,它应该

{“所有集合的集合”}∈“所有集合的集合”

诶?各位河友应该都中学毕业了吧?(“哗啦——”,一框鸡蛋扔将上来,不带这么骂人滴)。收起雨伞,往地上甩了甩,像《我的团长我的团》里的阿译那样抬起右手把秀发往后一甩,继续——至少jungleford那会儿是在高一上学期学的集合基础知识,如果jungleford脑子还清醒的话,那么按照老师当年教的,明明应该是

“所有集合的集合”∈ {“所有集合的集合”}

才对口牙,集合的“包含”关系()可以交换(等集合的情况下),可还没听说“属于”关系可以交换;如果这玩意不是一个集合,那么更糟了,“集合”这个东西的定义就出了问题!苍天啊!分析(微积分之类)base在实数理论上,实数base在有理数基础上,有理数base在整数基础上,整数base在可数集合基础上,你tmd这会集合定义居然就出问题了,你还让偶们,哦对不起,不是偶们,是他们(包含真子集“她们”)数学家怎么混啊!以无懈可击的严密性和以“自然科学女王”自居的整个数学体系轰然倒塌ing~~~数学家们狠得牙根痒痒的,满脸杀气的问,“上面那个声称发疯的家伙是谁?”“康托尔,格奥尔格·康托尔,就是号称‘集合论之父’的那位。”座下一人答到。……一片寂静……“那么你又是谁?”数学家们又问。“伯兰特·罗素。”

※ 公理系统——数学家们又哆哆嗦嗦地来到了这里寻找安慰来了。前面那个小黑屋门虚掩着,上面挂了块牌匾,上书“公理”二字(靠,怎么看上去像国家信访局?),这个小黑屋看上去很结实,据说墙是纳米材料浇注的,大梁柱子的材质是自然界最硬的金刚石,躲在里面应该没什么可担心的。刚想推开门进去,从门里冲出一戴着眼镜身材可媲美骨感美女的哥们,冲大伙作了个揖,说:“大伙请回吧,这房子我看就一豆腐渣工程。”众怒!“我靠!你丫谁呀?!”“库尔特·哥德尔,25岁,维也纳大学博士。”

其实后面这个段子说的并不准确,这个房子的牌匾不能笼统的写“公理系统”,而应该写“形式公理系统”,也就是说,按希尔伯特老先生所构想的“形式化路线”是有问题的,再说得自白一点,就是那种“纯而又纯”“抽象得不能再抽象”的“小白兔数学”(我给起的名字)是有问题的。从小学开始,老师就跟我们说数学是其它自然科学的基础,她是一种抽象的工具,但是“第三次数学危机”却告诉我们,这种“抽象”不能是无限度的,它的研究对象必须具有某种程度上的“内容”。

回过头来看最开始那个“肯定没有被注册”网友,这个ID的“内容”可以作两种理解:一种是,描述这个ID被注册之前西西河的状态,即“肯定没有被注册”这个ID是肯定没有被注册的,那么,这个ID的意义在数理逻辑上来说就是一个重言式,也就是“废话”;相反的另一种理解,这个ID如果描述的是它被注册之后西西河的状态,那么麻烦就来了,“肯定没有被注册”明明已经存在了嘛,怎么能说是没有被注册呢?如果按照这种理解,就产生了逻辑意义上的悖论。偷偷瞟一眼铁老大,看到这里是不是也已经崩溃鸟?没准回家赶快把“肯定没有被注册”河友喀嚓了~~~

关键词(Tags): #肯定没有被注册(善良的恶霸地主)通宝推:胡丹青,frnkl,苍野,史文恭,

本帖一共被 5 帖 引用 (帖内工具实现)
家园 写这么多不容易哈

{“所有集合的集合”}∈“所有集合的集合”

貌似应该是:

{“所有集合的集合”}∈{“所有集合的集合”}

集合是可以做别的集合的元素的。而“所有集合的集合”在你的符号系统里面它应当不是一个什么东西

家园 有点晕~~
家园 支持

我最近几个月实在忙,没空更新,正好可以看看您的大作。

家园 接下来的一定要有插图哦

那么bach的赋格也是少不了的,期待期待!

家园 关键是能够定义清楚集体和个体的概念

实际上集合可以理解为世界上所有的事物以一个角度的投射留下的产物

比方说所有的男孩子----那就是以性别和人这两个角度对世界进行的投影

将射影几何学和集合论联系起来怎么样?

家园 什么是“世界上所有的事物”?

什么是“一个角度”?

什么是”投射“?

家园 所有的事物我们定义为满集

如同集合论中有空集一样,定义一个满集---集包括所有可能存在的事物的集合为满集

所谓投射,一般的数学意义上,指的是曲线、曲面或者多维体向一个或多个维度(我想在四次以上空间应该存在向两个以上维度的投射)的投射,投射的意思指的是忽略同维差异,比方说圆柱体和立方体朝着侧面投射的话,正面的差异就可以忽略

这个就如同世界上所有的人朝着20岁以上的人的角度(角度的概念显然也是广义的)投射的话,不管你是20随还是90岁,差异是被忽略的,都属于同一个集合)

而集合的投射的话,显然,要定义更广泛的维的概念,是否可以直接的使用代数学当中的空间的概念,我不太清楚,目前我的记性还很差,只能记住一些很基本很基本的东西,所以目前我是没有办法进行更细致的讨论的

家园 什么是满集?满集包含在满集里吗?

什么是曲线,曲面,多维体?什么是维度?什么空间?没有集合就没法定义这些。

什么是角度?

什么是维?

家园 您没有理解我的意思

我说到曲线,曲面,是举例来说明投射的概念

是用成熟了的数学成果中的概念来说明新的广义的投射的概念的内涵

要给出一个抽象的定义的话还是比较累人的,我只是初步的说一下罢了

等我记忆力更好了以后,更有精力的时候再说吧,反正这里也只是一个轻松的交流场所,可以不需要说得那么严密的

满集包含在满集里面,这个就如同无穷大和无穷大之间没有办法比较大小一样

家园 还是等楼主还解释解释

为什么“所有的集合的集合”不是一个集合吧。

我猜这也是楼主写这篇文章的原意吧。

家园 【文摘】在数学的海洋中飘荡

作者:Dahua

在过去的一年中,我一直在数学的海洋中游荡,research进展不多,对于数学世界的阅历算是有了一些长进。

为什么要深入数学的世界

作为计算机的学生,我没有任何企图要成为一个数学家。我学习数学的目的,是要想爬上巨人的肩膀,希望站在更高的高度,能把我自己研究的东西看得更深广一些。说起来,我在刚来这个学校的时候,并没有预料到我将会有一个深入数学的旅程。我的导师最初希望我去做的题目,是对appearance和motion建立一个unified的model。这个题目在当今Computer Vision中百花齐放的世界中并没有任何特别的地方。事实上,使用各种Graphical Model把各种东西联合在一起framework,在近年的论文中并不少见。

我不否认现在广泛流行的Graphical Model是对复杂现象建模的有力工具,但是,我认为它不是panacea,并不能取代对于所研究的问题的深入的钻研。如果统计学习包治百病,那么很多“下游”的学科也就没有存在的必要了。事实上,开始的时候,我也是和Vision中很多人一样,想着去做一个Graphical Model——我的导师指出,这样的做法只是重复一些标准的流程,并没有很大的价值。经过很长时间的反复,另外一个路径慢慢被确立下来——我们相信,一个图像是通过大量“原子”的某种空间分布构成的,原子群的运动形成了动态的可视过程。微观意义下的单个原子运动,和宏观意义下的整体分布的变换存在着深刻的联系——这需要我们去发掘。

在深入探索这个题目的过程中,遇到了很多很多的问题,如何描述一个一般的运动过程,如何建立一个稳定并且广泛适用的原子表达,如何刻画微观运动和宏观分布变换的联系,还有很多。在这个过程中,我发现了两个事情:

我原有的数学基础已经远远不能适应我对这些问题的深入研究。

在数学中,有很多思想和工具,是非常适合解决这些问题的,只是没有被很多的应用科学的研究者重视。

于是,我决心开始深入数学这个浩瀚大海,希望在我再次走出来的时候,我已经有了更强大的武器去面对这些问题的挑战。

我的游历并没有结束,我的视野相比于这个博大精深的世界的依旧显得非常狭窄。在这里,我只是说说,在我的眼中,数学如何一步步从初级向高级发展,更高级别的数学对于具体应用究竟有何好处。

集合论:现代数学的共同基础

现代数学有数不清的分支,但是,它们都有一个共同的基础——集合论——因为它,数学这个庞大的家族有个共同的语言。集合论中有一些最基本的概念:集合(set),关系(relation),函数(function),等价(equivalence),是在其它数学分支的语言中几乎必然存在的。对于这些简单概念的理解,是进一步学些别的数学的基础。我相信,理工科大学生对于这些都不会陌生。

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

拓扑学:Baire Category Theorem

实分析(测度理论):Lebesgue 不可测集的存在性

泛函分析四个主要定理:Hahn-Banach Extension Theorem, Banach-Steinhaus Theorem (Uniform boundedness principle), Open Mapping Theorem, Closed Graph Theorem

在集合论的基础上,现代数学有两大家族:分析(Analysis)和代数(Algebra)。至于其它的,比如几何和概率论,在古典数学时代,它们是和代数并列的,但是它们的现代版本则基本是建立在分析或者代数的基础上,因此从现代意义说,它们和分析与代数并不是平行的关系。

家园 【文摘】在数学的海洋中飘荡(二)

分析:在极限基础上建立的宏伟大厦

微积分:分析的古典时代——从牛顿到柯西

先说说分析(Analysis)吧,它是从微积分(Caculus)发展起来的——这也是有些微积分教材名字叫“数学分析”的原因。不过,分析的范畴远不只是这些,我们在大学一年级学习的微积分只能算是对古典分析的入门。分析研究的对象很多,包括导数(derivatives),积分(integral),微分方程(differential equation),还有级数(infinite series)——这些基本的概念,在初等的微积分里面都有介绍。如果说有一个思想贯穿其中,那就是极限——这是整个分析(不仅仅是微积分)的灵魂。

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

柯西(Cauchy)为分析的发展提供了一种严密的语言,但是他并没有解决微积分的全部问题。在19世纪的时候,分析的世界仍然有着一些挥之不去的乌云。而其中最重要的一个没有解决的是“函数是否可积的问题”。我们在现在的微积分课本中学到的那种通过“无限分割区间,取矩阵面积和的极限”的积分,是大约在1850年由黎曼(Riemann)提出的,叫做黎曼积分。但是,什么函数存在黎曼积分呢(黎曼可积)?数学家们很早就证明了,定义在闭区间内的连续函数是黎曼可积的。可是,这样的结果并不令人满意,工程师们需要对分段连续函数的函数积分。

实分析:在实数理论和测度理论上建立起现代分析

在19世纪中后期,不连续函数的可积性问题一直是分析的重要课题。对于定义在闭区间上的黎曼积分的研究发现,可积性的关键在于“不连续的点足够少”。只有有限处不连续的函数是可积的,可是很多有数学家们构造出很多在无限处不连续的可积函数。显然,在衡量点集大小的时候,有限和无限并不是一种合适的标准。在探讨“点集大小”这个问题的过程中,数学家发现实数轴——这个他们曾经以为已经充分理解的东西——有着许多他们没有想到的特性。在极限思想的支持下,实数理论在这个时候被建立起来,它的标志是对实数完备性进行刻画的几条等价的定理(确界定理,区间套定理,柯西收敛定理,Bolzano-Weierstrass Theorem和Heine-Borel Theorem等等)——这些定理明确表达出实数和有理数的根本区别:完备性(很不严格的说,就是对极限运算封闭)。随着对实数认识的深入,如何测量“点集大小”的问题也取得了突破,勒贝格创造性地把关于集合的代数,和Outer content(就是“外测度”的一个雏形)的概念结合起来,建立了测度理论(Measure Theory),并且进一步建立了以测度为基础的积分——勒贝格(Lebesgue Integral)。在这个新的积分概念的支持下,可积性问题变得一目了然。

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

黎曼可积的函数空间不是完备的,但是勒贝格可积的函数空间是完备的。简单的说,一个黎曼可积的函数列收敛到的那个函数不一定是黎曼可积的,但是勒贝格可积的函数列必定收敛到一个勒贝格可积的函数。在泛函分析,还有逼近理论中,经常需要讨论“函数的极限”,或者“函数的级数”,如果用黎曼积分的概念,这种讨论几乎不可想像。我们有时看一些paper中提到Lp函数空间,就是基于勒贝格积分。

勒贝格积分是傅立叶变换(这东西在工程中到处都是)的基础。很多关于信号处理的初等教材,可能绕过了勒贝格积分,直接讲点面对实用的东西而不谈它的数学基础,但是,对于深层次的研究问题——特别是希望在理论中能做一些工作——这并不是总能绕过去。

在下面,我们还会看到,测度理论是现代概率论的基础。

拓扑学:分析从实数轴推广到一般空间——现代分析的抽象基础

随着实数理论的建立,大家开始把极限和连续推广到更一般的地方的分析。事实上,很多基于实数的概念和定理并不是实数特有的。很多特性可以抽象出来,推广到更一般的空间里面。对于实数轴的推广,促成了点集拓扑学(Point-set Topology)的建立。很多原来只存在于实数中的概念,被提取出来,进行一般性的讨论。在拓扑学里面,有4个C构成了它的核心:

Closed set(闭集合)。在现代的拓扑学的公理化体系中,开集和闭集是最基本的概念。一切从此引申。这两个概念是开区间和闭区间的推广,它们的根本地位,并不是一开始就被认识到的。经过相当长的时间,人们才认识到:开集的概念是连续性的基础,而闭集对极限运算封闭——而极限正是分析的根基。

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

Connected set (连通集合)。比它略为窄一点的概念叫(Path connected),就是集合中任意两点都存在连续路径相连——可能是一般人理解的概念。一般意义下的连通概念稍微抽象一些。在我看来,连通性有两个重要的用场:一个是用于证明一般的中值定理(Intermediate Value Theorem),还有就是代数拓扑,拓扑群论和李群论中讨论根本群(Fundamental Group)的阶。

Compact set(紧集)。Compactness似乎在初等微积分里面没有专门出现,不过有几条实数上的定理和它其实是有关系的。比如,“有界数列必然存在收敛子列”——用compactness的语言来说就是——“实数空间中有界闭集是紧的”。它在拓扑学中的一般定义是一个听上去比较抽象的东西——“紧集的任意开覆盖存在有限子覆盖”。这个定义在讨论拓扑学的定理时很方便,它在很多时候能帮助实现从无限到有限的转换。对于分析来说,用得更多的是它的另一种形式——“紧集中的数列必存在收敛子列”——它体现了分析中最重要的“极限”。Compactness在现代分析中运用极广,无法尽述。微积分中的两个重要定理:极值定理(Extreme Value Theory),和一致收敛定理(Uniform Convergence Theorem)就可以借助它推广到一般的形式。

从某种意义上说,点集拓扑学可以看成是关于“极限”的一般理论,它抽象于实数理论,它的概念成为几乎所有现代分析学科的通用语言,也是整个现代分析的根基所在。

微分几何:流形上的分析——在拓扑空间上引入微分结构

拓扑学把极限的概念推广到一般的拓扑空间,但这不是故事的结束,而仅仅是开始。在微积分里面,极限之后我们有微分,求导,积分。这些东西也可以推广到拓扑空间,在拓扑学的基础上建立起来——这就是微分几何。从教学上说,微分几何的教材,有两种不同的类型,一种是建立在古典微机分的基础上的“古典微分几何”,主要是关于二维和三维空间中的一些几何量的计算,比如曲率。还有一种是建立在现代拓扑学的基础上,这里姑且称为“现代微分几何”——它的核心概念就是“流形”(manifold)——就是在拓扑空间的基础上加了一套可以进行微分运算的结构。现代微分几何是一门非常丰富的学科。比如一般流形上的微分的定义就比传统的微分丰富,我自己就见过三种从不同角度给出的等价定义——这一方面让事情变得复杂一些,但是另外一个方面它给了同一个概念的不同理解,往往在解决问题时会引出不同的思路。除了推广微积分的概念以外,还引入了很多新概念:tangent space, cotangent space, push forward, pull back, fibre bundle, flow, immersion, submersion 等等。

近些年,流形在machine learning似乎相当时髦。但是,坦率地说,要弄懂一些基本的流形算法, 甚至“创造”一些流形算法,并不需要多少微分几何的基础。对我的研究来说,微分几何最重要的应用就是建立在它之上的另外一个分支:李群和李代数——这是数学中两大家族分析和代数的一个漂亮的联姻。分析和代数的另外一处重要的结合则是泛函分析,以及在其基础上的调和分析。

家园 【文摘】在数学的海洋中飘荡(三)

代数:一个抽象的世界

关于抽象代数

回过头来,再说说另一个大家族——代数。

如果说古典微积分是分析的入门,那么现代代数的入门点则是两个部分:线性代数(linear algebra)和基础的抽象代数(abstract algebra)——据说国内一些教材称之为近世代数。

代数——名称上研究的似乎是数,在我看来,主要研究的是运算规则。一门代数,其实都是从某种具体的运算体系中抽象出一些基本规则,建立一个公理体系,然后在这基础上进行研究。一个集合再加上一套运算规则,就构成一个代数结构。在主要的代数结构中,最简单的是群(Group)——它只有一种符合结合率的可逆运算,通常叫“乘法”。如果,这种运算也符合交换率,那么就叫阿贝尔群(Abelian Group)。如果有两种运算,一种叫加法,满足交换率和结合率,一种叫乘法,满足结合率,它们之间满足分配率,这种丰富一点的结构叫做环(Ring),如果环上的乘法满足交换率,就叫可交换环(Commutative Ring)。如果,一个环的加法和乘法具有了所有的良好性质,那么就成为一个域(Field)。基于域,我们可以建立一种新的结构,能进行加法和数乘,就构成了线性代数(Linear algebra)。

代数的好处在于,它只关心运算规则的演绎,而不管参与运算的对象。只要定义恰当,完全可以让一只猫乘一只狗得到一头猪:-)。基于抽象运算规则得到的所有定理完全可以运用于上面说的猫狗乘法。当然,在实际运用中,我们还是希望用它干点有意义的事情。学过抽象代数的都知道,基于几条最简单的规则,比如结合律,就能导出非常多的重要结论——这些结论可以应用到一切满足这些简单规则的地方——这是代数的威力所在,我们不再需要为每一个具体领域重新建立这么多的定理。

抽象代数有在一些基础定理的基础上,进一步的研究往往分为两个流派:研究有限的离散代数结构(比如有限群和有限域),这部分内容通常用于数论,编码,和整数方程这些地方;另外一个流派是研究连续的代数结构,通常和拓扑与分析联系在一起(比如拓扑群,李群)。我在学习中的focus主要是后者。

线性代数:“线性”的基础地位

对于做Learning, vision, optimization或者statistics的人来说,接触最多的莫过于线性代数——这也是我们在大学低年级就开始学习的。线性代数,包括建立在它基础上的各种学科,最核心的两个概念是向量空间和线性变换。线性变换在线性代数中的地位,和连续函数在分析中的地位,或者同态映射在群论中的地位是一样的——它是保持基础运算(加法和数乘)的映射。

在learning中有这样的一种倾向——鄙视线性算法,标榜非线性。也许在很多场合下面,我们需要非线性来描述复杂的现实世界,但是无论什么时候,线性都是具有根本地位的。没有线性的基础,就不可能存在所谓的非线性推广。我们常用的非线性化的方法包括流形和kernelization,这两者都需要在某个阶段回归线性。流形需要在每个局部建立和线性空间的映射,通过把许多局部线性空间连接起来形成非线性;而kernerlization则是通过置换内积结构把原线性空间“非线性”地映射到另外一个线性空间,再进行线性空间中所能进行的操作。而在分析领域,线性的运算更是无处不在,微分,积分,傅立叶变换,拉普拉斯变换,还有统计中的均值,通通都是线性的。

泛函分析:从有限维向无限维迈进

在大学中学习的线性代数,它的简单主要因为它是在有限维空间进行的,因为有限,我们无须借助于太多的分析手段。但是,有限维空间并不能有效地表达我们的世界——最重要的,函数构成了线性空间,可是它是无限维的。对函数进行的最重要的运算都在无限维空间进行,比如傅立叶变换和小波分析。这表明了,为了研究函数(或者说连续信号),我们需要打破有限维空间的束缚,走入无限维的函数空间——这里面的第一步,就是泛函分析。

泛函分析(Functional Analysis)是研究的是一般的线性空间,包括有限维和无限维,但是很多东西在有限维下显得很trivial,真正的困难往往在无限维的时候出现。在泛函分析中,空间中的元素还是叫向量,但是线性变换通常会叫作“算子”(operator)。除了加法和数乘,这里进一步加入了一些运算,比如加入范数去表达“向量的长度”或者“元素的距离”,这样的空间叫做“赋范线性空间”(normed space),再进一步的,可以加入内积运算,这样的空间叫“内积空间”(Inner product space)。

大家发现,当进入无限维的时间时,很多老的观念不再适用了,一切都需要重新审视。

所有的有限维空间都是完备的(柯西序列收敛),很多无限维空间却是不完备的(比如闭区间上的连续函数)。在这里,完备的空间有特殊的名称:完备的赋范空间叫巴拿赫空间(Banach space),完备的内积空间叫希尔伯特空间(Hilbert space)。

在有限维空间中空间和它的对偶空间的是完全同构的,而在无限维空间中,它们存在微妙的差别。

在有限维空间中,所有线性变换(矩阵)都是有界变换,而在无限维,很多算子是无界的(unbounded),最重要的一个例子是给函数求导。

在有限维空间中,一切有界闭集都是紧的,比如单位球。而在所有的无限维空间中,单位球都不是紧的——也就是说,可以在单位球内撒入无限个点,而不出现一个极限点。

在有限维空间中,线性变换(矩阵)的谱相当于全部的特征值,在无限维空间中,算子的谱的结构比这个复杂得多,除了特征值组成的点谱(point spectrum),还有approximate point spectrum和residual spectrum。虽然复杂,但是,也更为有趣。由此形成了一个相当丰富的分支——算子谱论(Spectrum theory)。

在有限维空间中,任何一点对任何一个子空间总存在投影,而在无限维空间中,这就不一定了,具有这种良好特性的子空间有个专门的名称切比雪夫空间(Chebyshev space)。这个概念是现代逼近理论的基础(approximation theory)。函数空间的逼近理论在Learning中应该有着非常重要的作用,但是现在看到的运用现代逼近理论的文章并不多。

继续往前:巴拿赫代数,调和分析,和李代数

基本的泛函分析继续往前走,有两个重要的方向。第一个是巴拿赫代数(Banach Algebra),它就是在巴拿赫空间(完备的内积空间)的基础上引入乘法(这不同于数乘)。比如矩阵——它除了加法和数乘,还能做乘法——这就构成了一个巴拿赫代数。除此以外,值域完备的有界算子,平方可积函数,都能构成巴拿赫代数。巴拿赫代数是泛函分析的抽象,很多对于有界算子导出的结论,还有算子谱论中的许多定理,它们不仅仅对算子适用,它们其实可以从一般的巴拿赫代数中得到,并且应用在算子以外的地方。巴拿赫代数让你站在更高的高度看待泛函分析中的结论,但是,我对它在实际问题中能比泛函分析能多带来什么东西还有待思考。

最能把泛函分析和实际问题在一起的另一个重要方向是调和分析(Harmonic Analysis)。我在这里列举它的两个个子领域,傅立叶分析和小波分析,我想这已经能说明它的实际价值。它研究的最核心的问题就是怎么用基函数去逼近和构造一个函数。它研究的是函数空间的问题,不可避免的必须以泛函分析为基础。除了傅立叶和小波,调和分析还研究一些很有用的函数空间,比如Hardy space,Sobolev space,这些空间有很多很好的性质,在工程中和物理学中都有很重要的应用。对于vision来说,调和分析在信号的表达,图像的构造,都是非常有用的工具。

当分析和线性代数走在一起,产生了泛函分析和调和分析;当分析和群论走在一起,我们就有了李群(Lie Group)和李代数(Lie Algebra)。它们给连续群上的元素赋予了代数结构。我一直认为这是一门非常漂亮的数学:在一个体系中,拓扑,微分和代数走到了一起。在一定条件下,通过李群和李代数的联系,它让几何变换的结合变成了线性运算,让子群化为线性子空间,这样就为Learning中许多重要的模型和算法的引入到对几何运动的建模创造了必要的条件。因此,我们相信李群和李代数对于vision有着重要意义,只不过学习它的道路可能会很艰辛,在它之前需要学习很多别的数学。

现代概率论:在现代分析基础上再生 

最后,再简单说说很多Learning的研究者特别关心的数学分支:概率论。自从Kolmogorov在上世纪30年代把测度引入概率论以来,测度理论就成为现代概率论的基础。在这里,概率定义为测度,随机变量定义为可测函数,条件随机变量定义为可测函数在某个函数空间的投影,均值则是可测函数对于概率测度的积分。值得注意的是,很多的现代观点,开始以泛函分析的思路看待概率论的基础概念,随机变量构成了一个向量空间,而带符号概率测度则构成了它的对偶空间,其中一方施加于对方就形成均值。角度虽然不一样,不过这两种方式殊途同归,形成的基础是等价的。

在现代概率论的基础上,许多传统的分支得到了极大丰富,最有代表性的包括鞅论(Martingale)——由研究赌博引发的理论,现在主要用于金融(这里可以看出赌博和金融的理论联系,:-P),布朗运动(Brownian Motion)——连续随机过程的基础,以及在此基础上建立的随机分析(Stochastic Calculus),包括随机积分(对随机过程的路径进行积分,其中比较有代表性的叫伊藤积分(Ito Integral)),和随机微分方程。对于连续几何运用建立概率模型以及对分布的变换的研究离不开这些方面的知识。

终于写完了——也谢谢你把这么长的文章看完,希望其中的一些内容对你是有帮助的。

家园 请教

所有集合的集合 的确会导致悖论,但并不是楼主这样论证的。

设所有集合的集合为A,可由之构造幂集P(A),由于P(A)是A的子集(A的定义),则有| P(A) | ≤ | A |,

根据Cantor定理,又有

| P(A) | > | A |

矛盾。

楼主似乎没有论证出什么矛盾来,集合的定义没有禁止{A}的构造,也没有禁止{A}与A的对于属于关系的交换。

全看树展主题 · 分页首页 上页
/ 2
下页 末页


有趣有益,互惠互利;开阔视野,博采众长。
虚拟的网络,真实的人。天南地北客,相逢皆朋友

Copyright © cchere 西西河