张量

张量(英语:Tensor)是一个可用来表示在一些向量标量和其他张量之间的线性关系的多线性函数,这些线性关系的基本例子有内积外积、线性映射以及笛卡儿积。其坐标在   维空间内,有  分量的一种量,其中每个分量都是坐标的函数,而在坐标变换时,这些分量也依照某些规则作线性变换称为该张量的(与矩阵的秩和阶均无关系)。

同构的意义下,第零阶张量()为标量,第一阶张量()为向量, 第二阶张量()则成为矩阵。例如,对于3维空间,时的张量为此向量:。由于变换方式的不同,张量分成“协变张量”(指标在下者)、“逆变张量”(指标在上者)、“混合张量”(指标在上和指标在下两者都有)三类。

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

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

张量在物理学中提供了一个简明的数学框架用来描述和解决力学(应力、弹性、流体力学惯性矩等)、电动力学(电磁张量、麦克斯韦张量、介电常数磁化率等)、广义相对论(应力-能量张量、曲率张量等)物理问题。在应用中,数学家通常会研究在物体的不同点之间的张量变化。例如,一个物体内的应力可能因位置不同而改变。这就引出了张量场的概念。在某些领域,张量场十分普遍以至于它们通常被简称为“张量”。

历史背景

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

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

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

定义

一个 (p,q)型的张量 T 被定义为一个多重线性映射(multilinear map)[1]

 

其中 V向量空间V 是其对偶空间

方法的选择

有两种定义张量的方法:

  • 通常定义张量的物理学或传统数学方法,是把张量看成一个多维数组,当变换坐标或变换基底时,其分量会按照一定变换的规则,这些规则有两种:即协变逆变转换。
  • 通常现代数学中的方法,是把张量定义成某个向量空间或其对偶空间上的多重线性映射,这向量空间在需要引入基底之前不固定任何坐标系统。例如协变向量,可以描述为1-形式,或者作为逆变向量的对偶空间的元素。

但物理学家和工程师是首先识别出向量和张量作为实体具有物理上的意义的,它超越了它们的分量所被表述的(经常是任意的)坐标系。同样,数学家发现有一些张量关系在坐标表示中更容易推导。

例子

张量可以表述为一个值的序列,用一个向量值的定义域和一个标量值的值域的函数表示。这些定义域中的向量是自然数的向量,而这些数字称为指标。例如,取一3阶张量尺寸为2x5x7。这里,指标的范围从<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个分量是互相独立的,这个事实可以大大简化它的实际表达。

方法细节

有几种想象和操作张量的等价方法;只有熟悉这个课题,其内容是等价的这个事实才会变得明显。

  • 经典方法
经典的方法把张量视为多维数组,它们是标量,1维向量和2维矩阵n维推广。张量的"分量"是数组中的值。这个思想可以进一步推广到张量场,那里张量的元素是函数,甚至微分
张量场理论在这个方法中大致可以视为雅可比矩阵的思想的推广。
  • 现代方法
现代(无分量)方法把张量首先视为抽象对象,表达了多线性概念的某种确定类型。其著名的性质可以从其定义导出,作为线性映射或者更一般的情况;而操作张量的规则作为从线性代数多重线性代数的推广出现。这个处理方法在高等的研究中大量的取代了基于分量的方法,其方式是更现代的无分量向量方法在基于分量的方法用于给出向量概念的基本引例之后就取代传统的基于分量的方法。可以说,口号就是“张量是某个张量空间的元素”。
  • 张量的中间处理条目试图为两个极端建立联系,并显示他们的关系。

最终,同样的计算内容被表达出来,两种方式都可以。技术性术语列表请参看张量理论词汇

张量密度

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

参阅

  • 张量理论词汇

记法常规

  • 爱因斯坦记号
  • Voigt记号(福格特)
  • 抽象指标记号
  • 度量张量

基础

应用

  • 张量导数
  • 绝对微分
  • 曲率
  • 黎曼几何
  • 张量理论在工程科学中的应用
  • 张量理论在物理中的应用

参考资料

  1. ^ Lee, J.M. Riemannian Manifolds. Springer. 1997: 12. ISBN 0387983228. 

参考书籍

  • 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 美国国会图书馆存档,存档日期2002-09-14执行微分几何一般领域中的计算的计算机代数包。GRTensor II不是独立的软件包,该程序通过Maple 9.5和所有Maple V第3版的版本一起运行。一个受限版(GRTensorM)已经移植到Mathematica上。
  • maxima是一个GPL 计算机代数系统自由软件,它可以用来做张量代数计算。
  • Ricci页面存档备份,存于互联网档案馆)是用于Mathematica 2.x的一个系统,后来也用于基本的张量分析,可免费得到。
  • [1]页面存档备份,存于互联网档案馆[2]页面存档备份,存于互联网档案馆)Cadabra 是一款为研究张量分析和场论而设计的计算机代数软件