eNewsTree.com

标题: 修行 [打印本页]

作者: 东方 时间: 2013-6-2 14:48
标题: 修行
修行，玩。。。
--------------
玩数学

——闲论Atiyah-Singer指标定理
几番被人转载，已经不知道原文作者在哪儿了。感觉很不错，值得看一看

一段引文
『
令人惊心动魄的是这些看似灵界仙境才有的东西刚好是我们描述自然界的最可靠工具。现在物理学家认同所有的相互作用都是规范场刻画，而规范场在数学上与纤维丛完全是一回事。吴大俊和杨振宁证明规范势是纤维丛（主丛）上的联络，而规范场强是纤维丛（主丛底空间）的曲率。朗朗乾坤其实只是纤维丛世界之投影，像在我们世界扮演重要角色的电子似乎生活在三维空间，但实际上他的波函数是生活在以三维空间为底的纤维丛中。量子粒子由波函数描述，通常包含内部自由度。内部自由度对应的波函数可以当作纤维，底空间可以是普通的三维欧氏世界，也可以是（能量算子的）某个参数空间。因此，按纤维丛术语，体系的波函数就是丛截面。相位部分有动力学部分，几何部分和拓扑部分，其中后两种由和乐群描写。微观体系的很多＂古怪＂行为全因于此，例如成键机制，超导，量子霍尔效应等等。
』

Nowadays, mathematicians tend to over-abstract things that in fact cannot be further abstracted, which not only dilutes the essence of concepts but also drives away potential students and users, and eventually, if this pathological mood is not cured, will make a lot of mathematicians breadless. ---------Vladimir Igorevich Arnold

开场白

余观天下学数众才，体察愈久，遗憾益多。开始决定献身数学时，大家都是聪明、愉快、可爱、活泼的，也是被别人视为天赋才俊。但是随着时间推进，一些人开始变愚蠢了，一些人开始变苦闷了，一些人开始变得令人讨厌了，一些人开始变古怪了，一些人变虚弱了。更过一些时间，一些人已经是白痴了，一些人已经自杀了，一些人已经是罪犯了，一些人已经是疯子了，一些人累死了。现在走在这条路上的或朝这条路上走的仍然是千千万万，各种悲剧天天发生。身是献了，但白献了。还搭上翘首期望的家人亲友以及一些无辜的关连者。

万幸偶有小成大成者，却同时也惹出一堆冤家对头，倾扎之惨烈，不亚于黑帮火并。暂时胜者担心报复，除时时努力固守城池以外，也终日疑神疑鬼，久而变态失常，最终众叛亲离者绝非鲜见；一时败者则卧薪尝胆，时时司机反扑，报得一箭之仇，然现实常常是仇难报，气难消，遂焦躁不安，怨天尤人，久而变得古怪，抑郁，甚至崩溃。

为何开始看起来的一桩好事会变得这样惨呢？主要是态度不对。古人练功修行讲的德字主要是就是讲态度要正确。现在很多人，由首先喜欢数学崇拜数学变成拿数学当商品工具谋名获利，并以所得多少作为衡量成功与否的标志，多数人因此走入歧途是必然的。正确的态度是你玩数学或你与数学玩。以玩得开心为最高宗旨。既不要想通过学数学抱得美人归，住进黄金屋，做得人上人，也不要想去光宗耀祖，恩泽乡里，更不要想去当所谓英雄为民族争光，报效国家，这些人充其量也就是被权贵玩来摆去的宠物狗。如果一开始就是以正确的态度学数言数，玩数之人就会永远保持聪明、愉快、可爱、活泼。如果是这样，我们看到的数学文章着作也决不是现在这样以狗狗互相威聂的方式写成声明书。

本文题头引用的数学物理大师也是教育大师Arnold的话，反映本人对数学（物理）界悲剧的另一些观察是也没有错误的。数学生到大二左右，就开始幻想脱离俗家尘世，进入不食人间烟火的状态。先是与"土得掉渣，难以启齿"的具体数字和图形决裂，然后是大胆抛弃"半土不洋，肤浅得很"的运算和公式，匆匆穿上光鲜的水货衣服（半懂不懂的外文书），擦上廉价的胭脂（网上抄来的作业），配上借来的首饰（一知半解的老师讲义），端着身子急急溶入"豪华典雅，宛如仙境"的各种抽象定义引理定理建构的"上流社会"。但是，正如Arnold指出的，不必要的抽象不但害人，终将害己。与学武功的人类比，过分抽象等于过份强调虚力、意志和策略而忽视实力、环境和具体的战术，好多从数之人走向悲剧，不光做不出数学成果，最终连一份谋生的差事都做不来，重蹈邯郸学步覆辙，实属自取其果，如果一开始就加以注意，完全可以避免。

鉴于上面几点，本文的第一个主要目的当然是要向外行以草包大众喜闻乐见的方式介绍一些常人望而生畏的着名数学难题，作点破除迷信，奚落权威的事。旧时艰涩书中物，进入平常百姓心，翰林神道华山剑，屠狗之辈亦善玩。既向有数学兴趣的人展示绝大多数的抽象是不必要的害人之物，另外也顺便将一些所谓的"高度抽象"概念之唬人外表揭穿──世上无神鬼，都是人炒起也，跟着抽象起哄的数学家中真正懂得实质的人并不多，与江湖郎中一样。本文另一个主要目的之一是（向数学家们或数学家们to be）示范如何以正确态度学数学，如何以正确态度讲数学。看看我如何讲数学，如何理解数学，希望给学数同道树个榜样。希望你们读完此文以后，不光是具体知识增长了，学数教数的态度也变得积极正面一些，个人生活变得快乐一些，减少悲剧的发生。
（几个荤笑话有些长，我删掉了。）
（某些）微分方程的解（的数目）由定义该微分方程的空间的几何拓扑特征全部决定。或更简单地讲，一个空间中某些行为好的微分方程的解的数目是一个拓扑不变量。
列位看官已经知道AS不光不神秘，简直就是BS。这时，恐有人跳将出来，大呼"亵渎亵渎！"，"浅薄浅薄！"，"狂妄狂妄！"。
在下今天不光要说，AS的表达一点不难，还要说它的证明也不难。一不做，二不休，坚持浅薄不动摇，将亵渎进行到底，狂妄后面乾脆再麻烦您加上透顶二字！

尊重江湖规矩，用黑话表达AS：
记纤维丛E(F,M,π,G）的截面s(E,F) 与s(E,F＇)间映射D，则其解析指标，即其零频解的数目dim ker D - dim coker D等于其拓扑指标
Topo_Ind (D) = Int_
其中I_M是微分形式，由在其上面定义方程的流形M的曲率所确定，项ch(σ)为得自方程的象征的微分形式,int代表积分。或者用另一种更明确的表达式：
Topo_Ind(D) = (-1)^n < ch (s(D)) ~ td (TCM) , [m] >
其中n是流形M的维度，s(D)是微分算子D的像征，ch 代表陈特征，TCM 是流形M的复化切丛，td 代表Todd类，~ 是上积或杯积，[m]是流形M的基本类 , <-,-> 是Kronecker配对。
如有人在此受到惊吓或愤怒，则正好达到了本人目的。但请列位看官莫要惊慌，更不要埋怨，且等在下花上三言两语，上面那些黑话撩起的迷雾必会顷刻消散。数学江湖以艰涩隐晦为荣尊，化简为繁，变浅为深，是为至高皈依，谁将一件最简单的事说得最复杂以致普天下无人能懂，则可被崇为天宗。想当初，高斯常常宣布一些惊人结果而又不给出证明，遂得王子头衔。罗素写出<<数学原理>>两本天书，无人能读，被奉成数学之神。格罗腾迪克出版<<代数几何基础>>洋洋万页，页页难过天书，令所有数学家无地自容，立得数学之无极大王称号（他老人家面对如此荣耀一时竟受不了，从此精神崩溃，家破人亡。阿弥陀佛！）。一时间，大小玩数者，竞相仿效，环顾数国，一片乌烟瘴气。可怜天下百姓闻数丧胆，唯恐避之不及。在下深知众生历受大小数霸之欺何其苦也，故尊天意反其道而行之，以简为尊，以易为荣，以最平白文字讲述最深刻真理而不失严谨，解放天下数残理痴。将数学贵族才能享受的佳肴美酒搬上平民百姓的饭桌，是为吾宗。

先容在下将一些唬我看官的名词表列出来以便一一驯服，记有
1. 映射
核，余核，伴随算子，椭圆算子，Fredholm 算子，象征
2. 纤维丛
纤维，截面，结构群，切丛
3. 微分形式
（上）同调类
4. 特征类
陈类
Todd类
基本类
杯积
Kroneker 配对
5. K群，范畴

也就是四、五组十来个术语。平常这些玩意个个如凶神恶煞，动不动要占上专著数部，洋
洋逾千页，一般学子几年苦修方得一知半解，云里雾里。今天诸君只要浏览三五页版面约
几支香功夫即可大体完成，唯一要求是心中反覆默念本师之名，直至开悟。

这些概念今天肯定讲不完，但不要急，我们今天会见到一个真正的指标定理。

映射是最基本也是最抽象的数学操作之一，将两个集合的元素关连起来。我们不妨叫第一个集合叫原物（妻集），映射到第二个集合里生成的集体叫像（夫集）。数学家男的多，因此，多（妻）对一（夫）是可能的，但一（妻）对多（夫）是绝对禁止的。

如果物国里每个女人都有（一个）仅属于自己的男人作丈夫，即女人不共夫，则是一（妻）对一（夫），即所谓的一一映射（注意这个名词只讲一妻必有一夫，但并不暗含每夫必有一妻，要看老婆够不够多）。如果像国里每个男人都有（至少一个）老婆，男人当然满意，故称满射。如果既是满射又是一一映射的话，那就是乌托邦里的一夫一妻制，一妻必有一夫，一妻仅有一夫，荆倌互忠，既不共夫亦不共妻，即所谓的双射，或许双双满意？

能够建立双射映射的两个集合，在抽象意义下，物像没有区分，谁为物，谁为像，见仁见
智，公婆不分，故名同构。还有变态的自映射，镜中人是你，你也是镜中人，这个后面还
要提的。

函数是映射的最简单例子。算子是稍微"高级"一点的映射。
如果映射将一个集合的一些元素全部映射到"单位"元素（加法的零或乘法的一），则这些
元素形成一个叫核（ker）的子集合。原物集合中的ker之所以重要，被单独列出，归根到
底还是因为像集合里的"单位"元素独特。他跟本集合内任何一个元素作用（例如相乘）还
是该元素本身。因此核内任何一个元素与本集合内任何非核元素相乘所得结果必在核外，
否则他会被映到单位素。原来ker乃初中之国，独立王国是也。因此，每一个核外元素与
全体核内元素可以产生一共同类，是为等价类。可以通过与核内元素建立关连的元素属于
同一等价类。由此立得不同等价类的元素必不相同。整个集合就可以按等价类拆分，因而
集合元素是核内元素之整数倍。

显然，同一个集合的核是可变的因为核与映射有关。改变映射，核的元素会变。

这个核，随集合对应物改变而有很多别名，正则子空间，理想，不变子空间，正则子群，
不变子群等等，看官且留意他们是亲姊妹。他也是投影或射影的最一般描述。投影空间（
商空间）即为原空间对某个（正则）子空间取商的结果。

集合到本身的映射，即自映射，有一个特例：他给出两个元素经过映射成另一个元素，凡
夫俗子称这种映射为运算，加减乘除之类。配有乘法的集合叫群，配有乘法（半群─即没
有相应的除法）和加法（群）的叫环，若进一步配有加乘皆为群（即有加减乘除）的集合
叫体（或域）。（比较怪异的运算是所谓求模运算以及交换运算。因此，还有一些特别的
集合如模空间，配有交换关系一个集合的叫一个代数。）

群这个字值得稍微多花一点笔墨。他是只配有一种运算（乘法）的集合，因而最简单，研
究得最彻底，但应用也最广。数霸喜欢谈抽象群，就是只谈元素和乘法，而我们数学贫民
喜欢知道具体的元素是啥，乘法到底是怎样做的。把元素和乘法具体化，抽象群就会灵魂
附体，现出原形，即所谓的群表示。具体化需要一个场所，即表示空间。我讲一下，"表
示"这个词是误用，"表演"才反映真意。但现在没办法改了。

我们看一个三正角形的对称性。表演空间是我们通常的二维欧氏空间，元素就是转动，相
乘就是两个转动接续进行。穿越三角形重心与三角形平面垂直的轴为转动轴。转120度，
240度都会回到原样。可见正三角形的对称群的三个元素表现为：不动（单位素），转12
0度，转240度。如果将二维空间写成二维向量空间，上述三个转动可以用矩阵表现出来，
即三个特殊的转动矩阵。这种元素数目有限的群叫有限群。将群元素当作空间的一点，群
本身又成为一个空间。正三角形的对称群空间为三个点（位于圆周上）形成的离散空间。

显然可以有无限群，甚至还有连续群。假如将上述正三角形换成圆盘，转动群就变成连续
群了，可以用角度做参数化，用离散化的李代数表示。此时群空间（整个圆周）也是连续
的。

群可以用元素加上"乘法或操作"构成，此处"乘法/操作"是广义的二元运算，这个刚才讲
了，其实此处"元素"也可以是广义的，这就冒出一些初听起来怪异恐怖的新群，像同伦群
，同调群，它们是以等价类为元素构造的的群，也就是说同一类元素（可能有无限多个！
）只算一个元素。这个先提个醒，后面还要讲。

线性映射是最简单的，也是最重要的：
f(aA+bB)＝af(A)+bf(B)。

举例：向量空间V，W之间的映射f：V-->W。则dim V = dim (ker f) + dim (im f). dim
就是空间的维度。这个结果，虽说平淡，却异常重要。

对偶空间：V-->V*, W-->W*
"内积"： g(v1,v2) , G(w1,w2)
伴随映射f^： G(w,fv) = g(v,f^w)
有一简单但重要的结论，线性映射与其伴随映射的像空间之维度相等：
dim im f = dim im f^

至此，我们能够给出一个儿童版的指标定理及完整证明：

对向量空间之间的线性映射f: V-->W，V中元素按ker f作为不变子空间分成等价类，im
f 必定与商集V/ker f同构。自然得到：dim V = dim (ker f) + dim (im f)。同样，我
们可以引入余核： coker = W/im f，即W空间中依im f作为不变子空间分出的等价类，显
然有：dim W = dim (coker f) + dim (im f). 于是，我们立得：
dim (ker f) - dim (coker f) ＝ dim V - dim W。
由于dim (coker f) = dim (ker f^) 故上式亦可写成
dim (ker f) - dim (ker f^) ＝ dim V - dim W。

这个简单事实意味深长：左边每项都是非常依赖于f的具体细节，但右边却只与整体性质
，即V和W的维度之差有关，它显然是一个拓扑不变量，因而它告诉我们：尽管左边每项都
是非常依赖于f的具体定义，但其差dim (ker f) - dim (coker f)却与f没有关系！这一
简单结果可以理解为玩具级的指标定理：算子f的解析指标（左边）等于其作用流形的拓
扑指标（右边）。

─椭圆算子与纤维丛 zz

一开始提了，本讲座不是写给娃娃的童话，而是以领略数学颠峰奇景为目的，专门撩拨数
学里的超级成人话题，极黄极暴力。看官倘若没有疑虑、心跳、罪恶感以及愤怒的话，阁
下必定是数学狂魔，而且是绝代混蛋，数界的陈冠希们会上门跪拜求教。不过看官放心，
多数疑问到后面会慢慢澄清，到达顿悟是突然的，不可预测的，但只要稍有耐心它又是必
然的。

那就继续讲集合、算子。

一类研究得比较充分的线性映像是线性微分算子。简单而言，线性微分算子就是一阶，二
阶，...导数拼凑成的算子多项式：
a_(n) f^(n) + a_(n-1) f^(n-1) +...bf
这里a_(i),i=1,2,...,n以及b都是x的多项式。看官可以验证一下，它满足线性映像条件。

假如f是多个变量，x_1,x_2,...,x_n的函数，则上述方程推广成n元微分算子多项式方程
，显然这种微分算子包含对单个变量x_i,i=1,2,...n的（1,2,...阶）导数，也包含对不
同变量的交叉导数，而每个导数的系数，写成一般的表达式为：a_(i_1,i_2,i_3,...),
i_1+i_2+i_3+...=1,2,...,n,它们都是x_1,x_2,...x_n的多项式。

正如代数多项式的根是代数学的基本问题一样，算子多项式的"根"，即给定空间上的微分
方程之零频解问题，是微分拓扑学里的基本问题，简单地说也就是一般空间上的偏微分方
程（PDE）求解问题。

正如一元二次方程ax^2+bx+c=0按判别式b^2-4ac＝正、负、零分别对应两实根、两复根、
重根的情况一样，PDE也依系数之关系决定解的差异，因而有抛物算子、椭圆算子、双曲
算子等之分。PDE的判别式由通过叫象征的东西给出：简单而言，就是将要解的PDE转成其
富里叶形式，
a_(jn) ξ_j^(n) + a_(n-1 k) ξ_k^(n-1) +...bξ
将其按x和ξ的幂次之和归并，最高次微分项最重要，故用其系数a_(jn)拼凑出n×n主象
征（矩阵）。主象征矩阵是对称的。比如二次PDE的主象征矩阵是2×2，三次PDE的主象征
矩阵是3×3...依主象征矩阵之正定，零和负定分别给出椭圆，抛物和双曲微分算子。

因此，椭圆算子定义为：如果微分算子主象征矩阵之行列式非零（主象征矩阵有逆矩阵）
，则为椭圆算子。

我们做几个小练习。df/dx-df/dy=0和df/dx-idf/dy=0是两个看上去相当像的微分方程，
但它们的解的性质却大相径庭。第一个解是平庸的，第二个解是解析函数，拥有极丰富的
内涵。从它们的（主）象征：ia – ib 与 ia + b看，很清楚。第一个方程的象征在a=b
时都会为零，而第二个仅在a=b=0时才会为零，故第二个方程是椭圆型的，而且只有一个
解，其解空间是一维的（椭圆偏微分方程拥有有限维的解空间）。

看官可以亲自验证，通常向量分析里的梯度，散度和旋度算子都不是椭圆算子。

同理，也可以判断出物理上常用的拉普拉斯算子（Laplacian）是椭圆算子，因为其象征
为- a^2 - b^2，而另一个常用的达朗贝尔算子（D＇Alambertian）必须限制在光锥外才
是椭圆算子。

我们考虑紧致流形，紧致大体就是有限的意思。泛函分析可以给出简单的定理：紧致流形上的椭圆算子之ker和coker都是有限维的，即所谓Fredholm的。前面讲过，对于算子或映射D: V --> W，coker = W / im D。dim coker不等于零就说明存在D不能映到的地方，也就是说在W上存在额外的限制条件或约束条件。所以，对紧流形，椭圆算子自动暗含它就是Fredholm算子。一般解析指标：ind_ana = dim ker D – dim coker D.

至此，可以解释所谓"微分算子解析指标是个拓扑不变量"是什么意思了。就是指算子里的主象征矩阵元作连续变化时上述解析指标ind_ana不会改变。或者说，有无限多个PDE的解析指标相等（虽然他们的解的具体形式会有差异）。AS定理告诉你这个值是该微分算子作用的流形的拓扑性质所决定（难怪与主象征参数变化无关！）。AS定理也告诉你如何具体算出这个指标的值，也就是说到底是流形的哪个拓扑不变量对应那些（无限多个）椭圆算子的解析指标。

好，集合与映像联合王国的基础概念就暂时介绍到这，其实也没有太多别的啦。如果到此你还没有产生恐惧感，我认为你绝对有起码的数学天赋，品尝几口21世纪数学饭馆的酒菜还是受得了的，甚至能够尽情玩乐享受一番。下面讲一个具体的集合的例子，跟本主题有关的空间，即纤维丛。

描写变化的函数，如车辆飞机的路线，股票的涨落，影音讯号，都是用平面曲线记录的，因此，X-Y坐标系人人会读，人人要用。其实带坐标系的二维平面就是一个纤维丛。我们可以想象整个平面是一根Y向直线横扫X空间而形成的。被横扫的空间（这里是X）叫底空间，那根直线就是纤维。

从另一个角度看，我们也可以将XY平面当作一个乘积空间，即每一个X点可以与Y的每一点相乘得到一条直线。

当然这是一个太平庸的例子，但一般意义的纤维丛确实是乘积空间的推广。"推广"了什么？刚才的例子之所以叫平庸，是因为他每个地方的乘法完全一样，不同X的地方的Y直线毫无差异，就像红朝人民的脑袋，万众一心，平庸得可怕。总而言之，一张四平八板的纸片确实有点无聊。不过，稍微变一下就可以别开生面，例如，将纸带扭一圈或几圈以后对接，形成Mobius带子。哈！你没办法用简单的坐标系或通用的乘法了。局部看来，小人度腹，依然是个"平面方形"，直线段尚在，依然可以用乘积空间描写，但稍微走远一点就发现，原来的"Y直线"整条都是直的而且对得很齐但现在"弯掉了"，不对齐了。跳出三界，来个全观，则发现，相邻的弯掉的直线之间的关系（转换函数或联络）与扭曲的程度有关。

简言之，底空间各个地点各有各的纤维空间，就是非平庸丛了。

为了对阁下负责，对底空间，要做点补充。

第一是底空间无须平直，可以弯折。这个不奇怪，地球表面，阁下的俊脸贵体，都是弯曲空间。不弯还不行。没有曲线美。问题就大了。

第二，空间的长度单位（标准尺）可以随位置甚至时间而变，即，各个地方的长度单位还不一样（上海的1尺是广州的9寸）。这就是最通用的黎曼空间了。黎曼提出这种空间60余年以后，爱因斯坦找到了一个物理实例（使之成为最伟大的科学家），也就是阁下所在的宇宙，其实就是一个黎曼空间。真是不识庐山真面目，只缘身在此山中。当然阁下想看到尺子钟表不一样，或者看到时空之弯曲，您得稍微走高一点看才行，例如走100万光年回头看。藉助现代仪器如原子钟，地面与卫星轨道的时间差异就可以量出来。这里终于搭上了短江兄的GR(广义相对论)话题。

这有个休息亭，好，歇一会：一些人觉得像流形、非欧空间或弯曲空间难以捉摸，这里试着从一种特别的角度解释一下。我们回顾一下微积分干了什么。依我看，其实就是用古希腊数学家们关于线段、长方形和长方体的已知结果（长度、面积和体积）用来量度一般曲线、曲面和曲体的长度、面积和体积。其中用到的一个基本假设就是，不管多么"弯曲"的东西，总可以找到一个足够小的尺度，在此尺度下一切都是平直的。故可以用大量的微小线段、微长方形或微长方体为"尺子"拼凑出任意的形状或体系。微分几何的大部分也就是告诉你如何用微小的平直空间来建造一个"任意的"流形，所以基本思想还就是那一点东西在兜来兜去。

非欧空间简单讲就是一个到处充满奸商政痞地头蛇的国度，尺度和时间或物价等标准（数学家叫度规）由这些地头蛇制订。经历千万年演化，这些地头蛇现在都成了蛇精，变态已极，弄得流形上每一点都有其自己的度规标准，成语"点化成精"得改成"精化成点"。对于一个生活在这个国度的人而言，弄清各个地头蛇之度量时间标准之兑换率是至关重要的，这个兑换率就叫做联络（系数）。有人可能会讲，度规确定联络系数，简直是一句废话，纽约（N）一美元是波士顿（B）的95美分，联络系数当然是L_{NB}=1.05或L_{BN}＝0.95。大体没错。不过，你们可能还不知道这些地头蛇有多么无耻变态，原来，"上海的1尺是广州的9寸"只是一个大体的说法。地头蛇说，真正的兑换率还要看你的尺子是朝南北方向量，还是沿东西方向量，还是朝民主街方向量，还是朝自由大道方向量....也就是度规还与方向有关。还有比这更黑心变态的地头蛇吗？那种国度最后被上帝警告惩罚，地头蛇稍有收敛，将同一位置不同方向的度规兑换率用一个简单函数约束。只要知道三个互相垂直方向的两两兑换率（对三维流形总共是9个，对吧？）就可以知道任意方向的兑换率。这9个值就是度规张量。不同地方的度规张量之间的转换（联络系数）也可以决定：度规-->联络-->曲率（后面细讲）。

这里我们也看到一个数学与物理、化学和生物的范式对应：线段、长方形和长方体就是数学里的原子、分子和微晶，由此堆集出千千万万的流形（包括纤维丛）。

休息完，继续爬。

底流形上的转换函数之非平庸由结构群描述。例如，Mobius带，我们注意到平面与弯折纸带可能有整体的差异。这是什么意思呢？从纸带上垂直于纸面放一根铅笔，当他沿纸带走一圈回来时，平庸情形没有变化，但在扭曲带上走时会反向。的结构群为{1,-1}，-1出现在反向黏贴的那个地方。

类似地，纤维也有"转换函数"的对应物，由叫和乐群的东西描述。再看Mobius带。现在，不同于平庸情形的"相邻直线或纤维完全等价"，相邻"直线"满足特定的转换关系（这就是称为"局部规范变换"的东西）。和乐群归根到底由结构群决定。
对于一个普通的黎曼流形而言，休息时提了，流形的度规张量完全决定联络系数。而对于一个纤维丛而言，底流形的度规张量加上纤维的holonomy群才能决定联络。底流形上完成一个循环时纤维空间可能没有回归原状，和乐群是指纤维变化的变换群。

细心的朋友可能会说，你讲的所谓整体差异还不是那些局部差异（规范变换）积累起来的吗？铅笔指向在扭曲带上走一圈出现倒向还不是他在走的过程中慢慢逐步积累起来的？太对了。把这句话将得更清楚一点，就是给一批大师赢来功名利禄的东西。包括陈大师省身先生。即所谓的"将整体不变量用某些局部性质的积分表示"。别急，这个东西我们后面也要把他弄得清清楚楚明明白白。

至此，看官自己就可以给纤维丛下定义了。需要的东西为：底空间，纤维空间，转换映像，还有结构群，或简记为E（F,M,π,G）。看官看看时间，您花了多久到这里？数学系本科生四年下来能到达这一步的，罕也，Princeton，Oxford不例外。

好，现在讲一讲切丛，他是最常见的也是最重要的纤维丛。过底空间上每一点可以画出无限多条切线，构成切平面。因此可以将切平面当作纤维与底空间合成一个纤维丛，故名切丛。每个切空间也是一个向量空间，故切丛也是向量丛。

于是，我们知道所谓纤维丛的截面就是每一根纤维上拿一点（一个值）来拼出来的东西。是平面曲线y=f(x)的推广。

以二维球面为底空间的切丛上的一个截面就是该球面上的一个向量场。
古典微积分中导数是函数的变化除以自变量的变化，推广到纤维丛就是截面的变化（平行移动）对底流形参数的变化，这就是联络（一般有多个分量）。直感上可以猜到，纤维丛的联络由底流形和纤维二者共同决定。

阁下有一个天生的纤维丛。脑袋表面是底空间，上面长的头发就是纤维，转换函数依赖于阁下梳头的风格，结构群为平庸（不是吗？）。梳梳头，你得到纤维丛一个不同的截面。
前已述，群本身也是一个空间，因而我们可以将结构群的群空间就当作纤维空间，这种特殊的纤维丛叫主丛。既然主丛的纤维与结构群同一，只需标出底空间和结构群即可，故主丛记为P(M，G)。一个抽象群的元素都可以通过一些具体动作（操作）表现出来，叫群表示。李群，平移群，点群，等等天上神仙客都可以来个投胎下凡，即具体化。具体化就是选定群元素作用的场所，即表示空间。神迹在地球上表现。地球就是神的表示空间。看官可以看到，"表示空间"是多么地误导。当初要是叫表演空间多好。既然表演空间也是空间，我们假如将此表演空间当作纤维，也可以构成纤维丛，叫主丛诱导的伴侣丛，简称伴丛，记为PxVg，x指直乘，Vg是结构群G的表演空间，他是一个向量空间，故伴丛也叫伴向量丛。

下面是插曲，看官尽管可以略过。

令人惊心动魄的是这些看似灵界仙境才有的东西刚好是我们描述自然界的最可靠工具。现在物理学家认同所有的相互作用都是规范场刻画，而规范场在数学上与纤维丛完全是一回事。吴大俊和杨振宁证明规范势是纤维丛（主丛）上的联络，而规范场强是纤维丛（主丛底空间）的曲率。朗朗乾坤其实只是纤维丛世界之投影，像在我们世界扮演重要角色的电子似乎生活在三维空间，但实际上他的波函数是生活在以三维空间为底的纤维丛中。量子粒子由波函数描述，通常包含内部自由度。内部自由度对应的波函数可以当作纤维，底空间可以是普通的三维欧氏世界，也可以是（能量算子的）某个参数空间。因此，按纤维丛术语，体系的波函数就是丛截面。相位部分有动力学部分，几何部分和拓扑部分，其中后两种由和乐群描写。微观体系的很多＂古怪＂行为全因于此，例如成键机制，超导，量子霍尔效应等等。

插曲完了。到此，我们完成至少70％了。迷雾渐散，人心趋定。

作者: 东方 时间: 2013-6-2 18:53
找到的貌似后续 4

我们今天从AS定理的远祖开始来考察一下AS定理的世系演化。

平面三角形的内角和等于180度这一定理，不能算是AS定理最早的祖先，但算得是一个
好的祖先代表。

这个简单例子让我们看到了几何体上有代数，三对边夹角之和是个常数。因此，我们知
道无穷多个三角形之所以能归为一类，用边数为3或角数为3来判断都不够好，而是因为
有一个共同的不变量π。这个不变量是几何不变量。

三角形还有别的不变量吗？当然有。大家可以验算一下：边数-顶点数＝0对所有三角形
也成立（不许笑！），而且与几何不变量π没有关系。

这个不变数对任意多边形（平面的或立体的）都成立：边数-顶点数＝0。有一点点意思
了吧。敏感的同学可能马上看到这个不变数0是由于任意多边形都是一个闭合的东东。

更多一点意思的是，推广到无穷多边形也是成立的，特别是对圆周也成立，虽然边和顶
点已经难以看出来了。

于是我们发现这个不变数0原来是不仅是三角形的，也不仅是多边形的，也不仅是圆周
的，而是任意封闭曲线的性质。任意封闭曲线有一个不变数0。这就是封闭曲线的所谓
拓扑不变量。到这时，我们看不到这个0与边数或顶点数之类的关系，边、顶点、形状
、长度、面积等几何量此时都不是本质性的东西。这说明几何之外，还有更一般的不变
数，就是拓扑。拓扑不变量更有包容性，能够对更多的东西声明主权：xxxx自古以来就
是我的领土。

任意封闭曲线有一个不变数对应，据说在古希腊就有人提到，但直到18世纪大数学家欧
拉才真正认真对付。欧拉推广了上述不变数。他首先发现任意多面体的表面，存在关系
：面数-边数+ 顶点数＝2。仿照上述例子，可以轻易地推广到无穷多面体表面，推广到
任意封闭体表面，如球面。可见这个数2是所有二维封闭曲面的拓扑不变量，叫欧拉示
性数。想想欧拉活在18世纪末，这种今天小孩子都知道的关系也才200年左右的历史。
因此，必定还存在一些简单美丽的数学结果等待我们去发现。

欧拉解决封闭曲面的示性数以后，又进一步处理了带洞的曲面，他发现（你也可以轻易
验证），带洞曲面的示性数等于无洞封闭曲面的示性数减去洞数。例如，篮球表面挖个
洞以后，其示性数就变成1，它拓扑等价于一个圆盘或一张纸。轮胎面，也叫环面，如
自行车内胎，也可以想像是一个实心多面体先从中间挖掉一块（也是多面体），再淘空
剩下的环体而得，故有两个洞，由此可得其示性数为0。

前面讲过，数学里的一个很重要的事就是分类，因为要统一，要抽象，就必须知道哪些
是同一类。数学上的分类与别的领域的分类之基本原则并无两样─就是以共性为基础。

看到欧拉示性数，自然会想，它能不能用来做某种分类呢？答案是: you bet!实际上，
二维曲面的分类仅靠欧拉示性数就够了。

任意封闭连通曲面必与下面之一同胚：（1）球面，（2）有限个环面连通和，（3）带
交叉帽（Mobius柄）球面。

交叉帽（cross-cap），可以想像为变肥的Mobius带，但在倒向处有交线。见图：

（无法显示）

也就是说二维曲面就只有这几个球面，环面和交叉帽这几个基本类。它们就是二维封闭
连通曲面世界的全部"元素"。（三维曲面的"元素"数目由Thurston猜出，由Perelman证
明，这是另外的故事了）

高维曲面的欧拉示性数可以很直接了当地推得，而且结果堪称最美妙的数学方程序：
对n维闭多面体，欧拉示性数等于顶点数-边数+面数-3维体数+...
χ＝ [(-1)^{i}a_{i}]，对i求和。
也就是说，欧拉示性数是各维子流形之数目之加/减。因此，也有人把欧拉示性数念成
交错和。

欧拉交错和之意义无论如何强调都不会过份：事实上已经发现至少有10种类似的交错和
，如Betti数，还有后面要讲的上同调等，而每一个这种交错和的发现都是数学史上的
大事！每一个这样的交错和都导致新的惊人发现！

我们这里来看一个从示性数引发新思想的小例子。

咋一看封闭线面的这类欧拉示性数，看官可能会觉得有些神秘。但稍微想一想，就可以
看出门道。对平面封闭曲线而言，你可能猜想这个0应该与曲线上的点绕一个中心点跑
了一圈以后回到基点有关。似乎是切线斜率将所有值扫瞄一次。更仔细的分析表明，那
个0是曲联机对每一点的曲率求和的结果。
后来更发现，这一思想可以推广到封闭曲面─即欧拉示性数是曲面上曲率对整个曲面积
分。

什么是曲率？微积分里讲过曲线的曲率，就是二阶导数。（一阶导数是斜率，没有忘吧
。）推广到高维是直接了当的：经过曲面（体）上每一点可以画很多（无限多）条曲线
，因此应该有很多（无限多）个曲率，分别对应沿（无限多个）不同方向的曲线的弯曲
程度。一个点处有无限多个曲率值，你可能会觉得是个麻烦，但实际上这些曲率并不都
是独立的。例如，对于二维曲面上的点，曲率顶多有9个独立分量，也就是说，知道沿9
个方向的曲率值，其他任何方向的曲率可以推算出来。这9 个值构成所谓的曲率张量。

欧拉示性数能表示成曲率对几何对象的积分。这是几何/拓扑近100多来的一个很热的主
题，可以说它直接催生了AS定理及其后裔。

欧拉示性数能给出流形的洞数描述，但洞可以有不同维度。系统记录各维洞的数目及分
布，有一个工具叫同伦群。从图像看很清楚。假如流形上有一些洞，如何标记它们呢？
最简单的方法就是把每个洞画个圈，表示"内为陷阱，禁止进入"。一维洞，用一维圈围
住，二维洞，得用二维洞才能围住，依此类推。总而言之，我们总可以用环绕每个洞的
闭合流形将各维洞包围起来。同伦群的最基本元素就是这样的包围圈。我们来看这些包
围圈为何能形成群。事实上对于每一个洞，我们可以用无限多个可能的包围圈将其包住
，这些包围圈之间的差异只是形状上的，它们都是等价的，叫同伦等价，因此同伦群元
素是以类为"单位"的。同伦类形成群的理由则简单得无法形容：对每个洞，我们不光可
以包围一次，也可以包围任意多次，可见包围n圈相当于是加法：围一圈，再围一圈，
再围一圈...。而且我们容易注意到包围次数不受次序的影响，因此同伦群是可交换的
，即Abel的。更进一步，我们不光可以一次只围一个洞，也可以一次围几个洞，形成不
同的同伦类。看官想得出来，同伦类的数目决定了同伦群的＂自由元素＂数目，也就是
秩。由于不同维度的洞由不同维度的围道包围，故不同维度的同伦群互相独立，也就是
说，不同维度的同伦群（的元素）不会搅到一起。

作为一个例子，我们计算环面的同伦群。零阶同伦群为零，因为没有一维洞。一阶同伦
群有三个元素（三种不同的同伦类）：环面上平庸围道（可以收缩成一点），它们不影
响同伦群。环面上的非平庸围道有两种：一种是围绕大环的，一种是围绕小环的。两种
非平庸围道都服从整数的加法而成群，是为Z群（整数群）。因此环面的一阶同伦群为
：Z Z。环面的所有高阶同伦群（大于等于2阶）均为平庸（仅含单位）。

看官不妨算一下中间挖掉两个小圆的三角板的一阶同伦群。

每本拓扑学书都有一大章讲同伦群，一般要花几十页篇幅。凭我的经验，学习效果都远
远不如我5到10分钟的解释。写成文字就是上面几行。很多学生学完拓扑学还是不知道
算简单形状的同伦群，就是因为教材上的那种写法是以最错乱的方式写的。

休息亭：基本群。它就是一阶同伦群。也就是以一维围道为同伦类构成的群。基本群之
所以重要，除它能描述二维洞以外，它与Poincare猜想之关连可能是最重要的原因。
Poincare猜想是說，与球面S^{n}同伦的 n 维拓扑流形一定同胚于 S^{n} 。对三维流
形（Poincare猜想原始版的流形），可以表成：如果一个三维流形的基本群与三维球面
的一样，则这个三维流形就是一个三维球面（拓扑等价或同胚）。很奇怪这个如此"地
道的拓扑学"猜想最后竟然不是用拓扑学方法证明的。

同伦群直观，又是Abel的，是流形分析的一个好工具，也有一些美丽的定理帮我们减少
计算。例如，Bott的一个伟大发现是，正交群的同伦群有周期性。这个我们后面还要比
较仔细地讲。但一般而言，流形的同伦群计算并没有一个可以依循的通用演算步骤，因
而可能很复杂甚至没办法算。像一般n维球面的同伦群问题还没有解决。因此，为了描
述流形的组成，还需要别的工具。

欧拉示性数催生的另一个伟大概念是同调群。现在同调已是一个容易导致混乱的词，因
为有十几种不一样的东东都打着同调这个旗号。当然从本质上讲，所有的同调有一些共
性：就是都对应一个叫同调群的Abel群。基本元素为链，闭链，边缘链（与之对偶的为
上链，上闭链，上边缘链）。实际情况中，我们一般通过上下文可以得知用的是哪种同
调。

我们这里先讲讲最简单的同调群，后面再讲别的，AS定理至少涉及到四种同调，我们当
然都要解释。由欧拉示性数得知，一个一般的流形可以由一些简单的＂元素＂拼成：顶
点，边，面，体...不同维度的子流形。链的概念就是这些小流形的各种组合，如一些
顶点加一些连接线，一些面拼成的多面形。当拼出的流形封闭时，就叫闭链，如三角形
的三条边，长方体上表面的四条边，长方体的的六个面，都形成闭链。看官容易看出，
流形的边缘是特殊的闭链，例如三角形的三条边，圆盘的边缘，球体的表面...所以边
缘链必为闭链，反之闭链不一定是边缘链。

对于给定的流形，我们可以形式地用边缘算子来求得其边缘。例如，球体在边缘算子作
用以后成球面。边缘的边缘为零或边缘没有边缘的事实可以说成边缘算子作用在边缘链
上为零。

因此当我们得到一些闭链时，为了将其中的边缘链区分出来，可以用边缘算子去作用它
们，剩下来的就是非边缘链。不断作用下去，就得到流形的分解。

因此仅相差边缘链的闭链可以当作是同一等价类，即同调类。也就是说，可以将闭链按
边缘链作为商得到的群来表示一个流形的分解。这就是同调群。

其实，同调有两种等价的说法，即所谓的上同调和（下）同调，前者是由低维往高维走
，后者是由高维往低维走。你知道，这种分法必然没有本质差异，因此可以不管它。

同调群的计算比同伦群来得可操作多了，在流形上人为画些边，面，得到闭链，即可依
固定程序算得同调群。实际上，由于我们知道，同调群闭链的差异其实也是在各维洞附
近表现特别，故由洞数以及洞之分布，可以帮助我们（猜）得到同调群。

作为本讲的结束，请看官留意欧拉示性数有一个非常优美的同调群语言表述：
χ＝ [(-1)^{i}dim h_{i}]，对i求和。
即欧拉示性数等于各阶同调群的维数（也就是Betti数）之交错和。再次以交错和来表
达拓扑不变量！

写到这里，我突然看到诗兴盎然的短江兄，于是也跟着诗兴发作，特贴出来与看官分享
，并请短江兄修改。

─────────────────
颂不变量（polik自由诗体）

啊，伟大的不变量！
你是思维的灯塔，
你是黑夜的星光。

有你就有共同点，
有你就有恒等式，
有你就有准绳和皈依。

你是法律，你是指南，
你是地图，你是基石。

啊，伟大的不变量！
你是科学的生命，
你是文明的灵魂。
────────────────

将不变量换成荆，周末可骗得美餐一顿。
不难理解，寻找不变量是数学（物理）的一个永恒主题。一方面是追求不变量，另一方
面是从完全不同的角度看待几何或拓扑。我们下面得分开成平行的两讲（4A）和（4B）
，然后才回到正题（4C）。各节题目预告如下：

闲论Atiyah-Singer指标定理（4A）─先声─从Euler到Riemann-Roch与Gauss-Bonnet-
Chern：微分形式，（上）同调

闲论Atiyah-Singer指标定理（4B）─先声─从Euler到Riemann-Roch与Gauss-Bonnet-
Chern：Morse理论

闲论Atiyah-Singer指标定理（4C）─先声─从Euler到Riemann-Roch与Gauss-Bonnet-
Chern：RR定理及其推广

----------------------------------------------------------------------------
----

闲论Atiyah-Singer指标定理（4A）─先声─从Euler到Riemann-Roch与Gauss-Bonnet-
Chern：微分形式，de Rham（上）同调

上同调类有十几种，名字也混乱。数学家里变态的多，有些人喜欢迷雾好混水摸鱼，有
些人则专门制造迷雾。我在这里引带你们躲过那些害人的东西，直奔要点。我会在不久
的将来另文彻底清算数学上的各类同调理论。到时你会发现，同调湖里的浑水是多么的
污浊，而又多么不应该。

中学微积分知识告诉我们，对于一条曲线，一阶导数即切线代表倾斜程度，即斜率，二
阶导数代表弯曲程度，即曲率。推广到高维情形，依然成立，只是方向多了些，斜率需
要多个独立分量（＝流形维度），而曲率就更多了，是一个张量。以二维曲面为例。每
点的切线（无限条）构成一个切平面，一个平面可由一个二维向量空间代表。又由于过
每一点可以画无限多条曲线，故曲率也很多（无限多），他们的大小满足从基点到一个
椭球表面的距离，因此可以用一个椭球面来描写二维曲面某一点的曲率，椭球的三个轴
和椭球的方位总共对应6个独立值，叫做曲率张量的6个分量：
d^2/dx^2,d^2/dxdy, d^2/dxdz,d^2/dy^2,d^2/dydz, d^2/dz^2.
高维情形依然有切平面，但曲率张量的分量要多一些。

曲率张量的每个分量是一个二阶导数。曲率张量还是反对称的，即交换指标出现一个负
号。这是要点。

因此干脆将曲率张量的每个分量带上相应的dx_idx_j,i,j=1,2,...n. 并且规定dx_idx_
j ＝ - dx_jdx_i，这当然与通常微分乘法不同，但体现交换反对称性质，叫外微分。
这个看似简单的记号改变，外微分是一个巨大的创新，对简化计算至关重要，更重要的
是，它是20世纪微分几何发展的一个主动力。现代微分几何都是用这套记号。很多人都
不加"外"字了。这是最紧要的，建议看官在这里反覆几次。

将二阶导数配上外微分，就得到了表达成外微分形式的曲率张量。

巧的是，如此定义微分，积分会得到巨大简化，高维积分与一维积分一样简便。

更巧的是这样定义的微分形式按乘法构成群，叫 (de Rham)上同调群。

外微分形式还有很多巧，暂先不谈。

我们知道，把张量分量当作一个矩阵（高维）的元素以后，张量就是矩阵。因此曲率张
量就是曲率矩阵。微分形式的曲率张量就是微分形式构成的矩阵。用矩阵时，我们希望
矩阵行为端正，例如不要奇异，即有反矩阵存在。否则我们就不理睬它。我们对待曲率
矩阵也是如此，都假定它是a good guy。这样我们就可以找他的特征值（即曲率张量的
主分量）。我想，如何求矩阵特征值就不用提了吧，归根到底就是解行列式而已：
｜Ω-Iλ｜=0
Ω是曲率矩阵，λ是特征值。与平常解矩阵特征值问题的唯一差异是，这里的特征值也
是微分形式。

我们知道任何一个行列式可以展开，曲率矩阵对应的特征行列式做展开以后，按特征值
的幂次表示出来：
1 + c_1 λ + c_2 λ^2+....=0 （第一个系数总可令其为1，why?）
其系数c_1,c_2就是第一陈式，第二陈式，....。他们分别是2i（1<i<n）次（闭）微分
形式。陈就是陈省身。

陈式是微分形式，而且是用来表示纤维丛的拓扑不变量的最佳形式，这样表示的拓扑不
变量就叫示性类，或特征类，即陈类。

陈式是闭微分形式，非常重要。代表d c_i =0, i=1,2,...表明局部"平"（流形）或"丛
局部＝局部积"（丛），但其积分非零（整体拓扑非平庸流形/丛不等于流形简单乘积）
，即他们不是恰当微分形式，c_i不能（在整个流形上）写成全微分形式df_i。

[微积分里讲过，闭形式是指：w = fdx + gdy 满足 df/dy = dg/dx，因此dw=0, 但w本
身不能写成某个形式的全微分dW，即f 不一定等于dW/dx，g也不一定等于dW/dy。]

与同伦群的元素为"类"一样，同调群的元素也为"类",即同调类。可以更清楚地写出明
显形式：k维同调群＝ k维闭链群/k维边缘链群。同调群的秩或维由群元素数目决定，
也即自由群部分的秩。同调群的扭分量是指交换群中的有限阶（非自由）元素。

微分形式组成的同调类叫de Rham上同调类，相应的群叫de Rham上同调群。同样，可以
写出de Rham上同调群的明显形式：
k维de Rham上同调群＝ k维闭形式群/k维正合形式群

基础或基本（上同调）类就是n维体积元dx_1dx_2...dx_n，积分时往往要先将"被积函
数"（微分形式）里提取出基本类来。

Todd 类其实就是陈类的某种重组（也有人叫Todd类为陈类的余类）。所以并非新东西
，也是一些微分形式拼出来的。之所以特别引入Todd类，目的是他与所谓 Betti数的关
系更直接。[第4节讲了，betti数就是流形同调群（非扭部分）的维数（秩），其几何
意义为将连通流形剖分时，最多可以切几次而不将其分成两片。有人直观但粗略地说，
"bett数代表流形上各维洞的数目"，知道betti数可以算出洞数，但并不是指betti数就
是洞数！例如，pretzel的一维betti数为6而不是洞数3。]

在最一般的意义下微分算子的作用可以理解为在流形间建立映射，对切场产生前向映射
，对余切场（微分形式）产生拉回映射。与本题相关的是椭圆微分算子的作用在丛截面
之间建立映射，对余切场（微分形式）产生拉回映射。微分算子象征的陈类在积分时需
要"乘以"Todd类。

虽然de Rham上同调类是微分形式类，但多数人觉得它比很多别的（上）同调类反而来
得直观友好。其实，微分形式与边缘的关系通过Stokes定理而表现得淋漓尽致：

（图片）

或，<M,dω>=<&M,ω>
用文字表达就是：对流形整体的积分可以化成对该流形边缘的积分，或更一般地，微分
算子是边缘算子的伴随算子。所以de Rham上同调类与闭链同调类实如形影相伴。
Stokes定理对任何维度都成立。这个公式不光美妙，更充满神秘。我相信任何初次接触
这个公式的人与看到爱因斯坦的质能关系一样，会感受自己心灵的震颤！

短江兄谈到中国人服暴力不崇理性，十分中肯。这其实是所有落后民族社群的共同不变
量。中国历史上产生了众多超级混混而受人膜拜，却从未能产生一个哪怕是玩具版的
Stokes定理。再随便看看任何表现理性和需要深度的地方，中国人就得鸭蛋。八卦易经
、宫廷狗斗、中医风水、算命相术，这些所谓中华文化的精髓就是蒙昧、荒诞及其滋生
的暴力风格，所谓辉煌的中国历史就是愚民反覆被极少数看穿这些精髓的魔头所利用然
后很快被烹宰的历史。方舟子老师批中医，据理据实，用心良苦，粪青叫痛早在预料之
中，但还有那么多朝野"精英"人物来抵制方老师，难怪中国人最多也不可能产生一个哪
怕只是形似Stokes定理的作品。
Lynne
Lynne 2011-06-19 23:54:04

我们知道，数学分析（analysis）的对象是函数及其微积分，要角是f。拓扑学（
topology）关心形变不变量。形变即大小形状可以改变但不撕破（就像捏橡皮糖）。形
变不变量就是流形形变下不发生变化的量，像空间维度，分支数，洞数，连通性（一个
杯子是连通的，两只就不是了），紧致性（是否有限）等，都不会变。而面积、长度、
体积、普通的导数、积分这些分析学量在形变下都会变，即他们不是拓扑不变量。

所以传统上认为分析是分析，拓扑是拓扑，井水不犯河水，即分析与拓扑是独立学问，
良家男女，各守自家，没有暧昧关系。但下面简单的关系式就告诉我们，a和t很有一腿
，连小孩眼光也逃不出：

dim (ker f) - dim (ker f^) ＝ dim V - dim W。

等式左边（映射或函数）是分析（量），而右边（空间维度）是拓扑（量）。因此说这
个等式"建立起了分析学和拓扑学的联系"。这就是指标定里的核心意义，它揭示出两个
看似没有关连的领域其实是有制约关系的。你看到楼下已经有几个人奈不住把这句话a
linkage, or, bridge, between two apparently unconnected fields, i.e.,
analysis and topology, is established by AS theorem讲了几次了。

作者: 东方 时间: 2013-6-2 19:28
关于简单与复杂，个人部分同意下述说法。但抽象化过了头，过份的形式化唯美化掩盖了数学实质内容也不好。

Bourbaki布尔巴基学派当年稍有点过，觉得。
不过这也只是从目前及这之前那个发展阶段看是如此。

发信人: sunlei777 (777), Re: 【转载】闲论Atiyah-Singer指标定理

我以前也是这么认为的，后来慢慢学才发现数学不是把简单变复杂，
恰恰是把复杂变简单。抽象化“上层次”的目的是为了看东西更明白，
所谓“更本质”。这个过程很痛苦，但真要学通了，看别的就简单多了。
当然，总归是说着容易做着难就是了。

欢迎光临 eNewsTree.com (http://enewstree.com/discuz/)