Saturday, July 18, 2015

高斯（Gauss）提出了高斯消元法并用它解决了天体计算和后来的地球表面测量计算中的最小二乘法问题。（这种涉及测量、求取地球形状或当地精确位置的应用数学分支称为测地学。）虽然高斯由于这个技术成功地消去了线性方程的变量而出名，但早在几世纪中国人的手稿中就出现了解释如何运用“高斯”消去的方法求解带有三个未知量的三方程系统。

代数发展简史

一门科学的历史是那门科学中最宝贵的一部分，因为科学只能给我们知识，

而历史却能给我们智慧。

傅鹰

数学的历史是重要的，它是文明史的有价值的组成部分，

人类的进步和科学思想是一致的。

F. Cajori

0、引言
数学发展到现在，已经成为科学世界中拥有100多个主要分支学科的庞大的“共和国”。大体说来，数学中研究数的部分属于代数学的范畴；研究形的部分，属于几何学的范筹；沟通形与数且涉及极限运算的部分，属于分析学的范围。这三大类数学构成了整个数学的本体与核心。在这一核心的周围，由于数学通过数与形这两个概念，与其它科学互相渗透，而出现了许多边缘学科和交叉学科。在此简要介绍代数学的有关历史发展情况。
“代数”（algebra）一词最初来源于公元9世纪阿拉伯数学家、天文学家阿尔·花拉子米（al-Khowārizmī，约780－850）一本著作的名称，书名的阿拉伯文是‘ilm al-jabr wa’l muqabalah，直译应为《还原与对消的科学》．al-jabr 意为“还原”，这里指把负项移到方程另一端“还原”为正项；muqabalah 意即“对消”或“化简”，指方程两端可以消去相同的项或合并同类项．在翻译中把“al-jabr”译为拉丁文“aljebra”，拉丁文“aljebra”一词后来被许多国家采用，英文译作“algebra”。
阿布·贾法尔·穆罕默德·伊本·穆萨·阿尔—花拉子米的传记材料，很少流传下来．一般认为他生于花拉子模[Khwarizm，位于阿姆河下游，今乌兹别克境内的希瓦城(Хива)附近]，故以花拉子米为姓．另一说他生于巴格达附近的库特鲁伯利(Qut-rubbullī)．祖先是花拉子模人．花拉子米是拜火教徒的后裔，早年在家乡接受初等教育，后到中亚细亚古城默夫(Мерв)继续深造，并到过阿富汗、印度等地游学，不久成为远近闻名的科学家．东部地区的总督马蒙(al-Ma’mūn，公元786—833年)曾在默夫召见过花拉子米．公元813年，马蒙成为阿拔斯王朝的哈利发后，聘请花拉子米到首都巴格达工作．公元830年，马蒙在巴格达创办了著名的“智慧馆”(Bayt al-Hikmah，是自公元前3世纪亚历山大博物馆之后最重要的学术机关)，花拉子米是智慧馆学术工作的主要领导人之一．马蒙去世后，花拉子米在后继的哈利发统治下仍留在巴格达工作，直至去世．花拉子米生活和工作的时期，是阿拉伯帝国的政治局势日渐安定、经济发展、文化生活繁荣昌盛的时期．
　　花拉子米科学研究的范围十分广泛，包括数学、天文学、历史学和地理学等领域．他撰写了许多重要的科学著作．在数学方面，花拉子米编著了两部传世之作：《代数学》和《印度的计算术》．
1859年，我国数学家李善兰首次把“algebra”译成“代数”。后来清代学者华蘅芳和英国人傅兰雅合译英国瓦里斯的《代数学》，卷首有“代数之法，无论何数，皆可以任何记号代之”，亦即：代数，就是运用文字符号来代替数字的一种数学方法。
古希腊数学家丢番图（Diophantus）用文字缩写来表示未知量，在公元250年前后丢番图写了一本数学巨著《算术》（Arithmetica）。其中他引入了未知数的概念，创设了未知数的符号，并有建立方程序的思想。故有“代数学之父”（Father of algebra）的称号。
代数是巴比伦人、希腊人、阿拉伯人、中国人、印度人和西欧人一棒接一棒而完成的伟大数学成就。发展至今，它包含算术、初等代数、高等代数、数论、抽象代数五个部分。

1、算术

算术给予我们一个用之不竭的、充满有趣真理的宝库。

--高斯（Gauss,1777-1855）
数可以说成是统治整个量的世界，而算术的四则可以被认为是作为数学家的完全的装备。
--麦斯韦(James Clark Maxwell 1831-1879)
算术有两种含义，一种是从中国传下来的，相当于一般所说的“数学”，如《九章算术》等。另一种是从欧洲数学翻译过来的，源自希腊语，有“计算技术”之意。现在一般所说的“算术”，往往指自然数的四则运算；如果是在高等数学中，则有“数论”的含义。作为现代小学课程内容的算术，主要讲的是自然数、正分数以及它们的四则运算，并通过由计数和度量而引起的一些最简单的应用题加以巩固。
算术是数学中最古老的一个分支，它的一些结论是在长达数千年的时间里，缓慢而逐渐地建立起来的。它们反映了在许多世纪中积累起来，并不断凝固在人们意识中的经验。
自然数是在对于对象的有限集合进行计算的过程中，产生的抽象概念。日常生活中要求人们不仅要计算单个的对象，还要计算各种量，例如长度、重量和时间。为了满足这些简单的量度需要，就要用到分数。
现代初等算术运算方法的发展，起源于印度，时间可能在10世纪或11世纪。它后来被阿拉伯人采用，之后传到西欧。15世纪，它被改造成现在的形式。在印度算术的后面，明显地存在着我国古代的影响。
19世纪中叶，格拉斯曼（Grassmann）第一次成功地挑选出一个基本公理体系，来定义加法与乘法运算；而算术的其它命题，可以作为逻辑的结果，从这一体系中被推导出来。后来，皮亚诺（Peano）进一步完善了格拉斯曼的体系。
算术的基本概念和逻辑推论法则，以人类的实践活动为基础，深刻地反映了世界的客观规律性。尽管它是高度抽象的，但由于它概括的原始材料是如此广泛，因此我们几乎离不开它。同时，它又构成了数学其它分支的最坚实的基础。

2、初等代数
作为中学数学课程主要内容的初等代数，其中心内容是方程理论。代数一词的拉丁文原意是“归位”。代数方程理论在初等代数中是由一元一次方程向两个方面扩展的：其一是增加未知数的个数，考察由有几个未知数的若干个方程所构成的二元或三元方程组(主要是一次方程组)；其二是增高未知量的次数，考察一元二次方程或准二次方程。初等代数的主要内容在16世纪便已基本上发展完备了。
古巴比伦(公元前19世纪～前17世纪)解决了一次和二次方程问题，欧几里得的《原本》(公元前4世纪)中就有用几何形式解二次方程的方法。我国的《九章算术》(公元1世纪)中有三次方程和一次联立方程组的解法，并运用了负数。3世纪的丢番图用有理数求一次、二次不定方程的解。13世纪我国出现的天元术(李冶《测圆海镜》)是有关一元高次方程的数值解法。16世纪意大利数学家发现了三次和四次方程的解法。
代数学符号发展的历史，可分为三个阶段。第一个阶段为三世纪之前，对问题的解不用缩写和符号，而是写成一篇论文，称为文字叙述代数。第二个阶段为三世纪至16世纪，对某些较常出现的量和运算采用了缩写的方法，称为简化代数。三世纪的丢番图的杰出贡献之一，就是把希腊代数学简化，开创了简化代数。然而此后文字叙述代数，在除了印度以外的世界其它地方，还十分普通地存在了好几百年，尤其在西欧一直到15世纪。第三个阶段为16世纪以后，对问题的解多半表现为由符号组成的数学速记，这些符号与所表现的内容没有什么明显的联系，称为符号代数。韦达（Viète）在他的《分析方法入门》（Inartem analyticem isagoge,1591）著作中，首次系统地使用了符号表示未知量的值进行运算，提出符号运算与数的区别，规定了代数与算术的分界。韦达是第一个试图创立一般符号代数的的数学家，他开创的符号代数，经笛卡尔（Descarte）改进后成为现代的形式。笛卡尔用小写字母a, b, c等表示已知量，而用x, y, z代表未知量。这种用法已经成为当今的标准用法。
“＋”、“－”号第一次在数学书中出现，是1489年维德曼的著作《商业中的巧妙速算法》（Behend und hüpsch Rechnung uff allen kauffmanschafften, 1489）。不过正式为大家所公认，作为加、减法运算的符号，那是从1514年由荷伊克开始的。1540年，雷科德(R. Rcorde)开始使用现在使用的“＝”。到1591年，韦达在著作中大量使用后，才逐渐为人们所接受。1600年哈里奥特（T. Harriot）创用大于号“＞”和小于号“＜”。1631年，奥屈特给出“×”、“÷”作为乘除运算符。1637年，笛卡尔第一次使用了根号，并引进用字母表中头前的字母表示已知数、后面的字母表示未知数的习惯做法。至于“≮”、“≯”、“≠”这三个符号的出现，那是近代的事了。
数的概念的拓广，在历史上并不全是由解代数方程所引起的，但习惯上仍把它放在初等代数里，以求与这门课程的安排相一致。公元前4世纪，古希腊人发现无理数。公元前2世纪(西汉时期)，我国开始应用负数。1545年，意大利的卡尔达诺(N. Cardano)在《大术》中开始使用虚数。1614年，英国的耐普尔发明对数。17世纪末，一般的实数指数概念才逐步形成。

3、高等代数
在高等代数中，一次方程组（即线性方程组）发展成为线性代数理论；而二次以上方程发展成为多项式理论。前者是向量空间、线性变换、型论、不变量论和张量代数等内容的一门近世代数分支学科，而后者是研究只含有一个未知量的任意次方程的一门近世代数分支学科。作为大学课程的高等代数，只研究它们的基础。高次方程组（即非线性方程组）发展成为一门比较现代的数学理论－代数几何。

线性代数是高等代数的一大分支。我们知道一次方程叫做线性方程，讨论线性方程及线性运算的代数就叫做线性代数。在线性代数中最重要的内容就是行列式和矩阵。行列式和矩阵在十九世纪受到很大的注意，而且写了成千篇关于这两个课题的文章。向量的概念，从数学的观点来看不过是有序三元数组的一个集合，然而它以力或速度作为直接的物理意义，并且数学上用它能立刻写出物理上所说的事情。向量用于梯度，散度，旋度就更有说服力。同样，行列式和矩阵如导数一样（虽然在数学上不过是一个符号，表示包括的极限的长式子，但导数本身是一个强有力的概念，能使我们直接而创造性地想象物理上发生的事情）。因此，虽然表面上看，行列式和矩阵不过是一种语言或速记，但它的大多数生动的概念能对新的思想领域提供钥匙。然而已经证明这两个概念是数学物理上高度有用的工具。

线性代数学科和矩阵理论是伴随着线性系统方程系数研究而引入和发展的。

十七世纪日本数学家关孝和提出了行列式（determinant）的概念，他在1683年写了一部叫做《解伏题之法》的著作，意思是“解行列式问题的方法”，书里对行列式的概念和它的展开已经有了清楚的叙述。而在欧洲，第一个提出行列式概念的是德国的数学家，微积分学奠基人之一莱布尼兹（Leibnitz，1693年）。

1750年克莱姆（Cramer）在他的《线性代数分析导言》（Introduction d l'analyse des lignes courbes alge'briques）中发表了求解线性系统方程的重要基本公式（既人们熟悉的Cramer克莱姆法则）。

1764年，Bezout把确定行列式每一项的符号的手续系统化了。对给定了含n个未知量的n个齐次线性方程，Bezout证明了系数行列式等于零是这方程组有非零解的条件。Vandermonde是第一个对行列式理论进行系统的阐述（即把行列式理论与线性方程组求解相分离）的人。并且给出了一条法则，用二阶子式和它们的余子式来展开行列式。就对行列式本身进行研究这一点而言，他是这门理论的奠基人。

参照克莱姆和Bezout的工作，1772年，Laplace在《对积分和世界体系的探讨》中，证明了Vandermonde的一些规则，并推广了他的展开行列式的方法，用r行中所含的子式和它们的余子式的集合来展开行列式，这个方法现在仍然以他的名字命名。1841年，德国数学家雅可比（Jacobi）总结并提出了行列式的最系统的理论。另一个研究行列式的是法国最伟大的数学家柯西（Cauchy），他大大发展了行列式的理论，在行列式的记号中他把元素排成方阵并首次采用了双重足标的新记法，与此同时发现两行列式相乘的公式及改进并证明了laplace的展开定理。相对而言，最早利用矩阵概念的是拉格朗日（Lagrange）在1700年后的双线性型工作中体现的。拉格朗日期望了解多元函数的最大、最小值问题，其方法就是人们知道的拉格朗日迭代法。为了完成这些，他首先需要一阶偏导数为0，另外还要有二阶偏导数矩阵的条件。这个条件就是今天所谓的正、负的定义。尽管拉格朗日没有明确地提出利用矩阵。

大约在1800年，高斯（Gauss）提出了高斯消元法并用它解决了天体计算和后来的地球表面测量计算中的最小二乘法问题。（这种涉及测量、求取地球形状或当地精确位置的应用数学分支称为测地学。）虽然高斯由于这个技术成功地消去了线性方程的变量而出名，但早在几世纪中国人的手稿中就出现了解释如何运用“高斯”消去的方法求解带有三个未知量的三方程系统。在当时的几年里，高斯消去法一直被认为是测地学发展的一部分，而不是数学。而高斯 - 约当消去法则最初是出现在由Wilhelm Jordan撰写的测地学手册中。许多人把著名的数学家Camille Jordan误认为是“高斯 - 约当”消去法中的约当。

矩阵代数的丰富发展，人们需要有合适的符号和合适的矩阵乘法定义。二者要在大约同一时间和同一地点相遇。

1848年，英格兰的J.J. Sylvester首先提出了矩阵（matrix）这个词，它来源于拉丁语，代表一排数。在1855年矩阵代数得到了Arthur Cayley的进一步发展。Cayley研究了线性变换的组成并提出了矩阵乘法的定义，使得复合变换ST的系数矩阵变为矩阵S和矩阵T的乘积。他还进一步研究了那些包括矩阵的逆在内的代数问题。1858年，Cayley在他的矩阵理论文集中提出著名的Cayley-Hamilton理论，即断言一个矩阵的平方就是它的特征多项式的根。利用单一的字母A来表示矩阵是对矩阵代数发展至关重要的。在发展的早期公式

det（AB）=det（A）det（B）为矩阵代数和行列式间提供了一种联系。数学家Cauchy首先给出了特征方程的术语，并证明了阶数超过3的矩阵有特征值及任意阶实对称行列式都有实特征值；给出了相似矩阵的概念，并证明了相似矩阵有相同的特征值；研究了代换理论。

数学家试图研究向量代数，但在任意维数中并没有两个向量乘积的自然定义。第一个涉及一个不可交换向量积（既V×W不等于W×V）的向量代数是由Hermann Grassmann在他的《线性扩张论》（Die lineale Ausdehnungslehre）一书中提出的（1844）。他的观点还被引入一个列矩阵和一个行矩阵的乘积中，结果就是现在称之为秩数为1的矩阵，或简单矩阵。在19世纪末美国数学物理学家Willard Gibbs发表了关于《向量分析基础》（Elements of Vector Analysis）的著名论述。其后物理学家P.A.M. Dirac提出了行向量和列向量的乘积为标量。我们习惯的列矩阵和向量都是在20世纪由物理学家给出的。

矩阵的发展是与线性变换密切相连的。到19世纪它还仅占线性变换理论形成中有限的空间。现代向量空间的定义是由Peano于1888年提出的。二次世界大战后随着现代数字计算机的发展，矩阵又有了新的含义，特别是在矩阵的数值分析等方面。由于计算机的飞速发展和广泛应用，许多实际问题可以通过离散化的数值计算得到定量的解决。于是作为处理离散问题的线性代数，成为从事科学研究和工程设计的科技人员必备的数学基础。

4、数论
以正整数作为研究对象的数论，可以看作是算术的一部分，但它不是以运算的观点，而是以数的结构的观点，即一个数可用性质较简单的其它数来表达的观点来研究数的。因此可以说，数论是研究由整数按一定形式构成的数系的科学。
早在公元前3世纪，欧几里得的《原本》讨论了整数的一些性质。他证明素数的个数是无穷的，他还给出了求两个数的公约数的辗转相除法。这与我国《九章算术》中的“更相减损法”是相同的。埃拉托色尼则给出了寻找不大于给定的自然数N的全部素数的“筛法”：在写出从1到N的全部整数的纸草上，依次挖去2、3、5、7……的倍数(各自的2倍，3倍，……)以及1，在这筛子般的纸草上留下的便全是素数了。
当两个整数之差能被正整数m除尽时，便称这两个数对于“模”m同余。我国《孙子算经》(公元4世纪)中计算一次同余式组的“求一术”，有“中国剩余定理”之称。13世纪，秦九韶已建立了比较完整的同余式理论——“大衍求一术”，这是数论研究的内容之一。
丢番图的《算术》中给出了求所有整数解的方法。费尔马指出在n ＞3时无整数解，对于该问题的研究产生了19世纪的数论。之后高斯的《数论研究》(1801年)形成了系统的数论。
数论的古典内容基本上不借助于其它数学分支的方法，称为初等数论。17世纪中叶以后，曾受数论影响而发展起来的代数、几何、分析、概率等数学分支，又反过来促进了数论的发展，出现了代数数论(研究整系数多项式的根—“代数数”)、几何数论(研究直线坐标系中坐标均为整数的全部“整点”—“空间格网”)。19世纪后半期出现了解析数论，用分析方法研究素数的分布。二十世纪出现了完备的数论理论。

5、抽象代数
抽象代数（Abstract algebra）又称近世代数（modern algebra），它产生于十九世纪。
抽象代数是研究各种抽象的公理化代数系统的数学学科。由于代数可处理实数与复数以外的物集，例如向量、矩阵超数、变换（transformation）等，这些物集的分别是依它们各有的演算定律而定，而数学家将个别的演算经由抽象手法把共有的内容升华出来，并因此而达到更高层次，这就诞生了抽象代数。抽象代数，包含有群论、环论、伽罗瓦理论、格论、线性代数等许多分支，并与数学其它分支相结合产生了代数几何、代数数论、代数拓扑、拓扑群等新的数学学科。抽象代数已经成了当代大部分数学的通用语言。
被誉为天才数学家的伽罗瓦（Galois, Evariste,1811-1832）是近世代数的创始人之一。他深入研究了一个方程能用根式求解所必须满足的本质条件，他提出的“伽罗瓦域”、“伽罗瓦群”和“伽罗瓦理论”都是近世代数所研究的最重要的课题。伽罗瓦群理论被公认为十九世纪最杰出的数学成就之一。他给方程可解性问题提供了全面而透彻的解答，解决了困扰数学家们长达数百年之久的问题。伽罗瓦群论还给出了判断几何图形能否用直尺和圆规作图的一般判别法，圆满解决了三等分任意角或倍立方体的问题都是不可解的。最重要的是，群论开辟了全新的研究领域，以结构研究代替计算，把从偏重计算研究的思维方式转变为用结构观念研究的思维方式，并把数学运算归类，使群论迅速发展成为一门崭新的数学分支，对近世代数的形成和发展产生了巨大影响。同时这种理论对于物理学、化学的发展，甚至对于二十世纪结构主义哲学的产生和发展都发生了巨大的影响。
1843年，哈密顿（Hamilton, W. R. ）发明了一种乘法交换律不成立的代数——四元数代数。第二年，Grassmann推演出更有一般性的几类代数。1857年，Cayley设计出另一种不可交换的代数——矩阵代数。他们的研究打开了抽象代数(也叫近世代数)的大门。实际上，减弱或删去普通代数的某些假定，或将某些假定代之以别的假定(与其余假定是兼容的)，就能研究出许多种代数体系。
1870年，克隆尼克(Kronecker)给出了有限阿贝尔群的抽象定义；狄德金开始使用“体”的说法，并研究了代数体；1893年，韦伯定义了抽象的体；1910年，施坦尼茨展开了体的一般抽象理论；狄德金和克隆尼克创立了环论；1910年，施坦尼茨总结了包括群、代数、域等在内的代数体系的研究，开创了抽象代数学。
有一位杰出女数学家被公认为抽象代数奠基人之一，被誉为代数女皇，她就是诺特(Emmy Noether), 1882年3月23日生于德国埃尔朗根，1900年入埃朗根大学，1907年在数学家哥尔丹指导下获博士学位。
        诺特的工作在代数拓扑学、代数数论、代数几何的发展中有重要影响。1907-1919年，她主要研究代数不变式及微分不变式。她在博士论文中给出三元四次型的不变式的完全组。还解决了有理函数域的有限有理基的存在问题。对有限群的不变式具有有限基给出一个构造性证明。她不用消去法而用直接微分法生成微分不变式，在格丁根大学的就职论文中，讨论连续群(李群)下不变式问题，给出诺特定理，把对称性、不变性和物理的守恒律联系在一起。
1920~1927年间她主要研究交换代数与「交换算术」。1916年后，她开始由古典代数学向抽象代数学过渡。1920年，她已引入「左模」、「右模」的概念。1921年写出的<<整环的理想理论>>是交换代数发展的里程碑。建立了交换诺特环理论，证明了准素分解定理。1926年发表<<代数数域及代数函数域的理想理论的抽象构造>>，给戴德金环一个公理刻画，指出素理想因子唯一分解定理的充分必要条件。诺特的这套理论也就是现代数学中的“环”和“理想”的系统理论，一般认为抽象代数形式的时间就是1926年，从此代数学研究对象从研究代数方程根的计算与分布，进入到研究数字、文字和更一般元素的代数运算规律和各种代数结构，完成了古典代数到抽象代数的本质的转变。诺特当之无愧地被人们誉为抽象代数的奠基人之一。
        1927－1935年，诺特研究非交换代数与「非交换算术」。她把表示理论、理想理论及模理论统一在所谓“超复系”即代数的基础上。后又引进交叉积的概念并用决定有限维枷罗瓦扩张的布饶尔群。最后导致代数的主定理的证明，代数数域上的中心可除代数是循环代数。
        诺特的思想通过她的学生范．德．瓦尔登的名著<<近世代数学>>得到广泛的传播。她的主要论文收在<<诺特全集>>(1982)中。
1930年，毕尔霍夫建立格论，它源于1847年的布尔代数；第二次世界大战后，出现了各种代数系统的理论和布尔巴基学派；1955年，嘉当、格洛辛狄克和爱伦伯克建立了同调代数理论。
到现在为止，数学家们已经研究过200多种这样的代数结构，其中最主要德若当代数和李代数是不服从结合律的代数的例子。这些工作的绝大部分属于20世纪，它们使一般化和抽象化的思想在现代数学中得到了充分的反映。

6、后记
现在，可以笼统地把代数学解释为关于字母计算的学说，但字母的含义是在不断地拓广的。在初等代数中，字母表示数；而在高等代数和抽象代数中，字母则表示向量(或n元有序数组)、矩阵、张量、旋量、超复数等各种形式的量。可以说，代数已经发展成为一门关于形式运算的一般学说了。一个带有形式运算的集合称为代数系统，因此，代数是研究一般代数系统的一门科学。

请问黎曼度规张量是什么，如何计算？万分感谢

对这个问题很感兴趣，请多指教

1 条评论

加来到雄书中的「度规张量」是什么？

在看加来到雄的书，遇到这个名词，不太理解，请高人深入浅出的讲一下。谢谢！

添加评论

按投票排序按时间排序

2 个回答

赵永峰，DON'T do theory in an experimental lab.

收起

陈启明、一郎、Leung Garging 等人赞同

通俗地说，在一个坐标系中，度规张量是用来描述一段很短很短的线段长度和线段两个端点坐标之差的关系的一个2阶张量。换句话说，度规张量定义了一个坐标系中如何度量曲线的长度。

众所周知，如果我们有一个配有笛卡尔坐标的三维欧式空间，空间中有两个离得很近很近的点，坐标分别为 $(x,y,z)$ 与 $(x+dx,y+dy,z+dz)$ ，那么两点之间连一段直线，它的长度 $ds$ 满足：
$ds^2=dx^2+dy^2+dz^2$ (1)
这是人人都知道的勾股定理。如果连接两点的不是直线而是一般的光滑曲线，只要两个点足够近，曲线的长度都可以用直线段的长 $ds$ 来近似，差别为 $dx,dy,dz$ 的高阶无穷小，因为积分为0，通常是可以忽略的。

同样是三维欧式空间，但现在我们换成球坐标，这里定义 $\rho$ 为点到坐标原点的距离， $\phi$ 是点的“纬度”， $\theta$ 是点的“经度”，这时两个点的坐标写成 $(\rho,\phi,\theta)$ 和 $(\rho+d\rho,\phi+d\phi,\theta+d\theta)$ ，这时两点之间的距离不再直接满足(1)式。根据简单的高中学过的空间几何，同样根据勾股定理，或者将代换：
$&&x=\rho\sin\phi\cos\theta \\ &&y=\rho\sin\phi\sin\theta \\ &&z=\rho\cos\phi$
代入(1)，我们的 $ds$ 现在满足：
$ds^2=d\rho^2+\rho^2d\phi^2+\rho^2\sin^2\phi d\theta^2$ (2)

现在我们来观察(1)和(2)，它们有个共同的特点：小线段距离的平方 $ds^2$ 是各坐标之差 $dx$ 的二次型，即是关于 $dx,dy,dz$ 这三个变量的二次的多项式。我们推广一下，写成一般形式，对于 $n$ 维欧式或非欧式空间的任意坐标系统 $(x_1,x_2,\cdots,x_n)$ ，一个无穷小的线段的长度可以人为地定义为（为了通俗，我这里没有区分共变和逆变）：
$ds^2=\sum_{i=1}^{n}\sum_{j=1}^ng_{ij}dx_idx_j$
其中2阶张量 $g_{ij}$ 就叫做度规张量。

对于刚才举的两个例子，三维欧式空间的笛卡尔坐标中的度规张量为：
$\bm{g}=\left(\begin{array}{ccc}1 & 0 & 0 \\ 0 & 1 & 0 \\ 0 & 0 & 1 \\ \end{array}\right)$
而对于三位球坐标，度规张量为：
$\bm{g}=\left(\begin{array}{ccc}1 & 0 & 0 \\ 0 & \rho^2 & 0 \\ 0 & 0 & \rho^2\sin^2\phi \\ \end{array}\right)$

这两个例子都是容易想象的例子。一个不容易想象的例子是非欧式空间的度规。非欧式空间是不满足勾股定律的，所以会看到一个奇怪的度规。比如，广义相对论认为具有能量动量的物体会改变空间的度规，让它变得不是欧式空间。那么一个不旋转的球形天体（比如太阳）周围的度规长什么样呢？这就是著名的史瓦西（Schwarzschild）度规（写在“球坐标”中）：
$ds^2=(c^2-\frac{2GM}{\rho})dt^2-(1-\frac{2GM}{c^2\rho})^{-1}d\rho^2-\rho^2d\phi^2-\rho^2\sin^2\phi d\theta^2$
其中， $c$ 是光速， $G$ 是引力常量， $M$ 是中心天体的质量， $t$ 是时间。注意，相对论是使用四维空间来同时描述空间与时间的，所以这里定义的距离是两个事件的时空距离。显示全部

编辑于 2013-07-12 6 条评论感谢分享收藏 • 没有帮助 •

欧阳泽西，7年级正自学微积分，有很多问题，请多多…

收起

谢谢,原来黎曼度规张和黎曼张量是一回事，我在学得时候叫黎曼张量，学超弦理论时叫黎曼度规张……

赵永峰，DON'T do theory in an experimental lab.

收起

参见任何一本微分几何书，这是最基础的内容。
简单的理解性解释可以参见我以前写的答案有人了解“度规张量”吗？
黎曼度规是指正定的度规。

给定空间中超曲面上的诱导度量是可以计算的，不过是简单的多元微积分。通常情况下黎曼度量则是先验的，不同的度量实际上定义了不同的几何，比如欧式几何和球面几何、双曲几何。

哦，是七年级啊，我以前的答案可以先看看，等微积分学差不多了计算细节就自然理解了。补充一个概念，正定实质上意味着任意两个点之间的距离是正的。这在伪黎曼空间中是不成立的，比如描述时空的闵科夫斯基空间，距离是可正可负的。

完备黎曼度量的,complete Riemannian metric,音标,读音,翻译 ...

www.dictall.com › 词典
轉為繁體網頁

介绍了在球极投影下引入的黎曼度量,并介绍了这种度量的一些性质,指出了这种度量与从平直的欧几里德空间标准度量中诱导的黎曼度量是一致的;同时指出在球面上 ...

纤维丛的黎曼度量,THE RIEMANNIAN METRIC OF FIBER ...

www.dictall.com › 词典
轉為繁體網頁

橢圓幾何,什麼是橢圓幾何,橢圓幾何釋義_華文詞源

www.43577.com/show/619124.shtml

黎曼認識到度量隻是加到流形上的一種結構，並且在同一流形上可以有許多不同的度量。黎曼以前的數學家僅知道三維歐幾裏得空間E3中的曲麵S上存在誘導 ...

加来到雄书中的「度规张量」是什么？

在看加来到雄的书，遇到这个名词，不太理解，请高人深入浅出的讲一下。谢谢！

添加评论

查看全部 2 个回答

赵永峰，DON'T do theory in an experimental lab.

收起

一郎、Leung Garging、林小妖等人赞同

第一基本形式- 维基百科，自由的百科全书

zh.wikipedia.org/wiki/第一基本形式 - 网页快照类似结果

在微分几何中，第一基本形式（first fundamental form）是三维欧几里得空间中一个曲面的切空间中内积，由R3 中标准点积诱导。它使得曲面的曲率和度量性质

季候风

发表文章数: 262
内力值: 310/310
贡献度: 3398
人气: 154

Re: 关于黎曼流形 [文章类型: 原创]

当我们谈论一个流形, 总是假定它已经是一个拓扑空间. 其它添加的结构必须与这个预先存在的拓扑相容.

如果要谈黎曼流形, 首先要在流形上加一个微分结构, 它与原来拓扑的相容性没有问题 --- 微分结构的定义本身依赖于预先存在的拓扑;

然后再指定一个二阶正定对称光滑张量场 g; 黎曼度量 g 的一个重要作用是可以用来定义流形上曲线的长度, 这样两点之间的距离可以定义连接两点所有曲线长度的下确界, 这样就在流形的底集合上定义了一个 "距离";

集合上的任一距离会诱导一个拓扑, 但是在黎曼流形上早就预先设定了一个拓扑, 所以如果这个有黎曼度量定义出来的距离诱导的拓扑最好与原来设定的拓扑是同一个拓扑, 所以标准的黎曼几何教材上都会就这个问题进行讨论, 而事实上新拓扑的确就是旧拓扑.

这样我们在谈论黎曼流形的时候, 连续性就没有任何歧义: 既可以用局部坐标来表达连续性, 又可以用距离来表达连续性.

在英文里, 赋予了 "距离" 的集合传统上叫做 "metric space", 这个距离传统上也叫 metric. 但是近些年由于黎曼几何在数学各个分支的渗透, 它越来越成为更基础的课程. 这样为了避免初学者混淆概念, 很多新写的教材上把原来的 "metric space" 的 "metric" 称为 "distance".

中文就更方便了, 即便把 "度量空间" 改叫做 "距离空间" 也颇为顺口.

为了强调 g 这个 "metric" 跟距离的不同, 一般都会强调说这是一个 "Riemannian metric" 而不仅仅简单叫它 "metric".

近几十年经过 Gromov 等人的工作, 很多原来在黎曼流形上研究的对象, 工具和问题, 现在已经成功地移植到了性质比较接近黎曼流形的距离空间.

发表时间: 2007-06-29, 13:29:46

个人资料

季候风

发表文章数: 262
内力值: 310/310
贡献度: 3398
人气: 154

Re: 关于黎曼流形 [文章类型: 原创]

更正: 上一贴第三行 "定义" 应该是 "定义为"

发表时间: 2007-06-29, 13:36:56

个人资料

枭雄

发表文章数: 6
内力值: 74/74
贡献度: 36
人气: 28

Re: 关于黎曼流形 [文章类型: 原创]

非常感谢各位前辈的指导！由于非钻研数学之人，所以对某些概念的理解比较肤浅！

因为有界只对度量空间有意义，在拓扑学的教材里，只是说度量可以自然地诱导出拓扑，而一般拓扑空间的拓扑结构并非都可以由度量诱导而来。

实际上我遇到的问题是紧致黎曼流形的有界性，现在按照我对各位前辈之言的理解，说紧致黎曼流形有界应该没有问题吧！

当然还有个地方觉得比较神奇，不知我的理解对否：

黎曼流形M，某点x处的切空间TxM，切空间集合TM。按照各位前辈的说法，黎曼度量是定义在TM上，却可以用来定义M上两点之间的距离！而如果把这个距离说成是M上的一个度量，那这个度量和黎曼度量不是一回事！

发表时间: 2007-06-30, 02:50:40

个人资料

季候风

发表文章数: 262
内力值: 310/310
贡献度: 3398
人气: 154

Re: 关于黎曼流形 [文章类型: 原创]

黎曼度量的实质是在流形每一点的切空间定义了一个内积.

广义相对论与宇宙学第二章_百度文库

123.125.114.20/view/57df0e4bb84ae45c3b358ce8.html - 轉為繁體網頁

2013年9月16日 - 来定义相邻两点（坐标差为dx ? ）的距离ds ds ... 0 则必能找到坐标变换，把二次型化为微分的平方和(或差)． ? g ?? ? g ?? ??1 ?? ?0 ? ?? ? ?? 在黎 ...

广义相对论与宇宙学第二章_百度文库

wenku.baidu.com/.../57df0e4bb84ae45c3b358ce8.html?re...
轉為繁體網頁

[PPT]第5章

math.shu.edu.cn/jpkc/.../高等代数多媒体课件%5Cch5.ppt
轉為繁體網頁

基本内容： 二次型的矩阵表示、标准型、唯一性、正定二次型。 ... 二次曲线：Ax² + Bxy + Cy² + Dx + Ey = F → 经平移 ... 表示方法) → 通过方程变形，选定主轴方向为坐标轴，可化简为a^/x^/2 + b^/y^/2 + c^/z^/2 = d^/ → 据二次项系数符号确定二次曲面的分类.

[PDF]GPS网与地面网约束条件的序贯平差

202.119.200.77:8080/.../GPS网与地面网约束条件的序贯...
轉為繁體網頁

众所周知, GPS 卫星定位技术获得的观测值属于WGS ) 84 协议地球参考坐标系. .... X^ = X0 + DX^k- 1 + KX€fk = X^k- 1 + KX€fk. (17) ... 序贯平差后的残差二次型为.

[PPT]广义相对论课堂一

202.38.64.11/~jmy/documents/lectures/lec14.ppt
轉為繁體網頁

教材第221页第二段第一句: a transponder on the rocket， which then sends it back ... 物理上——相对论四维时空; 线元vs坐标= 几何（体）vs坐标; 绝对vs任意. 线元=二次型. 二次型：正定、负定、不定; 惯性指数、号差、Sylvester惯性定律; 相对论四维 ... ds²=gμνdx^αdx^β=1/2(gμν+gνμ) dx^αdx^β+1/2(gμν-gνμ)dx^αdx^β; 对角化归一化 ...

11.3 圓形軌跡的方程 - 興倫香港中學會考課程系列－數學

developer.hanluninfo.com:8088/2005/hkcee/.../index_02_11_03.htm

在坐標系統下，我們可以用方程來描述圓 ... 的常數r、h 及k 的數值。左圖顯示該圓的函數圖像，觀察r 代表半徑長度，(h, k) 代表圓心坐標。 .... x² + y² + Dx + Ey + F = 0 ...

phymath999

Saturday, July 18, 2015