4.4 坐标系
对一个向量空间 ,明确指定一个基 的一个重要原因是在 上强加一个“坐标系”。本节将证明如果 包含 个向量,则坐标系将使 像 一样便于操作。若 就是 本身,则 将确定一个坐标系,它给 以一个新的“视角”。
坐标系的存在性依靠下列基本结果.
令 是向量空间 的一个基,则对 中每个向量 ,存在唯一的一组数 使得
证明
由于 生成 ,故存在一组数 使得(1)式成立,假设 还有其他表示:
为数,则二式相减有
由于 是线性无关的,故(2)中的权一定为零,即 对 成立.
定义 假设 是 的一个基, 在 中, 相对于基 的坐标(或 的 B-坐标)是使得 的权 .
若 是 的 B-坐标,则 中的向量
是 x (相对于 )的坐标向量或 的 B-坐标向量,映射 称为(由 确定的)坐标映射.
考虑 的一个基 ,其中 ,假设 中一向量 具有坐标向量 ,求 .
解
的 B-坐标揭示如何由 中的向量求 ,即 .
向量 中的元素是 相对于标准基 的坐标,这是由于
若 ,则 .
坐标的几何意义
Section titled “坐标的几何意义”一个集合上的坐标系由此集合中点到 中的一一映射组成。例如,当选取垂直的轴同时在每个轴上取一个相同的度量单位时,通常的图纸给出了平面上的一个坐标系。图 4 、例1中的向量 、例1中的向量 和 以及向量 。坐标1和6给出 相对于标准基的位置:在 方向上有1个单位,在 方向上有6个单位。
图 4-16 展示了来自图 4-15 的向量 和 。(从几何上看,这三个向量在这两个图中均位于一条垂线上。)然而,标准坐标的格子被去掉同时被特别适合例 1 中的坐标 的格子所取代。坐标向量 给出 在新的坐标系中的位置:在 方向上有 -2 个单位,在 方向上有 3 个单位。
在结晶学中,晶体格的刻画可由选取 中的一个基 而得到帮助,这个基对应于晶体的“单位方格”的三个相邻的棱。一个完整的格子框架可以通过将许多个单位方格的复制品堆积在一起而构造。有 14 种类型的单位方格,图 4-17 中展示了其中的 3 种。

a)简单的单斜晶格

b)主体居中的立方晶格

c)表面居中的正交晶格
图 4-17 单位方格的例子
相对于晶体格的基,可以给出晶体中原子的坐标.例如 标识图 4-17c中最上面的中心原子.
当 中的一组基 固定时,容易求出任一指定的向量 的 坐标向量,如下面例子所示.例4令 ,求出 相对于 的坐标向量 .
解
的 B-坐标 满足
或
这个方程可以通过在增广矩阵上做行变换或利用左边矩阵的逆解出.不论哪种解法,其解均为 ,从而 ,于是有
见图 4-18.
(3)式中的矩阵将向量 的 B-坐标变为 的标准坐标。对 中的一个基 ,可以实施类似的坐标变换。令
则向量方程
等价于
我们称 为从 到 中标准基的坐标变换矩阵。通过左乘 将坐标向量 变换到 。坐标变换方程(4)是重要的,它将在第5章和第7章的多个地方用到。
由于 的列构成 的一个基,故 是可逆的(由可逆矩阵定理)。通过左乘 可将 变回 坐标向量:
这里由 产生的映射 是前面提到的坐标映射。因为 是可逆矩阵,故由可逆矩阵定理(也可参见1.9节定理12),此坐标映射是一个由 到 上的一对一的线性变换。我们将会看到,坐标映射的这个性质对具有一个基的一般向量空间也成立。
对向量空间 选定一个基 ,它引出 中一个坐标系。坐标映射 将可能不熟悉的空间 与熟悉的空间 联系了起来,见图 4-19。V 中的点现在可以由它们的新“名字”来确定。
令 是向量空间 的一个基,则坐标映射 是一个由 映上到 的一对一的线性变换.
证明
取 中两个典型的向量,比如
利用向量运算,
于是
从而坐标映射保持加法封闭. 若 是任一数, 则
于是
从而坐标映射也保持标量乘法封闭,于是坐标映射是一个线性变换。坐标映射是一对一的以及它将 映上到 的证明分别留作习题23和24。
正如 1.8 节那样,坐标映射的线性性可推广到线性组合。若 在 中, 是数,则
换句话说,(5)说明 的一个线性组合的 B-坐标向量等于它们坐标向量的相同的线性组合.
定理8中的坐标映射是一个由 到 上同构的重要例子。一般而言,从一个向量空间 映上到另一个向量空间 的一对一线性变换称为从 和 上的一个同构(isomorphism)。(在希腊语中iso表示相同,morph表示形状或结构。) 和 的记号和术语可能不同,但这两个空间作为向量空间则不加以区分。每一个在 中的向量空间的计算可以完全相同地出现在 中,反之亦然。见习题25和习题26。
令 是多项式空间 的标准基,即 。 中的一个典型元素 具有形式
因 已经给出了标准基向量的一个线性组合,我们断定
于是坐标映射 是一个 到 上的同构. 中所有向量空间运算都对应着 中的运算.
如果我们考虑将 和 分别展现在两个计算机的显示屏上,两个显示屏由坐标变换相联系,则一个显示屏中 的每一个向量空间的运算被正确地复制到另一个显示屏中 的一个对应的向量运算。 显示屏上的向量看起来与 显示屏上的向量不同,但它们作为向量的“作用”是完全相同的,见图 4-20.
利用坐标向量证明在 中多项式 是线性相关的.
解
由例5中的坐标映射可分别产生坐标向量(1,0,2),(4,1,5),(3,2,0)。将这些向量写成一个矩阵 的列,可以通过行化简 的增广矩阵来断定它们的线性相关性:
的列是线性相关的,所以对应的多项式也是线性相关的。事实上,容易检查 的第3列是2倍的第2列减去5倍的第1列。多项式的对应关系是
最后一个例子是关于 中一个与 同构的平面.
令 ,则 是 的一个基。判定 是否在 中,若在,求 相对于 的坐标向量。
解
若 在 中,则下列向量方程是相容的:
数 若存在的话,它们就是 的 坐标。利用行变换,得到
于是 ,由 确定的 上的坐标系如图 4-21所示.
若 选一个不同的基,那么相应的坐标系也使 与 同构吗?这一定是正确的,下节中我们将证明这一结论.
- 令 .
. 证明集合 是 的一个基.
. 求由 到标准基的坐标变换矩阵.
. 写出 中 与 相关联的方程.
. 对上面给出的 ,求
- 集合 是 的一个基. 求 关于 的坐标向量.
在习题 1~4 中,已知基 和坐标向量 ,求向量 .
在习题 9~10 中,求由 到 中标准基的坐标变换矩阵.
在习题 5~8 中,求 关于给定基 的坐标向量 .
在习题 11~12 中,对给出的 和 ,利用逆矩阵求 .
-
-
-
集 是 的一个基,求 关于 的坐标向量.
-
集 是 的一个基,求 关于 的坐标向量.
在习题15和习题16中,标出每个命题的真假,验证每个答案。除非另外说明, 均指向量空间 的一个基。
-
. 若 在 中且 包含 个向量,则 的 B-坐标向量在 中. b. 若 是坐标变换矩阵,则 . c. 向量空间 和 是同构的.
-
. 若 是 的标准基,则 中 的 坐标向量是 本身. b. 对应 称为坐标映射. c. 在某种情形下, 中的平面可以与 同构.
-
向量 生成 但不构成一个基,用两种不同的方法将 表为 的线性组合.
-
令 是向量空间 的一个基,解释为什么 的 B-坐标向量是 单位矩阵的列 .
-
令 是向量空间 中的有限集,具有如下性质: 中每个 均可表示为 中元素的唯一线性组合。证明 是 的一个基。
-
假设 是向量空间 的一个线性相关生成集,证明 中每一个 都可用多于一种的方式表示成 的线性组合。(提示:令 是 中一任意向量,利用 的线性相关性将 表示为 的另一个线性组合。)
-
令 . 因为由 确定的坐标映射是一个从 映射到 的线性变换, 故此映射一定可由某 矩阵 来实现, 求出 . (提示: 用 去乘可使向量 变换到它的坐标向量 .)
-
令 是 的一个基,作出一个 矩阵 的描述,它使得坐标映射 得以实现。(见习题21.)习题23~26涉及一个向量空间 、一个基 和坐标映射
-
证明: 坐标映射是一对一的. (提示: 假设对 中某向量 和 , 满足 , 证明 .)
-
证明:坐标映射是映上到 的,即任给 中向量 ,具有元素 ,存在 中的向量 ,使得 .
-
证明: 中子集 是线性无关的,当且仅当坐标向量 在 中也是线性无关的。[提示:因为坐标映射是一对一的,下列方程具有相同的解 ]。 中的零向量 中的零向量
-
给定 中向量 和 ,证明: 是 的线性组合,当且仅当 是坐标向量 的线性组合. 在习题 27~30 中,利用坐标向量检验多项式集合的线性无关性.
-
-
-
-
-
利用坐标向量检验下面的多项式集合是否生成 ,验证你的结论. a. b.
-
设 , , . a. 利用坐标向量说明这些多项式集合是 的一组基. b. 考虑 的一组基 . 给定 ,求 中的 .
在习题 33~34 中, 利用坐标向量检验下面的多项式集合是否构成 的一组基, 验证你的结论.
-
[]
-
[]
-
[] 令 ,证明 在 中并求 的 -坐标向量,其中
- [] 令 , 证明: 是 的一个基并且 在 中, 再求 的 坐标向量, 其中
[]习题37和习题38涉及钛的晶体格,它具有六边形结构,见图 4-22左图. 中向量 对展示在右图中的单位方格构成一组基.这里的数字是以埃(1埃 厘米)为单位的.在钛合金中,一些添加的原子可能在“八面体的”和“四面体的”位置的单位方格内.(这样命名是由于这些位置的原子所形成的几何对象.)

- 相对于格的基,八面体中一个位置为 . 相对于 的标准基,确定这个位置的坐标.
. 由()知,坐标变换矩阵为 .
- 四面体中一个点的位置为 . 相对于 的标准基,确定这个位置的坐标.
- . 矩阵 行等价于单位矩阵是明显的。由可逆矩阵定理, 是可逆的,且它的列构成 的一个基。
.
. 为解()中方程,行化简增广矩阵而不计算 可能更容易一些:
从而
- 相对于 的坐标满足 . 对比 的同次幂项的系数有
解之,得 ,从而 .
书籍模块索引
线性代数及其应用(原书第5版) · 章节内联关系图谱
核心知识枢纽章节
被全书其他章节引用频次最高的基石章节:
图谱交互提示
- 视角放大/缩小:使用左下角工具栏 +/- 或鼠标滚轮;
- 大书防混淆:顶部选择“按篇章/大章聚合”或“聚焦当前章”;
- 视图平移与拖拽:拖动画布或节点;双击节点直达原文。