几何向量的基底和坐标

                     

贡献者： addis; ACertainUser

　　 在 “几何向量” 中，我们对坐标有了一个简单的认识。本文中，我们将从基底的角度进一步讨论坐标的定义。本文同样只讨论几何向量，简称向量。

1. 引入、简要的介绍

　　 这部分内容简要但不严谨地介绍了基底与坐标的基本内容。

　　 我们假设在空间中有一个向量。现在问题来了，我们如何更具体地描述这个向量的大小与方向呢？根据上一节课的经验，我们必须借由一些 “参照” 来描述，这就是 “基底”。

　　 例如，我们定义如图 2 所示的基底 $\{{\mathbf{e}}_1,{\mathbf{e}}_2\}$，那么我们就可以从容地把向量表示为这些基底的线性组合(更简单地，参考几何向量的加法与数乘)。各基底前的系数被称为该向量关于这组基底的坐标： $$\mathbf{a}={\mathbf{e}}_1+3{\mathbf{e}}_2={\left(\begin{array}{c}1\\ 3\end{array}\right)}_{\{e\}}.$$

　　 可是，我们如何选择基底呢？似乎没有什么关于基底选取的硬性规定。因此，原则上我们可以任意选取一组基。

　　 如图 3 所示，我们选取这样一组基 $\{{\mathit{\beta }}_1,{\mathit{\beta }}_2\}$ 时，向量的坐标还可以写为： $$\mathbf{a}=2.8{\mathit{\beta }}_1+1.3{\mathit{\beta }}_2={\left(\begin{array}{c}2.8\\ 1.3\end{array}\right)}_{\{\beta \}}.$$

　　 看起来，同一个向量的这两个坐标完全不同 $$\mathbf{a}={\left(\begin{array}{c}1\\ 3\end{array}\right)}_{\{e\}}={\left(\begin{array}{c}2.8\\ 1.3\end{array}\right)}_{\{\beta \}}.$$ 那么哪个是正确的坐标呢？答案是两个坐标都是正确的，只是他们是基于不同的基底而写出的(前者是基于 $\{e\}$ 基底，而后者是 $\{\beta \}$)。也就是说，尽管向量是唯一的，但若选取不同的基底，写出的向量具体坐标也是不同的。因此，在具体写出向量的坐标时，应该指明所使用的基底（特别是当你在同一语境中使用了两组不同的基时）。

2. 向量空间与基

　　 沿一条直线的所有向量都是共线的，所以在一条直线上最多不超过一个向量线性无关，所有这些共线的向量的集合以及它们的加法和数乘运算组成一个一维向量空间。注意这里先不需要了解向量空间的一般定义。一维向量空间中的任意向量都可以通过某个固定的向量乘以某个数得到。同理，一个平面上的所有向量的集合以及它们的加法和数乘运算，组成一个二维向量空间，二维向量空间中最多能找到两个线性无关的向量，确定它们以后，它们的线性组合可以得到平面上任意其他向量（例如直角坐标系的两个单位向量）。一般地，我们把最多只包含 $N$ 个线性无关向量的向量空间叫做 $N$ 维的。

　　 我们容易想象出 1 到 3 维的几何向量空间以及它们的两种运算，但却很难想象更高维的情况，我们只能试着用公式定理以及低维的类比来理解它们¹。

　　 $N$ 维空间中的任意一组线性无关的 $N$ 个向量 ${\mathit{\beta }}_1\dots {\mathit{\beta }}_N$ 可以作为一组基底（basis，复数 bases），记为 $\{{\mathit{\beta }}_i\}$，简称基。基是有序的，即使是同一组向量，如果顺序不同，也要视为不同的基。

3. 坐标

　　 如果在这组基底中加入该空间中任意一个向量 $\mathbf{v}$，这组 $N+1$ 个向量必定线性相关（否则空间就是 $N+1$ 维的），即存在不全为 0 的实数 $c_1\dots c_{N+1}$ 使下式成立

所以我们可以把等式两边除以² $c_{N+1}$，将 $\mathbf{v}$ 用 $\left\{{\mathit{\beta }}_i\right\}$ 的线性组合表示。令 $a_i=-c_i/c_{N+1}$，该空间中任意向量 $\mathbf{v}$ 都有 这里的 $N$ 个有序实数 $(a_1,\cdots ,a_N)$ 就是 $\mathbf{v}$ 关于基底 $\left\{{\mathit{\beta }}_i\right\}$ 的坐标（coordinates）。我们说该坐标属于集合 ${\mathbb{R}}^N$，即实数集 $\mathbb{R}$ 自身的 $N$ 次笛卡尔积（式 2 ）。注意不要把这种表示和行向量（$1\times N$ 的矩阵）混淆。

　　 我们可以用反证法证明坐标的唯一性。假设有两组不全相同的系数都可以使式 2 成立，分别记为 $x_i$ 和 $x_i^{\prime }$。那么分别代入上式再把两式相减得到

由于 $(x_i-x_i^{\prime })$ 不全为零，得基底 $\{{\mathit{\beta }}_i\}$ 线性相关，而这与基底的定义矛盾。证毕。

　　 显然，基底不同时，同一个向量的坐标也不同，因此坐标不能简单地等同于向量本身。只有在讨论中固定了基的选择时，才可以把坐标和向量本身等同。

　　 我们通过一个例子来说明如果用一组线性相关的向量的线性组合来表示另一个向量，那么系数是不唯一的。

4. 向量运算的坐标形式

　　 除了使用 ${\mathbb{R}}^N$，我们也常常把坐标记为列向量的形式。列向量是 $N$ 行 $1$ 列的特殊矩阵。

由于坐标取决于基底，在列向量的右下角声明基底是较为严谨的做法，但在不至于混淆的情况下我们可以将其省略，这时我们默认所有列向量都是用同一组基底。在正文中，为了节约空间，我们将式 6 记为 $\mathbf{v}=(x,y,z{)}_{\{{\mathit{\beta }}_i\}}^{\mathrm{T}}$，其中 ${}^{\mathrm{T}}$ 表示矩阵的转置（见 “矩阵” 式 4 ）。同样，我们时常省略 $\{{\mathit{\beta }}_i\}$。

　　 当我们说两个向量相等时，意味着同一基底下两向量的坐标全都相等。若两向量在不同基底下的列向量，则需要先将它们变换到同一基底下再判断是否相等（我们以后再讨论如何进行基底变换）。

　　 当我们确定基底后，之前介绍的加法和数乘都有对应的坐标运算。由式 2 及向量加减和数乘的交换律和结合律得

要特别注意，当定义了多组基底时，只有基底相同的两个列向量按照式 7 相加才有意义。

---

1. ^ 例如在狭义相对论的闵可夫斯基空间中，我们把时间看成空间的第四个维度，但在画图时，我们往往把空间简化为二维的，这样就可以用三维示意图来表示四维时空。
2. ^ 两边除以 $c_{N+1}$ 要求 $c_{N+1}\ne 0$。这可以通过反证法证明：如果式 1 中 $c_{N+1}=0$，则可得出基底线性相关，不成立，证毕。