几何学与数学教育

1、 几何学与数学教育几何学与数学教育蒲志林（四川师范大学） 数学国培计划班 2014、09 前 言数学：空间形式/数量关系所谓空间：就是各种各样的几何学。 前言几何学在数学中，特别是在20世纪基础数学中占有重要地位，这可以从近50年来菲尔兹的获奖工作便可知道。几何学与物理学之间的密切关系已为世人所知。 前 言近年来，由于信息科学等学科的发展，在物理学之外的许多新兴学科中也出现了系统利用几何学知识的现象，例如：在量子计算机领域，使用了许多拓扑学的知识；在机器人理论领域中，需要关于李群的系统的拓扑和几何知识； 前 言在编码学和信息安全领域中，需要用到深刻的代数曲线理论；等等。 前 言但是，由于历史的

2、原因和认识的偏差，我们从中小学到大学的数学教育，关于几何学的教育越来越薄弱，没有受到足够重视！几何学的重要性几何是很重要的，因为大家觉得几何就是数学。比方说，现在还有这一印象，法国的科学院，它的数学组叫做几何组。对于法国来讲，搞数学的不称数学家，而叫几何学家，这都是受当时几何的影响。 前 言 一个永恒的科学主题我们生活的宇宙空间究竟怎么样？ 各种各样的几何学是描摹宇宙的数学框架。前言 按照辩证唯物主义的观点： 空间-是物质存在的普遍形式。现实世界中的万事万物都存在于空间之中，在其中运动、变化和发展。这种现实的空间就是通常所说的三维欧几里得空间。前言 19世纪以前的数学都是在三维或低于三维的空间

3、中讨论的。 19世纪中叶以后，数学家开始引入高于三维的多维空间，并逐步建立起了多维空间的几何学、代数学和分析学。进入20世纪，数学中又引进了无限维空间，并开始研究无限维空间上的几何、代数和分析问题。几何学的起源讲到几何学，我们第一个想到的是欧几里德。很可惜的是关于欧几里德的身世我们知道得很少，只知道他大概生活在纪元前三百年左右。他是亚历山大学校的几何教授，他的几何原本大概是当时的一个课本。亚历山大大学是希腊文化最后集中的一个地方。欧氏几何学欧几里得的巨著几何原本，是第一本系统研究几何的书，而且并不仅仅是几何，而是整个数学。因为那时候的数学还没有发现微积分。几何原本全书分13卷，有5条“公理”或

4、“公设”、23个定义和467个命题。欧氏几何学按照哲学原理时间是没有起点的。但是人们可以人为地选择一个标志性时间作为计算的原点公元零年。此前的时间无限，此后的时间也是无限的。 时间的几何模型是一维的直线。没有开端也没有终结。一个具体的时刻（某年某月某日某时某分某秒）用数字表示，便是一个有理数。另一方面，时间与时间之间是连续的，没有“非时间”的空隙存在。时间和实数集构成一一对应。 欧几里德几何学欧几里德几何学欧几里得点、线、面、角、园、欧几里得点、线、面、角、园、三角形等三角形等23个定义后，选择了个定义后，选择了5条公条公设和设和5条公理。条公理。 公理是适用于一切科学的真理，公理是适用于一切

5、科学的真理， 公设则只适用于几何学。公设则只适用于几何学。 欧几里德几何学欧几里德几何学 欧几里得所选择的欧几里得所选择的5条公理是：条公理是： （1）等于同量的量相等；）等于同量的量相等； （2）等量加等量，和相等；）等量加等量，和相等； （3）等量减等量，差相等；）等量减等量，差相等； （4）彼此重合的图形是全等的；）彼此重合的图形是全等的； （5）整体大于部分。）整体大于部分。 欧几里德几何学欧几里德几何学 欧几里得所选择的欧几里得所选择的5条公设是：条公设是： （1）从任意一点到任意一点可作一直）从任意一点到任意一点可作一直线；线； （2）一条有限直线可无限延长；）一条有限直线可无限延

6、长； （3）以任意中心和任意一个距离为半）以任意中心和任意一个距离为半径可以作一个圆；径可以作一个圆； （4）凡直角都彼此相等；）凡直角都彼此相等； （5）若一直线落在两直线上所构成的）若一直线落在两直线上所构成的同旁内角和小雨两直角，那么把两直同旁内角和小雨两直角，那么把两直线无限延长，他们将在同旁内角和小线无限延长，他们将在同旁内角和小于两直角的一侧相交。于两直角的一侧相交。 欧几里德几何学欧几里德几何学 欧几里得本人对第五公设的叙述欧几里得本人对第五公设的叙述似乎并不是十分喜欢的。因为相对于似乎并不是十分喜欢的。因为相对于其它四条公设来说，第五公设的叙述其它四条公设来说，第五公设的叙述比

7、较复杂，虽然没有人怀疑它的真理比较复杂，虽然没有人怀疑它的真理性，但是不像其它公设那样有说服力性，但是不像其它公设那样有说服力。通常，第五公设还可以叙述成如下。通常，第五公设还可以叙述成如下等价的平行公设：等价的平行公设： （5）若一条直线落在两直线上所若一条直线落在两直线上所构成的同旁内角和等于两直角，那么构成的同旁内角和等于两直角，那么把这两条直线无论如何延长，它们都把这两条直线无论如何延长，它们都不会相交。不会相交。 欧几里德几何学欧几里德几何学 欧几里得选择的公理和公设具有非凡欧几里得选择的公理和公设具有非凡的优点，不肤浅，又可以被人们立刻接受的优点，不肤浅，又可以被人们立刻接受，从它

8、们出发可以导出深刻的结论，得到，从它们出发可以导出深刻的结论，得到整个几何学系统，一座精美的大夏就严密整个几何学系统，一座精美的大夏就严密地建立了起来。地建立了起来。 更重要的是，欧几里得几何学的创立更重要的是，欧几里得几何学的创立，对人类的贡献不仅仅在于产生了一些有，对人类的贡献不仅仅在于产生了一些有用的美妙的定理，更主要的是孕育出了一用的美妙的定理，更主要的是孕育出了一种理性精神。种理性精神。 欧几里得几何学被认为是数学发展史欧几里得几何学被认为是数学发展史四个高峰的第一个高峰。四个高峰的第一个高峰。 欧几里德几何学欧几里德几何学 欧几里德几何学已经沿用了二千多年欧几里德几何学已经沿用了二

9、千多年，至今中学教材中的几何内容还是与早在，至今中学教材中的几何内容还是与早在公元前年左右的欧几里德所写的公元前年左右的欧几里德所写的“几何原本几何原本”的内容基本一致。的内容基本一致。欧氏几何学与公理化数学欧几里得用公理化方法建立起来几何学，是数学演绎体系的最早典范。在之后的2000多年间，这一严格的思维形式，不仅用于数学，也用于其他科学，甚至用于神学、哲学和伦理学中。欧氏几何学至高无尚的价值自面世之后，几何原本历经多次翻译和修订，至今已有1000多种不同的版本，据说它的发行量曾仅次于圣经而位居第二。我想欧几里得当初研究的动机肯定不是任何实际应用，而是美的追求，真理的追求。后来事实证明，他的

10、成果应用广泛，影响深远。数学发展史的四个高峰公元前300年的欧几里德几何原本对人类的影响至今不衰；微积分的发明和应用是人类思辩能力的高峰；世纪至世纪初的公理化数学法国大革命带来了伟大的法国数学学派；以计算机技术为基础的当代数学。非欧几里得几何学 长期以来，关于欧几里德几何公理长期以来，关于欧几里德几何公理体系的完备性、无矛盾性引起了很多数体系的完备性、无矛盾性引起了很多数学家的兴趣，特别是学家的兴趣，特别是欧几里德的第五公欧几里德的第五公设（平行公设）是否与其它公设独立的设（平行公设）是否与其它公设独立的问题，即平行公设能否用其它的公设推问题，即平行公设能否用其它的公设推导出来导出来的研究更导

11、致了非欧几何学的诞的研究更导致了非欧几何学的诞生，其中决定性的工作应归功于生，其中决定性的工作应归功于J。Bolyai（匈牙利）和（匈牙利）和N.I.Lobachevsky（俄国）。俄国）。非欧几里德几何学很多学者（包括一些著名数学家）曾很多学者（包括一些著名数学家）曾宣称证明了平行公设能用其它公设推宣称证明了平行公设能用其它公设推导出来，但最后发现这些论证都是不导出来，但最后发现这些论证都是不正确的。正确的。对欧氏几何中平行公设的研究，导致对欧氏几何中平行公设的研究，导致非欧几何学的诞生。例如，球面上的非欧几何学的诞生。例如，球面上的几何学（以大圆作几何学（以大圆作“直线直线”看）就不看）就

12、不满足欧氏几何的公理体系。满足欧氏几何的公理体系。非欧几里德几何学 非欧氏几何的创立使人们认识到非欧氏几何的创立使人们认识到数学空间和物理空间的区别，欧氏空数学空间和物理空间的区别，欧氏空间不再是描写物理空间唯一正确的数间不再是描写物理空间唯一正确的数学模式，它的公理系统不能认为是先学模式，它的公理系统不能认为是先验的验的“真理真理”，它只是欧几里得根据，它只是欧几里得根据经验明智地提出来的一种先验假定，经验明智地提出来的一种先验假定，非欧氏几何的公理同样也是一种合理非欧氏几何的公理同样也是一种合理的先验假定。的先验假定。 解析几何学的诞生推动几何学第二个重要的、历史性发展的人是Descart

13、e（15961650），中国人翻译成为笛卡儿。他是法国哲学家，不是专门研究数学的。他用坐标的方法，把几何变成了代数。当时没有分析或者无穷的观念。所以他就变成代数。解析几何与线性代数笛卡尔发明了坐标系，为欧氏空间安上了坐标架，使数形结合了起来，解析几何学由此诞生。 所带来的新的问题:如何选取坐标系?平面和空间的几何学是直观的，但是更高维的几何学需要新的抽象表示方法。平面向量、空间向量推广到维向量。用向量构成了线性空间，矩阵成为描述几何变换的有力工具。线性代数和几何学成为密切的伙伴。射影几何学 几何图形可以搬来搬去，不改变图形的面几何图形可以搬来搬去，不改变图形的面积和体积。但是相似变换可以把图形

14、放大积和体积。但是相似变换可以把图形放大或缩小，面积、体积随之而变化。把物体或缩小，面积、体积随之而变化。把物体投影在墙上，形状有变化的部分，也有不投影在墙上，形状有变化的部分，也有不变的部分。这种变与不变成了几何学的研变的部分。这种变与不变成了几何学的研究对象。究对象。射影几何学成了一门学问。射影几何学成了一门学问。lein的观点：几何学应当按变换的观点：几何学应当按变换群进行分类。群进行分类。lein的基本思想是的基本思想是把几何看作某个变换群作用下的不变把几何看作某个变换群作用下的不变量。根据量。根据lein的思想，有一个变换的思想，有一个变换群就有一个几何与之对应，欧几里德群就有一个几

15、何与之对应，欧几里德几何就是研究几何图形在欧几里德变几何就是研究几何图形在欧几里德变换群下不变的性质和量换群下不变的性质和量。拓扑学拓扑学是一种几何学，它是研究几何图形的。但是，拓扑学所研究的并不是大家最熟悉的普通的几何性质，而是图形的一类特殊性质，即所谓“拓扑性质”。拓扑学-几个有趣的问题1、从一笔画问题到七桥问题 一笔画是一个简单的数学游戏。平面上由曲线段构成的一个图形能不能一笔画成，使得在每条线段上不重复？ 例如汉字：“日”、“中”都是可以一笔写出来的，而“田”和“目”则不能一笔写成。拓扑学-一笔画问题拓扑学-几个有趣问题著名的七桥问题： 流经格尼斯堡的普雷格河的河弯处有两个小岛，七座桥

16、连接了两岸和小岛（如图）。当地流传一个游戏：要求在一次散步中恰好通过每座桥一次。 很长一段时间没有人能做到。拓扑学-七桥问题拓扑学-几个有趣问题 后来大数学家欧拉(Euler) 研究了这个游戏，他用点代表陆地（两岸和岛），用连接各点的线代表桥，得到图中右边的图形。于是上述游戏变成：这个图形能不能一笔画成的问题了。 Euler 证明他是不能一笔画成的。 拓扑学- 几个有趣问题 2、地图着色问题 给地图着色时，要把相邻的国家（或地区）着上不同的颜色，以便容易地加以区分。那么绘图员至少要准备多少种颜色才能给任何地图着色？ 这个问题看起来简单，却出人意料地难以解决！拓扑学-地图着色问题拓扑学-几个有趣

17、问题 从1852年由 F . Guthrie 提出后，知道上世纪七十年代才借助计算机得到解答！ 地图着色问题同一笔画问题一样，具有所谓的“拓扑”特性：它与度量（区域的面积、边界线的长度等）和形状都没有关系，关键是区域的个数和他们的邻接关系：地图经过变形（缩放或作各种投影）所需颜色数不变！拓扑学-几个有趣问题 3、Euler 多面体定理 这是立体几何中的一个有名的定理：凸多面体的面数 f , 棱数 l 和顶点数 v 满足 Euler 公式： f - l + v = 2拓扑学-欧拉多面体问题拓扑学-几个有趣问题 表面上看，似乎它和前面的一笔画问题、地图着色问题不一样，而且凸多面体是平直图形，不能随

18、意变形，但只要对 Euler 多面体定理稍作变形，就可看出它的“拓扑”特性了。拓扑学-几个有趣问题 把多面体放进一个大球体内，是球心在多面体内部。从球心作中心投影：把凸多面体的棱映射成球面上的曲线（实际上是大圆弧），定点映射成球面上的点。这些点和大圆弧构成球面上的一个图（网络），它把球面分割成 f 块，有 l 条枝（大圆弧）和 v 个节点。拓扑学-几个有趣问题 Euler 定理可以推广为： 定理：球面上一个联通的图的节点数 v , 枝数 l 以及它分割球面所成的面块数 f 满足公式 f - l + v = 2拓扑学-几个有趣问题 这种推广了的 Euler 定理具有拓扑性质：一方面，当图在球面上

19、变形时， f ,l , 和 v 这三个数不会变化；另一方面，当球面本身变形时（其上图也随着变化） f , l ,和 v 也不会变化。球面可以变形为椭球面、葫芦形或其它各种形状的曲面，对这些曲面定理照样成立。拓扑学-几个有趣问题 但是，有的曲面不能由球面变形而得到，例如：环面。事实上上述定理对环面不成立！ 对环面，相应定理结论为： f - l + v = 0. 对于一些更复杂的曲面，f l + v 是个负数！拓扑学-几个有趣问题 以上事实说明：整数 f l + v 与曲面上图的选择无关，完全由曲面本身决定，这个数被称为曲面的 Euler 数 -它反映出曲面的一种几何性质，当曲面被变形时，它是不会

20、改变的！拓扑学-一种几何学 Euler 和他那个时代的其他数学家认识到：存在着某种新的几何性质，它们和欧式几何中研究的几何性质完全不同！这些几何性质涉及到图形在整体结构上的特性-这就是“拓扑性质”：与几何图形的大小、形状，以及所含线段的曲直等等都无关，不能用几何方法来处理。需要一种新的几何学-拓扑学。微分几何学 欧氏几何学使用的工具很简单，欧氏几何学使用的工具很简单，所以只能研究直线、平面、直方体。所以只能研究直线、平面、直方体。 由由“直直”向向“曲曲”的进化，来自微的进化，来自微积分的推动。例如：积分的推动。例如： 用微积分的知用微积分的知识可以度量光滑曲线的长度。识可以度量光滑曲线的长度

21、。微分几何学 最简单的曲面是球面，地球相当最简单的曲面是球面，地球相当于一个椭球面（近似）。于一个椭球面（近似）。 地球上两点之间以怎样的曲线为地球上两点之间以怎样的曲线为最短？最短？ 曲面上的最短线曲面上的最短线称为称为“测地测地线线”。 球面上的测地线就是大球面上的测地线就是大 圆。圆。微分几何学 曲面上的几何学曲面上的几何学经典的微分几经典的微分几何学。何学。 ular和和onge对微分几何的早期对微分几何的早期发展作出了重要贡献。发展作出了重要贡献。 微分几何学 auss关于曲面的理论，给出了一系关于曲面的理论，给出了一系列的基本度量，其中最重要的是曲率列的基本度量，其中最重要的是曲率

22、曲面上各处的弯曲程度。曲面上各处的弯曲程度。 auss建立了基于曲面第一基本形式建立了基于曲面第一基本形式的几何，并把欧几里德几何推广到曲面的几何，并把欧几里德几何推广到曲面上上“弯曲弯曲”的几何，使微分几何真正成的几何，使微分几何真正成为一个独立的学科。为一个独立的学科。 曲面论的主要想法是把用参数(u，v)表示的曲面上两个无限邻近的点之间的距离d s表示成 其中E，F，G都是参数u，v的函数。 我们称矩阵为该曲面的度量矩阵，曲面上的许多弯曲性质都可用度量矩阵刻划出来。EFFG222d= d+2 d d +d,sE uF u v G v222d= d+2 d d +d,sE uF u v G

23、 v流形（inifold） 从平坦的欧氏空间到弯曲的一般空间，不仅仅是弯曲程度起了变化，更重要的是整体结构有改变。 例如：球面和环面具有很不相同的整体结构。但是，从局部看都差不多，环面上一点周围的一小片和球面上一点周围的一小片没有什么大的不同，可以和欧氏平面上的一个小圆片一一对应起来这种把曲面看成许多小块圆片堆积而成（堆成不同的结构）的观点，就是现代数学家 所说的流形（inifold） 。 流形 流形是现代数学最重要的概念之一，是点、线、面等几何空间概念的推广。它可以描述任何可以用局部平坦空间所覆盖的物体。 宇宙空间原来也是一种流形。 流形（inifold） 文天祥的著名诗句： 天地有正气 杂

24、然赋流形 下则为河岳 上则为日星 流形 流形的整体结构是拓扑学的研究对象。黎曼几何学黎曼生活在18261866年。德国的教学制度在博士毕业之后，为了有资格在大学教书，一定要做一个公开演讲，黎曼在1854年到哥廷根大学去做教授，做了一个演讲，就讨论了这些问题。黎曼的这篇1854年的论文，是非常重要的，也是几何里的一个基本文献，相当一个国家的宪法似的。黎曼几何学黎曼是大名鼎鼎的德国数学家高斯的学生，他在1851年创立黎曼几何。黎曼引进了流形和度量的概念，证明曲率是度量的唯一内涵不变量，具有划时代的意义。黎曼几何是现代几何研究的基础，在物理学和天文学等很多学科的研究当中有着许许多多的应用。黎曼几何学

25、 iemann在年著名的就职演讲在年著名的就职演讲“关关于几何学的基本假设于几何学的基本假设”中，把中，把auss的曲面内蕴的曲面内蕴微分几何理论推广到任意维空间，提出了现今人微分几何理论推广到任意维空间，提出了现今人们称之为们称之为“黎曼几何学黎曼几何学”的思想，的思想，iemann几何就几何就此诞生。欧氏几何是一种简单的黎曼几何。此诞生。欧氏几何是一种简单的黎曼几何。首先，他提出了维流形的概念。首先，他提出了维流形的概念。其次，切向量其次，切向量 dx 的长度的长度 ds（称为线元）可以（称为线元）可以是是 dx 的分量的任意的一次齐次函数，要求该函数的分量的任意的一次齐次函数，要求该函数

26、的值在的值在 dx 的分量全部反号时不改变；并且该函数的分量全部反号时不改变；并且该函数的系数与的系数与 x 有关（现在，称这种度量为有关（现在，称这种度量为 Finsler 度度量）。量）。黎曼几何学iemann的思想引起了许多工作的思想引起了许多工作来处理和发展他的新几何。来处理和发展他的新几何。流形、变换群、李代数等是描述流形、变换群、李代数等是描述和理解黎曼几何的重要语言和工具，和理解黎曼几何的重要语言和工具，同时也是现代数学研究的重要内容。同时也是现代数学研究的重要内容。前苏联一些数学家认为：曲线和前苏联一些数学家认为：曲线和曲面的微分几何已逐渐被看成是过时曲面的微分几何已逐渐被看成

27、是过时的了。的了。 黎曼（Riemann）几何学的思想 在已采用了坐标系x1, x2, , xn的n维空间中，他引入了无限邻近的两点x1, x2, , xn和x1+dx1, x2+dx2, , xn+dxn之间的“距离”ds的概念，ds2可用dx1, dx2, , dxn的一个正定二次型来表示： 其中（gij）是一个正定矩阵。 2,1d( )dd,niiiji jsgxxx 后来，人们将这种带有度量ds2的空间称为黎曼（Riemann）空间。欧氏几何是一种最简单的黎曼几何，这时gij= ij，即2122d(d) +(d) ,nsxx 利用度量ds，可以导出黎曼空间中曲线的弧长、区域的面积、向量

28、的平行移动等几何概念，并由此发展成一种崭新的几何学。 后来， Minkowski 和 Lorentz 等人将黎曼几何中度量正定性的限制去掉，即(gij(x) 也可以不是正定的(但要求它是非退化的)，这样就导出了 Lorentz 几何。2,1d( )dd,niiiji jsgxxx100010,001ijg 这时其中矩阵（gij）是一个非正定的、但行列式不等于零的矩阵。特别地，当时，称这时的 Lorentz 空间为 Minkowski 空间。黎曼几何学与相对论1915年，爱因斯坦创立了新的引力理论广义相对论，也使用到了黎曼创立的几何。黎曼几何及其运算方法为广义相对论研究提供了有效的数学工具。在广

29、义相对论中，宇宙一切物质的运动都可以用曲率来描述，引力场实际上就是一个弯曲的时空，而时空就是数学中的度量化的流形。物理学与数学 刘克峰：物理激发的数学 上海世博会期间在法国馆的演讲 2010年10月12日 物理学与数学 曾经有一些伟大的数学公式改变了人类历史的进程，如： 牛顿的第二力学定律：F=ma 爱因斯坦的质能方程：E=mc2以及牛顿的万有引力定律。 这些公式极其简单，却蕴含了万物的相互作用和变化规律。物理学与数学 今天我们能够制造飞船登上月球，能够利用核能量为人类服务，这些公式为此提供了重要的理论基础。 老子的名言： 大道至简物理学与数学现代数学和现代物理密切相关。特别是，例如：现代数学

30、和现代物理密切相关。特别是，例如：（）广义相对论和规范场论与现代微分几何理（）广义相对论和规范场论与现代微分几何理论相互依赖、互相渗透，互相促进和发展论相互依赖、互相渗透，互相促进和发展 ；（）在量子场论方面的物理学著作中，很大篇（）在量子场论方面的物理学著作中，很大篇幅讲述的是高维变分理论、李群；幅讲述的是高维变分理论、李群；（）黎曼几何可以用物理观点去全面处理；（）黎曼几何可以用物理观点去全面处理；（）连续介质力学、刚体理论则大量地使用了（）连续介质力学、刚体理论则大量地使用了张量、群论这些现代数学工具。张量、群论这些现代数学工具。物理学与数学 在历史上，最成功的两个物理理论是： （1）量

31、子场论描述微观世界里粒子的运动规律，基本方程是Schrodinger方程。 （2）广义相对论描述宏观世界里星球的运动规律，基本方程是：爱因斯坦场方程。 直到19世纪末, 黎曼几何学或Lorentz几何学仍停留在纯理论的发展阶段。长期以来，人们习惯地认为欧几里德空间是现实空间的一种最好的描述。牛顿就采用欧几里德空间来描述物体所在的空间。在牛顿力学中，时间是绝对的，时间和空间是两种类型截然不同的参量。 四维时空，爱因斯坦相对论例如，在三维欧氏空间中选用笛卡尔直角坐标系 O; x, y, z，则物体在时刻 t 的空间位置可用 t; x, y, z 来表示。如果将坐标系 O; x, y, z 沿 x

32、轴按常速 a 作平移运动 (无转动)，则运动坐标系 O; x, y, z与静止坐标系O; x, y, z只见的坐标变换为,xxatyyzz于是同一质点在这两个不同坐标系中所观察到的速度是不同的：质点在静止坐标系 O; x, y, z中的速度向量与在运动坐标系O; x, y, z中的速度向量 之间有如下的关系： (,)xyzvv v v(,)xyzvvvvd d,ddd d,ddd d,ddxxyyzzxxvavattyyvvttzzvvtt 但是，从19世纪末新发现的著名的Michelson实验中知道，在这两个不同的惯性系下所测到的光速（即光子的速度）却总是相同的。这一现象是很难用牛顿力学的理

33、论来解释的。“时间相对论”一个钟静止，另一个钟在运动。根据相对论，接近光速运动的钟会走得很慢，而静止的钟则正常。同理，如果双生子之一乘宇宙飞船以接近光速运动，而另一人留在地球上，那么留在地球上的这人将会比他的兄弟老得快得多。狭义相对论1905年,爱因斯坦提出了“狭义相对论”。他把一维的时间和三维的欧氏空间放在一起考察，成为四维时空。引起了物理学的革命。他认为四维时空中的几何学应该是Minkowski几何学。 爱因斯坦认为这个四维空间的几何学应该是Minkowski几何学，即两个无限邻近的事件t, x, y, z和t+dt, x+dx, y+dy, z+dz之间的“距离”(物理学中称为“时空间隔

34、”)，ds应满足而两个惯性系之间的坐标变换应使无限邻近的两个事件的“时空间隔”保持不变。222222ddddd,sctxyz于是，爱因斯坦推算出在Minkowski时空中，上述两个惯性系之间的坐标变换应该是称这种变换为Lorentz变换，即它是使222,1 ( ),1 ( )xatxacyyzztaxctacMinkowski几何学中的度量保持不变的一种变换，即使得222222ddddd,sctxyz2222222222d d d d dddd.ctxyzctxyz利用Lorentz变换，质点在坐标系O; x, y, z中的速度向量与在坐标系O ; x, y, z中的速度向量之间应有下述关系：

35、ddd(,)(,)dddxyzxyzv v vtttd d d ( , , )(,)d d d xyzxyzvvvttt 2222222,11,11,1xxxyyxzzxvavavcavcvavcavcvavc特别地，如光子沿 x 轴以光速 c 运行，即则由Lorentz变换所导出的速度变换公式得知，光子在惯性系O ; x, y, z下的速度为, 0, 0,xyzvcvv,1/0,0,xyzcavca cvv这样，爱因斯坦就圆满地解释了光速不变性。在此基础上，爱因斯坦得出了著名的质能公式2.Emc广义相对论1916年爱因斯坦又创立“广义相对论”，他认为，由于物质分布的存在,使得四维时空产生了弯

36、曲，把宇宙看成是弯曲的四维空间，这时的四维时空几何学应该是LORENTZ几何学，光线运行的空间轨迹是由四维时空的ORENTZ几何中的测地线（即短程线）对其三维空间部分的投影所确定的。从几何学的观点看，广义相对论的问题就是找维流形它具有符号差为（，）的度量并且满足爱因斯坦方程。 爱因斯坦广义相对论的巨大成功推动了黎曼几何学在20世纪的飞速发展。拓扑结构、流形上的距离、高维几何对象的描述方法一下子提出了很多的几何问题。几何学在20世纪下半叶成为数学发展的主流学科。直到今天，几何学仍然是当代数学的生长点。现代微分几何学现代微分几何学是当代数学研究中最活跃的领域之一。两大学派：几何分析学派用微分方程来

37、研究微分流形（代表人物：丘成桐院士）Riemann几何学派开拓性工作：Gromov Witten不变量（代表人物：Gromov）。 现代几何学的发展与数学的许多分支交织在一起。现代微分几何学以下问题的研究受到整个数学界和理论路物理学界的瞩目： Yang Mills 场; Calabi Yau 流形 Ricci 流等几何分析学派和Riemann几何学派相辅相成、紧密相连。现代微分几何学纽约时报对丘成桐的称谓最能概括他对整个数学界的影响:数学皇帝。他不仅领导创立了几何分析这个数学中最活跃的主流领域,还在理论物理、代数几何、计算机图形学、控制理论等等研究方向都有极为重要的贡献。丘成桐对数学物理而言,

38、就像是文艺复兴中的达芬奇,为我们的学科带来了革命性的进步。（哈佛数学系系主任加菲 ） 现代微分几何学丘成桐做了庞加莱猜想专题演讲三维空间的结构 从最通俗的角度为大家介绍了庞加莱猜想。而世界著名科学家霍金也是听众中的一员。丘成桐说，庞加莱猜想最简单的学术描述为“一个闭的三维空间，若其上的每条闭曲线都可以连续收缩到一个点，那么从拓扑结构上看，这个空间是否就是一个球面” 现代微分几何学丘成桐用直观的比喻来理解庞加莱猜想可以用一个人侧脸上的鼻子完全和脸庞收缩为一条线后，五官完全分布在一个球面上来理解。屏幕上先出现一张人的面孔，面孔处于三维空间中，其侧脸不断收缩，收缩到鼻子与脸庞连成一条线，此时屏幕上出

39、现了圆满的球面。现代微分几何学庞加莱猜想的破解对其他研究范畴带来的贡献和意义：对了解宇宙和黑洞的产生、对空间的研究和工程学等都有深远影响。 这个证明对我们生存的空间，无论大范围和小范围都有影响：小范围是质子和粒子的变化，大的则是星球的产生、黑洞的形成。 现代微分几何学庞加莱猜想的数学研究与国际著名科学家霍金的广义相对论有关联，并对广义相对论和黑洞研究有所帮助 。物理学家们为了把人类历史上最伟大的两个物理理论爱因斯坦的广义相对论和量子场论统一起来而建立了超弦理论,这种全新的理论认为大自然除了我们看得见的四维时空,还有一个我们看不见的六维卡拉比丘空间,主宰着我们看得到的世间一切变化。 【霍金提新理论：宇宙或具超现实主义几何特征】 2014年6月18日消息，英国剑桥大学宇宙学家史蒂芬霍金常常被誉为是全世界仍然健在的最著名的科学家，近期他提出了一种新的理论，他认为宇宙或许具有某种超现实主义的几何特征，这一特征和画家埃舍尔的作品中所体现的那种几乎特质非常类似。 中国教