族谱网 头条 人物百科

张量

2020-10-16
出处:族谱网
作者:阿族小谱
浏览:890
转发:0
评论:0
历史背景“张量”一词最初由威廉·罗恩·哈密顿在1846年引入,但他把这个词用于指代现在称为模的对象。该词的现代意义是沃尔德马尔·福格特在1899年开始使用的。这个概念由格雷戈里奥·里奇-库尔巴斯托罗在1890年在《绝对微分几何》的标题下发展出来,随着1900年列维-奇维塔的经典文章《绝对微分》(意大利文,随后出版了其他译本)的出版而为许多数学家所知。随着1915年左右爱因斯坦的广义相对论的引入,张量微积分获得了更广泛的承认。广义相对论完全由张量语言表述,爱因斯坦从列维-奇维塔本人那里学了很多张量语言(其实是MarcelGrossman,他是爱因斯坦在苏黎世联邦理工学院的同学,一个几何学家,也是爱因斯坦在张量语言方面的良师益友-参看AbrahamPais所著《上帝是微妙的(SubtleistheLord)》),并学得很艰苦。但张量也用于其它领域,例如连续力学,譬如应变张量(参看线性弹性)。注...

历史背景

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

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

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

定义

一个 ( m , n ) {\displaystyle (m,n)} 型的张量被定义为一个多重线性映射(multilinear map)

其中 V {\displaystyle V} 是矢量空间, V ∗ ∗ --> {\displaystyle V^{*}} 是对应的对偶空间。

方法的选择

有两种定义张量的方法:

通常定义张量的物理学或传统数学方法,是把张量看成一个多维数组,当变换坐标或变换基底时,其分量会按照一定变换的规则,这些规则有两种:即协变或逆变转换。

通常现代数学中的方法,是把张量定义成某个矢量空间或其对偶空间上的多重线性映射,这矢量空间在需要引入基底之前不固定任何坐标系统。例如协变矢量,可以描述为1-形式,或者作为逆变矢量的对偶空间的元素。

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

例子

张量可以表述为一个值的序列,用一个矢量值的定义域和一个标量值的值域的函数表示。这些定义域中的矢量是自然数的矢量,而这些数字称为指标。例如,取一3阶张量尺寸为2x5x7。这里,指标的范围从到。张量可以在指标为有一个值,在指标为有另一个值,等等一共70个值。 (类似的,矢量可以表示为一个值的序列,用一个标量值的定义域和一个标量值的值域的函数表示,定义域中的数字是自然数,称为指标,不同的指标的个数有时称为矢量的维度。)

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

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

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

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

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

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

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

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

方法细节

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

经典方法

现代方法

张量的中间处理条目试图为两个极端建立联系,并显示他们的关系。

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

张量密度

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

张量阶

见张量标准格式

其中,ai是坐标变换的雅可比矩阵。这里所有的分量假定为共变,反变的张量变换要用a的逆矩阵。注意这里是用了爱因斯坦记号。

|a|是ai的行列式。

参阅

张量理论词汇

记法常规

爱因斯坦记号

Voigt记号(福格特)

抽象指标记号

度量张量

基础

共变(协变)

反变(逆变)

1-形式

张量积

纤维丛

张量场

应用

张量导数

绝对微分

曲率

黎曼几何

张量理论在工程科学中的应用

张量理论在物理中的应用

参考书籍

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计算机代数系统自由软件,它可以用来做张量代数计算。

Ricci是用于Mathematica 2.x的一个系统,后来也用于基本的张量分析,可免费得到。


免责声明:以上内容版权归原作者所有,如有侵犯您的原创版权请告知,我们将尽快删除相关内容。感谢每一位辛勤著写的作者,感谢每一位的分享。

——— 没有了 ———
编辑:阿族小谱
发表评论
写好了,提交
{{item.label}}
{{commentTotal}}条评论
{{item.userName}}
发布时间:{{item.time}}
{{item.content}}
回复
举报
点击加载更多
打赏作者
“感谢您的打赏,我会更努力的创作”
— 请选择您要打赏的金额 —
{{item.label}}
{{item.label}}
打赏成功!
“感谢您的打赏,我会更努力的创作”
返回

更多文章

更多精彩文章
打赏
私信

推荐阅读

· 张量积
两个张量的张量积有两个(或更多)张量积的分量的一般公式。例如,如果U和V是秩分别为n和m的两个协变张量,则它们的张量积的分量给出为所以两个张量的张量积的分量是每个张量的分量的普通积。注意在张量积中,因子U消耗第一个rank(U)指标,而因子V消耗下一个rank(V)指标,所以例子设U是类型(1,1)的张量,带有分量Uβ;并设V是类型(1,0)的张量,带有分量V。则而张量积继承它的因子的所有指标。两个矩阵的克罗内克积对于矩阵这个运算通常叫做克罗内克积,用来明确结果有特定块结构在其上,其中第一个矩阵的每个元素被替代为这个元素与第二个矩阵的积。对于矩阵U{\displaystyleU}和V{\displaystyleV}:多重线性映射的张量积给定多重线性映射f(x1,……-->,xk){\displaystylef(x_{1},\dots,x_{k})}和g(x1,……-->,xm){\disp...
· 挠率张量
挠率张量设M是切丛上带有联络∇的流形。挠率张量(有时也称为嘉当(挠率)张量)是一个矢量值2-形式,定义在矢量场X于Y上这里[X,Y]是两个矢量场的李括号。由莱布尼兹法则,对任何光滑函数f有T(fX,Y)=T(X,fY)=fT(X,Y)。所以T是一个张量,尽管是用非张量的共变导数定义的:它给出了切矢量上的一个2形式,但共变导数只对矢量场有定义。曲率和比安基恒等式联络∇的曲率张量是一个映射TM∧TM→End(TM),定义在矢量场X,Y,与Z上注意,对位于一点的矢量,这个定义与这个矢量如何扩张成一个矢量场的方式无关(即定义了一个张量,类似于挠率)。比安基恒等式联系了曲率和挠率。将X,Y与Z的循环求和记为S{\displaystyle{\mathfrak{S}}},例如那么下面的公式成立1.比安基第一恒等式:2.比安基第二恒等式:挠率张量的分量挠率张量在切丛的局部截面的基(e1,...,en)下可...
· 度量张量
例子欧几里德几何度量二维欧几里德度量张量:弧线长度转为熟悉微积分方程:在其他坐标系统的欧氏度量:极坐标系:(x1,x2)=(r,θθ-->){\displaystyle(x^{1},x^{2})=(r,\theta)}圆柱坐标系:(x1,x2,x3)=(r,θθ-->,z){\displaystyle(x^{1},x^{2},x^{3})=(r,\theta,z)}球坐标系:(x1,x2,x3)=(r,ϕϕ-->,θθ-->){\displaystyle(x^{1},x^{2},x^{3})=(r,\phi,\theta)}平面闵可夫斯基空间:(x0,x1,x2,x3)=(ct,x,y,z){\displaystyle(x^{0},x^{1},x^{2},x^{3})=(ct,x,y,z)\,}在一些习惯中,与上面相反地,时间ct的度规分量取正号而空间(x,y,z)...

关于我们

关注族谱网 微信公众号,每日及时查看相关推荐,订阅互动等。

APP下载

下载族谱APP 微信公众号,每日及时查看
扫一扫添加客服微信