第八章 矢量算法与场论初步张量算法与黎曼几何初步 SECTION4

§4 张量算法

一、 张量概念

[张量的一般定义] 若一个量有n个分量，而每个分量在n维空间R中的坐标变换

··, n) xixix1,,xn (i= 1 , ·

之下，按下面的规律变化：

jlNn

Ti

j1jl i1im xxxi1ximj1jljTi1im j1liixxx1xmN

j1jlj1jlj1jli

Tx式中Ti1j1是x的函数，是的函数，则量T imi1im(共有n个分量)称为l阶逆变(或抗变)m

i1im阶协变的N(=l＋m)阶混合张量(或称为(l＋m)型混合张量).

张量概念是矢量和矩阵概念的推广，标量是零阶张量，矢量是一阶张量，矩阵(方阵)是

i二阶张量，而三阶张量(例如Tjk)好比“立体矩阵”(图8.18右).更高阶的张量不能用图形表达.

下面列出n=2时的张量示意图： [张量举例]

1 可乘张量 设由逆变分量和协变分量所给定的两个矢量a , b是已知的，则由等式

iTikaibk,Tikaibk,T.kaibk,Tkiakbi



确定的都是二阶张量，称为可乘张量.

2 克罗内克尔符号 克罗内克尔符号ij是一阶逆变一阶协变的二阶混合张量，这是



因为从

xixiij ijxx可得

xixixixjiiij jjxxxxij [二阶对称张量与反对称张量] 若张量满足等式

TikTki,TikTki,TkiTik

则分别称为二阶对称协变张量、二阶对称逆变张量和二阶对称混合张量.若张量满足等式

TikTki,TikTki,TkiTik

则分别称为二阶反对称协变张量、二阶反对称逆变张量和二阶反对称混合张量. 张量的逆变(协变)指标的对称性质在坐标变换下是不变的.

在三维空间中，二阶反对称张量与矢量等价.

二、 张量代数

[指标的置换] 指标置换是张量代数的最简单运算，利用它可作出新的张量.例如，通过指标置换，可由张量Tki得到新的张量Tik，它的矩阵是张量Tki的矩阵的转置矩阵. [加(减)法] 同类型的若干个张量的对应分量相加(或相减)就得到一个新的同类型张量的分量，这种运算称为张量的加法(或减法).

任何二阶张量可分解为对称张量与反对称张量两部分.例如

11TikTikTkiTikTki

22 [张量的乘法] 把两个张量的分量按各种可能情形相乘起来，就会得到一个新张量的分量.这个张量的逆变与协变的阶数分别等于原来两个张量的逆变与协变的阶数之和.这种运算称为张量的乘法.例如

r1rls1skr1rls1sk TpTTpttpptt1m1h1m1h这是一个l＋k阶逆变m＋h阶协变的混合张量，它的阶数为l＋m＋k＋h.

注意，张量乘法的次序是不可交换的.

[张量的缩并] 对一个给定的混合张量，把它的一个逆变指标与一个协变指标相等的相加起来，得出阶数较低(逆变和协变各低一阶)的张量，这种运算称为张量的缩并.例如

2lTq2qlTs1qq 2m12msssss是一个l－1阶逆变m－1阶协变的混合张量.

[指标的升降] 在应用中经常用二阶逆变张量aijdetaij0的相乘与缩并来“升高”张量的协变指标，用二阶协变张量aijdetaij0相乘与缩并来“降低”张量的逆变指标.这种运算称为指标的升降.例如Tijk就可由a和aij升降：

lailTijkTjk,lajlTijkTik,ij

aklTijkTijlailajmTijkTklm,ailakmTijkTjlm,ailajmakpTijkTlmp TljkailTijk,''1mkTlmailajmTijk,TlmpailajmakpTijki1ililiiiT [张量的商律] 设Tji11和各为一组x和的函数，如果对任意逆变矢量与及x''jmjji

''任一指标jk，jk使

Tj1jl1iikjmjk与Tii1lj1jkjmjk

il成为张量，则Tji11jm必为张量.这种判别张量的法则称为张量的商律. ij 例如 Tklm与Tkiljm各为xi，xi的函数，而且

Tkiljml则

ijlTklmxixjxkxm ijkmxxxxTkiljml即

ijTklmlxlxixjxkxm lijkmxxxxxijijxkxlxmlijxxTklmTklm0 ijk'lmxxxxxij对所有的l都成立，所以上式括号中的表达式等于零，因此Tklm是张量.

以任意协变矢量代替逆变矢量可得相仿的结果. [张量密度] 按下面规律变化的量

TlkxxxlTk lkaxxxlkaw称为张量密度，式中w为一常数，称为张量密度的权.张量就是权为零的张量密度.根据张量的

阶数，还可以定义标量密度和矢量密度.

两个指标的数目相同，且权相同的张量密度之和是一个同类型的张量密度.两个张量相乘时，权相加.

三、 张量分析

上述张量都假定它的分量是空间R中点M(x)的函数：

ili1iliTji11Tx jmj1jmni

il当点M(x)在空间R中某一区域D中变动时，则称Tji11jm是区域D中的一个张量场.上面所建

in

立的张量代数的各种运算，都可以应用到张量场上来.

对于张量场还有一个不变的运算——绝对微分(也称为协变微分)，这就是张量分析要讨论的内容.

一个标量场的普通导数是一个协变矢量场(梯度场)的分量.但是，一般说来，一个张量场的普通导数并不构成新的张量场.

ni3

[仿射联络空间] 若对空间R中的每一坐标系(x)，在一已知点M给定了一组(n个)数

ijk，并在坐标变换

xixixi

下，它们按下列规律变化

ikj2xkxkxixjxkxixjxkxixjxkk (1) ij则称在点M给定了一个联络对象(或联络系数)，其中偏导数是在点M取值的.

n

假定在空间R中给定了联络对象场

ijkMijkx1,,xn

而且这些函数是连续可微的，则称R为仿射联络空间，记作L.一般说来，

k ijkjinn

[挠率张量] (1)式中ijk的变换规律包括两项：第一项不依赖于旧坐标系中的ijk；第二项依赖于ijk，并和张量的变换规律的形式完全相同.由于第一项对两个下标i,j是对称的，它一般不等于零，所以ijk不是一个张量.但是

k Tijkijkji构成一个张量，称为仿射联络空间L的挠率张量.如果挠率张量ijk等于零，即

k ijkjin

则称所给定的空间是无挠率的仿射联络空间，记作Ln0.

[矢量的绝对微分与平行移动] 若在空间L中给定一个逆变矢量ai，则在坐标变换下有

xiiaxia (2) Min

这构成矢量ai在点M的变换规律.如果从点M( x)移到点N(x＋dx)，则有

xi2xiadaxixixjMii iii

dxjaidai M式中da表示矢量ai从M移到N时的改变量的分量. 在上式中只取一次项就得到

xi2xii daxidaxixjMii

ijadx (3) M若变换的二阶偏导数在M不等于零，则一个矢量的改变量决不是一个矢量的分量.

n

如果R为仿射联络空间，可由(1)，(2)，(3)式得到

daijikajdxkxiijkdaijkadx xiM这表明

iDaidaijkajdxk

是一个逆变无穷小矢量.称Da为矢量ai在点M处关于分量为dx的位移MN的绝对微分.如

i果联络对象jki

i

M0，则绝对微分与普通微分一致.

若矢量Dai等于零，即

iDaidaijkajdxk=0

ii就称矢量ai关于联络jk从点M平行地移动到点N.当jkM0，分量a保持不变(da = 0)

ii

时，矢量从点M平行移动到点N，就相当于欧氏空间中的平行移动. 如果给定一条曲线C

ii

x = x ( t ) 和一个逆变矢量ai，沿这条曲线C可以作伴随于ai的矢量

kDaidaiijdx jkadtdtdt称它为沿曲线C的导矢量.如果ai的导矢量为零，即

kdaiijdxjka0 (4) dtdt则矢量a自身沿曲线C平行地移动，(4)式与坐标系的选择无关，就是说，矢量沿曲线的平行

移动在坐标变换下是不变的.

同样地可以考虑协变矢量ai的绝对微分与平行移动.称

iDajdajjkaidxk

i

为协变矢量ai关于位移dx的绝对微分.平行移动的条件为

idajjkaidxk0

i

或沿曲线C平行移动的条件为

dajdtijkaidxk0 dt [协变导数] 从逆变矢量与协变矢量的绝对微分的定义公式可以得到量

aixjij和jkakxkaijkai

它们是关于指标k协变的二阶张量，分别称为矢量ai和aj的协变导数，分别记作ai;k和

aj;k或kai和kaj.

[张量的绝对微分与平行移动及其协变微分法]

由乘积的微分公式和张量的定义可以推出张量的平行移动规律. 例如，三阶张量的平行移动规律为

lrlrllrdTikisTrkksTirrsTikdxs

四阶张量的平行移动规律为

rlkrlklrkklrdTijlkisTrjjsTirrsTijrsTijdxs

可以看出,张量平行移动规律中所包含的项数与张量的阶数是相同的, 对于张量的逆变指标,

类似于逆变矢量平行移动的规律; 对于张量的协变指标, 类似于协变矢量平行移动的规律.记

rlkrlklrkklrDTijlkdTijlkisTrjjsTirrsTijrsTijdxs

则称DTijlk为张量Tijlk的绝对微分. [张量的协变导数及其运算法则]

Tijlk;ssTijlkTijlkxsrlkrlklrkklrisTrjjsTirrsTijrsTij

称为张量Tijlk的协变导数，它是一个五阶张量的分量.

在普通导数中，对于已微分的张量的每个指标再加上一项就可以构成任意张量的协变导

数，对于逆变指标，这项的形式是

irTi;srsT

对于协变指标是

rTk;sksTr

协变导数的运算法则如下：



1 若干个同样结构的张量之和的协变导数等于各个张量的协变导数之和，即

ili1ili1ili1ilsTji11jmUj1jmsTj1jmsUj1jm

 2 满足积的微分法则，即

sABCsABCAsBCABsC

i [自平行曲线] 在仿射联络空间中，如果切于曲线上一点M0的每个矢量a0沿这曲线平

行移动时是切于这曲线的，则称这曲线为自平行曲线.

dxi 设曲线的方程为x=x(t), 它的切矢量为，它沿曲线平行移动的条件为

dti

i

d2xidt2ijkdxjdxk0

dtdti这就是联络jk的自平行曲线的微分方程.设

Sijk1iijkkj 2上面的微分方程可写成

jkd2xiidxdx Sjk2dtdtdti系数Sijk显然关于j和k是对称的，并构成一个仿射联络.称Sijk构成伴随于jk的对称仿射联络，ii如果jk关于j , k也是对称的，则Sijk与jk一致.