(完整版)张量分析中文翻译.docVIP

 张量 张量是用来描述矢量、标量和其他张量之间线性 关系的几何对象。这种关系最基本的例子就是点积、 叉积和线性映射。矢量和标量本身也是张量。张量可 以用多维数值阵列来表示。张量的阶（也称度或秩） 表示阵列的维度，也表示标记阵列元素的指标值。例 如，线性映射可以用二位阵列--矩阵来表示，因此该 阵列是一个二阶张量。矢量可以通过一维阵列表示， 所以其是一阶张量。标量是单一数值，它是0阶张量。 张量可以描述几何向量集合之间的对应关系。例 如，柯西应力张量T以v方向为起点，在垂直于v终 点方向产生应力张量T（v），因此，张量表示了这两个 向量之间的关系，如右图所示。 因为张量表示了矢量之间的关系，所以张量必 须避免坐标系出现特殊情况这一问题。取一组坐标 系的基向量或者是参考系，这种情况下的张量就可 以用一系列有序的多维阵列来表示。张量的坐标以 “协变”（变化规律）的形式独立，“协变”把一种 坐标下的阵列和另一种坐标下的阵列联系起来。这 种变化规律演化成为几何或物理中的张量概念，其 精确形式决定了张量的类型或者是值。 张量在物理学中十分重要，因为在弹性力学、流体力学、广义相对论等领域 中，张量提供了一种简洁的数学模型来建立或是解决物理问题。 张量的概念首先 由列维-奇维塔和格莱格里奥-库尔巴斯特罗提出，他们延续了黎曼、布鲁诺、克 里斯托费尔等人关于绝对微分学的部分工作。张量的概念使得黎曼曲率张量形式 的流形微分几何出现了替换形式 历史 现今张量分析的概念源于卡尔？弗里德里希？高斯在微分几何的工作，概念的 制定更受到19世纪中叶代数形式和不变量理论的发展［2］。“tensoF这个单词在 1846年被威廉・罗恩•哈密顿⑻提及，这并不等同于今天我们所说的张量的意思。 ［注1］当代的用法是在1898年沃尔德马尔•福格特提出的［4］。 “张量计算”这一概念由格雷戈里奥•里奇•库尔巴斯特罗在 1890年《绝对 微分几何》中发展而来，最初由里奇在 1892年提出［5］。随着里奇和列维-奇维塔 1900 年的经典著作《Me thodes de calcul diff rentiel absolu et leurs applications》 （绝对微分学的方法及其应用）出版而为许多数学家所知 ⑹。 在20世纪，这个学科演变为了广为人知的张量分析，1915年左右，爱因斯 坦的广义相对论理论中广泛应用了这一理论。广义相对论完全由张量语言表述。 爱因斯坦曾向几何学家马塞尔•—格罗斯曼学习过张量方法，并学得很艰苦。⑺1915 年到1917年之间，列维•奇维塔 在与爱因斯坦互相尊重互相学习的氛围下， 对 爱因斯坦的张量表述给与了一些指正。 “我很佩服你的计算方法的风采，它必将使你在数学大道上策马奔腾， 然而 我们却只能步履蹒跚。”阿尔伯特•爱因斯坦，意大利相对论数学家［8］。 在其他领域中，张量同样被认为是一种很实用的数学方法，如连续介质力学。 在微分几何中有一些著名的例子是用二次型表示的，如度量张量和黎曼曲率张 量。十九世纪中叶赫尔曼・格拉斯曼的外代数本身就是一个张量理论， 具有很强 的几何特性，但此前很长一段时间，人们很自然地认为微分形式包含张量理论。 卡尔丹去利的工作指出微分形式只是张量在数学运算中的一种基本形式。 大约从20世纪20年代起，人们认识到，张量发挥（在 Kunneth定理为例） 在代数拓扑中的基础性作用。［需要的引证］相应地有型张量的工作在抽象代数的 许多分支，特别是在同调代数和表示论。多线性代数可以开发更大的通用性比标 量从外地来的，但理论是那么肯定少了几何，和计算更多的技术和算法少 （澄清 需要）张量是由mo no idal概念的手段范畴理论中广义类别，从 20世纪60年代。 定义 有几种方法来定义张量。虽然看似不同，但各种方法只是使用不同的语言在 不同的抽象层次来描述相同的几何概念。 多维数组 如同一个标量是由一个单一的数字来表述， 一个给定基准的矢量是由一维数 组表述的，相应地，一个基准下的任意张量都由多维数组表述。 数组中的数字是 张量中的标量部分或者其本身。他们是由上标，下标以及张量名称的后缀所表示 位置的指数来表示的。每个部分的指数总和必须等于数组的维数，并称之为张量 的行数或秩［注2］例如，一个2阶张量T的条目将被记Tij，其中i和j是从1到相 关的向量空间的维数指标［注3］。 当改变向量空间进行基变换时，向量的元素也会随之改变。与此相似，在类 似的变换下，张量的阶数也将改变。每一个张量都有相应的变换法则，通过变换 法则可以得知张量的元素如何反映张量的基变换。 一个向量的元素可以通过两种 如下公式由旧的基矢量■变换得到, 缶=g尺勺=R域 i 其中Rij是一个矩阵，在第二个表达式中求和符号被取消（爱因斯坦引入的方便 的记