张量数学基本思想及应用.docxVIP

1.黎曼与曲面：度量张量与内在几何结构的诞生

1854年黎曼在一篇题为《论几何的基础》的讲座中，扔出一句划时代的话：几何的基础应建立在量与量之间的可度量关系上.这不只是反对欧几里得几何，而是引入一个根本性转变：空间不是预设的，几何由内部的度量结构决定.他提出：在一个任意曲面的任意一点，长度、角度、体积等几何量，都应由一个叫作“度量张量”（metrictensor）的东西来定义.这个对象——我们今天写作g_ij——就是现代张量理论的正式起点.它有两个指标，告诉你：在该点，坐标方向i与方向j之间的“度量关系”是多少.更重要的是：它不是坐标赋予的，而是空间本身的“本地属性”.这就是所谓的内蕴几何：不再依赖把曲面嵌入三维空间看弯曲，而是直接在曲面自身上定义“测量规则”.从此，曲率、长度、体积等几何量，统统都被还原为对g_ij的计算.黎曼本人还提出了今天被称为“黎曼曲率张量”的雏形，虽然他没有写下完整公式，但框架已经具备.他没有叫它“张量”，但他给出了最早的、具有清晰几何含义的对称二阶张量，并且指出：它的变换方式决定了它是不是“真正的几何对象”.如果说柯西的张量来自物理结构的多维依赖，黎曼的张量则来自几何结构的自洽性需求.这时张量还只是个“方法”，不是一个“体系”.它的计算规则、导数推广、坐标变换律都还没建立.

2.克里斯托费尔与协变导数：张量运算的规则建立

有了黎曼度量张量，几何不再是画图，而是做计算，但一个新的问题马上出现了：如果张量是几何对象，那我们能不能对它求导数？换句话说，张量场的“变化率”还能是张量吗？答案是：不能直接求偏导数.因为张量的变换规则非常特殊.你直接对它求偏导数，不会再得到一个“按张量规则变换”的对象.也就是说，普通导数不能保持张量性.这时候，克里斯托费尔在1869年引入了一个关键概念：协变导数（covariantderivative）.

为了让张量在不同坐标系中求导后仍然“像张量那样变”，他引入了一组修正项——这就是今天我们熟知的克里斯托费尔符号（Christoffelsymbols），记作

这些符号本身不是张量，但用来纠正偏导数的不变性问题.加上它们之后，导数操作才恢复了张量结构.这一步彻底打开了张量分析的大门.从此之后：可以定义张量的梯度、散度、拉普拉斯等操作；可以比较不同点之间张量的“平行传播”；可以写出曲率、连接、测地线的精确定义.这也标志着：张量不再只是个多指标量，而是构成可微几何结构的基本语言.克里斯托费尔虽然是做几何的，但他建的这套微积分系统，直接被后来的引力理论、规范场论、现代微分几何全面继承.他没有发明“张量”这个词，但他给出了“如何运算张量”的全部规则框架.

3.绝对张量分析学派：里奇–列维–奇塔与形式主义的确立

到了19世纪末，张量的雏形已经具备：有了多指标对象（柯西），有了变换不变量的思想（黎曼），也有了正确的导数定义（克里斯托费尔）.但这些都是“散件”.要把这些散件组装成一套可复制、可教学、可编程的数学语言，还差临门一脚.这一步，由意大利数学家里奇（GregorioRicci-Curbastro）完成.他在19世纪90年代系统整理了所有前人成果，创建了一整套以“坐标无关”为核心的计算体系，他称之为：“绝对微积分”（calcolodifferenzialeassoluto），这是历史上第一次把张量作为一等公民登上数学舞台，不再只是“多指标表格”，而是构造几何、力学、物理规律的通用语言.他的学生——列维-奇塔（TullioLevi-Civita）——将这套语言进一步优化和推广，加入了现代记号、更加系统的分类，并写成教材.他最重要的贡献之一是引入了“张量变换律”作为定义标准：凡是在坐标变换下按特定规则变化的多指标对象，才配叫“张量”.这套标准一经确立，就像编程语言的语法规范一样，为后世无数几何、物理理论打下了语法基础.

到20世纪初，张量已经拥有：明确的分类：标量（一阶0阶张量）、向量（一阶张量）、二阶张量等；精确的定义方式：通过变换律；完整的运算规则：加法、乘法、缩并、协变导数；应用场景：从弹性力学到黎曼几何.但这套语言还停留在数学圈子里，没掀起大风浪.直到爱因斯坦在1915年将其引入引力理论，张量才成为物理学中不可动摇的基础语法.

4.爱因斯坦与广义相对论：张量成为引力的唯一语言

1915年爱因斯坦站在普鲁士科学院讲台上，提出广义相对论.他没有从实验出发，也没有直接从几何构造，而是从一个极其大胆的思想出发：物理定律的形式必须在所有参考系下保持不变.这叫广义协变性.问题是，用什么语言能保证“所有参考系下形式不变”？经典力学不行，矢量形式也不够——只有一套东西具备这个能力：张量.爱因斯坦直接引入了张量分析语言，把引力重新定义为“时空弯曲”，并用度量张量g_μν?来