视觉SLAM14讲第三章习题作业
创始人
2024-06-01 11:32:02
0

这是本人的解答,并非官方解答

验证旋转矩阵是正交矩阵

在第44页中,旋转矩阵的引入是这样的:
在这里插入图片描述
所以,我们需要验证矩阵
R=[e1Te1′e1Te2′e1Te3′e2Te1′e2Te2′e2Te3′e3Te1′e3Te2′e3Te3′]R = \begin{bmatrix} e_1^{T}e_1^{'}&& e_1^{T}e_2^{'} && e_1^{T}e_3^{'}\\ e_2^{T}e_1^{'}&& e_2^{T}e_2^{'} && e_2^{T}e_3^{'}\\ e_3^{T}e_1^{'}&& e_3^{T}e_2^{'} && e_3^{T}e_3^{'}\\ \end{bmatrix}R=​e1T​e1′​e2T​e1′​e3T​e1′​​​e1T​e2′​e2T​e2′​e3T​e2′​​​e1T​e3′​e2T​e3′​e3T​e3′​​

是正交矩阵,
那么我们只需要验证矩阵 R 的转置是他的逆就可以了。
RT=[e1’Te1e1‘Te2e1’Te3e2‘Te1e2‘Te2e2‘Te3e3’Te1e3’Te2e3’Te3]R^T=\begin{bmatrix} e_1^{’T}e_1^{}&& e_1^{‘T}e_2^{} && e_1^{’T}e_3^{}\\ e_2^{‘T}e_1^{}&& e_2^{‘T}e_2^{} && e_2^{‘T}e_3^{}\\ e_3^{’T}e_1^{}&& e_3^{’T}e_2^{} && e_3^{’T}e_3^{}\\ \end{bmatrix}RT=​e1’T​e1​e2‘T​e1​e3’T​e1​​​e1‘T​e2​e2‘T​e2​e3’T​e2​​​e1’T​e3​e2‘T​e3​e3’T​e3​​

RTR=[e1’Te1e1Te1’+e1’Te2e2Te1’+e1’Te3e3Te1’e1’Te1e1Te2’+e1’Te2e2Te2’+e1’Te3e3Te2’−−−−−−−]R^{T}R=\begin{bmatrix} e_1^{’T}e_1^{}e_1^{T}e_1^{’}+ e_1^{’T}e_2^{}e_2^{T}e_1^{’}+ e_1^{’T}e_3^{}e_3^{T}e_1^{’}&& e_1^{’T}e_1^{}e_1^{T}e_2^{’}+ e_1^{’T}e_2^{}e_2^{T}e_2^{’}+ e_1^{’T}e_3^{}e_3^{T}e_2^{’} && -\\ -&& - && -\\ -&& - && -\\ \end{bmatrix}RTR=​e1’T​e1​e1T​e1’​+e1’T​e2​e2T​e1’​+e1’T​e3​e3T​e1’​−−​​e1’T​e1​e1T​e2’​+e1’T​e2​e2T​e2’​+e1’T​e3​e3T​e2’​−−​​−−−​
需要证明:
e1’Te1e1Te1’+e1’Te2e2Te1’+e1’Te3e3Te1’=1(1)e_1^{’T}e_1^{}e_1^{T}e_1^{’}+ e_1^{’T}e_2^{}e_2^{T}e_1^{’}+ e_1^{’T}e_3^{}e_3^{T}e_1^{’}=1 \tag{1}e1’T​e1​e1T​e1’​+e1’T​e2​e2T​e1’​+e1’T​e3​e3T​e1’​=1(1)

根据向量內积的性质,有:

e1’Te1e1Te1’+e1’Te2e2Te1’+e1’Te3e3Te1’=cos⁡2a+cos⁡2b+cos⁡2ce_1^{’T}e_1^{}e_1^{T}e_1^{’}+ e_1^{’T}e_2^{}e_2^{T}e_1^{’}+ e_1^{’T}e_3^{}e_3^{T}e_1^{’} =\cos^2 a+\cos^2 b+\cos^2 ce1’T​e1​e1T​e1’​+e1’T​e2​e2T​e1’​+e1’T​e3​e3T​e1’​=cos2a+cos2b+cos2c
其中 a,b,ca,b,ca,b,c 分别为向量 e1′e_1^{'}e1′​ 与坐标系的三个基底e1,e2,e3e_1^{},e_2^{},e_3^{}e1​,e2​,e3​所成夹角。由接下来的这张图,易得式(1)成立。
在这里插入图片描述
下面要证明:
e1’Te1e1Te2’+e1’Te2e2Te2’+e1’Te3e3Te2’=0(2)e_1^{’T}e_1^{}e_1^{T}e_2^{’}+ e_1^{’T}e_2^{}e_2^{T}e_2^{’}+ e_1^{’T}e_3^{}e_3^{T}e_2^{’} = 0 \tag{2}e1’T​e1​e1T​e2’​+e1’T​e2​e2T​e2’​+e1’T​e3​e3T​e2’​=0(2)

不妨令:
e1=[100]e2=[010]e3=[001]e_1 =\begin{bmatrix} 1 \\ 0\\ 0\\ \end{bmatrix} e_2 =\begin{bmatrix} 0 \\ 1\\ 0\\ \end{bmatrix} e_3 =\begin{bmatrix} 0 \\ 0\\ 1\\ \end{bmatrix} e1​=​100​​e2​=​010​​e3​=​001​

e1’Te1e1Te2’+e1’Te2e2Te2’+e1’Te3e3Te2’=e1’T(e1e1T+e2e2T+e3e3T)e2’e_1^{’T}e_1^{}e_1^{T}e_2^{’}+ e_1^{’T}e_2^{}e_2^{T}e_2^{’}+ e_1^{’T}e_3^{}e_3^{T}e_2^{’} = e_1^{’T}(e_1^{}e_1^{T}+e_2^{}e_2^{T}+e_3^{}e_3^{T})e_2^{’} e1’T​e1​e1T​e2’​+e1’T​e2​e2T​e2’​+e1’T​e3​e3T​e2’​=e1’T​(e1​e1T​+e2​e2T​+e3​e3T​)e2’​

e1e1T+e2e2T+e3e3T=Ie_1^{}e_1^{T}+e_2^{}e_2^{T}+e_3^{}e_3^{T}=Ie1​e1T​+e2​e2T​+e3​e3T​=I
所以 式(2)左边
=e1’TIe2’=e1’Te2’=0(正交基旋转之后还是正交基)=e_1^{’T}Ie_2^{’}=e_1^{’T}e_2^{’}=0(正交基旋转之后还是正交基)=e1’T​Ie2’​=e1’T​e2’​=0(正交基旋转之后还是正交基)

注意,式(1)的证明也可以用式(2)证明的方法。
同理可证矩阵 RTRR^{T}RRTR 主对角线元素为1,其余元素为0,所以其为单位阵。
同理可证矩阵RRTRR^{T}RRT是单位阵。
所以,矩阵 R 是正交矩阵。

相关内容

热门资讯

监控摄像头接入GB28181平... 流程简介将监控摄像头的视频在网站和APP中直播,要解决的几个问题是:1&...
Windows10添加群晖磁盘... 在使用群晖NAS时,我们需要通过本地映射的方式把NAS映射成本地的一块磁盘使用。 通过...
protocol buffer... 目录 目录 什么是protocol buffer 1.protobuf 1.1安装  1.2使用...
在Word、WPS中插入AxM... 引言 我最近需要写一些文章,在排版时发现AxMath插入的公式竟然会导致行间距异常&#...
【PdgCntEditor】解... 一、问题背景 大部分的图书对应的PDF,目录中的页码并非PDF中直接索引的页码...
修复 爱普生 EPSON L4... L4151 L4153 L4156 L4158 L4163 L4165 L4166 L4168 L4...
Fluent中创建监测点 1 概述某些仿真问题,需要创建监测点,用于获取空间定点的数据࿰...
educoder数据结构与算法...                                                   ...
MySQL下载和安装(Wind... 前言:刚换了一台电脑,里面所有东西都需要重新配置,习惯了所...
MFC文件操作  MFC提供了一个文件操作的基类CFile,这个类提供了一个没有缓存的二进制格式的磁盘...