直观的数学：度量张量简介
By maplewizard maplewizard@qq.com
这篇文章主要介绍度量张量的起源及它的基本应用。张量是19世纪以来比较伟大的数学发明之一，它的发明伴随着微分几何的提出，为在流形上进行各种运算提供了可能。在这里主要讲解度量张量。首先我们来看一看我们需要解决一个什么问题，然后针对这个问题提出一种新的解决思路，最后讲解度量张量的使用。
一、问题提出
在物理学中，经常使用到内积运算，比如求一个力所做的功，我们有：
$$W=vec{F}cdotvec{S}$$
这个公式很简单，计算的时候将[latex]vec{F}[/latex]和[latex]vec{S}[/latex]的各个分量乘起来再相加即等于内积。但是如果[latex]vec{F}[/latex]和[latex]vec{S}[/latex]定义在其他坐标系（如非正交的坐标系）下，那么直接用各个分量乘起来再相加得出的功就会有所不同！而根据我们的常识，功应该和坐标系的选择无关，也就是说，两个向量的内积是与坐标无关的，我们可以猜想点乘或许在某种情况下不等于内积。那么我们就需要引入一种对内积的新的认识。本文即将讨论如何用点乘在所有坐标系下表示出内积，这种表示中就用到了度量张量。
二、解决思路
为了解决这个问题，我们先引入几个基本概念，首先是爱因斯坦求和约定，其次是克罗内克符号，最后是逆变坐标和协变坐标。
2.1爱因斯坦求和约定
我们定义: $$ a_i b_i=sumlimits_{i=1}^{n}a_icdot b_i$$ $$ a_{ij} b_j=sumlimits_{j=1}^{n}a_{ij}cdot b_j$$ 这种表示具有以下规律： 1） 重复两次的指标是求和的哑指标 2） 出现一次的指标和本次运算没有什么关系
2.2克罗内克符号（Kronecker）
定义克罗内克（Kronecker）符号 $$delta_i^j=left{ egin{align}& 1 quad(i=j)\& 0quad(i ot =j) end{align} ight.$$
2.3协变坐标与逆变坐标
对于一个非正交的坐标，它的基是非正交的，长度亦是不确定的。这组坐标叫做协变坐标基（当坐标系统放大或缩小时，它亦随之放大或缩小）我们引入它的逆变坐标的概念。设协变坐标基为[latex]{oldsymbol{g_i}}[/latex]，而其逆变坐标基记作[latex]left{oldsymbol{g^i}
ight}[/latex](注意区分上标与指数)，对于[latex]oldsymbol{g^i}[/latex]有 $$left{ egin{aligned} oldsymbol{g_i cdot g^j}=0 quad (i
ot = j) \ oldsymbol{g_i cdot g^i}=1 end{aligned}
ight.$$ 即是说每一个[latex]oldsymbol{g^i}[/latex]对应于一个已有的[latex]oldsymbol{g_i},oldsymbol{g^i}[/latex]与其他所有的[latex]oldsymbol{g_j}[/latex]都垂直，与其对应的[latex]oldsymbol{g^i}[/latex]内积为1。如下图所示： 
图中，[latex]oldsymbol{P}[/latex]可以被分解它的协变坐标[latex]oldsymbol{g_1,g_2}[/latex]上，对应的系数分别为[latex]p^1,p^2[/latex]。我们有：
$$P=p^1 oldsymbol{g_1}+p^2 oldsymbol{g_2}$$
经过简单的几何规则，我们很容易看出向量[latex]oldsymbol{P}[/latex]在协变坐标上的分量等于[latex]oldsymbol{P}[/latex]与其逆变分量的内积： $$p^alpha = oldsymbol{P cdot g^alpha}$$ 这也就是我们为什么要引入协变坐标和逆变坐标。逆变坐标与斜边坐标互为对偶，而一个向量在一个非正交坐标系上的系数等于它与其对偶坐标的内积。我们使用直角坐标系的时候，因为协变坐标与逆变坐标是重合的，所以我们可以方便地和自己做内积就能得到系数，在推广的非正交坐标系下，系数是与其对偶坐标的内积。
2.4新观点下的内积
通过以上的研究，我们来看看内积与点乘。将[latex]oldsymbol{F,S}[/latex]用协变坐标表出（在这使用了爱因斯坦求和约定）： $$oldsymbol{F}=f^ioldsymbol{g_i}$$ $$oldsymbol{S}=s^ioldsymbol{g_i}$$ 如果直接采用坐标相点乘，我们得到： $$W=oldsymbol{Fcdot S}=f^i oldsymbol{g_i} s^ioldsymbol{g_i}=f^i s^i oldsymbol{g_i cdot g_i}$$ 通过上式我们可以看出，内积和点乘差了一项[latex]oldsymbol{g_i cdot g_i}[/latex]一旦这项不为1，则点乘和内积不相等。因此如果全部采用逆变坐标乘起来的话，这个值是与坐标相关的！为了解决这个问题，我们在需要求内积的时候采用逆变坐标与斜边坐标点乘的形式。推导如下： $$W=oldsymbol{Fcdot S}=f^i oldsymbol{g_i} s_ioldsymbol{g^i}=f^i s_i oldsymbol{g_i cdot g^i}= f^i s_i$$ 但是我们通常要求内积的两个向量都是协变坐标或者都是逆变坐标。那么我们如何来解决这个问题？这就涉及到了度量张量的使用。
三、度量张量的使用
通过上面的叙述，我们知道，求两个向量的内积，必须一个用它的协变坐标，另一个用逆变坐标。而在通常情况下，我们只有两个的协变坐标（或逆变坐标），这个时候，我们就需要引入一个叫度量张量的东西，来辅助计算。 我们首先将逆变张量在协变坐标系下进行分解，我们有： $$oldsymbol{g_i}=g_{ij}oldsymbol{g^j}$$ （注意观察[latex]g_{ij}[/latex]有类似于降坐标的功能）而[latex]g_{ij}[/latex]可表示如下： $$oldsymbol{g_i cdot g_j}=g_{ik}oldsymbol{g^k cdot g^j}=g^{ik}delta^i_k=g_{ij}$$ $$oldsymbol{F cdot S}= f^i oldsymbol{g_i} s^ioldsymbol{g_i}=f^i g_{ij}oldsymbol{g^j} s^ioldsymbol{g_i}= g_{ij} f^i s^i oldsymbol{g^j cdot g_i}= g_{ij} f^i s^i delta^j_i = g_{ij} f^i s^j$$ 通过上式可以看出，两个向量的内积等于他们的坐标点乘，再乘上一个系数，而这个系数就叫做度量张量。换句话说，有了度量张量我们就能够通过向量坐标计算任意坐标系下的内积。