直观的数学：度量张量简介

直观的数学：度量张量简介

By maplewizard maplewizard@qq.com

这篇文章主要介绍度量张量的起源及它的基本应用。张量是19世纪以来比较伟大的数学发明之一，它的发明伴随着微分几何的提出，为在流形上进行各类运算提供了可能。在这里主要讲解度量张量。首先咱们来看一看咱们须要解决一个什么问题，而后针对这个问题提出一种新的解决思路，最后讲解度量张量的使用。

1、问题提出

在物理学中，常用到内积运算，好比求一个力所作的功，咱们有：

$$W=\vec{F}\cdot\vec{S}$$

这个公式很简单，计算的时候将[latex]\vec{F}[/latex]和[latex]\vec{S}[/latex]的各个份量乘起来再相加即等于内积。可是若是[latex]\vec{F}[/latex]和[latex]\vec{S}[/latex]定义在其余坐标系（如非正交的坐标系）下，那么直接用各个份量乘起来再相加得出的功就会有所不一样！而根据咱们的常识，功应该和坐标系的选择无关，也就是说，两个向量的内积是与坐标无关的，咱们能够猜测点乘或许在某种状况下不等于内积。那么咱们就须要引入一种对内积的新的认识。本文即将讨论如何用点乘在全部坐标系下表示出内积，这种表示中就用到了度量张量。

2、解决思路

为了解决这个问题，咱们先引入几个基本概念，首先是爱因斯坦求和约定，其次是克罗内克符号，最后是逆变坐标和协变坐标。

2.1爱因斯坦求和约定

咱们定义: $$ a_i b_i=\sum\limits_{i=1}^{n}a_i\cdot b_i$$ $$ a_{ij} b_j=\sum\limits_{j=1}^{n}a_{ij}\cdot b_j$$ 这种表示具备如下规律： 1）  重复两次的指标是求和的哑指标 2）  出现一次的指标和本次运算没有什么关系

2.2克罗内克符号（Kronecker）

定义克罗内克（Kronecker）符号 $$\delta_i^j=\left\{ \begin{align}& 1 \quad(i=j)\\& 0\quad(i\not =j)   \end{align}\right.$$

2.3协变坐标与逆变坐标

对于一个非正交的坐标，它的基是非正交的，长度亦是不肯定的。这组坐标叫作协变坐标基（当坐标系统放大或缩小时，它亦随之放大或缩小）咱们引入它的逆变坐标的概念。设协变坐标基为[latex]\{\boldsymbol{g_i}\}[/latex]，而其逆变坐标基记做[latex]\left\{\boldsymbol{g^i}\right\}[/latex](注意区分上标与指数)，对于[latex]\boldsymbol{g^i}[/latex]有 $$\left\{ \begin{aligned}     \boldsymbol{g_i \cdot g^j}=0 \quad (i\not = j) \\  \boldsymbol{g_i \cdot g^i}=1       \end{aligned}\right.$$ 便是说每个[latex]\boldsymbol{g^i}[/latex]对应于一个已有的[latex]\boldsymbol{g_i},\boldsymbol{g^i}[/latex]与其余全部的[latex]\boldsymbol{g_j}[/latex]都垂直，与其对应的[latex]\boldsymbol{g^i}[/latex]内积为1。以下图所示： 图中，[latex]\boldsymbol{P}[/latex]能够被分解它的协变坐标[latex]\boldsymbol{g_1,g_2}[/latex]上，对应的系数分别为[latex]p^1,p^2[/latex]。咱们有：

$$P=p^1 \boldsymbol{g_1}+p^2 \boldsymbol{g_2}$$

通过简单的几何规则，咱们很容易看出向量[latex]\boldsymbol{P}[/latex]在协变坐标上的份量等于[latex]\boldsymbol{P}[/latex]与其逆变份量的内积： $$p^\alpha = \boldsymbol{P \cdot g^\alpha}$$ 这也就是咱们为何要引入协变坐标和逆变坐标。逆变坐标与斜边坐标互为对偶，而一个向量在一个非正交坐标系上的系数等于它与其对偶坐标的内积。咱们使用直角坐标系的时候，由于协变坐标与逆变坐标是重合的，因此咱们能够方便地和本身作内积就能获得系数，在推广的非正交坐标系下，系数是与其对偶坐标的内积。

2.4新观点下的内积

经过以上的研究，咱们来看看内积与点乘。将[latex]\boldsymbol{F,S}[/latex]用协变坐标表出（在这使用了爱因斯坦求和约定）： $$\boldsymbol{F}=f^i\boldsymbol{g_i}$$ $$\boldsymbol{S}=s^i\boldsymbol{g_i}$$ 若是直接采用坐标相点乘，咱们获得： $$W=\boldsymbol{F\cdot S}=f^i \boldsymbol{g_i} s^i\boldsymbol{g_i}=f^i s^i \boldsymbol{g_i \cdot g_i}$$ 经过上式咱们能够看出，内积和点乘差了一项[latex]\boldsymbol{g_i \cdot g_i}[/latex]一旦这项不为1，则点乘和内积不相等。所以若是所有采用逆变坐标乘起来的话，这个值是与坐标相关的！为了解决这个问题，咱们在须要求内积的时候采用逆变坐标与斜边坐标点乘的形式。推导以下： $$W=\boldsymbol{F\cdot S}=f^i \boldsymbol{g_i} s_i\boldsymbol{g^i}=f^i s_i \boldsymbol{g_i \cdot g^i}= f^i s_i$$ 可是咱们一般要求内积的两个向量都是协变坐标或者都是逆变坐标。那么咱们如何来解决这个问题？这就涉及到了度量张量的使用。

3、度量张量的使用

经过上面的叙述，咱们知道，求两个向量的内积，必须一个用它的协变坐标，另外一个用逆变坐标。而在一般状况下，咱们只有两个的协变坐标（或逆变坐标），这个时候，咱们就须要引入一个叫度量张量的东西，来辅助计算。 咱们首先将逆变张量在协变坐标系下进行分解，咱们有： $$\boldsymbol{g_i}=g_{ij}\boldsymbol{g^j}$$ （注意观察[latex]g_{ij}[/latex]有相似于降坐标的功能）而[latex]g_{ij}[/latex]可表示以下： $$\boldsymbol{g_i \cdot g_j}=g_{ik}\boldsymbol{g^k \cdot g^j}=g^{ik}\delta^i_k=g_{ij}$$ $$\boldsymbol{F \cdot S}= f^i \boldsymbol{g_i} s^i\boldsymbol{g_i}=f^i g_{ij}\boldsymbol{g^j} s^i\boldsymbol{g_i}= g_{ij} f^i s^i \boldsymbol{g^j \cdot g_i}= g_{ij} f^i s^i \delta^j_i = g_{ij} f^i s^j$$ 经过上式能够看出，两个向量的内积等于他们的坐标点乘，再乘上一个系数，而这个系数就叫作度量张量。换句话说，有了度量张量咱们就可以经过向量坐标计算任意坐标系下的内积。