Skip to content

定义Definition

换基与坐标变换

施工中 · 内容逐步修订

Change of basis · Coordinate transformation

用可逆过渡矩阵在不同基之间转换向量坐标与算子矩阵。

形式陈述 ​

设 V 是域 F 上的 n 维空间,B=(b1,…,bn) 与 C=(c1,…,cn) 是两组有序基。记 [x]B 为向量 x 的坐标列,定义过渡矩阵

PC←B=([b1]C⋯[bn]C).

它的第 j 列是源基第 j 个向量在目标基下的坐标,由线性展开直接得到

[x]C=PC←B[x]B.

反向翻译给出逆矩阵:PB←C=PC←B−1。

若 T:V→V 是线性算子,其两种坐标矩阵为 AB,AC,令 P=PC←B,则

AC=PABP−1.

因为对任意 x 都有 ACP[x]B=[Tx]C=PAB[x]B,所以 ACP=PAB,右乘 P−1 即得公式。

直觉

换基是在两套坐标语言之间翻译同一个向量。把 x 分别沿两组基展开,得到的系数通常不同;过渡矩阵连接这两组系数,而 x 的几何位置保持不变。

算子矩阵需要翻译两次。给定新坐标,先用 P−1 翻译成旧坐标,再执行旧矩阵 AB,最后用 P 翻译回来。矩阵从右往左作用,因而得到 PABP−1;三个因子分别对应这三步。

例子与边界

令 E 为实平面标准基,C=((1,1),(1,−1))。新基向量按列排成

S=PE←C=(111−1),S−1=12(111−1).

因此 v=(3,1) 的新坐标是 S−1(3,1)T=(2,1)T,确实有 v=2(1,1)+(1,−1)。这里 S 的方向与形式陈述中的 P 相反,所以新矩阵写成 S−1AES。

取 T(x,y)=(y,x),旧矩阵为 AE=(0110)。新基的两个向量分别被乘以 1,−1,于是

S−1AES=(100−1).

这组基沿两个特征方向选取,使交换坐标的变换变成各坐标分别乘以 1,−1。一般地,能够选出一组特征向量基,正是算子可以对角化的条件。

对一般映射 T:V→W,输入、输出可以独立选基。设 S 把新输入坐标转为旧输入坐标,R 把新输出坐标转为旧输出坐标,则 Anew=R−1AoldS。这两个空间可以维数不同,矩阵也可以是长方形。

双线性形式的坐标公式是 b(x,y)=[x]TG[y]。两处坐标都代入 [x]old=S[x]new 后,得到 Gnew=STGoldS。这里两端都是形式的输入,因而出现转置,而不是逆矩阵。

推论与应用

同一算子的不同矩阵彼此相似。迹、行列式、特征多项式和秩因而不随基改变;Jordan 标准形通过特定的基展示特征值及广义特征向量链。一般映射独立改变两端基时,秩仍然保持,因为可逆的坐标变换保持像空间的维数。

坐标翻译的相对误差放大量由过渡矩阵的条件数衡量。正交或酉过渡矩阵保持二范数;非正交基若几乎线性相关,求逆可能把很小的扰动放大。QR 分解构造正交坐标,而Schur 分解用酉相似把复矩阵化为上三角形,在保持二范数的坐标中展示特征值。

参考资料
关系图谱29 个相邻概念 · 2 类关系

拖动节点调整位置。

显示关系

显示:依赖

  1. 前置三跳
  2. 前置二跳
  3. 前置一跳
  4. 当前条目
  5. 后续一跳
  6. 后续二跳
  7. 后续三跳
文字版关系按与当前条目的最短距离分组
类型化关系