平面旋转矩阵

                     

贡献者: addis

预备知识 矩阵,平面旋转变换

   我们之前学过的 “平面旋转变换” 属于线性变换,以下用矩阵 R2 表示。虽然我们可以直接把式 1 式 4 写成矩阵乘以列矢量的形式,得到

(1)(xy)=(cosθsinθsinθcosθ)(xy) .
但这里我们用另一种方法推导一次,能更好地帮助理解和记忆。

图
图 1:把单位矢量 x^y^ 逆时针旋转 θ

   已知单位矢量 x^=(1,0),y^=(0,1) 逆时针旋转 θ 得(图 1

(2)R2(10)=(cosθsinθ) ,R2(01)=(sinθcosθ) .
要求任意矢量 v=(v1,v2) 的旋转矩阵,可以将 v 表示成 x^y^ 的线性组合(式 14 v=v1x^+v2y^。由式 21 ,该线性组合的旋转变换等于 x^,y^ 分别做旋转变换再做同样的线性组合,即
(3)R2(v1x^+v2y^)=v1R2x^+v2R2y^=v1(cosθsinθ)+v2(sinθcosθ)=(cosθsinθsinθcosθ)(v1v2) .
所以旋转矩阵为
(4)R2=(cosθsinθsinθcosθ) .
这与平面旋转变换得出的结果一致。

   把这个推导推广到一般情况,就是如果已知每个基底 βi 的线性变换(记变换矩阵为 A)结果为 αi=Aβi,那么变换矩阵的第 i 列就是第 i 个列矢量 αi

绕任意点旋转

   由式 5 可得绕任一点 (x0,y0) 旋转为

(5)(xy)=(cosθsinθsinθcosθ)(xx0yy0)+(x0y0)=(cosθsinθsinθcosθ)(xy)+(1cosθsinθsinθ1cosθ)(x0y0) .
可见绕任意点旋转并不能简单表示为单个矩阵和 (x y)T 相乘,所以不是线性变换。习惯上讨论旋转变换时都是默认关于原点旋转。

1. 主动理解和被动理解

   我们将任意矢量 v 的旋转变换记为 u=R2v,我们把 v 看做是二维空间中某矢量关于基底 x^,y^ 的坐标。若我们把 u 看做是另一矢量关于 x^,y^ 的坐标,那么 u^ 就等于 v^ 逆时针旋转 θ 角。旋转矩阵的这种理解被称为主动的(active)

   另一种可能的理解是,uv 代表二维空间中的同一矢量关于不同基底的展开。我们把 u 使用的基底记为 u^1,u^2v 使用的基底记为 v^1,v^2。我们有

(6)u1u^1+u2u^2=v1v^1+v2v^2 .
R2 的矩阵元记为 Rij,不难证明两组基底之间的关系为
(7){u^1=R11v^1+R12v^2u^2=R21v^1+R22v^2 .
将矩阵元代入可知,基底 u^1,u^2 分别是基底 v^1,v^2 顺时针旋转 θ 角所得。我们把这种理解叫做被动(passive)的,即旋转矩阵表示同一个矢量的基底变换

2. 矩阵元的意义(被动理解)

   在被动理解中,矩阵元 Ri,j 的几何意义就是单位矢量 u^iv^j点乘(内积)。于是变换可以写成

(8)(u1u2)=(u^1v^1u^1v^2u^2v^1u^2v^2)(v1v2) ,
展开后得
(9)u1=(v1v^1+v2v^2)u^1 ,u2=(v1v^1+v2v^2)u^2 ,
这正是 u1,u2 的定义。

   若考虑从 uivi 的逆变换,同理有

(10)(v1v2)=(v^1u^1v^1u^2v^2u^1v^2u^2)(u1u2) .
由于几何矢量的点乘满足交换律,对比式 8 式 10 可以发现后者的矩阵就是 R 的转置即 RT

   事实上,任何 2×2 的实数正交归一矩阵都可以表示平面旋转变换,所以我们证明了正交归一矩阵的一个重要的性质:

定理 1 

   正交矩阵的逆矩阵等于它的转置。


致读者: 小时百科一直以来坚持所有内容免费无广告,这导致我们处于严重的亏损状态。 长此以往很可能会最终导致我们不得不选择大量广告以及内容付费等。 因此,我们请求广大读者热心打赏 ,使网站得以健康发展。 如果看到这条信息的每位读者能慷慨打赏 20 元,我们一周就能脱离亏损, 并在接下来的一年里向所有读者继续免费提供优质内容。 但遗憾的是只有不到 1% 的读者愿意捐款, 他们的付出帮助了 99% 的读者免费获取知识, 我们在此表示感谢。

                     

友情链接: 超理论坛 | ©小时科技 保留一切权利