度量张量、协变基、逆变基与指标升降关系

逆变基的提出

在三维欧几里得空间${\mathbb{R}}^3$中，选取三个线性无关的基矢量${\mathbf{g}}_a$，则该空间中的任一矢量$\mathbf{P}$可以表示为这三个基矢量的线性组合：$\mathbf{P}=P^a{\mathbf{g}}_a$。
由于基矢量之间没有正交性要求，所以${\mathbf{g}}_a\cdot {\mathbf{g}}_b$（$a\ne b$）不一定为0，${\Vert {\mathbf{g}}_a\Vert }_2$也不一定为1。这将给求两向量内积等运算带来不便，如令$\mathbf{P}=P^a{\mathbf{g}}_a$，$\mathbf{Q}=Q^b{\mathbf{g}}_b$，则$\mathbf{P}\cdot \mathbf{Q}=P^a{\mathbf{g}}_a\cdot Q^b{\mathbf{g}}_b=P^a{Q}^b{\mathbf{g}}_a\cdot {\mathbf{g}}_b$，需要进行3×3=9次计算。
今而希望对选定的三个基矢量${\mathbf{g}}_a$（称为协变基），有另外一组由其唯一确定的三个基矢量${\mathbf{g}}^b$（称为逆变基），满足：
$${\delta }_a^b={\mathbf{g}}_a\cdot {\mathbf{g}}^b=\{\begin{array}{l}1,a=b\\ 0,a\ne b\end{array}$$
${\delta }_a^b$即所谓kroneckerδ。那么，在求两个向量内积时，只要一个向量向协变基分解，另一个向量向逆变基分解，只需进行3次计算。

由协变基求逆变基

逆变基向协变基分解：${\mathbf{g}}^i=g^{ij}{\mathbf{g}}_j$，则${\mathbf{g}}^i\cdot {\mathbf{g}}^j=g^{ik}{\mathbf{g}}_k\cdot {\mathbf{g}}^j=g^{ik}{\delta }_j^k=g^{ij}$（称为度量张量的逆变分量）。
同样，协变基也可以向逆变基分解：${\mathbf{g}}_i=g_{ij}{\mathbf{g}}^j$，则${\mathbf{g}}_i\cdot {\mathbf{g}}_j=g_{ik}{\mathbf{g}}^k\cdot {\mathbf{g}}_j=g_{ik}{\delta }_j^k=g_{ij}$（称为度量张量的协变分量）。
同时可得$g_{ij}=g_{ji}$，$g^{ij}=g^{ji}$。
因为：
$${\delta }_j^i={\mathbf{g}}^i\cdot {\mathbf{g}}_j={\mathbf{g}}^i\cdot g_{jk}{\mathbf{g}}^k=g^{ik}{g}_{jk}=g^{ik}{g}_{kj}$$
所以：
$$\left[g_{ij}\right]={\left[g^{ij}\right]}^{-1}$$
至此，在选定协变基后，根据${\mathbf{g}}_i\cdot {\mathbf{g}}_j=g_{ij}$求出度量张量的各协变分量，再由$\left[g_{ij}\right]={\left[g^{ij}\right]}^{-1}$求出度量张量的各逆变分量，最后由${\mathbf{g}}^i=g^{ij}{\mathbf{g}}_j$求得各逆变基。

指标升降关系

矢量$\mathbf{P}$既可以向协变基分解，又可以向逆变基分解：
$$\mathbf{P}=P^i{\mathbf{g}}_i=P^j{\mathbf{g}}_j$$
则：
$$\begin{gathered} P^i=\mathbf{P}\cdot {\mathbf{g}}^i=P_j{\mathbf{g}}^j\cdot {\mathbf{g}}^i=P_j{g}^{ij} \\ {P}_i=\mathbf{P}\cdot {\mathbf{g}}_i=P^j{\mathbf{g}}_j\cdot {\mathbf{g}}_i=P^j{g}_{ij} \end{gathered}$$
可见，若想降指标，则需度量张量的逆变分量；想要升指标，则需度量张量的协变分量。则${\mathbb{R}}^3$中两个向量的内积可表示为：
$$\mathbf{u}\cdot \mathbf{v}=u^i{v}_i=u_i{v}^i=u_i{v}_j{g}^{ij}=u^i{v}^j{g}_{ij}$$