设
- 和 是 的两组基,
- 是由基 到基 的过渡矩阵.
- 为 中的一个向量,
- 在基 下的坐标为 ,
- 在基 下的坐标为 ,
则
且 从而
因为向量 在基 下的坐标是唯一确定的, 由 (4.3) 和 (4.4) 得到
即
式子 (4.5) 或 称为 坐标变换公式.
思考题:
(4.4) 式最后一个等号为什么成立?
最后,我们断言: 由基 到基 的过渡矩阵 是可逆的 (证明作为习题). 故由 可知, 由基 到基 的过渡矩阵是 .
综上所述, 有下述定理.
设
则
且 从而
因为向量 在基 下的坐标是唯一确定的, 由 (4.3) 和 (4.4) 得到
即
式子 (4.5) 或 称为 坐标变换公式.
思考题:
(4.4) 式最后一个等号为什么成立?
最后,我们断言: 由基 到基 的过渡矩阵 是可逆的 (证明作为习题). 故由 可知, 由基 到基 的过渡矩阵是 .
综上所述, 有下述定理.