Friday, December 19, 2014

欧拉数的"挑火柴棒", 保持欧拉数不变的操作. 这实际上是很重要的一个条件. 在一百年后, 嘉当发展同调论

编织世界的精灵--浅谈拓扑弦论(1) 神秘的拓扑数

牧城的格致传说 牧城的格致传说 2011-08-13 17:22:10


牧城的格致传说
2011-08-16 16:26:13 牧城的格致传说 (客里似家家似寄)
由于我每天只写一点点, 时间有限. 而且直接在原来的基础上修改和增写, 所以豆油们, 看看有哪些地方晦涩难懂了, 或者写的不好也给点意见. 毕竟,写这种长篇的科普, 牧城我也是第一次. 牧城先谢过了.
牧城的格致传说
2011-08-16 16:28:15 牧城的格致传说 (客里似家家似寄)
另外, 关于这一段的历史, 因为我不是学数学的, 缺少很多可以八卦的材料. 如果有八卦的童鞋, 可以告诉牧城. 一并谢过了.
默默地抽
2011-08-16 23:11:25 默默地抽 (废柴在燃烧~~~)
挺有意思,支持。期待下文
牧城的格致传说
2011-08-16 23:16:03 牧城的格致传说 (客里似家家似寄)
@默默地抽
谢谢,看的话,有意见和不好的地方提出来。牧城致谢。
纤纤
2011-08-17 09:14:30 纤纤 (希望认识郑州的钟爱科学的朋友)
总的来说,比上一篇说玉皇的黄色文章写得好:)
哈哈哈,
但是不足之处如下:
1、不够激动人心,文字不够辉煌有力,还达不到武侠小说般的效果,建议重读量子物理史话,细细在品读曹天元的文风。
2、感觉不到你的提纲。首先要有一个大纲,比如一共要写多少章,每张如何OPEN,花边放在哪些位置,如何谋篇布局,文风是哪种 :)这些大方向要统一起来。
3、每新增加一个人名,不论是知名度如欧拉还是不知名如纤纤,最好都要加上其生卒年月,起主要成就,简单做个介绍,这样你写出来的文章就可以另外当做一部史去看了:)
unml
2011-08-17 12:47:32 unml
纤纤同步介绍些好文风的文章,喜欢这个,也喜欢物理,也喜欢几何,也喜欢武侠,能成一体,我辈之武侠秘籍也!
jake
2011-08-31 11:12:50 jake
这部分是最关键的:

“ 先将多面体中的一个面煎下来, 这显然是一个多边形, 它的欧拉数为1. 剩下的部分我们将它拉伸后铺平放在平面上. 然后通过连接顶点的办法将它变成很多个三角形, 而且这些三角形的任意边不能在多面体的任何一个面内相交. 这样我们就得到了一个三角形堆砌的平面. 注意这样做不会改变顶点的个数, 只会增加棱数和面数. 但简单的分析就可以知道. 增加的棱数和面数是一样多的. 所以这个操作是保持剩余部分的欧拉数的. 实际上,这个操作在拓扑学中是剖分. 以后我们还会碰到这样的操作. 做完剖分之后, 我们先去掉最外面的一条边. 注意, 这样做同时也去掉了一个面. 因而也是保持欧拉数不变的操作. 然后, 观察剩下的图, 如果我们发现有三角形的两条边都是最外面的边, 那么我们去掉这个三角形的外顶点和相应的两条边(注意,同时我们也去掉了一个面), 这样的操作依然是保持欧拉数的. 持续这样的操作, 我们最终会得到一个三角形. 而三角形的欧拉数是1”

只可惜,到这里没有任何示意图,需要让读者在头脑中画出空间的图形出来。这样,空间想象力差的读者就全吓跑了。建议,这篇文章不用讲太多东西,就直接把这个操作说清楚,已经相当功德无量。一定要配图,不过在电脑上画出这个操作图的确很麻烦,所以建议用纸笔来做,扫描上来。

总之,很喜欢入门的风格。你提到的张无忌那段,我也在我的科普文章中用过,所以倍感亲切,欢迎来看看,共同切磋科普写作:
http://www.swarmagents.cn/vm/articles/turing.pdf
牧城的格致传说
2011-08-31 11:36:27 牧城的格致传说 (客里似家家似寄)
@jake
嗯,这个图不好画。当时我偷懒了。第一章写完再补上吧。
我去拜读一下。
[已注销]
2011-09-08 17:21:57 [已注销]
拖了很久,终于看完这篇。后面说的时候感觉没有前面的风格诙谐,有些推导省略的多了,好像背离了科普的目的。关于轮胎的欧拉数是0还是参考了一下集智google论坛上大家的讨论才想明白,阿星能不能把这部分再修改一下呢?当然,还是很感谢。
sk
2011-09-24 19:45:24 sk
喜欢
{x|x∉x}
2012-10-26 20:27:56 {x|x∉x} (Research 💾 In 💾 Pieces)
为什么球面和轮胎那么麻烦?要求面是单连通的,线是有起点终点的就很好解决了啊。球面只要用线画个大圆,然后起点终点放同一个点,划出来两个面,就2了。轮胎就用你那两条线作为线,然后交点作为起点/终点。1点2线1面,就是0啊。最后那个可以用三点三线切出两个8字形的面,然后点点再相连多4条线让面单连通。2-4就-2了。
被切开的两部分加起来就是整个的,这个倒是很方便……多一线一点正好消掉了。
{x|x∉x}
2012-10-26 20:47:24 {x|x∉x} (Research 💾 In 💾 Pieces)
但是有适用条件,比如环状切面是没问题,但是比如把两个多边形的边粘在一起就不能直接加了。所以“这可以将它从中间分开变成两个咬了一口的面包圈来看出”并不是自然成立的,需要有条件的。

豆瓣社区

编织世界的精灵--浅谈拓扑弦论(1) 神秘的拓扑数 part II

牧城的格致传说 牧城的格致传说 2011-08-17 21:53:24

[已注销]
2011-08-30 12:46:27 [已注销]
最后没写完么?
牧城的格致传说
2011-08-30 22:07:47 牧城的格致传说 (客里似家家似寄)
@年糕
近日身体微恙. 今日已有更新. 以后会坚持更新下去的.
[已注销]
2011-08-30 22:09:25 [已注销]
多注意身体。持续关注。感谢辛勤劳动:)
jake
2011-08-31 13:35:03 jake
不明白什么叫n边界链?
为什么 2 维的链是四个面的组合,x ABC + y ABD + z ACD + w BCD?
牧城的格致传说
2011-08-31 14:23:36 牧城的格致传说 (客里似家家似寄)
楼上, 问自己如下问题: 2维的单纯形是什么? 闭合链的定义是不是多个单纯形的集合? x,y,z,w这些系数包含的意义是否是定向和同一个单纯形被计算的次数?这么想下来。

n边界链的意思是, 它本身满足n闭合链的定义, 但是它是一个n+1链的边界。 比如三角形的三条边组成一个闭合链。 但这三条边本身是这个三角形的边界。 所以这三个边(定向好的)构成一个1边界链。

我会修改一下。 这里写的不清楚。
[已注销]
2011-09-08 17:30:27 [已注销]
正合列是循环或者说是"首尾相接"的吗?(资产回归0)
[已注销]
2012-10-27 01:36:57 [已注销]
看完到这里了,程度只有高等数学水平的小白表示写得很有意思,已经有了大局观,但若想把没一个概念理解清楚果然还尚需反复多看两遍呢~非常感谢
[已注销]
2012-10-27 15:32:35 [已注销]
作者,你严肃地学过指标定理吗?Euler number最多只是Dirac operator [;d+d^\ast;]的拓扑指标而已,连解析指标都没有涉及到,离指标定理还差得远呢!
指标定理最早的时候,是1954年Hirzebruch对高维复流形证明了Riemann-Roch,他引进了两个重要的拓扑不变量:Chern character和[;\hat{A};] genus,它们都是用Chern class的rational polynomial定义的,所以右边的所谓拓扑指标是有理数。但是左边的解释指标是用线性空间的维数定义的,所以是整数。现在二者相等。也就是说要解释这件事:为什么右边用Chern class的有理多项式定义的拓扑不变量实际上不仅仅是有理数而是整数。
所以Atiyah见到Singer,问他为什么spin manifold上的[;\hat{A};] genus是整数,这是指标定理的开端。他们一开始的证明表明了右边的拓扑指标实际上是一点的K群的元素,所以解释了为什么是整数这件事。可是Atiyah认为,指标定理今后的引用需要拓扑指标的具体形式,这就是他们后来的工作。他们第一次给出拓扑指标的具体形式是在1968年,这个具体形式可以用Chern character和Todd class给出,而假如算子是Dirac的,则可以由[;\hat{A};] genus给出。所以他们一开始的证明从来没有发表过,第一个完整的证明就是1968年的论文。这个具体形式极端重要,数学物理中要计算moduli space的维数就是用指标定理。
Bott在指标定理上的贡献是考虑了homogeneous vector bundle,这是他的老本行。不过这不算推广,是一种variation。后来Bott跟Atiyah一起用elliptic complex推广了Lefschetz fixed point formula。elliptic complex是de Rham complex的自然推广,这也是作者以后可以考虑科普的概念。这个推广在精神上是指标定理的byproduct。
Weyl没有从事过整体微分几何。Weyl对微分几何的贡献只有两点,其一,Weyl tensor,其二,tube的体积公式。后者仅仅是跟Gauss-Bonnet的Allendoefer-Weil proof有关,但是Weyl自己并没有做这个公式。
另外,你前面一篇科普讲到Gauss-Bonnet公式的时候也有把几何和拓扑混为一谈的嫌疑。不过没有这里的夸大其词严重。
我想,科普通俗易懂固然好,但是如果仅仅讲了一点连指标定理起源都算不上的东西,就说这”就是“指标定理,这毫无疑问在误导大众的同时,又构成了对数学家的贬低,希望在今后有所改正

No comments:

Post a Comment