张量 - DGSO百科
网 页 图 片 百 科 小 说 翻 译

百科首页

您要找的是不是:

张亮

张良

张量 百科内容来自于: 百度百科

张量(tensor)是一个可用来表示在一些向量、纯量和其他张量之间的线性关系的多线性函数,这些线性关系的基本例子有内积、外积、线性映射以及笛卡儿积。

物理名称

张量(Tensor)是一个定义在的一些向量空间和一些对偶空间的笛卡儿积上的多重线性映射,其坐标是| n|维空间内,有| n|个分量的一种量, 其中每个分量都是坐标的函数, 而在坐标变换时,这些分量也依照某些规则作线性变换。r 称为该张量的秩或(与矩阵的秩和阶均无关系)。
同构的意义下,第零阶张量 (r = 0) 为标量(Scalar),第一阶张量 (r = 1) 为向量(Vector), 第二阶张量 (r = 2) 则成为矩阵(Matrix)。例如,对于3维空间,r=1时的张量为此向量:(x,y,z)。由于变换方式的不同,张量分成协变张量 (Covariant Tensor,指标在下者)、逆变张量 (Contravariant Tensor,指标在上者)、 混合张量 (指标在上和指标在下两者都有) 三类。
在数学里,张量是一种几何实体,或者说广义上的“数量”。张量概念包括标量向量和线性算子。张量可以用坐标系统来表达,记作标量的数组,但它是定义为“不依赖于参照系的选择的”。张量在物理和工程学中很重要。例如在扩散张量成像中,表达器官对于水的在各个方向的微分透性的张量可以用来产生大脑的扫描图。可能最重要的工程上的例子就是应力张量应变张量了,它们都是二阶张量,对于一般线性材料他们之间的关系由一个四阶弹性张量来决定。
虽然张量可以用分量的多维数组来表示,张量理论存在的意义在于进一步说明把一个数量称为张量的涵义,而不仅仅是说它需要一定数量的有指标索引的分量。特别是,在坐标转换时,张量的分量值遵守一定的变换法则。张量的抽象理论是线性代数分支,现在叫做多重线性代数

背景知识

“张量”一词最初由威廉·罗恩·哈密顿在1846年引入,但他把这个词用于指代现在称为模的对象。该词的现代意义是沃尔德马尔·福格特在1899年开始使用的。
这个概念由格雷戈里奥·里奇-库尔巴斯特罗在1890年在《绝对微分几何》的标题下发展出来,随着1900年列维-奇维塔的经典文章《绝对微分》(意大利文,随后出版了其他译本)的出版而为许多数学家所知。随着1915年左右爱因斯坦广义相对论的引入,张量微积分获得了更广泛的承认。广义相对论完全由张量语言表述,爱因斯坦从列维-奇维塔本人那里学了很多张量语言(其实是Marcel Grossman,他是爱因斯坦在苏黎世联邦理工学院的同学,一个几何学家,也是爱因斯坦在张量语言方面的良师益友 - 参看Abraham Pais所著《上帝是微妙的(Subtle is the Lord)》),并学得很艰苦。但张量也用于其它领域,例如连续力学,譬如应变张量(参看线性弹性)。
注意“张量”一词经常用作张量场的简写,而张量场是对流形的每一点给定一个张量值。要更好的理解张量场,必须首先理解张量的基本思想。

方法的选择

有两种定义张量的方法:
通常定义张量的物理学方法,采用其分量按照一定法则变换的对象,并通过引入协变或逆变变换的思想。通常数学中的方法,涉及定义特定的向量空间并在需要引入基之前不固定任何坐标系统。例如协变向量,可以描述为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个分量是互相独立的,这个事实可以大大简化它的实际表达。

方法细节

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

张量密度

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

张量阶

         
0
S
S'=S
S'=|a|S
1
(余)向量
Vi
V'i=aiVj
V'i=|a|aiVj
2
(共变)矩阵
Mij
M'ij=aiajMkl
M'ij=|a|aiajMkl
3
(共变)3阶张量
Tijk
T'ijk=aiajakTlsm
T'ijk=|a|aiajakTlsm
其中,ai是坐标变换的雅可比矩阵。这里所有的分量假定为共变,反变的张量变换要用a的逆矩阵。注意这里是用了爱因斯坦记号。
|a|是ai的行列式。 1:张量(tensor)的理论来源。
亚瑟·凯莱( Arthur Cayley)着力研究的不变量理论( invariant theory)导致了矩阵理论的建立,引进了现代意义上的行列式的代数表达,这成为射影几何的重要工具。凯莱的不变量理论产生于19世纪前半叶的英国着重对代数及代数在几何方面的应用研究这样的背景下。矩阵理论对线性变换的研究引进了向量的代数定义,而这是张量概念的先导。
另一方面,格奥尔格·弗雷德里希·波恩哈德·黎曼( Georg Friedrich Bernhard Riemann)提出的n维流形的概念,这在客观上提出了深入研究代数形式的课题。黎曼的几何思想在拓展几何学的同时,提高了代数在表达几何对象方面的抽象程度。黎曼之后,在克里斯托弗、里奇和列维-契维塔等人的努力下,形成了张量分析这样的数学方法黎曼几何学也因此而建立起来了。
2:张量的定义、性质与应用价值
从代数角度讲, 它是向量的推广。我们知道,向量可以看成一维的“表格”(即分量按照顺序排成一排),矩阵是二维的“表格”(分量按照纵横位置排列), 那么n阶张量就是所谓的n维的“表格”。张量的严格定义是利用线性映射来描述的。与矢量相类似,定义由若干坐标系改变时满足一定坐标转化关系的有序数组成的集合为张量。
从几何角度讲, 它是一个真正的几何量,也就是说,它是一个不随参照系坐标变换而变化的东西。向量也具有这种特性。
标量可以看作是0阶张量,矢量可以看作1阶张量。张量中有许多特殊的形式, 比如对称张量、反对称张量等等。
有时候,人们直接在一个坐标系下,由若干个数(称为分量)来表示张量,而在不同坐标系下的分量之间应满足一定的变换规则(参见协变规律,反变规律),如矩阵、多变量线性形式等都满足这些规律。一些物理量如弹性体的应力、应变以及运动物体的能量动量等都需用张量来表示。在微分几何的发展中,C.F.高斯、B.黎曼、E.B.克里斯托费尔等人在19世纪就导入了张量的概念,随后由G.里奇及其学生T.列维齐维塔发展成张量分析,A.爱因斯坦在其广义相对论中广泛地利用了张量。
黎曼几何作为非欧几何的一种,它与罗巴切夫斯基几何相比,有着实质性的不同。罗氏几何主要工作是建立了一整套区别于欧几里得的《几何原本》的逻辑体系; 而黎曼几何的核心问题是以微分几何为基础,建立曲线坐标系中的微分方法。罗氏几何是第一个被提出的非欧几何学,它的基本观点是: 第一,第五公设不能被证明; 第二,可以在新的公理体系中展开的一连串推理,得到一系列在逻辑上无矛盾的新的定理,形成新的理论。罗氏几何学的公理系统区别于欧式几何学之处,仅仅是把欧式几何平行公理改为: 从直线外一点,至少可以做两条直线和这条直线平行。黎曼几何与罗氏几何的平行公理相反: 过直线外一点,不能做直线和已知直线平行。也就是说,黎曼几何规定: 在同一平面内任何两条直线都有公共点,黎曼几何学不承认存在平行线。很自然就有另一条公设: 直线可以延长至任意长度,但长度是有限的,这可以类比为一个球面黎曼几何是通过微分几何的途径建立起来的,因此与罗氏几何根本不同。黎曼几何学的公理体系引进了一种弯曲的几何空间(它可以通过拉梅引进的曲线坐标系描述),黎曼在构想这种几何学的时候,就想设法建立起相应的代数结构。这个目标黎曼本人没有实现,但沿着他开辟的道路,克里斯托夫和里奇完成了新几何学的构建。换句话说,张量分析构成了黎曼几何学的核心内容。这表现在若干方面: 1.黎曼空间中的曲率是一个张量,其有关运算需采用绝对微分法; 2. 黎曼空间的度量以度量张量表达; 3. 黎曼空间的平行定义为标积保持不变(即平行被定义为与曲线的夹角保持不变),依赖克里斯托夫符号; 4. 黎曼空间的直线(短程线)方程的建立依赖协变微分。正因为有了张量分析这个工具,黎曼几何才获得了类似于微积分一样的计算功能,从而摆脱了停留在逻辑构造层面上的束缚,从根本上与微分几何实现了传承,并实现了微分几何从直线坐标系到曲线坐标系的进步,使得几何学代数学更紧密地联系起来。
要而言之,张量分析的产生一方面是向量分析的推广,另一方面是微分几何的发展推动。张量分析与黎曼几何在相互交织中发展,互相促进。要而言之,张量分析的产生一方面是向量分析的推广,另一方面是微分几何的发展推动。张量分析与黎曼几何在相互交织中发展,互相促进。