- 标记法说明:矢量 是矢量空间 的元素。矢量基底 构成了矢量空间的一个基底,其坐标系统为 。对应这个基底,矢量 的分量为 ,即 。
(注: 这符号中的上标 不代表平方,而是代表第二个坐标,在较基础的数学上,常写作 ,但是,在张量分析领域,指标写作上标或下标牵涉到对张量性质的提示,以及爱因斯坦求和约定。)
矢量空间 有另一个基底 ,其坐标系统为 。对应这个基底, 有分量 ,即 。
对于1...n之间任意整数 ,我们知道 和 的关系:
- 。
使用爱因斯坦求和约定可写成:
- 。
假设对偶空间 有两个基底 跟 。[1]:289-297
假设 。
则对于 ... 之间其中一个特定的整数 ,我们知道 和 的关系:
- 。
或使用爱因斯坦求和约定写成:
- 。
在欧几里得空间 里,共变矢量和反变矢量之间的区分很小。这是因为能够使用内积运算从矢量求得余矢量;对于所有余矢量 ,通过下述方程,矢量 和线性泛函 ,唯一地确定了余矢量 :
- 。
逆过来,通过上述方程,线性泛函 和每一个余矢量,唯一地确定了矢量 。由于这矢量与余矢量的相互辨认,我们可以提到矢量的共变分量和反变分量;也就是说,它们只是同样矢量对于基底和其对偶基底的不同表现。
给予 的一个基底 ,则必存在一个唯一的对偶基底 ,满足
- ;
其中, 是克罗内克函数。
以这两种基底,任意矢量 可以写为两种形式
- ;
其中, 是矢量 对于基底 的反变分量, 是矢量 对于基底 的共变分量,
在欧几里得空间R3里,使用内积运算,能够从矢量求得余矢量。给予一组可能不是标准正交基的基底,其基底矢量为 、 、 ,就可以计算其对偶基底的基底矢量:
- ;
其中, 是三个基底矢量 、 、 所形成的平行六面体的体积。
反过来计算,
- ;
其中, 是三个基底矢量 、 、 所形成的平行六面体的体积 。
虽然 与 并不相互标准正交,它们相互对偶:
- 。
这样,任意矢量 的反变坐标为
- 。
类似地,共变坐标为
- 。
这样, 可以表达为
- ,
或者,
- 。
综合上述关系式,
- 。
矢量 的共变坐标为
- ;
其中, 是度规张量。
矢量 的反变坐标为
- ;
其中, 是共轭度规张量。
共变坐标的标号是下标,反变坐标的标号是上标。假若共变基底矢量组成的基底是标准正交基,或反变基底矢量组成的基底是标准正交基,则共变基底与反变基底相互等价。那么,就没有必要分辨共变坐标和反变坐标,所有的标号都可以用下标来标记。
- ^ Goldstein, Herbert, Classical Mechanics 3rd, United States of America: Addison Wesley, 1980, ISBN 0201657023 (英语)