坐标基
一组向量,如果存在至少一个使得下列等式满足:
我们称是线性相关的,否则称这一组向量是线性无关的。
一组线性无关的向量成为这组向量张成的子空间的一组基。
坐标
对于向量空间的某一个向量,它可以表示为这个向量空间的坐标基的线性组合:
那么成为该向量在该坐标基下的坐标值。
这里很重要的一点就是:没有坐标基谈坐标值是没有意义的。
我们最熟悉的是三维空间坐标,经常说某个点的坐标为,这里已经有一个假设就是我们使用的是三维空间的标准基:
坐标的唯一性
如上图的二维坐标中,在标准坐标系下,点P的坐标为。我们现在使用另外一组坐标基,那么该点在这组基下的坐标就是。
上面的图也说明一个问题:一个点在某一组基下的坐标是确定的,但是随着基的不同坐标值是不同的。
不同坐标系的坐标转换
我们看在标准坐标系的点,它跟着坐标系一起围绕原点逆时针旋转了角度。旋转后的点我们表示为。现在我们想知道在标准坐标系的坐标。
点在旋转之后的坐标系的坐标依然为,因为它投影到两个轴上的距离是没有变的。也很容易知道是,是,所以在标准坐标系的坐标表示为:
那么反过来,点在旋转之后的坐标系下的坐标是多少呢?
从公式上面公式我们可以知道:
我们可以得到
其实我们还可以得到另外一个结论:
- 当是用的局部坐标基的时候,该点和坐标基础的组合表达的是坐标原点和该点之间的局部向量,也就是在局部坐标基下的向量;
- 当是用的在某个坐标系W下的向量表示的时候,该点和坐标基础的组合表达的是坐标原点和该点之间的向量在W坐标系下的向量。
坐标架(Coordinate Frame)
考虑上面的坐标变换,坐标基不但进行了旋转,还进行了平移。这种情况下,只用上面的坐标基变换明显是不够的。
但是从这幅图我们可以看出当和使用的是在标准坐标基下的向量的时候表达的是在标准坐标基上的表达,而要求在标准坐标基下的坐标,本质上就是要求向量在标准坐标基下的表达。从向量的三角关系很容易得知:
其中是点p在平移后的坐标系的坐标,是在标准坐标系中的表达,是在标准坐标系中的表达。
假设的在标准坐标系中的坐标为,并且记
那么我们有
也就是说,要完整表达两个坐标之间的关系,不仅仅需要知道坐标基之间的旋转关系,还需要知道坐标原点之间的关系。
我们把坐标基以及坐标原点一起叫做坐标架(Coordinate Frame)。
三维空间坐标架
三维空间是二维空间直接拓展,我们有如下公式:
我们可以把坐标扩展成齐次坐标,这样旋转和平移矩阵就可以合并到一起了。
物理意义:
- 是变换后的坐标系的x轴在标准坐标系中的表达;
- 是变换后的坐标系的y轴在标准坐标系中的表达;
- 是变换后的坐标系的z轴在标准坐标系中的表达;
- 是变换后的坐标系的原点在标准坐标系的表达。
篇外话
文章同步在公众号“探知轩”发表,欢迎关注并讨论。