張量
维基百科，自由的百科全书
張量 (Tensor) 是 n 維空間內，有 nr個分量的一種量， 其中每個分量都是座標的函數， 而在座標變換時，這些分量也依照某些規則作線性變換。 r 稱為該張量的階 (Rank)，第零階張量 (r = 0) 為純量 (Scale)，第一階張量 (r = 1) 為向量 (Vector)， 第二階張量 (r = 2) 則成為矩陣 (Matrix)。 例如，对于3维空间，r=1时的张量为此向量：(x,y,x)T。由於變換方式的不同，張量分成協變張量 (Covariant Tensor，誌標在下者)、 反變張量 (Contravariant Tensor，誌標在上者)、 混合張量 (誌標在上者和誌標在下者都有者) 三類。
在數學裡,張量是一種幾何实体，或者说廣義上的' 數量' 。張量概念包括標量、矢量和線性運算符。張量可以用坐標系統来表达,记作標量的数组, 但它是定义为不依赖于参照系的选择的。張量在物理和工程學中很重要。例如在扩散张量成像中，表达器官对于水的在各个方向的微分透性的张量可以用来产生大脑的扫描图。可能最重要的工程上的例子就是应力张量和应变张量了，它们都是二阶张量，对于一般线性材料他们之间的关系由一个四阶弹性张量来决定。
虽然張量可以用分量的多维数组来表示，張量理論存在的意义在于進一步说明把一个數量称为張量的涵義，而不仅仅是说它需要一定数量的有指标索引的分量。特别是，在座標轉換時，張量的分量值遵守一定的变换法则。張量的抽象理論是線性代數分支, 現在叫做多線性代數。
本条目试图给出张量思想的非技术性介绍，并给出对描述不同的、互补的张量理论的细节的那些文章的一个简介。
目录 |
[编辑] 背景知识
"张量"一词最初由哈密尔顿在1846年引入，但他把这个词用于指代现在称为模量(modulus)的对象。该词的现代意义是Woldemar Voigt在1899年开始使用的。
这个概念由Gregorio Ricci-Curbastro在1890年在绝对微分几何的标题下发展出来，随着1900年列维-奇维塔的经典文章绝对微分(意大利文;随后出版了其他译本)的出版而为许多数学家所知。随着1915年左右爱因斯坦的广义相对论的引入，张量微积分获得了更广泛的承认。广义相对论完全由张量语言表述，爱因斯坦从列维-奇维塔本人那里学了很多张量语言(其实是Marcel Grossman,他是爱因斯坦在苏黎世理工学院的同学，一个几何学家，也是爱因斯坦在张量语言方面的良师益友 - 参看Abraham Pais所著上帝是微妙的(Subtle is the Lord)),并学得很艰苦。但张量也用于其它领域，例如连续力学，譬如应变张量(参看线性弹性)。
注意"张量"一词经常用作张量场的简写，而张量场是对流形的每一点给定一个张量值。要更好的理解张量场，必须首先理解张量的基本思想。
[编辑] 方法的选择
有两种定义张量的方法：
- 通常定义张量的物理学方法，采用其分量按照一定法则变换的对象，并通过引入共变或反变变换的思想。
但物理学家和工程师是首先识别出向量和张量作为实体具有物理上的意义的，它超越了它们的分量所被表述的(经常是任意的)坐标系。同样，数学家发现有一些张量关系在坐标表示中更容易推导。
[编辑] 例子
张量可以表述为一个值的序列，用一个向量值的定义域和一个标量值的值域的函数表示。这些定义域中的向量是自然数的向量，而这些数字称为指标。例如，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的张量和普通张量一样坐标变换，但是它还要乘以雅戈比矩阵的行列式值的rth次幂。这个的最佳解释可能是使用向量丛: 其中，切丛的行列式丛是一个线丛，可以用来'扭转'其它丛r次。
[编辑] 張量阶
見張量標準格式
| 等級 | 別名 | 記號 | 一般变換 | 张量密度变换方式* |
|---|---|---|---|---|
| 0 | 標量 | S | S'=S | S'=|a|S |
| 1 | (余)向量 | Vi | V'i=aijVj | V'i=|a|aijVj |
| 2 | (共变)矩阵 | Mij | M'ij=aikajlMkl | M'ij=|a|aikajlMkl |
| 3 | (共变)3阶張量 | Tijk | T'ijk=ailajsakmTlsm | T'ijk=|a|ailajsakmTlsm |
其中，aij是坐标变换的雅戈比矩阵。这里所有的分量假定为共变，反变的张量变换要用a的逆矩阵。注意这里是用了爱因斯坦记号。
* |a|是aij的行列式。
[编辑] 参看
- 张量理论词汇
[编辑] 记法常规
[编辑] 基础
[编辑] 应用
[编辑] 外部链接
[编辑] 參考書籍
- Tensors, Differential Forms, and Variational Principles (1989) David Lovelock, Hanno Rund
- Tensor Analysis on Manifolds (1981) Richard L Bishop, Samuel I. Goldberg
- Introduction to Tensor Calculus, Relativity and Cosmology (2003) D. F. Lawden
- Tensor Analysis (2003) L.P. Lebedev, Michael J. Cloud
- Calculus of Variations (2000) S. V. Fomin, I. M. Gelfand
[编辑] 张量软件
- GRTensorII 执行微分几何一般领域中的计算的计算机代数包。GRTensor II不是独立的软件包，该程序通过Maple 9.5和所有Maple V第3版的版本一起运行。一个受限版(GRTensorM)已经移植到Mathematica上。
- MathTensor是写给Mathematica系统的张量分析系统。它提供了250个功能和对象，供基本和高级的用户使用。
- maxima是一个GPL 计算机代数系统 Template:自由软件，它可以用来做张量代数计算。
- Ricci是用于Mathematica 2.x的一个系统，后来也用于基本的张量分析，可免费得到。
