张量

物理名称

张量（Tensor）是一个定义在一些向量空间和一些对偶空间的笛卡尔积上的多重线性映射，其坐标是|n|维空间内，有|n|个分量的一种量， 其中每个分量都是坐标的函数， 而在坐标变换时，这些分量也依照某些规则作线性变换。r 称为该张量的秩或阶（与矩阵的秩和阶均无关系）。

在同构的意义下，第零阶张量 （r = 0） 为标量 （Scalar），第一阶张量 （r = 1） 为向量 （Vector）， 第二阶张量 （r = 2） 则成为矩阵 （Matrix）。例如，对于3维空间，r=1时的张量为此向量：（x,y,z）。由于变换方式的不同，张量分成协变张量 （Covariant Tensor，指标在下者）、逆变张量 （Contravariant Tensor，指标在上者）、 混合张量 （指标在上和指标在下两者都有） 三类。

在数学里，张量是一种几何实体，或者说广义上的“数量”。张量概念包括标量、向量和线性算子。张量可以用坐标系统来表达，记作标量的数组，但它是定义为“不依赖于参照系的选择的”。张量在物理和工程学中很重要。例如在扩散张量成像中，表达器官对于水的在各个方向的微分透性的张量可以用来产生大脑的扫描图。可能最重要的工程上的例子就是应力张量和应变张量了，它们都是二阶张量，对于一般线性材料他们之间的关系由一个四阶弹性张量来决定。

虽然张量可以用分量的多维数组来表示，张量理论存在的意义在于进一步说明把一个数量称为张量的涵义，而不仅仅是说它需要一定数量的有指标索引的分量。特别是，在坐标转换时，张量的分量值遵守一定的变换法则。张量的抽象理论是线性代数分支，现在叫做多重线性代数。

张量是连续介质力学的基本语言，是建立力学概念体系的必备基础。张量，就是多线性泛函，输入若干个向量，输出一个数，而且赋值关于每个向量都是线性的。4

背景知识

“张量”一词最初由威廉·罗恩·哈密顿在1846年引入，但他把这个词用于指代现在称为模的对象。该词的现代意义是沃尔德马尔·福格特在1899年开始使用的。

这个概念由格雷戈里奥·里奇-库尔巴斯特罗在1890年在《绝对微分几何》的标题下发展出来，随着1900年列维-奇维塔的经典文章《绝对微分》（意大利文，随后出版了其他译本）的出版而为许多数学家所知。随着1915年左右爱因斯坦的广义相对论的引入，张量微积分获得了更广泛的承认。广义相对论完全由张量语言表述，爱因斯坦从列维-奇维塔本人那里学了很多张量语言（其实是Marcel Grossman，他是爱因斯坦在苏黎世联邦理工学院的同学，一个几何学家，也是爱因斯坦在张量语言方面的良师益友 - 参看Abraham Pais所著《上帝是微妙的（Subtle is the Lord）》），并学得很艰苦。但张量也用于其它领域，例如连续力学，譬如应变张量（参看线性弹性）。

注意“张量”一词经常用作张量场的简写，而张量场是对流形的每一点给定一个张量值。要更好的理解张量场，必须首先理解张量的基本思想。

规定

1.求和约定

指在给定的项中凡有一上和一下两个相同的指标就表示对该指标从1到空间维数N求和。例如，在三维空间中，

2.张量指标

包括哑指标和自由指标。哑指标是指各项中一上和一下成对的相同指标。例如，上式中的指标i就是哑指标。自由指标是指在方程的所有项中只出现一次的指标。1

定义

有两种定义张量的方法：

1. 按变换规律定义

若一坐标系 中 个量 与另一坐标系 中 个量 间满足交换规律

则 称为r阶逆变和s阶协变混合张量的分量。若s=0，则 称为r阶逆变张量的分量。若r=0，则 称为s阶协变张量的分量。上述这种张量记法称为分量记法。

2.按不变性定义

凡可以在任何坐标系中写成下列不变性形式的量定义为r+s阶张量：

式中 和 分别为坐标系 和 中的协（逆）变基矢量。上述这种张量记法称为不变性记法或并矢记法。1

基本运算

1． 加减法

两个或多个同阶同型张量之和（差）仍是与它们同阶同型的张量。

2． 并积

两个张量的并积是一个阶数等于原来两个张量阶数之和的新张量。

3． 缩并

使张量的一个上标和一个下标相同的运算，其结果是一个比原来张量低二阶的新张量。

4． 点积

两个张量之间并积和缩并的联合运算。例如，在极分解定理中，三个二阶张量R、U和V中一次点积R·U和V·R的结果是二阶张量F。

5． 对称化和反称化

对已给张量的n个指标进行n1不同置换并取所得的n1个新张量的算术平均值的运算称为对称化。把指标经过奇次置换的新张量取反符号后再求算术平均值的运算称为反称化。

6． 加法分解

任意二阶张量可以唯一地分解为对称部分和反称部分之和。例如，速度梯度 可以分解为 ，其中 和 分别为 的对称和反称部分，即 和 。

1． 商法则

肯定某些量的张量性的法则。1

特殊张量

特殊张量主要有四种：

①度量张量 两个基矢量点积的结果。 和 分别称为协变和逆变度量张量，而混合度量张量 ，这里 （或写为 ）为克罗内克符号，它定义为：

②交错张量或爱丁顿张量 可定义为 ，这里 表示元素 为行列式，而置换符号 表示 （ 是(1,2,3)的偶次置换），-1（ 是(1,2,3)的奇次置换），0（其余情形）

③转置张量 对任意二阶张量 的分量指标置换的结果，记为 。

④正交张量 保持映象长度不变的二阶张量。

克里斯托费尔符号

第一类和第二类克里斯托费尔符号分别定义为： 和 。1

协变导数与算符

1.协变导数

协变矢量 和逆变矢量 关于 的协变导数分别定义为： 和 。上列结果可以推广到高阶张量的协变导数。

2.不变性微分算符

推广矢量分析概念，对于任意张量场T有四种不变性微分算符，即梯度▽T，散度▽·T，旋度▽×T和拉普拉斯算符▽2T。

在直角坐标系下，协变和逆变间的差别消失，故可规定所有指标均写成下标，另外，由于克里斯托费尔符号为零，所以协变导数变成为普通偏导数。1

例子

张量可以表述为一个值的序列，用一个向量值的定义域和一个标量值的值域的函数表示。这些定义域中的向量是自然数的向量，而这些数字称为指标。例如，3阶张量可以有尺寸2、5和7。这里，指标的范围是从<1,1,1,>到<2,5,7>。张量可以在指标为<1,1,1>有一个值，在指标为<1,1,2>有另一个值，等等一共70个值。（类似的，向量可以表示为一个值的序列，用一个标量值的定义域和一个标量值的值域的函数表示，定义域中的数字是自然数，称为指标，不同的指标的个数有时称为向量的维度。）

一个张量场是在欧几里得空间中的每一点都给定一个张量值。这样不是像上面的例子中简单的有70个值，对于一个3阶张量，维度为<2,5,7>，空间中的每一个点有70个值和它相关。换句话说，张量场表示某个张量值的函数，其定义域为欧几里得空间。不是所有的函数都行 -- 更多关于这些要求的细节参看张量场。

不是所有自然中的关系都是线性的，但是很多是可微的因而可以局部的用多线性映射来局部的逼近。这样多数物理学中的量都可以用张量表示。

作为一个简单的例子，考虑水中的船。如果要描述它对受力的反应，力是一个向量，而船的反应是一个加速度，它也是一个向量。通常加速度不是和受力的方向相同，因为船体的特定形状。但是，这个力和加速之间的关系实际上是线性的。这样一个关系可以用一个（1,1）类型（也就是说，它把一个向量变成另一个向量）的张量表示。这个张量可以用矩阵表示，当它乘以一个向量时就得到另一个作为结果。坐标系改变的时候，表示一个向量的数字会改变，同样，表示这个张量的矩阵中的数字也会改变。

工程上，刚体或流体内的应力也用一个张量表示；"张量"一词的拉丁语就表示引起张力的某种拉伸。如果材料内的一个特定的表面元素被选出来，在表面一侧的材料会对另一侧的施加一个力。通常，该力不和表面正交，但是它将线性的依赖于表面的朝向。这可以精确用（2,0）类型的张量精确的描述，或者更精确地说，是用一个类型为（2,0）的张量场来表示，因为张量可能在每一个不同。

另外一些著名的几何中张量的例子有二次型，以及曲率张量。物理张量的例子有能动张量，惯量和极化张量。

几何和物理的量可以通过考虑它们的表述内在的自由度来分类。标量是那些可以用一个数表示的——速率，质量，温度，等等。有一些向量类型的量，例如力，它需要一个数字的列表来表述。最后，象二次型这样的量需要用多维数组来表示。后面这些量只能视为张量。

实际上，张量的概念相当广泛，可以用于上面所有的例子；标量和向量是张量的特殊情况。区别标量和向量以及区别这两者和更一般的张量的特征是表示它们的数组的指标的个数。这个数称为张量的阶。这样，标量是0阶张量（不需要任何指标），而向量是一阶张量。

张量的另外一个例子是广义相对论中的黎曼曲率张量，它是维度为<4,4,4,4>（3个空间维度 + 时间维度 = 4个维度）的4阶张量。它可以当作256个分量（256 = 4 × 4 × 4 × 4）的矩阵（或者向量，其实是个4维数组）。只有20个分量是互相独立的，这个事实可以大大简化它的实际表达。

张量密度

张量场也可有一个“密度”。密度为 r 的张量和普通张量一样坐标变换，但是它还要乘以雅可比矩阵的行列式值的第 r 次幂。这个的最佳解释可能是使用向量丛：其中，切丛的行列式丛是一个线丛，可以用来'扭转'其它丛 r 次。

张量相关

1.张量的理论来源。

亚瑟·凯莱（Arthur Cayley）着力研究的不变量理论（invariant theory）导致了矩阵理论的建立，引进了现代意义上的行列式的代数表达,这成为射影几何的重要工具。凯莱的不变量理论产生于19世纪前半叶的英国着重对代数及代数在几何方面的应用研究这样的背景下。矩阵理论对线性变换的研究引进了向量的代数定义，而这是张量概念的先导。

另一方面,格奥尔格·弗雷德里希·波恩哈德·黎曼（Georg Friedrich Bernhard Riemann）提出的n维流形的概念，这在客观上提出了深入研究代数形式的课题。黎曼的几何思想在拓展几何学的同时，提高了代数在表达几何对象方面的抽象程度。黎曼之后，在克里斯托费尔、里奇和列维-契维塔等人的努力下,形成了张量分析这样的数学方法，黎曼几何学也因此而建立起来了。

2.张量的定义、性质与应用价值

从代数角度讲， 它是向量的推广。大家知道，向量可以看成一维的“表格”（即分量按照顺序排成一排），矩阵是二维的“表格”（分量按照纵横位置排列）， 那么n阶张量就是所谓的n维的“表格”。张量的严格定义是利用线性映射来描述的。与矢量相类似，定义由若干坐标系改变时满足一定坐标转化关系的有序数组成的集合为张量。

从几何角度讲， 它是一个真正的几何量，也就是说，它是一个不随参照系的坐标变换而变化的东西。向量也具有这种特性。